Ciência da Computação

Pelo que vi sobre o uso de um par de chaves públicas e privadas, a chave pública é usada para criptografar uma mensagem e a chave privada é usada para descriptografar a mensagem criptografada. Se uma mensagem é criptografada pela chave privada, ela pode ser descriptografada pela chave pública correspondente? …

21 cryptography 

Ouvi muitas vezes que o polimorfismo de linha é uma abordagem melhor do que a subtipagem, mas tenho dificuldade em encontrar algo que as compare em detalhes. Estou especialmente interessado na perspectiva de um usuário do sistema. Me deparei com este post do blog, mas ele me deixa com mais …

20 typing 

Esta pergunta foi migrada do Artificial Intelligence Stack Exchange porque pode ser respondida no Computer Science Stack Exchange. Migrou há 5 anos . Na maioria das implementações de algoritmos genéticos, o foco está no cruzamento e na mutação. Mas, de alguma forma, a maioria deles deixa de fora a natureza …

20 machine-learning  genetic-algorithms 

Apenas por interesse, tentei resolver um problema da categoria "Recente" do Projeto Euler ( sequência Digit Sum ). Mas não consigo pensar em uma maneira de resolver o problema com eficiência. O problema é o seguinte (na sequência de perguntas original tem duas no início, mas não altera a sequência): …

20 time-complexity  number-theory 

Costumo interagir com pessoas que desejam solicitar um algoritmo para um problema computacional (ou sua complexidade), mas não o expressam de maneira rigorosa para que nós (cientistas da computação) entendamos. Referenciá-los a livros como o CLRS não é útil porque os exemplos geralmente têm uma maneira bastante direta de declarar …

20 algorithms  reference-request  books 

A classificação Radix é teoricamente muito rápida quando você sabe que as teclas estão em um determinado intervalo limitado, digamos valores no intervalo por exemplo. Se você apenas converter os valores para a base de que leva tempo, fazer uma base radix sort e depois converter de volta para sua …

20 algorithms  sorting  applied-theory  radix-sort 

Eu tenho que encontrar um ciclo negativo em um gráfico ponderado direcionado. Sei como o algoritmo Bellman Ford funciona e que ele me diz se existe um ciclo negativo acessível. Mas não o nomeia explicitamente. Como posso obter o caminho real do ciclo?v 1 , v 2 , … v …

20 algorithms  graphs  shortest-path 

Um comercial de pizza afirma que você pode combinar seus ingredientes para 34 milhões de combinações diferentes. Eu não acreditei, então limpei minhas habilidades enferrujadas de combinatória e tentei descobrir. Aqui está o que eu tenho até agora: No site de pedidos on-line, eu tenho as opções crosta (4 tipos, …

20 combinatorics  discrete-mathematics 

No meu curso de teoria da computação, muitos dos nossos problemas envolvem o uso de indução no comprimento da string de entrada para provar declarações sobre autômatos finitos. Eu entendo a indução matemática, no entanto, quando as cordas entram em jogo, eu fico tropeçando de verdade. Eu realmente apreciaria se …

20 automata  finite-automata  proof-techniques  reference-question  induction 

Encomendei algumas folhas de couro das quais gostaria de construir bolas de malabarismo costurando bordas. Estou usando os sólidos platônicos para o formato das bolas. Posso digitalizar as folhas de couro e gerar um polígono que se aproxime da forma da folha de couro (como você sabe, é pele de …

20 optimization  computational-geometry  packing 

Ultimamente, tenho lido um pouco da literatura e encontrei algumas estruturas de dados bastante interessantes. Eu pesquisei vários métodos diferentes para reduzir o tempo de atualização para pior caso, o tempo de atualização [1-7].O(1)O(1)\mathcal{O}(1) Recentemente, comecei a procurar estruturas de dados sem bloqueio, para oferecer suporte ao acesso simultâneo eficiente. …

20 reference-request  data-structures  time-complexity  concurrency  search-trees 

Suponhamos que temos um gráfico dirigido e dois nós e . Gostaria de saber se já existem algoritmos para calcular o seguinte problema de decisão:G=(V,E)G=(V,E)G=(V,E)AAABBB Existem pelo menos dois caminhos entre e do mesmo comprimento?AAABBB E a complexidade? Posso resolvê-lo em tempo polinomial? Gostaria de adicionar uma nova restrição ao …

20 complexity-theory  graph-theory  time-complexity  graphs 

Recentemente, encontrei em um artigo [1] uma versão simétrica especial do SAT chamada 2/2/4-SAT . Mas existem muitas variantes completas por aí, por exemplo: MONOTONE NAE-3SAT , MONOTONE 1-IN-3-SAT , ...NPNP\text{NP} Algumas outras variantes são tratáveis: - , Planar-NAE- , ...SAT SAT222SENTOUSAT\text{SAT}SENTOUSAT\text{SAT} Existem documentos de pesquisa (ou páginas da web) …

20 complexity-theory  reference-request  satisfiability 

Vamos haver algum conjunto finito de caracteres de tamanho fixo. Seja α um fio acima de Σ . Dizemos que um substrato não vazio β de α é uma repetição se β = γ γ para alguma cadeia γ .ΣΣ\Sigmaαα\alphaΣΣ\Sigmaββ\betaαα\alphaβ= γγβ=γγ\beta = \gamma \gammaγγ\gamma Agora, minha pergunta é se o …

20 combinatorics  strings  word-combinatorics 

Encontrei as seguintes dúvidas sobre a complexidade das Torres de Hanói , sobre as quais gostaria de seus comentários. Está em NP? Resposta da tentativa: Suponha que Peggy (provador) resolva o problema e o envie a Victor (verificador). Victor pode ver facilmente que o estado final da solução está correto …

20 complexity-theory  time-complexity