Preguntas etiquetadas con reductions

Lo siento si esta pregunta tiene alguna respuesta trivial que me falta. Cada vez que estudio algún problema que se ha demostrado que es indecidible, observo que la prueba se basa en una reducción a otro problema que se ha demostrado que es indecidible. Entiendo que crea algún tipo de …

11 computability  reductions  undecidability 

Complexity Zoo define como la clase de problemas de decisión que puede resolver una máquina de Turing determinista en tiempo lineal.LINLINLIN LIN⊆PLIN⊆PLIN \subseteq P Dado que HORN-SAT se puede resolver en (como se indica en los algoritmos de tiempo lineal para probar la satisfabilidad de las fórmulas proposicionales de bocina …

11 complexity-theory  time-complexity  reductions 

Estoy estudiando para mi final en teoría de la computación, y estoy luchando con la forma correcta de responder si esta afirmación es verdadera o falsa. Por la definición de podemos construir la siguiente declaración,≤m≤m\leq_m w∈A⟺f( w ) ∈ B → w ∉ A⟺F( w ) ∉ Bw∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw \in A …

11 complexity-theory  computability  reductions 

Para razonar sobre cosas como la completitud de NP, generalmente usamos muchas reducciones (es decir, reducciones de Karp). Esto lleva a imágenes como esta: (bajo conjeturas estándar). Estoy seguro de que todos estamos familiarizados con este tipo de cosas. ¿Qué imagen obtenemos si trabajamos con reducciones de Turing (es decir, …

10 complexity-theory  reductions  complexity-classes 

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 

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 

Hay una reducción famosa y elegante del problema de coincidencia bipartita máxima al problema de flujo máximo: creamos una red con un nodo fuente , un nodo terminal t y un nodo para cada elemento que se va a combinar, luego agregamos los bordes apropiados.sssttt Ciertamente, hay una manera de …

9 reductions  network-flow  bipartite-matching 

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 

¿Es una máquina de Turing que puede leer y escribir símbolos de un alfabeto infinito más poderosa que una TM normal (esa es la única diferencia, la máquina todavía tiene un número finito de estados)? La intuición me dice que no, ya que necesitas un número infinito de estados para …

9 computability  turing-machines  reductions  simulation 

Estoy tratando de encontrar una prueba de lo siguiente: Para cualquier idioma , existe un lenguaje de B tal que A ≤ T B pero B ≰ T A .AUNAABsiBA≤TBUNA≤TsiA \le_{\mathrm{T}} B≰TA≰TUNA\nleq_{\mathrm{T}} A Estaba pensando en dejar que sea A T M , pero me doy cuenta de que no …

9 computability  reductions  undecidability 

Recientemente hablé con un amigo sobre un sitio web que propuso desafíos de expresiones regulares, principalmente haciendo coincidir un grupo de palabras con una propiedad especial. Estaba buscando una expresión regular que coincida con cadenas como ||||||||donde el número |es primo. Inmediatamente le dije que eso nunca funcionaría porque si …

9 formal-languages  machine-models  logic  boolean-algebra  xor  cryptography  algorithms  machine-learning  algorithms  paging  virtual-memory  programming-languages  object-oriented  algorithms  search-algorithms  strings  binary-search  formal-grammars  context-free  algorithms  algorithms  correctness-proof  greedy-algorithms  permutations  logic  first-order-logic  logic-programming  algorithms  complexity-theory  computability  programming-languages  complexity-theory  complexity-classes  quantum-computing  reductions  formal-languages  programming-languages  semantics  operational-semantics  small-step-semantics  sets  first-order-logic  computer-networks  communication-protocols 

Esta es una tarea del concurso de TI alemán ("Bundeswettbewerb Informatik"), pero dado que la fecha límite ha pasado, hacer esta pregunta no es trampa. Dado un gráfico dirigido ponderado por vértices y valores , encuentre un subconjunto de nodos que maximice sujeto a ¿Es este problema NP-hard?G = ( …

8 complexity-theory  reductions  np-hard 

Así que acabamos de aprender sobre la auto-reducibilidad en clase. Mi profesor y nuestro libro de texto no se comprometerían a decir que todos los problemas en NP son auto reducibles, pero no parece haber ningún ejemplo de problemas que no lo sean. Me preguntaba si hay algún ejemplo, o …

8 complexity-theory  reductions  decision-problem  np 

Estoy interesado en la auto-reducibilidad del problema Graph 3-Coloralibity. Definición del problema del gráfico 3-Coloralibity. Dado un gráfico no dirigido, ¿existe alguna forma de colorear los nodos de rojo, verde y azul para que ningún nodo adyacente tenga el mismo color?solGG Definición de auto-reducibilidad. Un lenguaje es auto-reducible si existe …

8 complexity-theory  reductions