Preguntas etiquetadas con p-vs-np

Estoy en un curso sobre computación y complejidad , y no puedo entender lo que significan estos términos. Todo lo que sé es que NP es un subconjunto de NP-completo, que es un subconjunto de NP-hard, pero no tengo idea de lo que realmente significan. Wikipedia tampoco es de gran …

249 complexity-theory  terminology  complexity-classes  p-vs-np  reference-question 

Hay muchos intentos de probar o , y, naturalmente, muchas personas piensan en la pregunta y tienen ideas para probar cualquier dirección.P ≠ N PP = N PPAGS=nortePAGS\mathsf{P} = \mathsf{NP} P ≠ N PPAGS≠nortePAGS\mathsf{P} \neq \mathsf{NP} Sé que hay enfoques que han demostrado que no funcionan, y probablemente hay más …

97 complexity-theory  reference-request  history  p-vs-np  reference-question 

Tengo una comprensión de alto nivel del problema y entiendo que si se "probara" absolutamente que es cierto con una solución provista, se abriría la puerta para resolver numerosos problemas dentro del ámbito de la informática.P=NPP=NPP=NP Mi pregunta es, si alguien publicara una prueba indiscutible y constructiva de , ¿cuáles …

56 complexity-theory  p-vs-np 

Muchos parecen creer que , pero muchos también creen que es muy poco probable que esto se pruebe. ¿No hay alguna inconsistencia en esto? Si sostiene que tal prueba es improbable, entonces también debe creer que faltan argumentos sólidos para P ≠ N P. ¿O hay buenos argumentos para que …

55 complexity-theory  p-vs-np 

¿Hay algún problema conocido en N PNP\mathsf{NP} (y no en PAGSP\mathsf{P} ) que no sea N PNP\mathsf{NP} Complete? Tengo entendido que actualmente no hay problemas conocidos en este caso, pero no se ha descartado como una posibilidad. Si hay un problema que es NPNP\mathsf{NP} (y no PP\mathsf{P} ) pero no …

34 complexity-theory  np-complete  p-vs-np 

Cuando estaba explicando la prueba de Baker-Gill-Solovay de que existe un oráculo con el que podemos tener, , y un oráculo con el que podemos tener a un amigo, surgió una pregunta de por qué tales técnicas no son adecuadas para probar el problema , y no pude dar una …

29 complexity-theory  proof-techniques  p-vs-np  relativization 

Considere dos posibilidades para el problema P vs. NP: P = NP y P NP.≠≠\neq Sea Q uno de los problemas NP-hard conocidos. Para probar P = NP, necesitamos diseñar un solo algoritmo de tiempo polinomial A para Q y demostrar que A resuelve correctamente Q. Para probar P NP, …

20 complexity-theory  p-vs-np 

¿Es posible que y la cardinalidad de sea ​​la misma que la cardinalidad de ? ¿O significa que y deben tener diferentes cardinalidades?P≠NPP≠NP\mathsf{P} \not = \mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}P≠NPP≠NP\mathsf{P} \not = \mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}

19 complexity-classes  p-vs-np 

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 

Si de hecho es igual a N P , ¿cómo mejoraría esto nuestros algoritmos para factorizar enteros más rápido? En otras palabras, ¿qué tipo de información nos daría este hecho para comprender mejor la factorización de enteros?PP{\sf P}NPNP{\sf NP}

14 complexity-theory  computability  np-complete  p-vs-np  factoring 

Suponga .P≠NPP≠NPP\neq NP ¿Qué podemos decir sobre los límites de tiempo de ejecución de todos los problemas de NP completo? es decir, cuáles son las funciones más ajustadas para las cuales podemos garantizar que un algoritmo óptimo para cualquier problema NP-completo se ejecute en tiempo de al menos y como …

13 complexity-theory  time-complexity  np-complete  p-vs-np 

Esta es mi primera publicación después de ser un usuario pasivo desde hace algún tiempo. Deseo hacer algunas preguntas si puedo. No soy matemático pero mi pregunta se relaciona con el campo de las matemáticas / informática. En particular, el problema P vs NP. Soy consciente de que este es …

13 complexity-theory  p-vs-np 

Soy consciente de que esto parece una pregunta muy estúpida (o demasiado obvia para decir). Sin embargo, estoy confundido en algún momento. Podemos mostrar que P NP=== si y solo si podemos diseñar un algoritmo que resuelva cualquier instancia dada de problema en NP en tiempo polinómico. Sin embargo, no …

12 complexity-theory  p-vs-np 

Esta es probablemente una pregunta estúpida, pero simplemente no entiendo. En otra pregunta se les ocurrió el teorema de dicotomía de Schaefer . Para mí, parece que demuestra que cada problema de CSP está en P o en NP-completo, pero no en el medio. Dado que cada problema de NP …

12 np-complete  satisfiability  p-vs-np 

Tengo esta "prueba" muy simple para NP = CoNP y creo que hice algo mal en alguna parte, pero no puedo encontrar lo que está mal. ¿Alguien me puede ayudar? Sea A un problema en NP, y sea M el decisivo para A. Sea B el complemento, es decir, B …

12 complexity-theory  p-vs-np  check-my-proof  np