Eu preciso de uma lista de idiomas completos. Existem dois desses problemas listados no Complexity Zoo , a saber:Σp2Σ2p\Sigma_2^p DNF equivalente mínimo. Dada uma fórmula DNF F e um número inteiro k, existe uma fórmula DNF equivalente a F com k ou menos ocorrências de literais? Menor implicante....
O problema a seguir aparece na lista de Aaronson, Dez semi-grandes desafios para a teoria da computação quântica . É BQP=BPPBQNCBQP=BPPBQNC\mathsf{BQP}=\mathsf{BPP}^{\mathsf{BQNC}} Em outras palavras, pode a parte "quantum" de qualquer algoritmo quântico ser comprimido para...
Existe um teorema geral que declararia, com sanitização adequada, que os resultados mais conhecidos sobre o uso de números reais podem realmente ser usados quando se considera apenas reais computáveis? Ou existe uma caracterização adequada dos resultados que permaneçam válidos ao considerar...
Seja um dígrafo (não necessariamente um DAG) e deixe . O que é a complexidade da contagem do número de simples caminhos em . GGGs , t ∈ V( G )s,t∈V(G)s,t \in V(G) s - ts-ts-tGGG Eu esperaria que o problema fosse # completo, mas não consegui localizar uma referência exata. PP{\mathsf P} Observe...
Estou procurando um algoritmo de uma passagem que calcule a paridade de uma permutação. Suponho que uma permutação de entrada seja dada pelo fluxo . A saída deve ser a paridade da permutação. A questão que me interessa é quanta memória um algoritmo determinístico deve usar. Existe algum algoritmo...
Olhando para o blog da teoria dos tipos de homotopia, é fácil encontrar muitas bibliotecas formalizando a maior parte da teoria dos tipos de homotopia em Agda e Coq. Alguém sabe se existe alguma tentativa semelhante de formalizar o HoTT em Idris
Eu li que a programação linear inteira é solucionável em tempo polinominal se o número de variáveis for fixo, ou seja, n ∈ O ( 1 ) . Se o número de variáveis cresce logaritmicamente, ou seja, n ∈ O ( log 2 ( N ) ) para uma determinada entrada de tamanho , o problema ainda pode ser solucionado...
O princípio 0-1 diz que, se uma rede de classificação funciona para todas as seqüências 0-1, funciona para qualquer conjunto de números. Existe um tal que se uma rede classifica cada sequência 0-1 de S, ela classifica cada sequência 0-1 e o tamanho de S é polinomial em n ?S⊂{0,1}nS⊂{0 0,1...
Contar triângulos em gráficos gerais pode ser feito trivialmente em e acho que fazer muito mais rápido é difícil (referências bem-vindas). E os gráficos planares? O procedimento simples a seguir mostra que isso pode ser feito em . Minha pergunta é dupla:O ( n log n
Vou apresentar meu problema com um exemplo. Digamos que você esteja projetando um exame, que consiste em um certo conjunto de perguntas independentes (que os candidatos podem acertar ou errar). Você quer decidir sobre a pontuação a ser dada a cada uma das perguntas, com a regra de que os candidatos...
Seja e subconjuntos de . Estamos interessados em encontrar a soma de Minkowski .AAABBB{0,…,n}{0,…,n}\{0,\ldots,n\}A+B={a+b | a∈A,b∈B}A+B={a+b | a∈A,b∈B}A+B=\{a+b~|~a\in A,b\in B\} χX:{0,…,2n}→{0,1}χX:{0,…,2n}→{0,1}\chi_X:\{0,\ldots,2n\}\to \{0,1\} é uma função característica de...
Na descrição formal do determinística Pushdown Automata, eles permitem movimentos, onde a máquina pode pop ou empurrar símbolos na pilha sem ler um símbolo da entrada. Se esses ϵ movimentos não forem permitidos, e a pilha puder ser modificada apenas uma vez após a leitura de cada símbolo, os...
Um gráfico misto é um gráfico que pode ter bordas direcionadas e não direcionadas. Seu gráfico não direcionado subjacente é obtido esquecendo as orientações das arestas direcionadas e, na outra direção, uma orientação de um gráfico misto é obtida atribuindo uma direção a cada aresta não...
Provocado por uma pergunta que Greg Kuperberg me perguntou, estou me perguntando se existem documentos que definam e estudem classes de complexidade de idiomas que admitem vários tipos de provas de conhecimento . Classes como SZK e NISZK são extremamente naturais do ponto de vista da complexidade,...
Quais são alguns exemplos de pares de classes de complexidade e queAAABBB não sabemos se eA=BA=BA=B também não conhecemos relativizações contraditórias (isto é, não conhecemos oráculos e tal forma que A P = B P e A Q ≠ B Q )?PPPQQQAP=BPAP=BPA^P = B^PAQ≠BQAQ≠BQA^Q \ne B^Q Para formular a...
Muitas publicações de ciência da computação das décadas de 1950 e 1960 contêm especulações filosóficas fascinantes sobre a natureza da mente e o significado da informação em relação ao mundo físico. Exemplos famosos são o "Teste de Turing", o "Calculating Space" de Zuse, o Wheeler "from bit"...
É uma prova padrão em cursos de autômato que para e | Σ | ≥ 2 que S ( L ) = { w w : w ∈ L } não é uma linguagem livre de contexto.L=Σ⋆L=Σ⋆L = \Sigma^\star|Σ|≥2|Σ|≥2|\Sigma| \ge 2S(L)={ww:w∈L}S(L)={ww:w∈L}S(L) = \{ww : w \in L\} Também é verdade que para qualquer finito , S ( L ) é finito (e,...
Disclaimer: Eu sei muito pouco sobre a teoria da complexidade. Sinto muito, mas não há realmente nenhuma maneira de fazer essa pergunta sem ser (terrivelmente) conciso: Quais devem ser os morfismos na categoria "a" das máquinas de Turing? Isso é obviamente subjetivo e depende da...
Um aluno meu fez recentemente a seguinte pergunta: D T I M E ( f ( n ) ) ⊊ D T I M E ( g ( n ) ) . DTIME(f(n))⊊DTIME(g(n)).DTIME(f(n)) \subsetneq DTIME(g(n)).h ( n ) h(n)h(n)D T I M E ( f ( n ) ) ⊊ D T I M E ( h ( n ) ) ⊊ D T I M E ( g ( n) ) ?DTIME(f(n))⊊DTIME(h(n))⊊DTIME(g(n))?DTIME(f(n))...
Recentemente, Babai publicou um artigo no STOC 2016, alegando que o isomorfismo do gráfico pode ser resolvido em tempo quase-polinomial. No início de 2017, Babai retirou a reivindicação quase-polinomial devido a alguns erros graves encontrados por Harald Helfgott. Conforme explicado pelo próprio...