Perguntas com a marcação «polynomial-time»

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 P)?

55 cc.complexity-theory  np-hardness  big-picture  polynomial-time 

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 com eficiência, mas acredito …

31 ds.algorithms  optimization  linear-programming  semidefinite-programming  polynomial-time 

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 Programação Linear, porque …

30 cc.complexity-theory  linear-algebra  linear-programming  semidefinite-programming  polynomial-time 

É 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.)

25 cc.complexity-theory  open-problem  nt.number-theory  polynomial-time  primes 

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 …

23 cc.complexity-theory  reference-request  np-hardness  polynomial-time 

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 ( nα)O(nα)O(n^\alpha)αα\alpha

21 cc.complexity-theory  time-complexity  polynomial-time 

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 para membros, mas não para todos os não membros!)EQUALITYEQUALITY \mathtt{EQUALITY} Por …

21 space-bounded  polynomial-time 

(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 como parte da entrada. Um subconjunto especificado das variáveis é definido como zero e o restante pode assumir valores integrais positivos:xijxijx_{ij} …

21 ds.algorithms  reference-request  linear-programming  integer-programming  polynomial-time 

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 …

21 cc.complexity-theory  complexity-classes  np-complete  polynomial-time  np-intermediate 

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 …

18 fl.formal-languages  automata-theory  time-complexity  polynomial-time  decidability 

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 Yuster, …

15 graph-theory  graph-algorithms  clique  polynomial-time  fixed-parameter-tractable 

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 L/poly

14 cc.complexity-theory  circuit-complexity  polynomial-time  advice-and-nonuniformity  logspace 

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 …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

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 - em duas subclasses complementares:PPP …

14 cc.complexity-theory  polynomial-time  undecidability  independence 

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 é …

13 sat  counting-complexity  polynomial-time  monotone