Preguntas etiquetadas con np

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 …

18 cc.complexity-theory  complexity-classes  np 

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 …

17 ds.algorithms  reference-request  graph-algorithms  np 

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 proporción de todos los bordes posibles. …

17 cc.complexity-theory  np  parameterized-complexity  clique 

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 …

16 cc.complexity-theory  np  open-problem 

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 funcionalidad punto de vista? ¿Sería posible? He estado …

15 soft-question  lambda-calculus  turing-machines  functional-programming  np 

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 …

15 cc.complexity-theory  np 

¿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 algunosLLLGnGnG_nLn={l∈L∣|l|=n}Ln={l∈L∣|l|=n}L_n = \{ l …

14 np  algebra  gr.group-theory  complexity  symmetry 

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 factor constante en el tiempo polivinílico?) …

14 cc.complexity-theory  approximation-algorithms  approximation-hardness  np  pspace 

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 intratables.

14 cc.complexity-theory  computability  np 

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 _ _ …

13 cc.complexity-theory  np-hardness  np  puzzles 

La pregunta se me ocurrió cuando recibí la respuesta de Dana Moshkovitz a otro tema . Sea LLL un lenguaje NP , y sea RLRLR_L la relación NP respectiva . Sabemos que existe algún polinomio pagpagp tal que: ∀ x ∈ L ,, ∃ w ∈0 , 1p ( | …

13 cc.complexity-theory  np 

Suponga P NP.≠≠\ne El teorema de Ladner dice que hay problemas NP intermedios (problemas en NP que no están en P ni en NP-Complete). Encontré algunas referencias veladas en línea que sugieren (creo) que hay muchos "niveles" de lenguajes mutuamente reducibles dentro de NPI que definitivamente no todos colapsan en …

13 cc.complexity-theory  np  np-intermediate 

En las notas de esta conferencia de Ola Svensson: http://theory.epfl.ch/osven/courses/Approx13/Notes/lecture4-5.pdf , se dice que no sabemos si Euclidean TSP está en NP: La razón es que no sabemos cómo calcular las raíces cuadradas de manera eficiente. Por otro lado, hay un documento de Papadimitriou: http://www.sciencedirect.com/science/article/pii/0304397577900123 que dice que está completo …

12 np  tsp  computing-over-reals 

¿Hay problemas NP completos (o incluso NP-duros o NP) que tienen buenas propiedades topológicas para estudiar. ¿Los problemas NP tienen formulaciones teóricas de nudos? Conocemos los resultados de # sobre el polinomio de Jones. Los problemas de gráficos (¿incrustaciones?), Específicamente los colores de los gráficos pueden verse con buenas propiedades …

12 ct.category-theory  np 

Una propiedad de gráfico se denomina hereditaria si se cierra con respecto a la eliminación de vértices (es decir, todas las subgrafías inducidas heredan la propiedad). Una propiedad gráfica se llama aditiva si se cierra con respecto a tomar uniones disjuntas. No es difícil encontrar propiedades que sean hereditarias, pero …

12 cc.complexity-theory  graph-theory  graph-algorithms  np