Preguntas etiquetadas con complexity-theory

Estoy tratando de entender los sistemas de prueba interactivos y probé el siguiente problema como ejercicio. Sabemos que e I P = P S P A C E , entonces, ¿ tenemos sistemas de prueba interactivos (fáciles de entender) para P H ?PAGSH⊆ PSPAGSA CmiPH⊆PSPACEPH \subseteq PSPACEyoPAGS= PSPAGSA CmiIP=PSPACEIP=PSPACEPAGSHPHPH Un …

9 complexity-theory  interactive-proof-systems 

Dado un programa entero (binario) de la forma:0,10,10,1 mins.t.f(x)Ax=bxi≥0xi∈{0,1}∀i∀iminf(x)s.t.Ax=bxi≥0∀ixi∈{0,1}∀i \begin{array}{lll} \text{min} & f(x) & \\ \text{s.t.} & A x = b \\ & x_i \ge 0 & \quad \forall i\\ & x_i \in \{0,1\} & \quad \forall i \end{array} Tenga en cuenta que el tamaño de no está fijo en …

9 complexity-theory  np-complete  approximation  integer-programming 

Deje que LϵLϵL_\epsilon sea ​​el lenguaje de todas las fórmulas 222 -CNF φφ\varphi , de modo que pueda satisfacerse al menos ( 12+ ϵ )(12+ϵ)(\frac{1}{2}+\epsilon) de las cláusulas de φφ\varphi . Necesito demostrar que existe ϵ′ϵ′\epsilon' st LϵLϵL_\epsilon es N PNP\mathsf{NP} -hard para cualquier ϵ &lt; ϵ′ϵ&lt;ϵ′\epsilon<\epsilon' . Sabemos que …

9 complexity-theory  satisfiability  approximation 

¿Es esta variante del problema de suma de subconjuntos fácil / conocida? Dado un entero , y un conjunto de enteros positivos tal que cada tiene como máximo bits establecidos en ( ); ¿hay un subconjunto tal que la suma de sus elementos sea igual a ?A = { x …

9 complexity-theory  reference-request  decision-problem 

Me encontré con el siguiente problema: Dado un gráfico acíclico dirigido con pesos de arista con valores reales y dos vértices syt, calcule el corte st mínimo. Para gráficos generales, esto es NP-hard, ya que uno puede reducir trivialmente el corte máximo simplemente invirtiendo los pesos de los bordes (corrígeme …

9 algorithms  complexity-theory  graph-theory  weighted-graphs 

Estoy confundido acerca de cómo se definen PP y BPP . Supongamos que es la función característica de un lenguaje . M ser la máquina probabilística de Turing. ¿Son correctas las siguientes definiciones:Lχχ\chiLL\mathcal{L} P P = { L : P r [ χ ( x ) ≠ M ( x …

9 complexity-theory  terminology  randomized-algorithms  complexity-classes 

Digamos que sabemos que el problema A es difícil, luego reducimos A al problema desconocido B para probar que B también es difícil. Como ejemplo: sabemos que 3 colores es difícil. Luego reducimos 3 colores a 4 colores. Al combinar uno de los colores en 3 colores, tiene 4 colores, …

9 complexity-theory  np-complete  reductions 

Supongamos que queremos unir dos relaciones en un predicado. ¿Está esto en Carolina del Norte? Me doy cuenta de que una prueba de que no está en Carolina del Norte equivaldría a una prueba de que PAGS≠ NCPAGS≠norteCP\not=NC , por lo que aceptaría evidencia de que es un problema abierto …

9 complexity-theory  time-complexity  parallel-computing  database-theory  descriptive-complexity 

Es bien sabido que cada función booleana puede realizarse utilizando un circuito booleano de profundidad 2 (sobre las variables, su negación y sus valores constantes) que contiene compuertas AND en el primer nivel y una compuerta OR simple en el nivel superior; esto es simplemente la representación DNF de .ff:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n\to …

9 complexity-theory  logic  circuits 

Teniendo un conjunto de n elementos, digamos que quiero calcular una función f ( A ) que es sensible a todas las partes de la entrada, es decir, depende de un miembro muy de A (es decir, es posible cambiar cualquier miembro de A a algo de lo contrario, para …

9 complexity-theory 

En las aplicaciones del mundo real, ¿hay un beneficio concreto al usar los algoritmos lugar de ?O(log(log(n))O(log⁡(log⁡(n))\mathcal{O}(\log(\log(n))O(log(n))O(log⁡(n))\mathcal{O}(\log(n)) Este es el caso cuando uno usa, por ejemplo, árboles de Van Emde Boas en lugar de implementaciones de árbol de búsqueda binaria más convencionales. Pero, por ejemplo, si tomamos , en el …

9 algorithms  complexity-theory  binary-trees  algorithm-analysis  search-trees 

Tomemos como ejemplo la reducción 3d → 2d: ¿Cuál es el costo de simular un autómata celular 3d con un autómata celular 2d? Aquí hay un montón de preguntas más específicas: ¿Qué tipo de algoritmos cambiarán su complejidad de tiempo, en cuánto? ¿Cuál sería la idea básica para la codificación? …

9 complexity-theory  time-complexity  cellular-automata 

¿Se invierte una matriz en la clase de complejidad ?PAGSPAGS\text{P} Desde el tiempo de ejecución, diría yes pero la matriz invertida puede contener entradas donde el tamaño no está limitado polinómicamente por la entrada.O (norte3)O(norte3)\mathcal{O}(n^3)

9 complexity-theory 

Recientemente hablé con un amigo sobre un sitio web que propuso desafíos de expresiones regulares, principalmente haciendo coincidir un grupo de palabras con una propiedad especial. Estaba buscando una expresión regular que coincida con cadenas como ||||||||donde el número |es primo. Inmediatamente le dije que eso nunca funcionaría porque si …

9 formal-languages  machine-models  logic  boolean-algebra  xor  cryptography  algorithms  machine-learning  algorithms  paging  virtual-memory  programming-languages  object-oriented  algorithms  search-algorithms  strings  binary-search  formal-grammars  context-free  algorithms  algorithms  correctness-proof  greedy-algorithms  permutations  logic  first-order-logic  logic-programming  algorithms  complexity-theory  computability  programming-languages  complexity-theory  complexity-classes  quantum-computing  reductions  formal-languages  programming-languages  semantics  operational-semantics  small-step-semantics  sets  first-order-logic  computer-networks  communication-protocols 

Estoy buscando un documento fácil e introductorio sobre la prueba del Teorema de Courcelle . También estoy interesado en su conexión con la complejidad parametrizada con respecto al ancho del árbol . Solo soy un principiante en este campo. ¿Alguna sugerencia?

9 complexity-theory  graph-theory  reference-request  discrete-mathematics  parameterized-complexity