Preguntas etiquetadas con complexity-theory

Estoy tomando un curso de complejidad y tengo problemas para encontrar reducciones entre los problemas de la APN. ¿Cómo puedo encontrar reducciones entre problemas? ¿Hay algún truco general que pueda usar? ¿Cómo debo abordar un problema que me pide que demuestre que un problema es NPC?

27 complexity-theory  np-complete  proof-techniques  reductions 

A muchos se les ocurrió que en todas las pruebas de que he leído (que puedo recordar), siempre es trivial mostrar que hay un problema en , y mostrar que es -duro es la ... parte difícil. ¿Qué problemas -completos son estos cuyos verificadores de tiempo polinómico son altamente no …

27 complexity-theory  np-complete  np 

Como se ve en esta reciente tira de XKCD y esta reciente publicación de blogde Peter Norvig (y una historia de Slashdot con este último), "regex golf" (que podría llamarse el problema de separación de expresiones regulares) es el rompecabezas de definir la expresión regular más corta posible que acepte …

27 complexity-theory  np-complete  regular-expressions 

Esta pregunta fue inspirada por un comentario en StackOverflow . Además de conocer los problemas NP-completos del libro de Garey Johnson, y muchos otros; ¿Existe una regla general para saber si un problema se parece a un NP completo? No busco algo riguroso, sino algo que funcione en la mayoría …

26 complexity-theory  np-complete  intuition 

Esta pregunta se migró de Intercambio teórico de apilamiento de informática porque se puede responder en Intercambio apilado de informática. Migrado hace 7 años . Se sabe que cada problema de optimización / búsqueda tiene un problema de decisión equivalente. Por ejemplo, el problema del camino más corto Versión de …

26 complexity-theory  optimization  search-problem  decision-problem 

Esta pregunta se migró de Mathematics Stack Exchange porque se puede responder en Computer Science Stack Exchange. Migrado hace 6 años . Dominosa es un juego de rompecabezas relativamente nuevo. Se juega en una grilla . Antes de que comience el juego, los huesos de dominó se colocan en la …

26 complexity-theory  np-hard  board-games  tiling 

Declaración informal del problema: Dada una cadena, por ejemplo, A CdoA B B A BACCABBABACCABBAB , queremos colorear algunas letras rojas y algunas letras azules (y algunas no en absoluto), de modo que leer solo las letras rojas de izquierda a derecha arroje el mismo resultado que leer solo las …

26 algorithms  complexity-theory  np-complete  strings  subsequences 

Me interesa la cuestión de cómo enseñar mejor la completitud de NP a los estudiantes de informática. En particular, ¿deberíamos enseñarlo usando reducciones de Karp o reducciones de Turing? Siento que los conceptos de NP-completitud y reducciones son algo que todo experto en informática debería aprender. Sin embargo, al enseñar …

25 complexity-theory  np-complete  reductions  education  didactics 

Claramente no hay ningún problema indecidible en NP. Sin embargo, según Wikipedia : NP es el conjunto de todos los problemas de decisión para los cuales las instancias donde la respuesta es "sí" tienen [... pruebas que son] verificables en tiempo polinómico por una máquina de Turing determinista. [...] Se …

25 complexity-theory  computability  undecidability  decision-problem 

Si alguien construyera una computadora cuántica universal, ¿tendría alguna implicación en el problema de P vs. NP?

25 complexity-theory  complexity-classes  quantum-computing 

Suponiendo que P NP, los problemas de NP completo son "difíciles de resolver, pero tienen respuestas que son fáciles de verificar". ¿Tiene algún sentido considerar lo contrario, es decir, problemas para los cuales es fácil calcular una respuesta correcta, pero difícil de verificar una supuesta solución arbitraria?≠≠\neq Creo que tal …

25 complexity-theory 

Dado cualquier problema computacional, ¿es realmente posible la tarea de encontrar límites más bajos para tal cálculo? Supongo que se reduce a cómo se define un solo paso computacional y qué modelo usamos para la prueba, pero dado eso, ¿realmente demostramos un límite inferior en general? Lo que quiero decir …

24 complexity-theory  time-complexity  proof-techniques  lower-bounds 

Sea una fórmula booleana que consta de los operadores habituales AND, OR y NOT y algunas variables. Me gustaría contar el número de asignaciones para satisfacer B . Es decir, quiero encontrar el número de asignaciones diferentes de valores de verdad a las variables de para las cuales asume un …

24 complexity-theory  reference-request  satisfiability 

Esta pregunta se migró de Stack Overflow porque se puede responder en Computer Science Stack Exchange. Migrado hace 7 años . Definición del problema de corte lógico mínimo (LMC) Supongamos que es un dígrafo no ponderado, y son dos vértices de , y es alcanzable desde . El problema de …

24 complexity-theory  graph-theory  np-complete 

Esta pregunta se migró de Stack Overflow porque se puede responder en Computer Science Stack Exchange. Migrado hace 7 años . Estoy un poco confundido por alguna terminología que he encontrado con respecto a la complejidad de los problemas de optimización. En una clase de algoritmos, tuve el gran problema …

24 complexity-theory  np-complete  terminology