Perguntas com a marcação «open-problem»

O capítulo 1 do livro The Probabilistic Method, de Alon e Spencer menciona o seguinte problema: Dado um gráfico , decida se a conectividade da borda é pelo menos n / 2 ou não.GGGn/2n/2n/2 O autor menciona a existência de um algoritmo por Matula e melhora-lo para O ( n …

13 ds.algorithms  open-problem  graph-algorithms 

A teoria dos compiladores parece ser um assunto bastante analisado. Quais são alguns problemas em aberto ou pesquisas atuais acontecendo no campo?

13 soft-question  big-list  open-problem  compilers 

Sabe-se que determinar se um determinado coletor triangular 3 é uma esfera tridimensional está em NP, através do trabalho de Saul Schleimer em 2004: "O reconhecimento da esfera está em NP" arXiv: math / 0407047v1 [math.GT] . Gostaria de saber se isso foi estabelecido para ser NP-completo nos últimos cinco …

13 cc.complexity-theory  reference-request  open-problem  topology 

Greibach notoriamente definida uma linguagem de , o chamado versão não-determinístico de D 2 , de tal modo que qualquer CFL é uma imagem inversa de mórfica H . Existe uma afirmação semelhante com o DCFL, possivelmente com alguma restrição nos morfismos permitidos?HHHD2D2D_2HHH (Ver, por exemplo, M. Autebert, J. Berstel …

12 fl.formal-languages  open-problem  context-free  nondeterminism  hard-instances 

Estou procurando uma lista sobre a complexidade conhecida ou desconhecida de vários problemas teóricos / algébricos de números. Por exemplo, GCD em está aberto,NC1NC1NC^1 factoring em é aberto,PPP a cohomologia do feixe de computação é -hard# P#P\#P , Arora e Barak afirmam que uma variante de fatoração é completa (embora …

12 cc.complexity-theory  big-list  algebra  open-problem 

Quais são os problemas com as seguintes propriedades: 1) são restrições de (possivelmente bem conhecidos) problemas que são completos no PSPACE; 2) as versões restritas estão no PSPACE, mas é um problema aberto se estiverem completas com o PSPACE (ou mesmo se forem difíceis de NP). Quatro exemplos de "puzzles …

12 big-list  open-problem 

Por http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Se é uma linguagem PSPACE-completo, P A = N P A .UMAAAPUMA= NPUMAPA=NPAP^{A}=NP^{A} Se é um oráculo determinístico de tempo polinomial, P B ≠ N P B (assumindo P ≠ N P ).BBBPB≠ NPBPB≠NPBP^{B}\ne NP^{B}P≠ NPP≠NPP\ne NP é a classe de problemas de decisão analógica para # P …

12 cc.complexity-theory  complexity-classes  counting-complexity  open-problem  oracles 

Nos projetos Polymath, um grande grupo trabalha em um problema em aberto. Que tipo de problemas parecem funcionar melhor nessa estrutura? Existem bons candidatos a um projeto polímata em ciência da computação teórica? Existem obstáculos que tornam menos provável que os projetos da Polymath sejam bem-sucedidos em ciência da computação …

10 soft-question  open-problem  research-practice 

Na complexidade da comunicação, a conjectura de log-rank afirma que cc(M)=(logrk(M))O(1)cc(M)=(log⁡rk(M))O(1)cc(M) = (\log rk(M))^{O(1)} Onde é a complexidade da comunicação de e é a classificação de (como uma matriz) sobre os reais.M ( x , y ) r k ( M ) Mcc(M)cc(M)cc(M)M(x,y)M(x,y)M(x,y)rk(M)rk(M)rk(M)MMM No entanto, quando você está apenas usando …

10 cc.complexity-theory  big-picture  linear-algebra  open-problem  communication-complexity 

Me deparei com um artigo publicado na Science "Memcomputando problemas completos de NP em tempo polinomial usando recursos polinomiais e estados coletivos" , o que faz algumas afirmações bastante surpreendentes. Memcomputing é um novo paradigma de computação não-Turing que usa células de memória em interação (memprocessors para abreviar) para armazenar …

9 np-complete  open-problem 

Sabemos que . No Teorema de Savitch, e, no Teorema da Hierarquia Espacial, \ mathcal {L} \ neq \ mathcal {L} ^ 2 . Portanto, como não sabemos se \ mathcal L \ neq \ mathcal P , não sabemos se \ mathcal L ^ 2 \ subseteq \ mathcal …

9 reference-request  complexity-classes  open-problem  hierarchy-theorems 

Background––––––––––––––Background_\underline{\bf Background} Em 2005, Regev [1] introduziu o problema de Aprendizagem com Erros (LWE), uma generalização do problema de Paridade de Aprendizagem com Erros. A suposição da dureza desse problema para certas opções de parâmetro agora está subjacente às provas de segurança para uma série de sistemas de criptografia pós-quantum …

9 cc.complexity-theory  ds.algorithms  cr.crypto-security  machine-learning  open-problem 

A conjectura de Cerny é a afirmação de que qualquer autômato de sincronização com nnn estados tem uma palavra de duração sincronizada no máximo (n−1)2(n−1)2(n-1)^2 . O melhor limite superior atual para o comprimento de uma palavra sincronizada é O(n3)O(n3)O(n^3) . Digamos que dois estados sejam mesclados por uma palavra …

8 fl.formal-languages  automata-theory  open-problem  dfa  synchronization