Preguntas etiquetadas con complexity-theory

En la Teoría de la computación de Michael Sipser en la página 270, escribe: P = la clase de idiomas para los cuales la membresía se puede decidir rápidamente. NP = la clase de idiomas para los cuales la membresía se puede verificar rápidamente. ¿Cuál es la diferencia entre "decidido" …

16 complexity-theory  terminology  decision-problem 

Tengo la impresión de que para cada problema de NP completo, para infinitos tamaños de entrada , el número de instancias sí sobre todas las entradas posibles de tamaño , es (al menos) exponencial en .nortenortennortenortennortenorten ¿Es esto cierto? ¿Se puede probar (probablemente solo bajo el supuesto de que )? …

15 complexity-theory  np-complete  np-intermediate 

Tenemos una cuadrícula . Tenemos una colección de rectángulos en esta rejilla, cada rectángulo se puede representar como un -by- binario matriz . Queremos cubrir la cuadrícula con esos rectángulos.N 1 N 2 RN1×N2N1×N2N_1 \times N_2N1N1N_1N2N2N_2RRR ¿La versión de decisión de este conjunto cubre el problema NP-completo? Entrada: Colección de …

15 complexity-theory  np-complete  set-cover 

¿Ha habido alguna investigación sobre la complejidad de la prueba de una resolución al problema P = NP? Si no es así, dada la falta de progreso en el problema, ¿no sería razonable conjeturar que cualquier prueba que resuelva el problema P = NP requerirá un número súper polinómico de …

15 complexity-theory  np 

Estaba leyendo una pregunta en Stack Overflow preguntando si era NP difícil enumerar todos los ciclos simples en un gráfico que contiene un nodo particular y se me ocurrió que no podía pensar en ninguna clase de complejidad existente que fuera adecuada para hablando de problemas de la forma "enumere …

15 complexity-theory  reference-request  complexity-classes  enumeration 

¿Cuáles son algunos ejemplos de problemas de decisión difíciles que se pueden resolver en tiempo polinómico? Estoy buscando problemas para los cuales el algoritmo óptimo es "lento", o problemas para los cuales el algoritmo más rápido conocido es "lento". Aquí hay dos ejemplos: Reconocimiento de gráficas perfectas. En su artículo …

15 algorithms  complexity-theory  reference-request 

Un Hidoku es una cuadrícula con algunos enteros precompletados de 1 a n 2 . El objetivo es encontrar un camino de enteros sucesivos (de 1 an×nn×nn \times nn2n2n^2 ) en la cuadrícula. Más concretamente, cada celda de la cuadrícula debe contener un número entero diferente de 1 a n …

15 complexity-theory  reductions  np-hard 

Aparentemente, si P=NPP=NP{\sf P}={\sf NP} , todos los idiomas en PP{\sf P} excepto ∅∅\emptyset y Σ∗Σ∗\Sigma^* serían NPNP{\sf NP} -completos. ¿Por qué estos dos idiomas en particular? ¿No podemos reducir a ellos otro lenguaje en PP{\sf P} al enviarlos al aceptar o no aceptar?

15 complexity-theory  np-complete  reductions 

Sea A reducible a B, es decir, . Por lo tanto, la máquina de Turing aceptar tiene acceso a un oráculo de . Deje que la máquina de Turing que acepta sea y el oráculo para sea . Los tipos de reducciones:A B A M A B O BA≤BA≤BA \leq …

15 complexity-theory  np-complete  reductions  complexity-classes 

El problema de la camarilla es un conocido completo donde el tamaño de la camarilla requerida es parte de la entrada. Sin embargo, el problema k-clique tiene un algoritmo de tiempo polinómico trivial ( cuando es constante). Estoy interesado en los límites superiores más conocidos cuando k es constante.nortePAGnortePAGNPO ( …

15 complexity-theory  graph-theory 

Es discutible que la mayoría de los lenguajes creados para describir problemas cotidianos sean sensibles al contexto. Por otro lado, es posible y no difícil encontrar algunos lenguajes que no sean recursivos o incluso no recursivamente enumerables. Entre estos dos tipos se encuentran los lenguajes recursivos no sensibles al contexto. …

15 formal-languages  complexity-theory  formal-grammars 

Un algoritmo de tiempo pseudo-polinomial es un algoritmo que tiene tiempo de ejecución polinomial en el valor de entrada (magnitud) pero tiempo de ejecución exponencial en el tamaño de entrada (número de bits). Por ejemplo, probar si un número nnn es primo o no, requiere un ciclo a través de …

15 complexity-theory  algorithm-analysis  time-complexity  polynomial-time  pseudo-polynomial 

Es bien sabido que 2-SAT está en P. Sin embargo, parece bastante interesante que contar el número de soluciones para una fórmula 2-SAT dada, es decir, # 2-SAT es # P-difícil. Es decir, tenemos un ejemplo de un problema para el cual la decisión es fácil, pero contar es difícil. …

14 complexity-theory  counting 

Por lo general, Sudoku es , pero esta pregunta se extiende a n 2 × n 2 rompecabezas con n > 3 también. Hay muchas reglas de deducción de tiempo polinomial que pueden avanzar en la búsqueda de una solución para un rompecabezas de Sudoku. Pero a veces, puede ser …

14 complexity-theory  sudoku 

Estoy seguro de que alguien ha pensado en esto antes o lo descartó de inmediato, pero ¿por qué la teoría de la dicotomía de Schaefer junto con el teorema de Mahaney sobre conjuntos dispersos no implican P = NP? Aquí está mi razonamiento: crear un lenguaje que sea igual a …

14 complexity-theory  np-complete  satisfiability  p-vs-np