Ciência da Computação Teórica

O algoritmo de Coppersmith – Winograd é o algoritmo conhecido mais rapidamente assintoticamente para multiplicar duas matrizes quadradas. O tempo de execução de seu algoritmo é o mais conhecido até o momento. Qual é a complexidade espacial deste algoritmo? Está em ?O ( n 2.376 ) Θ ( n 2 …

24 ds.algorithms  matrices 

Um gráfico H é um núcleo se qualquer homomorfismo de H para si é uma bijeção. Um subgrafo H de G é um núcleo de G se H é um núcleo e existe um homomorfismo de G para H. http://en.wikipedia.org/wiki/Core_%28graph_theory%29 Dado um gráfico G, qual é o algoritmo exato mais …

24 ds.algorithms  graph-theory  graph-algorithms 

Dado um enorme banco de dados de palavras permitidas (classificadas em ordem alfabética) e uma palavra, encontre a palavra no banco de dados mais próxima da palavra especificada em termos de distância de Levenshtein. A abordagem ingênua é, é claro, simplesmente calcular a distância de levenshtein entre a palavra especificada …

24 ds.algorithms  reference-request  string-matching  string-search 

É claro que qualquer problema que seja decidível no espaço de log determinístico ( ) é executado no máximo no tempo polinomial ( ). Existe uma grande variedade de classes de complexidade entre e . Exemplos incluem , , , , , . Acredita-se que .P L P N L …

24 cc.complexity-theory  lower-bounds  space-bounded 

Uma pergunta muito específica, eu sei, e duvido que seja respondida por qualquer um que ainda não esteja familiarizado com as regras da Magia. Postagens cruzadas para Draw3Cards . Aqui estão as regras abrangentes para o jogo Magic: the Gathering . Veja esta pergunta para obter uma lista de todos …

24 turing-machines  card-games  recreational 

Estou procurando expansores desequilibrados que sejam "bons" e "com eficiência de espaço". Especificamente, um gráfico regular esquerdo bipartido , | Um | = n , | B | = m , com o grau esquerdo d, é um expansor ( k , ϵ ) se, para qualquer S ⊂ A …

24 graph-theory  derandomization  expanders 

Há uma literatura rica e pelo menos um livro muito bom que define a dureza conhecida dos resultados da aproximação para problemas difíceis de NP no contexto de erro multiplicativo (por exemplo, 2 aproximações para cobertura de vértices é ideal, considerando UGC). Isso também inclui classes de complexidade de aproximação …

24 cc.complexity-theory  complexity-classes  np-hardness  approximation-hardness 

Sabe-se que é NP-completo testar se existe um ciclo hamiltoniano em um gráfico tridimensional, mesmo que seja plano (Garey, Johnson e Tarjan, SIAM J. Comput. 1976) ou bipartido (Akiyama, Nishizeki, e Saito, J. Inform. Proc. 1980) ou para testar se existe um ciclo hamiltoniano em um gráfico de 4 regulares, …

24 graph-theory  np-hardness  hamiltonian-paths 

O emaranhamento é frequentemente sustentado como o principal ingrediente que torna os algoritmos quânticos bem ... quânticos, e isso pode ser rastreado até os estados de Bell que destroem a idéia da física quântica como um modelo probabilístico de estado oculto. Na teoria da informação quântica (do meu entendimento bastante …

24 quantum-computing  big-picture 

A Wikipedia define um segundo ataque de pré-imagem como: dada uma mensagem fixa m1, encontre uma mensagem diferente m2, tal que hash (m2) = hash (m1). A Wikipedia define um ataque de colisão como: encontre duas mensagens diferentes arbitrárias m1 e m2, de modo que hash (m1) = hash (m2). …

24 cr.crypto-security  hash-function 

Quais são as consequências de ter problemas completos no ?NP∩ c o NPNP∩coNPNP\cap coNP

24 cc.complexity-theory  conditional-results 

Existe um análogo paralelo natural às árvores de vermelho-preto com propriedades semelhantes ou até mesmo terrivelmente piores para atualizações, sendo razoavelmente eficiente no trabalho? De um modo mais geral, o que podemos fazer de melhor para pesquisas paralelas com atualizações?

24 ds.algorithms  ds.data-structures  dc.parallel-comp  concurrency  dynamic-algorithms 

Além de se tornar totalmente acadêmico e obter um doutorado / pós-doutorado, ou procurar um emprego mais ou menos 'padrão' no desenvolvimento de software, quais são algumas outras opções de carreira no campo de CS completo ou semi-teórico?

24 soft-question  advice-request  career 

Existem problemas de NP-completos para os quais um algoritmo é conhecido que o tempo de execução esperado é polinomial (para alguma distribuição sensata nas instâncias)? Caso contrário, existem problemas para os quais a existência desse algoritmo foi estabelecida? Ou a existência de um algoritmo desse tipo implica a existência de …

24 cc.complexity-theory  np-hardness 

Esta questão foi migrada do Computer Science Stack Exchange porque pode ser respondida no Theoretical Computer Science Stack Exchange. Migrou há 3 anos . No artigo científico de 2016 " Realização de um algoritmo Shor escalável " [ 1 ], os autores fatoram 15 com apenas 5 qubits, o que …

23 cc.complexity-theory  ds.algorithms  quantum-computing  factoring  security