Perguntas com a marcação «exp-time-algorithms»

Sabe-se que o TSP métrico pode ser aproximado dentro de e não pode ser aproximado melhor que 1231.51.51.5 em tempo polinomial. Existe algo conhecido sobre como encontrar soluções de aproximação em tempo exponencial (por exemplo, menos de2netapas com apenas espaço polinomial)? Por exemplo, em que tempo e espaço podemos encontrar …

44 cc.complexity-theory  graph-algorithms  approximation-algorithms  tsp  exp-time-algorithms 

Um gráfico é choosable (também conhecido como -list-colorable ) se, para cada função que mapeia vértices para conjuntos de cores, há uma atribuição de cores tal que, para todos os vértices , , e tal que, para todas as arestas , .k f k c v c ( v ) …

39 graph-theory  co.combinatorics  graph-colouring  exp-time-algorithms 

Algoritmos clássicos podem resolver 3-SAT em tempo (aleatório) ou tempo (determinístico). (Referência: Melhores limites superiores no SAT )1,3303 n1,3071n1.3071n1.3071^n1.3303n1.3303n1.3303^n Para comparação, o uso do algoritmo de Grover em um computador quântico procuraria e forneceria uma solução em , randomizada. (Isso ainda pode exigir um conhecimento de quantas soluções podem ou …

29 quantum-computing  sat  exp-time-algorithms 

O que se sabe sobre a complexidade exata do menor problema de supercorda? Pode ser resolvido mais rapidamente que ? Existem algoritmos conhecidos que resolvem as supercordas mais curtas sem reduzir ao TSP?O∗( 2n)O∗(2n)O^*(2^n) UPD: suprime fatores polinomiais.O∗( ⋅ )O∗(⋅)O^*(\cdot) O menor problema de supercorda é um problema cuja resposta …

18 cc.complexity-theory  ds.algorithms  graph-theory  tsp  exp-time-algorithms 

Considere o seguinte problema de decisão Entrada : um CNF monótono ΦΦ\Phi e um DNF monótono .ΨΨ\Psi Pergunta : uma tautologia?Φ→ΨΦ→Ψ\Phi \to \Psi Definitivamente, você pode resolver esse problema no tempo , onde é o número de variáveis ​​em e é o comprimento da entrada. Por outro lado, esse problema …

14 exp-time-algorithms  boolean-formulas  fine-grained 

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 * de e haja …

13 time-complexity  polynomial-time  exp-time-algorithms 

Esta questão é sobre problemas de programação quadrática com restrições de caixa (box-QP), ou seja, problemas de otimização do formulário minimizar sujeito a .f(x)=xTAx+cTxf(x)=xTAx+cTxf(\mathbf{x}) = \mathbf{x}^T A \mathbf{x} + \mathbf{c}^T \mathbf{x}x∈[0,1]nx∈[0,1]n\mathbf{x} \in [0,1]^n Se fosse semi-definido positivo, tudo seria agradável, convexo e fácil, e poderíamos resolver o problema em tempo …

13 ds.algorithms  optimization  exp-time-algorithms 

É possível que ? Existem conseqüências interessantes de tal contenção? Contrariaria a hipótese do tempo exponencial?SAT¯¯¯¯¯¯¯¯¯¯∈NTIME(exp(n0.9))SAT¯∈NTIME(exp⁡(n0.9))\overline{SAT} \in NTIME(\exp(n^{0.9}))

12 sat  exp-time-algorithms  nexp 

Impagliazzo, Paturi e Calabro, Impagliazzo, Paturi introduziram a Hipótese de tempo exponencial (ETH) e a Hipótese de tempo fortemente exponencial (SETH). Grosso modo, o SETH diz que não há algoritmo que resolva o SAT no tempo . 1.99n1.99n1.99^n Eu queria saber o que isso significaria para quebrar SETH. Definitivamente, precisamos …

11 cc.complexity-theory  sat  exp-time-algorithms 

O fato de um problema ser concluído no tempo EXP implica que A não está em D T I M E ( 2 o ( n ) ) ?UMAUMAAUMAUMAAD TEuME( 2o ( n ))DTEuME(2o(n))DTIME(2^{o(n)}) Estou ciente de que, pelo teorema da hierarquia temporal, não está incluído em E = D …

10 exp-time-algorithms  complexity 

Quão difícil é o problema Set Cover se o número de elementos estiver delimitado por alguma função (por exemplo, ) em que é o tamanho da instância do problema. Formalmente,nlognlog⁡n\log nnnn Deixe e que e . Quão difícil é decidir o seguinte problemaF = { S 1 , ⋯ , …

10 np-hardness  set-cover  exp-time-algorithms 

Existem algoritmos conhecidos para o seguinte problema que superam o algoritmo ingênuo? Entrada: Um sistema de desigualdades lineares.Ax≤bAx≤bAx \le bmmm Saída: Uma solução viável se houver.x∗∈{0,1}nx∗∈{0,1}nx^*\in \{0,1 \}^n Suponha que e tenham entradas inteiras. Estou interessado nos piores casos.AAAbbb

10 np-hardness  integer-programming  exp-time-algorithms 

Corrija . Para qualquer grande o suficiente , gostaríamos de rotular todos os subconjuntos de de tamanho exatamente por números inteiros positivos de . Gostaríamos que essa rotulagem satisfizesse a seguinte propriedade: existe um conjunto de números inteiros, stn { 1 .. n } n / k { 1 ... …

10 ds.algorithms  graph-algorithms  it.information-theory  nt.number-theory  exp-time-algorithms 

Existem algoritmos conhecidos para o seguinte problema que superam o algoritmo ingênuo? Entrada: matriz e vetores , em que todas as entradas de são números inteiros não negativos.b , c A , b , cAAAb,cb,cb,cA,b,cA,b,cA,b,c Saída: uma solução ideal para . máx { c T x : A x ≤ …

9 np-hardness  integer-programming  exp-time-algorithms 

Quando examinei " Uma abordagem de programação dinâmica para problemas de seqüenciamento ", de Michael Held e Richard M. Karp, surgiu a seguinte pergunta: por que a complexidade de seu algoritmo para TSP é (p. 199), quero dizer aonde eles levam o fator k ? Se entendi corretamente, k-1 significa …

9 ds.algorithms  tsp  exp-time-algorithms