Preguntas etiquetadas con np-complete

En el trabajo, se me ha encomendado la tarea de inferir cierta información sobre un lenguaje dinámico. Reescribo secuencias de declaraciones en letexpresiones anidadas , así: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y …

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 

¿Hay algún algoritmo conocido que muestre correctamente "sí" a un problema NP-completo sin generar implícitamente un certificado? Entiendo que es sencillo convertir un oráculo de satisfacción en un buscador de asignación satisfactoria: simplemente repita las variables, pidiéndole al oráculo de satisfacción que resuelva la conjunción de esa variable con el …

11 algorithms  complexity-theory  np-complete 

Considere la siguiente declaración del problema: Dado un número inicial, usted y su amigo se turnan para restarle un cuadrado perfecto. El primero en llegar a cero gana. Por ejemplo: Estado inicial: 37 El jugador1 resta 16. Estado: 21 El jugador2 resta 8. Estado: 13 El jugador1 resta 4. Estado: …

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

Hay un clásico juego de rompecabezas muy similar a un crucigrama, excepto que se da una lista de palabras y luego se da un tablero cuadrado compuesto de cuadrados unitarios, con algunos cuadrados ennegrecidos como una palabra cruzada, y algunos cuadrados ya tienen una letra preescrita. El objetivo es escribir …

10 complexity-theory  np-complete  board-games 

Hemos tenido varias preguntas sobre la relación de las reducciones de Cook y Karp . Está claro que las reducciones de Cook (reducciones de Turing de tiempo polinómico) no definen la misma noción de integridad de NP que las reducciones de Karp (reducciones de tiempo múltiple polinomiales), que generalmente se …

10 complexity-theory  reference-request  np-complete  reductions 

Pebbling es un juego de solitario jugado en un gráfico no dirigido , donde cada vértice tiene cero o más guijarros. Un solo movimiento consiste en eliminar dos piedras de un vértice y agregar una piedra a un vecino arbitrario de . (Obviamente, el vértice v debe tener al menos …

10 algorithms  graph-theory  np-complete 

Dados números modo que hay una asignación de números que es una permutación de tal queA 1 ≤ A 2 ≤ . . . ≤ A k k Σ i = 1 A i = k ( 2 k + 1 ) i 1 , i 2 , . . …

10 np-complete  decision-problem 

Considere el siguiente problema cuya instancia de entrada es un gráfico simple y un entero natural k .solsolGkkk ¿Existe un conjunto tal que G - S sea ​​bipartito y | S | ≤ k ?S⊆ V( G )S⊆V(sol)S \subseteq V(G)G - Ssol-SG - SEl | SEl | ≤kEl |SEl |≤k|S| …

10 complexity-theory  np-complete  reductions 

Tomo curso sobre Complejidad Computacional. Mi problema es que no entiendo el método de relativización . Intenté encontrar un poco de intuición en muchos libros de texto, desafortunadamente, hasta ahora sin éxito. Apreciaré si alguien pudiera arrojar luz sobre este tema para poder continuar por mí mismo. Pocas oraciones siguientes …

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

Tengo un problema en mi mente, creo que es un problema NPC pero no sé cómo probarlo. Aquí está el problema: Hay k islas en un lago muy grande, y hay n pontones en forma de abanico. Esos pontones son del mismo tamaño pero tienen diferentes direcciones iniciales y están …

10 complexity-theory  np-complete  np-hard 

Formulación Alternativa Se me ocurrió una formulación alternativa para el siguiente problema. La formulación alternativa es en realidad un caso especial del problema a continuación y utiliza gráficos bipartitos para describir el problema. Sin embargo, creo que la formulación alternativa sigue siendo NP-hard. La formulación alternativa utiliza un conjunto disjunto …

10 complexity-theory  graphs  graph-theory  np-complete 

Mi libro dice esto Si un problema de decisión B está en P y A se reduce a B, entonces el problema de decisión A está en P. Un problema de decisión B es NP completo si B está en NP y para cada problema en A en NP, A …

10 complexity-theory  np-complete  decision-problem 

En realidad, descubrí que el conjunto de lenguajes sensibles al contexto, ( \ mathbf {= NSPACE (O (n)) = LBA} idiomas aceptados) no se discuten tan ampliamente como \ mathbf {REG} (idiomas regulares) o \ mathbf {CFL} (lenguajes sin contexto). Y también el problema abierto \ mathbf {DSPACE (O (n))} …

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

Dado un programa entero (binario) de la forma:0,10,10,1 mins.t.f(x)Ax=bxi≥0xi∈{0,1}∀i∀iminf(x)s.t.Ax=bxi≥0∀ixi∈{0,1}∀i \begin{array}{lll} \text{min} & f(x) & \\ \text{s.t.} & A x = b \\ & x_i \ge 0 & \quad \forall i\\ & x_i \in \{0,1\} & \quad \forall i \end{array} Tenga en cuenta que el tamaño de no está fijo en …

9 complexity-theory  np-complete  approximation  integer-programming 

Digamos que sabemos que el problema A es difícil, luego reducimos A al problema desconocido B para probar que B también es difícil. Como ejemplo: sabemos que 3 colores es difícil. Luego reducimos 3 colores a 4 colores. Al combinar uno de los colores en 3 colores, tiene 4 colores, …

9 complexity-theory  np-complete  reductions