El Theoem de Karp-Lipton establece que si , entonces P H colapsa a Σ P 2 . Por lo tanto, suponiendo separaciones entre Σ P 2 y Σ P 3 , ningún problema completo de N P pertenecerá a P / p o l y .NP⊂P/polyNP⊂P/poly\mathsf{NP} \subset
En su artículo (p. 503), Garey y Johnson comentan: ... podría existir un problema de NP-completo que no es NP-completo en sentido estricto ni resuelto por un algoritmo de tiempo pseudo-polinomial ... ¿Alguien sabe algunos problemas candidatos con las propiedades mencionadas...
El problema de decisión CNF-SAT se puede describir de la siguiente manera: Entrada: Una fórmula booleana en forma conjuntiva normal.ϕϕ\phi Pregunta: ¿Existe una asignación variable que satisfaga ?ϕϕ\phi Estoy considerando varios enfoques diferentes para resolver CNF-SAT con una máquina de Turing...
Parity-P es el conjunto de lenguajes reconocidos por una máquina de Turing no determinista que solo puede distinguir entre un número par o un número impar de rutas de "aceptación" (en lugar de un número cero o no cero de rutas de aceptación). Por lo tanto Paridad-P es básicamente PP atrofiado...
¿Existe un ejemplo explícito conocido de un algoritmo con la propiedad tal que si PAG≠ NPAGPAG≠nortePAGP\neq NP este algoritmo no se ejecuta en tiempo polinomial y si PAG= NPAGPAG=nortePAGP=NP se ejecuta en tiempo
Estoy interesado en aprender conexiones entre el "caos" o, más ampliamente, los sistemas dinámicos y la pregunta Aquí hay un ejemplo del tipo de literatura que estoy buscando:PAG= NPAGPAG=nortePAGP{=}NP Ercsey-Ravasz, Mária y Zoltán Toroczkai. "La dureza de la optimización como caos transitorio...
¿Es posible probar algorítmicamente si un número computable es racional o entero? En otras palabras, ¿sería posible que una biblioteca que implementa números computables proporcione las funciones isIntegero isRational? Supongo que no es posible, y que esto está relacionado de alguna manera con el...
La famosa conjetura del isomorfismo de Berman y Hartmanis dice que todos los lenguajes completos son polinomiales en tiempo isomorfo (p-isomorfo) entre sí. El significado clave de la conjetura es que implica . Fue publicado en 1977, y una evidencia de apoyo fue que todos los completos de conocidos...
Creo que sería una buena idea hacer una lista de teoremas que indiquen que P no es igual a NP si y solo si tales y tales salidas, alguna clase de complejidad está contenida en otra clase de complejidad y así sucesivamente.
Deje 0≤p≤10≤p≤10\le p\le 1 y considere el problema de decisión CLIQUE p de entrada: número entero s , gráfico G con t vértices y bordes Pregunta: no contiene un clique sobre al menos vértices?pp_p sssGGGttt⌈p(t2)⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceil GGGsss Una instancia de CLIQUE contiene una...
Una red de conmutación (se inventa el nombre) se realiza con tres tipos de nodos: un nodo de inicio un nodo final uno o más nodos Switch El nodo del interruptor tiene 3 salidas: izquierda, arriba, derecha; tiene dos estados L y R y un estado objetivo TL o TR . Cada interruptor se puede recorrer...
Leí que la programación lineal entera se puede resolver en tiempo polinominal si el número de variables es fijo, es decir, n ∈ O ( 1 ) . Si el número de variables crece logarítmicamente, es decir, n ∈ O ( log 2 ( N ) ) para una entrada dada de tamaño N , ¿el problema aún se puede resolver en tiempo...
Gowers ha esbozado recientemente un problema, que él llama "determinación Borel discreta", cuya solución está relacionada con probar los límites inferiores del circuito. ¿Puede proporcionar un resumen del enfoque que se adapta a una audiencia de teóricos de la complejidad? ¿Qué se necesitaría...
Todos sabemos que mostrar tiene barreras. Todos hemos estudiado estas barreras porque creemos que .PAG≠ NPAGPAG≠nortePAGP\ne NPPAG≠ NPAGPAG≠nortePAGP\ne NP Sin embargo, suponga y hay personas sabias que creen que existe la posibilidad . Si este es realmente el caso, el hecho de que no hayamos...
Desde un punto de vista puramente abstracto de razonamiento matemático / computacional, ¿cómo podría uno incluso descubrir o razonar sobre problemas como 3-SAT, Subset Sum, Travelling Salesman, etc.? Estaríamos incluso capaz de razonar sobre ellas de una manera significativa con sólo la...
FewP es la clase de problemas de N PNPNP con polinomios unidos en el número de soluciones (en el tamaño de entrada). Hay no se conoce N PNPNP problema -Complete en f e w PfewPfewP . Me interesa hasta dónde podemos extender esta observación. ¿Existe algún problema natural de N P-NPNP completo con...
Se menciona en un comentario en otra publicación cstheorySE que la integridad de PSPACE implica dureza APX. ¿Alguien puede explicar / compartir una referencia para ello? ¿Es esto "apretado"? (es decir, ¿hay problemas completos de PSPACE cuyo problema de optimización admite una aproximación de...
¿Existe , un lenguaje completo NP o P que tiene una familia de grupos de simetría (o grupoide , pero luego las preguntas algorítmicas se vuelven más abiertas) actuando (en tiempo polinómico) en conjuntos tal que hay pocas órbitas, es decir, tal que para suficientemente grande...
El teorema de Rice establece que cada propiedad no trivial del conjunto reconocida por alguna máquina de Turing es indecidible. Estoy buscando un teorema del tipo Rice de teoría de la complejidad que nos indique qué propiedades no triviales de los conjuntos de NP son
Aquí está el problema: Tenemos un cuadrado con algunos números de 1..N en algunas celdas. Es necesario para determinar si se puede completar en un cuadrado mágico. Ejemplos: 2 _ 6 2 7 6 _ 5 1 >>> 9 5 1 4 3 _ 4 3 8 7 _ _ 9 _ _ >>> NO SOLUTION 8 _ _ ¿Es este problema...