Preguntas etiquetadas con cc.complexity-theory

Relajemos un poco el color, es decir, permitimos que se asigne el mismo color a un pequeño número de vértices adyacentes. Un componente monocromático se define como un componente conectado en el subgrafo inducido por el conjunto de vértices que reciben el mismo color, y la pregunta es pedir el …

11 cc.complexity-theory  graph-theory  graph-colouring  planar-graphs 

¿Qué se sabe actualmente sobre la aproximabilidad del problema del género? Una búsqueda preliminar me dice que una aproximación de factor constante es trivial para gráficos suficientemente densos, y se ha descartado un algoritmo de aproximación . ¿Esta información está actualizada o se conocen mejor límites?norteϵnϵn^\epsilon

11 cc.complexity-theory  approximation-hardness  topological-graph-theory 

¿Qué tipo de teoremas de jerarquía existen para la profundidad del circuito? Declaraciones como g(n)∈o(f(n))g(n)∈o(f(n))g(n) \in o(f(n))f(n)∈nO(1)f(n)∈nO(1)f(n) \in n^{O(1)}SizeDepth(nO(1),g(n))⊊SizeDepth(nO(1),f(n))SizeDepth(nO(1),g(n))⊊SizeDepth(nO(1),f(n))\mathsf{SizeDepth}(n^{O(1)}, g(n)) \subsetneq \mathsf{SizeDepth}(n^{O(1)}, f(n))

11 cc.complexity-theory  circuit-complexity  hierarchy-theorems  circuit-depth 

Se cree ampliamente que algunos problemas computacionales, como el isomorfismo de grafos, no pueden ser NP-completos porque no poseen suficiente estructura o redundancia para ser computacionalmente duros (NP-hard). Estoy interesado en las diferentes nociones formales para la estructura de los problemas computacionales y las medidas de redundancia. ¿Cuáles son los …

11 cc.complexity-theory  graph-isomorphism 

Esto es similar a SAT, excepto que conocemos la asignación de cada variable, pero no conocemos la asignación de ningún operador booleano. En ese caso, ¿encontrar la asignación de cada operador para que la expresión evalúe un valor booleano dado es un problema NPC? En realidad, me preguntaba si encontrar …

11 cc.complexity-theory  np-hardness 

NL⊈PNL⊈P\mathsf{NL} \nsubseteq \mathsf{P} Consideremos ahora las familias de circuitos con puertas de Oracle - por ejemplo, , donde es una clase de la complejidad del circuito que contiene logspace con acceso a Oracle a otra clase , a través de puertas de Oracle adjuntas a la base de . ¿Hay …

11 cc.complexity-theory  complexity-classes  circuit-complexity  oracles  relativization 

Se mostró en el documento "Programación de enteros con un número fijo de variables" que las programaciones de enteros con un número constante de restricciones (o variables) son polinomialmente solucionables. ¿Esto es válido para la programación 0-1?

11 cc.complexity-theory  integer-programming 

Un teorema directo del producto, informalmente, dice que calcular instancias de una función es más difícil que calcular una vez.kkkffffff Los teoremas típicos de productos directos (p. Ej., El Lema XOR de Yao) analizan la complejidad de los casos promedio y argumentan (muy a grandes rasgos) que no puede calcularse …

11 cc.complexity-theory  circuit-complexity  average-case-complexity 

Respuesta: no conocida Muchas gracias a todos los que ayudaron a refinar esta pregunta y las definiciones asociadas. Las definiciones de esta wiki proporcionaron el punto de partida para la wiki TCS más reciente " ¿Contiene P lenguajes cuya existencia es independiente de PA o ZFC? (Wiki de la comunidad …

11 cc.complexity-theory  complexity-classes  turing-machines  decidability 

Dana Angluin ( 1987 ; pdf ) define un modelo de aprendizaje con consultas de membresía y consultas teóricas (contraejemplos de una función propuesta). Ella muestra que un lenguaje regular que está representado por un DFA mínimo de estados se puede aprender en tiempo polinómico (donde las funciones propuestas son …

11 cc.complexity-theory  machine-learning  lower-bounds  lg.learning  query-complexity 

El problema de la partición de 3 cliques es el problema de determinar si los vértices de un gráfico, digamos , se pueden dividir en 3 camarillas. Este problema es NP-duro por una simple reducción del problema de 3 colorabilidad. No es difícil ver que la respuesta a este problema …

11 cc.complexity-theory  graph-theory  np-hardness  clique 

En los sistemas de control de versiones distribuidas (como Mercurial y Git ) existe la necesidad de comparar eficientemente los gráficos acíclicos dirigidos (DAG). Soy un desarrollador de Mercurial, y estaríamos muy interesados ​​en escuchar sobre el trabajo teórico que discute la complejidad del tiempo y la red de comparar …

11 cc.complexity-theory  dc.distributed-comp  directed-acyclic-graph 

Supongamos que tenemos un semigrupo con elementos S = { s 1 , s 2 , ... , s n } . Nuestro objetivo es calcular productos s i ∘ s i + 1 ∘ ⋯ ∘ s j .( S, ∘ )(S,∘)(S,\circ)S= { s1, s2, ... , snorte}S={s1,s2,…,sn}S=\lbrace s_1,s_2,\dots,s_n\rbracesyo∘ …

11 cc.complexity-theory  graph-theory  ds.data-structures 

Supongo que se llamaría # P-Space, pero solo he encontrado un artículo que lo menciona vagamente. ¿Qué tal la versión de conteo de EXP-TIME-Complete, NEXP-Complete y EXP-SPACE-Complete? ¿Hay algún trabajo previo que pueda citarse con respecto a este o algún tipo de inclusión o exclusión como el Teorema de Toda?

11 cc.complexity-theory  complexity-classes  counting-complexity  pspace 

¿Qué se sabe sobre la transición de fase en problemas # P-Complete? Específicamente, ¿existe una transición de fase diferente para # DNF-k-SAT y # CNF-k-SAT? Actualización: Como sabemos, hay una transición de fase en Random k-SAT donde la resolución del problema pasa de ser fácil a difícil y volver a …

11 cc.complexity-theory  counting-complexity  phase-transition