Complexidade classe PPAD foi inventado por Christos Papadimitriou em seu seminal 1994 papel . A classe é projetada para capturar a complexidade dos problemas de pesquisa, onde a existência de uma solução é garantida pelo "argumento Paridade em gráficos direcionados": se houver um vértice...
Adleman demonstrou, em 1978, que B P P ⊆ P / p o l yBPP⊆P/poly\mathrm{BPP}\subseteq \mathrm{P/poly} : se uma função booleana de variáveis pode ser calculado por um circuito booleano probabilística de tamanho , em seguida, pode também ser calculado por um circuito booleano determinista de tamanho...
Digamos que temos uma propriedade de gráfico que pode ser verificada em tempo polinomial não determinístico e uma prova em um sistema formal fraco (por exemplo, RCA 0 ) de que a propriedade é menor fechada. Podemos dizer algo sobre a força de um sistema formal, que é capaz de provar que um...
Dado um autômato finito (determinístico ou não determinístico, acho que isso não tem muita importância) autômato A e um limiar n , A aceita uma palavra contendo no máximo n letras distintas? (Com k letras diferentes, quero dizer que aabaa tem duas letras distintas, a e b .) Eu mostrei esse...
Considere o jogo a seguir em um gráfico ponderado direcionado GGG com um chip em algum nó. Todos os nós de GGG são marcados por A ou B. Existem dois jogadores Alice e Bob. O objetivo de Alice (Bob) é mudar o chip para um nó marcado por A (B). Inicialmente, Alice e Bob têm mAmAm_A e mBmBm_B...
Que outros problemas de linguagem diferentes do isomorfismo de grafos existem em ? Você pode dar algumas referências?NP∩coAMNP∩coAMNP\cap coAM Update: Esqueci de mencionar que eu estou interessado em línguas desconhecidas para a
Let { 0 , . . . , N - 1 } e ∘ : S × S → S . Eu quero calcular a complexidade da comunicação para decidir se ∘ é associativo.S=S=S=0 , . . . , n - 10,...,n−10,...,n-1∘ : S× S→ S∘:S×S→S\circ : S \times S \rightarrow S∘∘\circ O modelo é o seguinte. é dada como uma matriz M . Alice (resp. Bob) recebe...
O papel Lauri Hella e José María Turull-Torres, Consultas de computação com lógicas de ordem superior , TCS 355 197-214, 2006. doi: 10.1016 / j.tcs.2006.01.009 propõe lógica VO, lógica de ordem variável. Isso permite a quantificação de pedidos sobre as variáveis. O VO é bastante poderoso e...
Uma formulação equivalente do teorema de PCP é: Para Max 3-SAT, é difícil distinguir entre fórmulas satisfatórias e fórmulas onde, no máximo, a fração das cláusulas é satisfatória (para alguns ).NPNPNPrrrr<1r<1r\lt 1 Existe algum teorema de dicotomia conhecido que classifique todo o CSP...
A pergunta a seguir usa idéias da criptografia aplicada à teoria da complexidade. Dito isso, é uma questão puramente teórica da complexidade e nenhum conhecimento criptográfico é necessário para respondê-lo. Eu deliberadamente escrevo essa pergunta de maneira muito informal. Na falta de detalhes,...
Por http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Se é uma linguagem PSPACE-completo, P A = N P A .UMAAAPUMA= NPUMAPA=NPAP^{A}=NP^{A} Se é um oráculo determinístico de tempo polinomial, P B ≠ N P B (assumindo P ≠ N P ).BBBPB≠ NPBPB≠NPBP^{B}\ne NP^{B}P≠ NPP≠NPP\ne NP é a classe de...
Novamente, um problema de particionamento de borda cuja complexidade me interessa, motivada por uma pergunta anterior minha . Entrada: um gráfico cúbicoG = ( V, E)G=(V,E)G=(V,E) Pergunta: existe uma partição de em , de modo que o subgráfico induzido por cada seja uma garra (ou seja, ,...
O resultado de Baker-Gill-Solovay mostrou que a questão P = NP não se relativiza, no sentido de que nenhuma prova relativizante (insensível à presença de um oráculo) pode resolver a questão P = NP. Minha pergunta é: Existe um resultado semelhante para a pergunta "Existe um problema de PH...
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...
Enquanto trabalhava em um projeto não relacionado para a Suresh, deparei-me recentemente com alguns trabalhos realizados por Page e Opper sobre sistemas compostos pelo usuário e uma parte de seu trabalho discutiu brevemente problemas que não podem ser verificados em tempo polinomial. Não consegui...
Contando argumentos, pode-se mostrar que existem polinômios de grau n em 1 variável (isto é, algo da forma que possui complexidade de circuito n. Além disso, pode-se mostrar que um polinômio como x n requer pelo menos log 2 n multiplicações (você precisa disso apenas para obter um grau alto o...
Seja G um gráfico conectado. Qual é a complexidade de contar todos os subgráficos conectados se G for dos seguintes tipos? G é geral. G é plano. G é bipartido. Eu não ligo para nenhuma estrutura ou ..., só preciso contar todos os subgráficos conectados! Também estou interessado na...
Recentemente, fui lembrado sobre o problema vs. N P, conforme explicado por Stephen A. Cook no Clay Mathematics Institute.PP\mathsf{P}N PNP\mathsf{NP} Isso despertou meu interesse e eu gostaria de aprender mais sobre isso. O primeiro passo seria obter uma compreensão mais profunda do problema e...
Eu li em SP Jordan, D. Gosset, "PJ Amor -Complete problemas para Hamiltonians stoquastic e matrizes de MarkovQ MUMAQMAQMA " que é improvável que .Q MA ⊆ A MQMA⊆AMQMA \subseteq AM Fiquei surpreso com essa afirmação. Então, qual é a relação adequada entre e A M ?Q MUMAQMAQMAA...
Hoje em dia, a programação linear é muito bem compreendida. Temos muito trabalho que caracteriza a estrutura de soluções viáveis e a estrutura de soluções ideais. Temos a forte dualidade, algoritmos de poli-tempo, etc. Mas o que se sabe sobre soluções mínimas máximas de LPs? Ou,...