Preguntas etiquetadas con np

Lo que me pregunto específicamente es si existe una condición interesante en el porcentaje de asignaciones que satisfacen una fórmula 3SAT para garantizar que tales problemas sean manejables. Supongamos, por ejemplo, la clase de problemas 3SAT que de las 2 n asignaciones posibles satisfacen la fórmula booleana; ¿podemos encontrar eficientemente …

12 cc.complexity-theory  ds.algorithms  sat  np 

ETH afirma que SAT no se puede resolver en el peor de los casos en tiempo subexponencial. ¿Qué pasa con el caso promedio? ¿Hay problemas naturales en NP que se supone que son exponencialmente difíciles en el caso promedio? Tome el caso promedio como el tiempo promedio de ejecución con …

12 cc.complexity-theory  np  average-case-complexity 

Considere la información completa de los juegos combinatorios de dos jugadores que terminan después de un número polinómico de movimientos, y de manera alterna, los jugadores eligen entre un número finito de movimientos permitidos. La pregunta habitual es cuán difícil es distinguir desde una posición determinada al ganador. Otra sería, …

11 cc.complexity-theory  np  board-games  pspace 

Suponga que NP = co-NP y el polinomio limita la longitud de la prueba de insatisfacción para una instancia de 3-CNF x . Entonces, ¿hay algún resultado sobre qué forma puede tomar cualquier prueba de insatisfacción para x de longitud ≤ p ( x ) ? Es decir, en general, …

11 cc.complexity-theory  lo.logic  np  proof-complexity 

Aquí hay dos variaciones en la definición de NP. Definen (casi con certeza) clases de complejidad distintas, pero mi pregunta es: ¿hay ejemplos naturales de problemas que encajen en estas clases? (Mi umbral para lo que cuenta como natural aquí es un poco más bajo de lo habitual). Clase 1 …

11 cc.complexity-theory  complexity-classes  np 

Es bien sabido que ciertas clases de NP -Problemas Tienes dicotomía teoremas, lo que garantiza que todas las tareas en la clase es o NP -Complete o está en P . El mejor resultado conocido es el teorema de dicotomía de Schaefer , junto con una serie de generalizaciones. Entiendo …

10 cc.complexity-theory  np  descriptive-complexity 

La complejidad de la prueba es un área más básica de la teoría de la complejidad computacional. Un propósito final de esta área es probar , es decir, cualquier comprobador no puede dar una prueba de insatisfacción de la fórmula de entrada dada. nortePAG≠ c o NPAGNP≠coNPNP\neq coNP Un gráfico …

10 cc.complexity-theory  reference-request  graph-theory  np  proof-complexity 

¿Cada lenguaje indecidible reconocible de Turing tiene un subconjunto NP-completo? La pregunta podría verse como una versión más fuerte del hecho de que cada lenguaje infinito reconocible de Turing tiene un subconjunto infinito decidible.

9 cc.complexity-theory  np-hardness  complexity-classes  np  decidability 

Esta pregunta surgió en el contexto de la criptografía, pero a continuación la presentaré en términos de teoría de la complejidad, ya que las personas aquí están más familiarizadas con esta última. Esta pregunta está relacionada con problemas en NP pero no en Promedio-P / poli y No uniformidad de …

9 cc.complexity-theory  cr.crypto-security  np  advice-and-nonuniformity  average-case-complexity 

¿Puede la intersección de dos idiomas en NP que no son NP completos ser NP completos? ¿Se puede completar la intersección de dos idiomas en coNP que no están completos en coNP? ¿Puede la intersección de dos idiomas uno en coNP pero no completo y otro en NP pero no …

8 complexity-classes  np