Perguntas com a marcação «np-complete»

No trabalho, fui encarregado de deduzir algumas informações de tipo sobre uma linguagem dinâmica. Reescrevo seqüências de instruções em letexpressões aninhadas , da seguinte maneira: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

Existem algoritmos conhecidos que emitem corretamente "yes" para um problema NP-completo sem gerar implicitamente um certificado? Entendo que é fácil transformar um oráculo de satisfação em um localizador de tarefas satisfatórias: apenas itere sobre as variáveis, sempre pedindo ao oráculo de satisfação que resolva a conjunção dessa variável com o …

11 algorithms  complexity-theory  np-complete 

Considere a seguinte declaração do problema: Dado um número inicial, você e seu amigo se revezam para subtrair um quadrado perfeito dele. O primeiro a chegar a zero vitórias. Por exemplo: Estado inicial: 37 Jogador1 subtrai 16. Estado: 21 Jogador2 subtrai 8. Estado: 13 Jogador1 subtrai 4. Estado: 9 Jogador2 …

10 complexity-theory  time-complexity  np-complete  dynamic-programming  pseudo-polynomial 

Existe um jogo clássico de livro de quebra-cabeças muito semelhante a um jogo de palavras cruzadas, exceto que uma lista de palavras é fornecida e, em seguida, é fornecido um tabuleiro composto por quadrados unitários, com alguns quadrados apagados como uma palavra cruzada, e alguns quadrados já possuem uma carta …

10 complexity-theory  np-complete  board-games 

Tivemos várias perguntas sobre a relação das reduções de Cook e Karp . É claro que as reduções de Cook (reduções de Turing no tempo polinomial) não definem a mesma noção de completude de NP que as reduções de Karp (reduções de muitos-um no tempo polinomial), que geralmente são usadas. …

10 complexity-theory  reference-request  np-complete  reductions 

Dados números modo que há uma atribuição dos números que é uma permutação de modo queA 1 ≤ A 2 ≤ . . . ≤ Um k k Σ i = 1 A i = k ( 2 k + 1 ) i 1 , i 2 , . . …

10 np-complete  decision-problem 

Seixos é um jogo de paciência jogado em um gráfico não direcionado , em que cada vértice tem zero ou mais seixos. Um único movimento de seixo consiste em remover dois seixos de um vértice adicionar um seixo a um vizinho arbitrário de . (Obviamente, o vértice v deve ter …

10 algorithms  graph-theory  np-complete 

Considere o seguinte problema cuja instância de entrada é um gráfico simples e um número inteiro natural .GGGkkk Existe um conjunto tal que seja bipartido e ?S⊆ V( G )S⊆V(G)S \subseteq V(G)G - SG−SG - S| S| ≤k|S|≤k|S| \leq k Eu gostaria de mostrar que esse problema é -completo, reduzindo …

10 complexity-theory  np-complete  reductions 

Eu faço curso de Complexidade Computacional. Meu problema é que eu não entendo o método de relativização . Tentei encontrar um pouco de intuição em muitos livros didáticos, infelizmente, até agora sem sucesso. Apreciaria se alguém pudesse esclarecer esse assunto para que eu possa continuar sozinho. Poucas frases a seguir …

10 complexity-theory  np-complete  complexity-classes  relativization  np 

Formulação Alternativa Eu vim com uma formulação alternativa para o problema abaixo. A formulação alternativa é realmente um caso especial do problema abaixo e usa gráficos bipartidos para descrever o problema. No entanto, acredito que a formulação alternativa ainda é NP-difícil. A formulação alternativa usa um conjunto separado de nós …

10 complexity-theory  graphs  graph-theory  np-complete 

Eu tenho um problema em minha mente, acho que é um problema de NPC, mas não sei como prová-lo. Aqui está o problema: Existem k ilhas em um lago muito grande e n pontões em forma de leque. Esses pontões têm o mesmo tamanho, mas têm direções iniciais diferentes e …

10 complexity-theory  np-complete  np-hard 

Meu livro afirma isso Se um problema de decisão B estiver em P e A for reduzido para B, o problema de decisão A estará em P. Um problema de decisão B é NP-completo se B estiver em NP e para todo problema em A em NP, A reduz para …

10 complexity-theory  np-complete  decision-problem 

Na verdade, descobri que o conjunto de idiomas sensíveis ao contexto, ( idiomas aceitos) não são tão amplamente discutidos quanto (idiomas regulares) ou (idiomas sem contexto). E também o problema em aberto não é tão famoso quanto o problema "análogo": " ".C S LCSL\mathbf{CSL}R E G C F L D …

10 complexity-theory  np-complete  space-complexity  context-sensitive 

Dado um programa inteiro (binário) da forma:0 , 10 0,1 10,1 minstf( X )A x = bxEu≥ 0xEu∈ { 0 , 1 }∀ i∀ iminf(x)stUMAx=bxEu≥0 0∀EuxEu∈{0 0,1 1}∀Eu \begin{array}{lll} \text{min} & f(x) & \\ \text{s.t.} & A x = b \\ & x_i \ge 0 & \quad \forall i\\ & …

9 complexity-theory  np-complete  approximation  integer-programming 

Digamos que sabemos que o problema A é difícil, depois reduzimos A ao problema desconhecido B para provar que B também é difícil. Como exemplo: sabemos que 3 cores são difíceis. Em seguida, reduzimos 3 cores para 4 cores. Ao confundir uma das cores da 3-coloração, você tem 4-coloração, portanto, …

9 complexity-theory  np-complete  reductions