Preguntas etiquetadas con cc.complexity-theory

En pocas palabras, los teoremas de la jerarquía del tiempo dicen que una máquina de Turing puede resolver más problemas si tiene más tiempo para el cálculo. En detalle para TM determinístico y funciones construibles en el tiempo con es y para TM no determinista y funciones construibles en el …

10 cc.complexity-theory  lower-bounds  big-picture  time-complexity  time-hierarchy 

Estaba jugando con la muy interesante y abierta pregunta " Alfabeto de la máquina de Turing de una sola cinta " (por Emanuele Viola) y se me ocurrió el siguiente idioma: L = { x ∈ { 0 , 1 }norte st | x | = n = 2metro y …

10 cc.complexity-theory  turing-machines  time-complexity 

¿Hay alguna manera de que un probador pueda convencer a un verificador de que alguna expresión de HORN-SAT es satisfactoria? Por supuesto, esto puede parecer una tontería, ya que existen algoritmos de tiempo lineal para HORN-SAT. Por otro lado, HORN-SAT es P-completo, lo que significa que no tiene algoritmos de …

10 cc.complexity-theory  interactive-proofs  zero-knowledge 

Dado un circuito booleano en variables (que usa solo compuertas NOT, AND y OR), ¿cuál es la forma más eficiente de extraer la fórmula booleana representada por el circuito? ¿Existe un algoritmo polytime para este problema?nCCCnortenn

10 cc.complexity-theory  time-complexity  boolean-functions 

En esta pregunta , se mencionó que existen versiones descriptivas de complejidad del teorema de Rice. Encontré una prueba del siguiente teorema: Dada una clase de complejidad C , las propiedades no triviales de los lenguajes en C no se pueden calcular en C Anteriormente había publicado la prueba que …

10 cc.complexity-theory  complexity-classes  descriptive-complexity  separation 

En una pregunta anterior sobre la jerarquía de tiempo, aprendí que las igualdades entre dos clases se pueden propagar a clases más complejas y las desigualdades se pueden propagar a clases menos complejas, con argumentos que utilizan relleno. Por lo tanto, una pregunta viene a la mente. ¿Por qué estudiamos …

10 cc.complexity-theory  big-picture 

Antecedentes Complejidad del circuito se define como el conjunto de familias de circuitos (es decir, secuencias de circuitos, una para cada tamaño de entrada) de profundidad acotada y tamaño polinomial construido utilizando el ventilador sin límites AND, OR y NOT.AC0AC0AC^0 La función de paridad con entrada de n bits es …

10 cc.complexity-theory  circuit-complexity  physics  bounded-depth 

La resolución es un esquema para demostrar la insatisfacción de los CNF. Una prueba en resolución es una deducción lógica de la cláusula vacía para las cláusulas iniciales de la CNF. En particular, se puede inferir cualquier cláusula inicial, y de dos cláusulas A ∨ xA∨xA \lor x y B …

10 cc.complexity-theory  lo.logic  proof-complexity  proof-search 

¿Alguien sabe de un conjunto de problemas que varían uniformemente y abarcan una de las jerarquías "interesantes" de complejidad y computabilidad? Por interesante, quiero decir, por ejemplo, la Jerarquía Polinómica, la Jerarquía Aritmética o la Jerarquía Analítica. O tal vez (N) P, (N) EXP, 2 (N) EXP,……\ldots Más concretamente: puede …

10 cc.complexity-theory  computability 

Hiroimono es un popular rompecabezas completo de Estoy interesado en la complejidad computacional de un rompecabezas relacionado.NPNPNP El problema es: Entrada : dado un conjunto de puntos en una cuadrícula x n cuadrada y entero knnnnnnkkk Pregunta : ¿Existe un polígono rectilíneo (sus lados paralelos al eje o y ) …

10 cc.complexity-theory  np-hardness  puzzles  integer-lattice 

Deje que π: { 0 , 1 }∗→ { 0 , 1 }∗π:{0,1}∗→{0,1}∗\pi \colon \{0,1\}^* \to \{0,1\}^* sea ​​una permutación. Tenga en cuenta que mientras ππ\pi actúa en un dominio infinito, su descripción puede ser finita. Por descripción , me refiero a un programa que describe la funcionalidad de ππ\pi …

10 cc.complexity-theory  co.combinatorics  cr.crypto-security  descriptive-complexity  one-way-function 

Graph automorphism es una permutación de nodos de gráfico que induce una biyección en el conjunto de aristas EEE . Formalmente, es una permutación fff de nodos como (u,v)∈E(u,v)∈E(u,v)\in E iff (f(u),f(v))∈E(f(u),f(v))∈E(f(u),f(v))\in E Defina un borde violado para alguna permutación como un borde que se asigna a no borde o …

10 cc.complexity-theory  graph-theory  automorphism  symmetry 

En SODA 2006, Martin Grohe y D niel papel de Marx "resolución de restricciones a través de cubiertas de borde fraccional" ( cita ACM ) mostraron que para la clase de hypergraphs H con anchura Hypertree fraccional acotada, CSP ( H ) ∈ P T I M E .una´a´\acute{\rm a}HHHHHH∈ …

10 cc.complexity-theory  graph-theory  hypergraphs  treewidth  csp 

Esta pregunta ha surgido en mi mente después de leer las contribuciones de András Salamon y Colin McQuillan a mi pregunta anterior Soluciones de conteo de fórmulas Monotone-2CNF . EDITAR 30 ª Mar 2011 pregunta Agregado n ° 2. EDITAR 29 º Oct 2010 Pregunta reformuló después de la propuesta …

10 cc.complexity-theory  ds.algorithms  sat  counting-complexity 

Me pregunto si hay lenguaje escaso (incluso construido por diagolanización retrasada) en NPI bajo el supuesto de que .P≠NPP≠NPP \neq NP

10 cc.complexity-theory  complexity-classes