Eu me deparei com o algoritmo polinomial que resolve 2SAT. Eu achei desconcertante que o 2SAT esteja em P, onde todas (ou muitas outras) das instâncias do SAT são NP-Complete. O que torna esse problema diferente? O que o torna tão fácil (NL-Complete - ainda mais fácil que
Estou um pouco confuso com a literatura de otimização contínua e a literatura do TCS sobre quais tipos de programas matemáticos (contínuos) (MPs) podem ser resolvidos com eficiência e quais não. A comunidade de otimização contínua parece afirmar que todos os programas convexos podem ser resolvidos...
Eu gostaria de encontrar um algoritmo de tempo polinomial que determine se o intervalo de um determinado conjunto de matrizes contém uma matriz de permutação. Se alguém souber se esse problema é de uma classe de complexidade diferente, isso seria igualmente útil. EDIT: Marquei esta questão com...
É um algoritmo de tempo polinomial determinístico conhecido pelo seguinte problema: Entrada: um número natural (em codificação binária)nnn Saída: um número primo .p > np>np > n (De acordo com uma lista de problemas em aberto de Leonard Adleman, o problema foi aberto em 1995.)...
O problema Nem todos iguais -SAT (NAE k -SAT), dado um conjunto C de cláusulas sobre um conjunto X de variáveis booleanas, de modo que cada cláusula contém no máximo k literais, pergunta se existe uma atribuição de verdade das variáveis, de forma que cada cláusula contém pelo menos um literal...
(Este é um acompanhamento para esta pergunta e sua resposta .) Eu tenho o seguinte programa linear inteiro totalmente unimodular (TU) (ILP). Aqui ℓ,m,n1,n2,…,nℓ,c1,c2,…,cm,wℓ,m,n1,n2,…,nℓ,c1,c2,…,cm,w\ell,m,n_{1},n_{2},\ldots,n_{\ell},c_{1},c_{2},\ldots,c_{m},w são números inteiros positivos dados...
László Babai provou recentemente que o problema do isomorfismo gráfico está no tempo quase-polinomial . Veja também sua palestra na Universidade de Chicago, nota das palestras de Jeremy Kun pós 1 da GLL , pós 2 da GLL , pós 3 da GLL . De acordo com o teorema de Ladner, se P≠NPP≠NPP \neq NP...
Existe algum problema natural em P para o qual o limite de tempo de execução mais conhecido seja da forma , em que é uma constante irracional ?αO (
Considere o idioma .EQUALITY={anbn∣n≥0}EQUALITY={anbn∣n≥0} \mathtt{EQUALITY} = \{ a^nb^n \mid n \geq 0 \} Sabe-se que não pode ser reconhecido por nenhuma máquina de Turing alternada no espaço sublogarítmico (ATM) (Szepietowski, 1994) . (Existe um caixa eletrônico usando espaço sublogarítmico...
Estou tentando resolver um problema específico e pensei que poderia resolvê-lo usando a teoria dos autômatos. Gostaria de saber, que modelos de autômatos têm contenção decidível em tempo polinomial? ou seja, se você tiver máquinas poderá testar se L ( M 1 ) ⊆ L ( M 2 ) com eficiência.M1,...
O problema da kkk ciclo é o seguinte: Instância: Um gráfico não direcionado GGG com nnn vértices e até arestas.( n2)(n2)n \choose 2 Pergunta: Existe um ciclo- (adequado) em ?GkkkGGG Antecedentes: Para qualquer fixo , podemos resolver ciclo em .2 k O ( n 2 )kkk2 k2k2kO (n2)O(n2)O(n^2) Raphael...
Lema: Assumindo a eta-equivalência, temos isso (\x -> ⊥) = ⊥ :: A -> B. Prova: ⊥ = (\x -> ⊥ x)por eta-equivalência e (\x -> ⊥ x) = (\x -> ⊥)por redução no lambda. O relatório Haskell 2010, seção 6.2 especifica a seqfunção por duas equações: seq :: a -> b -> b seq ⊥ b = ⊥ seq...
Um idioma está em se existir uma máquina de Turing de espaço de log que decida o idioma com uma quantidade de conselhos polinomiais.L/polyL/polyL/poly Veja aqui para mais informações: https://en.wikipedia.org/wiki/L/poly Questão Quais são as consequências de ?P⊆L/polyP⊆L/polyP \subseteq...
Resposta: desconhecida. As perguntas são naturais, abertas e aparentemente difíceis; a questão agora é um wiki da comunidade. Visão geral A questão procura dividir as linguagens pertencentes à classe de complexidade - junto com as máquinas de decisão de Turing (TMs) que aceitam essas linguagens...
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 é...
Você conhece algum problema (de preferência pelo menos um pouco conhecido), onde, para um tamanho de problema prático , um algoritmo exponencial é executado muito mais rápido do que um equivalente de tempo polinomial mais conhecido. Por exemplo, suponha que um problema tenha um tamanho prático *...
P / poly é a classe de problemas de decisão solucionáveis por uma família de circuitos booleanos de tamanho polinomial. Como alternativa, ela pode ser definida como uma máquina de Turing de tempo polinomial que recebe uma sequência de conselhos que é polinomial de tamanho em n e que é baseada...
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...
Ao tentar resolver um problema, acabei expressando parte dele como o seguinte programa linear inteiro. Aqui são números inteiros positivos dados como parte da entrada. Um subconjunto especificado das variáveis x i j é definido como zero e o restante pode assumir valores integrais positivos:ℓ , m ,...
Considere o seguinte problema, Dado um conjunto de números positivos { a 1 , … , a n } em que k ≥ 3 é uma constante, queremos particionar o conjunto em m subconjuntos de tamanho k, para que o produto da soma de cada subconjunto é maximizado.n=kmn=kmn = k m{a1,…,an}{a1,…,an}\{ a_1, \dots, a_n...