Perguntas com a marcação «cc.complexity-theory»

É claro que alguns resultados de complexidade podem entrar em colapso para idiomas unários, mas eu me pergunto se existe em algum lugar uma pesquisa resumindo os resultados conhecidos nesse caso: uma espécie de zoológico de complexidade para idiomas unários. Você saberia de tal referência?

25 cc.complexity-theory  reference-request  big-list 

EDIT (v2): Adicionada uma seção no final sobre o que eu sei sobre o problema. EDIT (v3): adicionada discussão sobre o grau do limiar no final. Questão Esta pergunta é principalmente uma solicitação de referência. Eu não sei muito sobre o problema. Quero saber se já houve trabalho anterior sobre …

24 cc.complexity-theory  reference-request  circuit-complexity  polynomials 

Isso está relacionado à pergunta O tamanho da associação de testemunhas para cada idioma NP já é conhecido? Alguns problemas naturais de N PNP\mathsf{NP} (completos) têm testemunhas de comprimento linear: uma tarefa satisfatória para SA TSATSAT , uma sequência de vértices para , etc.HA MPA THHAMPATHHAMPATH Considere a classe de …

24 cc.complexity-theory  complexity-classes  np 

Edit: Eu primeiro formulei minha restrição (2), agora ela está corrigida. Eu também adicionei mais informações e exemplos. Com alguns colegas, estudando outra questão algorítmica, conseguimos reduzir nosso problema ao seguinte problema interessante, mas não conseguimos resolver a questão de sua complexidade. O problema é o seguinte. Instância: Um número …

24 cc.complexity-theory  ds.algorithms  reference-request 

É 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 

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 

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

24 cc.complexity-theory  conditional-results 

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 

O acesso a um oráculo forneceria uma grande aceleração super polinomial para tudo em (assumindo que o conjunto não esteja vazio). No entanto, é menos claro quanto beneficiaria desse acesso ao oracle. Obviamente, a aceleração em não pode ser super-polinomial, mas ainda pode ser polinomial. Por exemplo, poderíamos encontrar um …

23 cc.complexity-theory  np  np-complete 

A teoria da complexidade, através de conceitos como NP-completeness, distingue entre problemas computacionais que têm soluções relativamente eficientes e aqueles que são intratáveis. A complexidade "refinada" visa refinar essa distinção qualitativa em um guia quantitativo sobre o tempo exato necessário para resolver problemas. Mais detalhes podem ser encontrados aqui: http://simons.berkeley.edu/programs/complexity2015 …

23 cc.complexity-theory  reference-request  complexity-classes  fine-grained 

Um polinômio é uma projeção monótona de um polinômio g ( y 1 , … , y m ) se m = poli ( n ) , e existe uma atribuição π : { y 1 , … , y m } → { x 1 , … , x …

23 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits 

Atualmente, estou tentando encontrar problemas completos do EXPSPACE (principalmente para encontrar inspiração para uma redução) e estou surpreso com o pequeno número de resultados que estão chegando. Até agora, eu os encontrei e tenho problemas para expandir a lista: universalidade (ou outras propriedades) de expressões regulares com exponenciação. problemas relacionados …

23 cc.complexity-theory  reference-request  big-list 

Atualmente, o bitcoin possui um sistema de prova de trabalho (PoW) usando SHA256. Outras funções de hash usam gráficos de uso do sistema de prova de trabalho, inversão parcial da função de hash. É possível usar um problema de Decisão na Teoria do Nó, como o reconhecimento do Nó, e …

23 cc.complexity-theory  reference-request  cr.crypto-security  algebraic-topology 

Considere a seguinte tarefa computacional: Queremos provar uma fórmula 3-SAT de variáveis ​​(uma variante: variáveis cláusulas) com relação à distribuição uniforme de probabilidade, condicionada à satisfação da fórmula:n mnnnnnnmmm Q1: Isso pode ser alcançado com eficiência por um computador clássico (com bits aleatórios)? P2: Isso pode ser alcançado com eficiência …

23 cc.complexity-theory  quantum-computing  sample-complexity