De acordo com este artigo , que discute uma extensão não determinística da Hipótese do Tempo Exponencial Forte (SETH), "[...] Williams recentemente demonstrou hipóteses relacionadas sobre a complexidade de Merlin-Arthur do k-TAUT são falsas". No entanto, esse documento cita apenas uma comunicação...
É sabido que a propriedade Church-Rosser é válida para a redução de no cálculo lambda de tipo simples. Isso implica que o cálculo é consistente, no sentido de que nem todas as equações que envolvem termos- λ são deriváveis: por exemplo, K ≠ I , pois não compartilham a mesma forma normal.βηβη\beta...
Quão difícil é encontrar a solução mais esparsa para um sistema de equações lineares? Mais formalmente, considere o seguinte problema de decisão: Instância: Um sistema de equações lineares com coeficientes inteiros e um número .ccc Pergunta: Existe uma solução para o sistema com pelo menos...
É verdade que adicionar axiomas ao CIC pode ter influências negativas no conteúdo computacional de definições e teoremas? Entendo que, no comportamento normal da teoria, qualquer termo fechado se reduzirá à sua forma normal canônica, por exemplo, se for verdadeiro, então deverá se reduzir a um...
Para uma função booleana f:{−1,1}n→{−1,1}f:{−1,1}n→{−1,1}f\colon\{-1,1\}^n \to \{-1,1\} , a influência do iii th variável é definida como Infi[f]=defPrx∼{−1,1}n[f(x)≠f(x⊕i)]Infi[f]=defPrx∼{−1,1}n[f(x)≠f(x⊕i)] \operatorname{Inf}_i[f] \stackrel{\rm def}{=} \Pr_{x\sim\{-1,1\}^n}[ f(x) \neq...
A lógica linear é interpretada usando espaços coerentes , e eles aparecem com destaque nos papéis de Girard. Conheço todas as três principais maneiras de defini-las formalmente, e elas realmente não apresentam nenhum problema para usar e provar coisas, mas simplesmente não consigo entender o que...
Estou à procura de: Michael O. Rabin, "Grau de dificuldade em calcular uma função e uma ordem parcial de conjuntos recursivos", Universidade Hebraica, Jerusalém, 1960 Resumo: “Tentamos medir a quantidade de trabalho inerente à tarefa de calcular uma determinada função computável (recursiva)....
Lance Fortnow afirmou recentemente que provar L! = NP deve ser mais fácil do que provar P! = NP : Separe NP do espaço logarítmico. Fiz quatro abordagens em uma pesquisa pré-blog de 2001 sobre diagonalização (Seção 3), embora nenhuma tenha sido bem-sucedida. Deve ser muito mais fácil do que...
Para quais gráficos não direcionados estão todas as árvores de pesquisa em profundidade (para todos os possíveis vértices iniciais e para todas as opções de quais vizinhos pesquisar primeiro) caminhos direcionados? Ou seja, toda árvore DFS deve ter apenas uma folha e todos os outros vértices devem...
Agora podemos ver que a Igreja estava associada ao Cálculo Lambda de Digitação Simples . De fato, parece que ele explicou o Cálculo Lambda de Digitação Simples para reduzir o mal-entendido sobre o Cálculo Lambda. Agora, quando John McCarthy criou o Lisp, ele o baseou no cálculo Lambda . Isso é por...
Sabe-se que se , a hierarquia polinomial colapso para e .NP⊆P/PolyNP⊆P/PolyNP\subseteq P/PolyΣP2Σ2P\Sigma_2^{P}MA=AMMA=AMMA = AM Quais são os colapsos mais fortes que se sabe se o ?NEXP⊆P/PolyNEXP⊆P/PolyNEXP\subseteq
Qual é o algoritmo determinístico mais rápido conhecido que pode reconhecer gráficos direcionados com um par de ciclos disjuntos de vértices? Eu sei que gráficos com três graus negativos sempre têm esse par ( Thomassen'83 ), mas mesmo assim não consigo encontrar um algoritmo eficiente no caso...
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...
Treewith é um parâmetro importante do gráfico que indica o quão perto um gráfico está de ser uma árvore (embora não em um sentido topológico estrito). É sabido que calcular a largura da árvore é difícil para NP. Existem classes naturais de gráficos em que a largura da árvore é difícil de...
Em seu livro Computational Complexity , Papadimitriou define FNP da seguinte forma: Suponha que seja uma linguagem no NP . Pela Proposição 9.1, há um decidível em tempo polinomial, relação polinomialmente equilibrada tal que para todas as cadeias : Há uma seqüência com se e somente se . O...
Se é o conjunto de tempos de parada de máquinas de Turing state em um alfabeto binário com fita inicial vazia, então .HT( N )HT(n)HT(n)nnnB B ( n ) = max HT( N )BB(n)=maxHT(n)BB(n) = \max HT(n) O que podemos dizer sobre o segundo maior número em HT( N )HT(n)HT(n) ? Chame isso de B B2( N...
Sabemos que o problema de contar o número de atribuições satisfatórias em uma determinada fórmula booleana geral (CNF-SAT), em uma fórmula DNF ou em uma fórmula 2SAT é um problema # P-complete . Agora, considere um CNF-SAT sem literal negativo (sem negativo , sempre ). O problema de decisão é...
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...