Perguntas com a marcação «np»

O que estou pensando especificamente é se existe uma condição interessante na porcentagem de tarefas que atendem à fórmula 3SAT para garantir que esses problemas sejam tratáveis. Suponha, por exemplo, a classe de problemas 3SAT que das atribuições possíveis satisfazem a fórmula booleana; podemos encontrar com eficiência uma tarefa satisfatória? …

12 cc.complexity-theory  ds.algorithms  sat  np 

Considere as informações completas sobre jogos combinatórios para dois jogadores que terminam após um número polinomial de jogadas e, de maneira alternada, os jogadores escolhem um número finito de jogadas permitidas. A pergunta usual é: quão difícil é distinguir de uma determinada posição o vencedor. Outra seria: quão difícil é …

11 cc.complexity-theory  np  board-games  pspace 

A ETH afirma que o SAT não pode ser resolvido no pior dos casos no tempo subexponencial. E o caso médio? Existem problemas naturais em PN que são conjecturados como sendo exponencialmente difíceis no caso médio? Tome caso médio para significar o tempo médio de execução com distribuição uniforme nas …

11 cc.complexity-theory  np  average-case-complexity 

Suponha que NP = co-NP e polinômio limita o comprimento da prova de insatisfação para uma instância 3-CNF x . Então, existem resultados de que forma qualquer prova de insatisfação para x de comprimento ≤ p ( x ) pode levar? Ou seja, em geral, essa prova teria que, por …

11 cc.complexity-theory  lo.logic  np  proof-complexity 

Aqui estão duas variações na definição de NP. Eles (quase certamente) definem classes de complexidade distintas, mas minha pergunta é: existem exemplos naturais de problemas que se encaixam nessas classes? (Meu limite para o que conta como natural aqui é um pouco menor que o normal.) Classe 1 (uma superclasse …

11 cc.complexity-theory  complexity-classes  np 

É bem conhecido que certas classes de NP -Problemas Tem dicotomia teoremas, que garantia de que todas as tarefas na classe ou é NP -completo ou está em P . O resultado mais conhecido é o teorema da dicotomia de Schaefer , juntamente com várias generalizações. Entendo que provar esses …

10 cc.complexity-theory  np  descriptive-complexity 

A complexidade da prova é uma área mais básica da teoria da complexidade computacional. Um objetivo final dessa área é provar , ou seja, qualquer provador não pode dar uma prova de insatisfação de determinada fórmula de entrada. NP≠coNPNP≠coNPNP\neq coNP Um gráfico é um modelo formal de provas. Minha pergunta …

10 cc.complexity-theory  reference-request  graph-theory  np  proof-complexity 

Todo idioma indecidível reconhecível por Turing possui um subconjunto NP-completo? A questão poderia ser vista como uma versão mais forte do fato de que toda linguagem infinita reconhecível de Turing tem um subconjunto infinito e decidível.

9 cc.complexity-theory  np-hardness  complexity-classes  np  decidability 

Essa questão surgiu no contexto da criptografia, mas a seguir apresentarei em termos da teoria da complexidade, uma vez que as pessoas aqui estão mais familiarizadas com a última. Esta pergunta está relacionada a Problemas no NP, mas não na Média-P / poli e Não- uniformidade de batimento do Oracle …

9 cc.complexity-theory  cr.crypto-security  np  advice-and-nonuniformity  average-case-complexity 

A interseção de dois idiomas no NP que não são NP completos pode ser NP completa? A interseção de dois idiomas no coNP que não são completos no coNP pode ser completa no coNP? A interseção de dois idiomas, um em coNP, mas não completo e outro em NP, mas …

8 complexity-classes  np