Preguntas etiquetadas con cc.complexity-theory

Dos partes de TCS son algoritmos y complejidad. Voy simplista decir que los algoritmos es el estudio de los límites superiores, lo que demuestra que se puede hacer algo (con recursos restringidos, dados), y la complejidad se trata de demostrar que usted no puede hacerlo sin algunos recursos mínimos. Muy …

14 cc.complexity-theory  sorting 

Considere el problema # P-completo de contar el número de cubiertas de vértices de un gráfico dado G=(V,E)G=(V,E)G = (V, E) . Me gustaría saber si hay algún resultado que muestre cómo la dureza de dicho problema varía con algún parámetro de (por ejemplo, ).GGGd=|E||V|d=|E||V|d = \frac{|E|}{|V|} Mi sensación es …

14 cc.complexity-theory  graph-theory  counting-complexity  time-complexity 

Considere un lenguaje LLL tal que: L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L \in DTIME(O(f(n))) \cap DSPACE(O(g(n))) y asi que L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L \not\in DTIME(o(f(n))) \cup DSPACE(o(g(n))) En otras palabras, la máquina más rápida calcula en el tiempo y la máquina más eficiente en espacio calcula mientras usa el espacio .L O ( f ( n ) ) …

14 cc.complexity-theory  ds.algorithms  open-problem  space-time-tradeoff 

1) ¿Es posible tener una reducción parsimoniosa de un problema # P completo #A a un problema de conteo #B cuando (la versión de decisión) A es NP-completa y B está en P? Por ejemplo, ¿puede haber una reducción parsimoniosa de #SAT a #B, cuando B está en P? 2) …

14 cc.complexity-theory  complexity-classes  counting-complexity 

Dados dos CNF, si tienen el mismo número de asignaciones para hacerlos verdaderos, responda "Sí", de lo contrario responda "No". Es fácil ver que está en , ya que si conocemos el número exacto de soluciones para estos dos CNF, simplemente hacemos campaña y respondemos "Sí" o "No".P#PP#PP^{\#P} ¿Cuál es …

14 cc.complexity-theory  complexity-classes  counting-complexity 

SACiSUNCyoSAC^i es la clase de problemas de decisión que puede resolver una familia de circuitos de profundidad con compuertas OR sin límites y con compuertas AND con límites. Las negaciones solo están permitidas en el nivel de entrada. Se sabe que S A C i para i ≥ 1 está …

14 cc.complexity-theory  circuit-complexity  space-bounded  arithmetic-circuits 

¿Hay alguna forma de codificar una instancia de Subset Sum o el problema de partición numérica para que una solución (pequeña) a una relación entera produzca una respuesta? Si no es definitivamente, ¿en algún sentido probabilístico? Sé que LLL (y quizás PSLQ) se han utilizado con éxito moderado en la …

14 cc.complexity-theory  np-hardness  approximation-algorithms  reductions  subset-sum 

El problema #SAT es el problema canónico # P-complete. Es un problema funcional más que un problema de decisión. Pregunta, dada una fórmula booleana en lógica proposicional, cuántas asignaciones satisfactorias tiene¿Cuáles son los mejores límites inferiores en #SAT?FFFFFF

14 cc.complexity-theory  lower-bounds  sat  counting-complexity 

Dos documentos que incluiría son: D. Kozen, "Indización de clases subrecursivas" , STOC, 1978. R. Ladner, "Sobre la estructura de la reducibilidad del tiempo polinomial" , JACM, 1975.

14 cc.complexity-theory  lo.logic  computability  big-list  structural-complexity 

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 

Si está familiarizado con la verificación del programa, es probable que prefiera leer la Pregunta antes que los Antecedentes . Si no está familiarizado con la verificación del programa, es posible que aún pueda responder esta pregunta, pero es probable que prefiera leer el Fondo primero. Antecedentes A menudo se …

14 cc.complexity-theory  lo.logic  program-verification  program-logic 

Me parece que la mayoría de los teóricos de la complejidad generalmente creen en la siguiente regla filosófica: Si no podemos imaginar un algoritmo eficiente para el problema , y podemos reducir el problema Una de problema B , entonces probablemente no es un algoritmo eficiente para el problema B …

14 cc.complexity-theory  big-picture  reductions 

Hice una búsqueda sobre esto, pero no pude encontrar una respuesta de ninguna manera. Huck respondió por completo. Gracias :)

14 cc.complexity-theory  complexity-classes  time-complexity  space-complexity 

Sea una fórmula CNF con n variables y m cláusulas. Supongamos que t ∈ { 0 , 1 } n representa una asignación variable y f φ ( t ) ∈ { 0 , ... , m } cuenta el número de cláusulas satisfechas por una asignación variable a φ …

14 cc.complexity-theory  sat  counting-complexity 

Ese es un nombre que he inventado para este problema. No lo he visto descrito en ninguna parte antes. Todavía no he podido encontrar una prueba de integridad de NP ni un algoritmo de tiempo polinómico para este problema. No es un problema de tarea, está relacionado con un problema …

14 cc.complexity-theory  np-hardness