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...
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...
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...
Como provar que ? Estou apenas procurando por um oracle TM M e uma linguagem recursiva L ( M ) = L para a qual isso se aplica.NPA≠coNPANPA≠coNPA\mathsf{NP}^A \neq \mathsf{coNP}^AMMML(M)=LL(M)=LL(M) = L Eu sei que a prova de que você mostra que há um oráculo tal que P A ≠ N P A e um oráculo A tal...
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...
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 se f ( x ) ∈ Bf(x)∈Bf(x)\in B...
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...
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 à...
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ê precise...
Eu li sobre o NPC e sua relação com o PSPACE e gostaria de saber se os problemas do NPC podem ser resolvidos deterministicamente usando um algoritmo com o pior requisito de espaço polinomial, mas potencialmente levando tempo exponencial (2 ^ P (n) onde P é polinomial). Além disso, ele pode ser...
Estou tentando criar uma lista de algoritmos / problemas que são "excepcionalmente úteis", como resolver problemas que 'parecem' muito exponenciais por natureza, mas que têm algum algoritmo particularmente inteligente que finalmente os resolve. Exemplos do que quero dizer: Programação Linear (O...
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...
Pergunto-me, qual é a complexidade de tempo para determinar o vazio para DFAs bidirecionais? Ou seja, autômatos finitos que podem retroceder na fita de entrada somente leitura. Segundo a Wikipedia, eles são equivalentes aos DFAs, embora o DFA equivalente possa ser exponencialmente maior. Encontrei...
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...
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
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...
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, B está no CoNP. Como M é um decisor, você também pode...
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...
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
Ou: precisamos de Rupert para receber presentes? Questões de roteamento à parte, o Papai Noel enfrenta o seguinte problema (muitas e muitas vezes): Dado um saco com capacity¹ CCC e um conjunto de presentes {p1,…,pn}{p1,…,pn}\{p_1, \dots, p_n\} , cada um com tamanho sisis_i , ele quer fazer as...