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

Temos muitos problemas, como a fatoração, que são fortemente conjectura, mas não comprovadas, estar fora P. Há alguma pergunta com a propriedade oposto, ou seja, que eles são fortemente conjeturou, mas não provou ser dentro de P?

12 complexity-theory  polynomial-time 

Estou tendo problemas para entender os problemas PRIME, COMPOSITE, FACTOR e como eles estão relacionados em termos de complexidade. Entendo que o PRIME demonstrou estar em pelo teste de primalidade da AKS, e acredito que isso funcione também para o COMPOSITE.PPP Quanto ao fator, FACTOR={(m,r):∃s such that1<s<r and s divides …

12 complexity-theory  factoring 

Acabei de ler algumas páginas do livro de Sipser Introdução à teoria da computação sobre o problema pós-correspondência, e estou pensando que o PCP está realmente em NP. O certificador é: para uma configuração de entrada da pilha concatenando como uma string concatenando como uma cadeia de , e depois …

12 complexity-theory  decision-problem  np 

Estou ciente de que isso parece uma pergunta muito estúpida (ou óbvia demais para afirmar). No entanto, estou confuso em algum momento. Podemos mostrar que P NP=== se e somente se pudermos projetar um algoritmo que resolva qualquer instância de problema em NP em tempo polinomial. No entanto, eu não …

12 complexity-theory  p-vs-np 

Estou curioso para saber se há algum problema completo na classe de complexidade Arthur-Merlin. Gráfico O não-isomorfismo (RNB) parece ser o exemplo canônico de um problema no AM, mas provavelmente não é completo. Suponho que também esteja pensando se um problema "completo" está bem definido para AM. Já que AM …

12 complexity-theory  reductions  complexity-classes  interactive-proof-systems 

Vi como o XOR-3-SAT é eficientemente solucionável (por exemplo, consulte a seção "XOR-satisfability" na entrada da Wikipedia para o problema de satisfação booleana ). Estou pensando em uma pergunta básica: O XOR-k-SAT é eficientemente solucionável, para fórmulas com quantidades variáveis ​​de literais por cláusula? Eu realmente gostaria de saber se …

12 complexity-theory  satisfiability 

Ao ler alguns blogs sobre complexidade computacional (por exemplo, aqui ), eu assimilei a noção de que decidir se dois grupos são isomórficos é mais fácil do que testar dois gráficos quanto ao isomorfismo. Por exemplo, na página declarada, diz que o isomorfismo do gráfico é um problema mais geral …

12 complexity-theory  graph-isomorphism  group-theory 

A integridade do coNP implica dureza do NP? Em particular, tenho um problema que demonstrei ser coNP-completo. Posso afirmar que é NP-difícil? Percebo que posso reivindicar dureza de coNP, mas não tenho certeza se essa terminologia é padrão. Estou satisfeito com a afirmação de que, se um problema de NP …

12 complexity-theory  np-hard 

Estou tentando resolver esse problema e estou realmente lutando. Uma fórmula booleana monótona é uma fórmula na lógica proposicional em que todos os literais são positivos. Por exemplo, (x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)(x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)\qquad (x_1 \lor x_2) \land (x_1 \lor x_3) \land (x_3 \lor x_4 \lor x_5) é uma função booleana monótona. Por outro lado, …

12 complexity-theory  np-complete  satisfiability 

A dificuldade de um problema fortemente NP-difícil ou NP-completo (como por exemplo, definido aqui ) muda quando sua entrada é unária em vez de codificada em binária? Que diferença faz se a entrada de um problema fortemente NP-difícil é unária? Quero dizer, se eu pegar, por exemplo, o problema fracassado …

12 complexity-theory  time-complexity  np-complete 

Eu tenho essa "prova" muito simples de NP = CoNP e acho que fiz algo errado em algum lugar, mas não consigo encontrar o que está errado. Alguém pode me ajudar? Seja A um problema no PN, e M seja o decisor para A. Seja B o complemento, ou seja, …

12 complexity-theory  p-vs-np  check-my-proof  np 

Abaixo, suponha que estamos trabalhando com uma máquina de Turing com fita infinita. Ao explicar a noção de complexidade de tempo a alguém e por que ela é medida em relação ao tamanho de entrada de uma instância, deparei-me com a seguinte afirmação: [..] Por exemplo, é natural que você …

12 complexity-theory  time-complexity  intuition 

Uma pergunta foi feita no Stack Overflow ( aqui ): Dado um número inteiro NNN , imprimir todas as combinações possíveis de valores de número inteiro de A,B,CA,B,CA,B,C e DDD que resolvem a equação A2+B2+C2+D2=NA2+B2+C2+D2=NA^2+B^2+C^2+D^2 = N . Essa questão está obviamente relacionada à conjectura de Bachet na teoria dos …

12 complexity-theory  time-complexity  number-theory  enumeration 

Definição: Redução de Karp Uma linguagem AAA é Karp redutível a uma linguagem BBB se houver uma função computável em tempo polinomial f : { 0 , 1 } ∗ → { 0 , 1 } ∗f:{0,1}∗→{0,1}∗f:\{0,1\}^*\rightarrow\{0,1\}^* tal que para cada xxx , x ∈ Ax∈Ax\in A se e somente …

12 complexity-theory  reductions  check-my-proof 

O que significa a classe de complexidade ? Eu sei que é a classe de complexidade que contém as linguagens para as quais existe uma máquina de Turing não determinística no tempo polinomial, de modo que se o número de estados de aceitação da máquina na entrada for ímpar.⊕P⊕P⊕P⊕P\oplus P^{\oplus …

12 complexity-theory  terminology  complexity-classes