O problema da parada para as máquinas de Turing é talvez o conjunto indecidível canônico. No entanto, provamos que existe um algoritmo que decide quase todas as instâncias dele. O problema da parada está, portanto, entre a crescente coleção daqueles que exibem o fenômeno da teoria da complexidade...
Estou interessado no seguinte problema: Dado um matriz, existe um grafo não direcionado em n vértices cuja adjacência matriz ao quadrado é essa matriz?n × nn×nn\times nnnn A complexidade computacional desse problema é conhecida? Observações: Obviamente, isso também pode ser formulado como um...
Na descrição oficial do problema de Clay para P versus NP, afirma-se que seguiria mostrando que "todas as línguas em [a classe de línguas reconhecíveis em tempo exponencial com uma máquina de Turing determinística] podem ser computadas por uma família de circuitos booleanos modo que, por pelo menos...
Estou interessado na conexões entre aprendizagem "caos", ou, mais amplamente, sistemas dinâmicos, eo pergunta. Aqui está um exemplo do tipo de literatura que estou procurando:P= NPP=NPP{=}NP Ercsey-Ravasz, Mária e Zoltán Toroczkai. "Dureza de otimização como caos transitório em uma abordagem...
Há algum problema NP completo com nenhum subconjunto infinito de instâncias tal que a adesão em Φ pode ser decidida em tempo polinomial, e para todo x ∈ Φ , x pode ser resolvido em tempo polinomial? (Assumindo P ≠ N P )ΦΦ\PhiΦΦ\Phix∈Φx∈Φx \in \PhixxxP≠NPP≠NPP \neq...
Existe algum projeto em andamento para verificar formalmente os teoremas e as provas da teoria da complexidade usando um assistente de prova como Coq? Existem limites para fazer
Suponha que você receba um gráfico H. simples, não direcionado, conectado O problema do corte sem H é definido da seguinte maneira: Dado um gráfico simples e não direcionado G, existe um corte (partição de vértices em dois conjuntos não vazios, L, R), de modo que os gráficos induzidos pelos...
Normalmente, algoritmos eficientes têm um tempo de execução polinomial e um espaço de solução exponencialmente grande. Isso significa que o problema deve ser fácil em dois sentidos: primeiro, o problema pode ser resolvido em um número polinomial de etapas e, segundo, o espaço da solução deve ser...
É sabido que o conjunto de idiomas com sistemas de prova interativa de dois provadores, nos quais o verificador é executado em tempo polinomial (MIP), é NEXP. Mas existem limites conhecidos sobre o poder de tais provas interativas quando os provadores têm um poder restrito? Por exemplo, qual é a...
No "último parágrafo" da "primeira página" do seguinte artigo: Vikraman Arvind , Johannes Köbler , Uwe Schöning , Rainer Schuler , "Se NP possui circuitos de tamanho polinomial, então MA = AM", Ciência da Computação Teórica, 1995. Eu encontrei uma afirmação um tanto contra-intuitiva:...
Encontrei o livro Pairwise Independence and Derandomization sobre o assunto, mas é mais orientado para a pesquisa do que orientado para o tutorial. Eu sou novo no assunto de "Derandomization" e, como tal, queria saber de qual referência começar? Prefiro um que discuta literatura e história, bem...
Seja 0≤p≤10≤p≤10\le p\le 1 e considere o problema de decisão CLICK p entrada: número inteiro s , gráfico G com t vértices e arestas Pergunta: O conter uma clique sobre, pelo menos, vértices?pp_p sssGGGttt⌈p(t2)⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceil sGGGsss Uma instância de CLIQUE pp_p contém...
A distribuição DD\mathcal{D} é dito ϵϵ\epsilon -fool uma função se . E é dito que engana uma classe de funções se ela engana todas as funções nessa classe. Sabe-se que os espaços tendenciosos enganam a classe de paridades sobre subconjuntos. (veja Alon-Goldreich-Hastad-Peralta para algumas...
Tanto quanto eu entendo, todos sabem que as regras de pivô determinísticas para algoritmos simplex têm entradas específicas nas quais o algoritmo requer tempo exponencial (ou pelo menos não polinomial) para encontrar o melhor. Vamos chamar essas instâncias de "patológicas", já que geralmente (ou...
É fácil ver que qualquer problema decidível no espaço de registro determinístico ( ) é executado no máximo no tempo polinomial ( P ). Muitos algoritmos de espaço de log conhecidos (por exemplo: conectividade st não direcionada, isomorfismo de gráfico plano) são executados em O ( n k ), onde k é...
Estou procurando descobrir se existem resultados gerais ou exemplos relativos à completude de NP do problema de encontrar uma segunda solução para um problema de NP-completo. Mais precisamente, estou interessado em qualquer problema da seguinte forma: Dada uma solução para uma instância de um...
Eu tenho tentado ler “ Projeto Pérolas do algoritmo funcional ” e, posteriormente, “ A álgebra da programação ”, e há uma correspondência óbvia entre tipos de dados definidos recursivamente (e polinomialmente) e objetos combinatórios, com a mesma definição recursiva e, posteriormente, levando para...
Como é sabido, o PARITY não pode ser feito em circuitos de profundidade constante de tamanho poli e, de fato, os circuitos const-dept requerem número de portas EXP. E os circuitos QUANTUM? a) O PARITY pode ser feito com um circuito quântico que tenha profundidade constante e número poli de...
como mostrar que relação existe entre "conjectura de jogos únicos" e "teorema do PCP"? como explicar "conjectura de jogos únicos" é a forma mais forte de "teorema do
O método adversário negativo ( ) é um SDP que caracteriza a complexidade da consulta quântica. É uma generalização do método adversário amplamente utilizado ( ) e supera as duas barreiras que impediram o método adversário:A D V±UMADV±ADV^\pmA D VUMADVADV A barreira do teste de propriedades: se...