Preguntas etiquetadas con polynomial-time

Me he encontrado con el algoritmo polinómico que resuelve 2SAT. Me ha parecido sorprendente que 2SAT esté en P, donde todas (o muchas otras) de las instancias de SAT son NP-Complete. ¿Qué hace que este problema sea diferente? ¿Qué lo hace tan fácil (NL-Complete, incluso más fácil que P)?

55 cc.complexity-theory  np-hardness  big-picture  polynomial-time 

Estoy bastante confundido por la literatura de optimización continua y la literatura de TCS sobre qué tipos de programas matemáticos (continuos) (MP) se pueden resolver de manera eficiente y cuáles no. La comunidad de optimización continua parece afirmar que todos los programas convexos se pueden resolver de manera eficiente, pero …

31 ds.algorithms  optimization  linear-programming  semidefinite-programming  polynomial-time 

Me gustaría encontrar un algoritmo de tiempo polinómico que determine si el lapso de un conjunto dado de matrices contiene una matriz de permutación. Si alguien sabe si este problema es de una clase de complejidad diferente, sería igual de útil. EDITAR: He etiquetado esta pregunta con la Programación lineal, …

30 cc.complexity-theory  linear-algebra  linear-programming  semidefinite-programming  polynomial-time 

Es un algoritmo determinista de tiempo polinómico conocido para el siguiente problema: Entrada: un número natural (en codificación binaria)nortenn Salida: un número primo .p > np>np > n (Según una lista de problemas abiertos de Leonard Adleman, el problema se abrió en 1995).

25 cc.complexity-theory  open-problem  nt.number-theory  polynomial-time  primes 

El problema No todos iguales -SAT (NAE k -SAT), dado un conjunto C de cláusulas sobre un conjunto X de variables booleanas de modo que cada cláusula contenga como máximo k literales, pregunta si existe una asignación de verdad de las variables de manera que cada cláusula contiene al menos …

23 cc.complexity-theory  reference-request  np-hardness  polynomial-time 

¿Hay algún problema natural en P para el cual el límite de tiempo de ejecución más conocido sea de la forma , donde es una constante irracional ?O ( nα)O(norteα)O(n^\alpha)αα\alpha

21 cc.complexity-theory  time-complexity  polynomial-time 

Considere el lenguaje .EQUALITY={anbn∣n≥0}EQUALITY={anbn∣n≥0} \mathtt{EQUALITY} = \{ a^nb^n \mid n \geq 0 \} Se sabe que no puede ser reconocido por ninguna máquina de Turing alterna (espacio) sublogarítmico (Szepietowski, 1994) . (¡Hay un cajero automático que utiliza un espacio sublogarítmico para los miembros pero no para todos los no miembros!)EQUALITYEQUALITY …

21 space-bounded  polynomial-time 

(Este es un seguimiento de esta pregunta y su respuesta ). Tengo el siguiente programa lineal entero entero unimodular (TU) (ILP). Aquí son todos enteros positivos dados como parte de la entrada. Un subconjunto especificado de las variables x i j se establece en cero y el resto puede tomar …

21 ds.algorithms  reference-request  linear-programming  integer-programming  polynomial-time 

László Babai demostró recientemente que el problema del isomorfismo gráfico está en tiempo cuasipolinomial . Véase también su discurso en la Universidad de Chicago, nota de las charlas de Jeremy Kun GLL post 1 , GLL post 2 , GLL post 3 . Según el teorema de Ladner, si , …

21 cc.complexity-theory  complexity-classes  np-complete  polynomial-time  np-intermediate 

Estoy tratando de resolver un problema en particular, y pensé que podría resolverlo usando la teoría de autómatas. Me pregunto, ¿qué modelos de autómatas tienen una contención decidible en tiempo polinómico? es decir, si tiene máquinas , puede probar si eficiente. L ( M 1 ) ⊆ L ( M …

18 fl.formal-languages  automata-theory  time-complexity  polynomial-time  decidability 

El problema kkk -cycle es el siguiente: Instancia: un gráfico no dirigido solsolGcon nnn vértices y hasta aristas.(n2)(n2)n \choose 2 Pregunta: ¿Existe un ciclo (adecuado) en ?GkkkGGG Antecedentes: para cualquier fija , podemos resolver el ciclo en el tiempo .2 k O ( n 2 )kkk2k2k2kO(n2)O(n2)O(n^2) Raphael Yuster, Uri Zwick: …

15 graph-theory  graph-algorithms  clique  polynomial-time  fixed-parameter-tractable 

Un idioma está en si existe un espacio de registro de la máquina de Turing que decide el idioma con una cantidad polinómica de consejos.L / p o l yL/ /pagolyL/poly Consulte aquí para obtener más información: https://en.wikipedia.org/wiki/L/poly Pregunta ¿Cuáles son las consecuencias de ?PAG⊆ L / p o l …

14 cc.complexity-theory  circuit-complexity  polynomial-time  advice-and-nonuniformity  logspace 

Lema: Suponiendo equivalencia eta tenemos eso (\x -> ⊥) = ⊥ :: A -> B. Prueba: ⊥ = (\x -> ⊥ x)por equivalencia eta y (\x -> ⊥ x) = (\x -> ⊥)por reducción bajo la lambda. El informe Haskell 2010, sección 6.2 especifica la seqfunción mediante dos ecuaciones: seq …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

Respuesta: no conocida. Las preguntas formuladas son naturales, abiertas y aparentemente difíciles; La pregunta ahora es una wiki comunitaria. Visión general La pregunta busca dividir los idiomas que pertenecen a la clase de complejidad PPP , junto con las máquinas de Turing de decisión (TM) que aceptan estos idiomas, en …

14 cc.complexity-theory  polynomial-time  undecidability  independence 

Conocemos el problema de contar el número de asignaciones satisfactorias en una fórmula booleana general dada (CNF-SAT), una fórmula DNF dada, o incluso una fórmula 2SAT dada es un problema # P-completo . Ahora, considere un CNF-SAT sin literal negativo (no , siempre A ). El problema de decisión es …

13 sat  counting-complexity  polynomial-time  monotone