Preguntas etiquetadas con polynomial-time

Treewith es un parámetro gráfico importante que indica qué tan cerca está un gráfico de ser un árbol (aunque no en un sentido topológico estricto). Es bien sabido que calcular el ancho de árbol es NP-hard. ¿Hay clases naturales de gráficos donde el ancho del árbol es difícil de calcular? …

13 graph-theory  np-hardness  polynomial-time  treewidth 

P / poly es la clase de problemas de decisión que puede resolver una familia de circuitos booleanos de tamaño polinómico. Alternativamente, se puede definir como una máquina de Turing de tiempo polinómico que recibe una cadena de aviso que tiene un tamaño polinómico en n y que se basa …

13 cc.complexity-theory  complexity-classes  circuit-complexity  polynomial-time  monotone 

¿Conoce algún problema (preferiblemente al menos algo bien conocido), donde, para un tamaño de problema práctico , un algoritmo exponencial se ejecuta mucho más rápido que una contraparte de tiempo polinomial más conocida. Por ejemplo, suponga que un problema tiene un tamaño práctico * de y hay dos algoritmos conocidos: …

13 time-complexity  polynomial-time  exp-time-algorithms 

Mientras intentaba resolver un problema, terminé expresando parte de él como el siguiente programa lineal entero. Aquí son todos enteros positivos dados como parte de la entrada. Un subconjunto especificado de las variables se establece en cero, y el resto puede tomar valores integrales positivos:x i jℓ,m,n1,n2,…,nℓ,c1,c2,…,cm,wℓ,m,n1,n2,…,nℓ,c1,c2,…,cm,w\ell,m,n_{1},n_{2},\ldots,n_{\ell},c_{1},c_{2},\ldots,c_{m},wxijxijx_{ij} Minimizar ∑mj=1cj∑ℓi=1xij∑j=1mcj∑i=1ℓxij\sum_{j=1}^{m}c_{j}\sum_{i=1}^{\ell}x_{ij} Sujeto …

13 reference-request  linear-programming  polynomial-time  integer-programming  integrality-gap 

Considere el siguiente problema, Dado un conjunto de números positivos { a 1 , ... , a n } en el que k ≥ 3 es una constante, queremos dividir el conjunto en m subconjuntos de tamaño k para que el producto de la suma de cada subconjunto Está maximizado.n …

12 cc.complexity-theory  np-hardness  application-of-theory  polynomial-time 

Considere un gráfico conectado no dirigido con pesos de borde no negativos y dos vértices distinguidos s,ts,ts,t . A continuación se presentan algunos problemas de ruta que son todos de la siguiente forma: encuentre una ruta s−ts−ts-t , de modo que alguna función de los pesos de borde en la …

10 graph-theory  graph-algorithms  np-complete  polynomial-time 

En Complexity Zoo, dice [ 1 ] que, en complejidad descriptiva, PAGPAGP puede definirse mediante tres tipos diferentes de fórmulas, FO ( L FPAG)FO(LFPAG)FO(LFP) que también es FO ( nO ( 1 ))FO(norteO(1))FO(n^{O(1)}) , y también como SO ( HO R N)SO(HORnorte)SO(HORN) . Sin embargo, hay algunas excepciones, por ejemplo, …

10 lo.logic  polynomial-time  descriptive-complexity 

Teorema de Mahaney nos dice que si hay una escasa conjunto -Complete bajo en tiempo polinomial muchos uno-reducciones, entonces P = N P . (Ver " Conjuntos completos escasos para NP: Solución de una conjetura de Berman y Hartmanis ")nortePAGNPNPPAG= NPAGP=NPP = NP ¿Existen consecuencias conocidas de la existencia de …

10 cc.complexity-theory  complexity-classes  reductions  polynomial-time  logspace 

Se desconoce si o , dondeP⊆CSLP⊆CSLP\subseteq CSLP⊈CSLP⊈CSLP\not\subseteq CSL PPP es el conjunto de todos los idiomas que se pueden decidir en tiempo polinómico en una máquina de Turing determinista, y CSLCSLCSL es la clase de lenguajes sensibles al contexto, conocidos por ser equivalentes a NSPACE(O(n))NSPACE(O(n))NSPACE(O(n)) , los lenguajes decididos por …

10 cc.complexity-theory  fl.formal-languages  polynomial-time 

Pido disculpas, esta es una pregunta un poco "blanda". La teoría de la información no tiene un concepto de complejidad computacional. Por ejemplo, una instancia de SAT, o una instancia de SAT más un bit que indica la satisfacción lleva la misma cantidad de información. ¿Hay alguna forma de formalizar …

9 cc.complexity-theory  it.information-theory  polynomial-time 

Considere un problema en el que se le proporciona una cuadrícula 2D (por ejemplo, un tablero de ajedrez) donde están ocupados ciertos cuadrados y necesita colocar el número mínimo de rectángulos no superpuestos de cualquier tamaño wxh donde w = 1 o h = 1 (es decir, "cuadrado segmentos ") …

9 reference-request  np-hardness  planar-graphs  packing  polynomial-time 

Considere los siguientes problemas: Problema de vectores ortogonales Entrada: Un conjunto SSS de nnn vectores booleanos de longitud ddd . Pregunta: ¿Existen vectores distintos v 1v1v_1 y v 2 ∈ S dev2∈Sv_2 \in S modo que v 1 ⋅ v 2 = 0v1⋅v2=0v_1 \cdot v_2 = 0 ? Problema de …

8 cc.complexity-theory  ds.algorithms  linear-algebra  polynomial-time  boolean-matrix 

Estoy buscando más problemas en con límites inferiores de complejidad temporal clásica. Algunas personas podrían preguntarse cómo podría probar un límite tan bajo. Vea abajo.PPP Límites inferiores exponenciales: Reclamación: Si tiene un problema que es E X P T I M E -completo bajo reducciones polinómicas, entonces hay una constante …

8 cc.complexity-theory  complexity-classes  time-complexity  lower-bounds  polynomial-time 

¿Cuáles son algunos ejemplos de problemas con el tiempo cuasi-polinomial (algoritmos de Q P ) que posiblemente podrían estar en P ? En otras palabras, ¿están en Q P sin ninguna razón obvia aparte de que nadie ha encontrado un algoritmo de tiempo polinomial?QPQPQPPPPQPQPQP Esta pregunta está motivada por el …

8 polynomial-time 

Sé que, en general, la satisfacción polinómica multivariada es equivalente a 3-SAT; Sin embargo, me pregunto si hay buenas técnicas en el caso cuadrático, específicamente si hay una solución de tiempo polinomial. Supongo que la pregunta más general sería: ¿hay alguna clase de polinomios multivariados para los que el problema …

8 cc.complexity-theory  polynomials  polynomial-time  quadratic