Preguntas etiquetadas con cc.complexity-theory

(Esta pregunta es un poco una "encuesta"). Actualmente estoy trabajando en un problema en el que trato de dividir los bordes de un torneo en dos conjuntos, los cuales son necesarios para cumplir con algunas propiedades estructurales. El problema "se siente" bastante difícil, y espero que sea -complete. Por alguna …

20 cc.complexity-theory  reference-request  np-hardness 

Dos preguntas relacionadas sobre la computación de profundidad limitada: 1) Suponga que comienza con n bits, y para comenzar con el bit i puede ser 0 o 1 con alguna probabilidad p (i), independientemente. (Si simplifica el problema, podemos suponer que todos los p (i) s son 0,1 o 1/2.o …

20 cc.complexity-theory  quantum-computing  circuit-complexity  randomness  circuit-depth 

El gráfico lineal de una hipergrafía es el gráfico (simple) G que tiene bordes de H ya que los vértices con dos bordes de H son adyacentes en G si tienen una intersección no vacía. Una hipergrafía es un r- hiperígrafo si cada uno de sus bordes tiene como máximo …

20 cc.complexity-theory  graph-algorithms  hypergraphs 

El siguiente problema interesante surgió en mi investigación recientemente: INSTANCIA: Gráfico .G ( V, E)G(V,E)G(V, E) SOLUCIÓN: Una finalización de ciclo impar sin acordes, definida como un superconjunto del conjunto de bordes E, de modo que el gráfico completado G ' ( V , E ' ) tiene la propiedad …

20 cc.complexity-theory  reference-request  graph-theory  np-hardness 

El teorema de PCP que no hay algoritmo de tiempo polinómico para MAX 3SAT para encontrar una asignación satisfacer cláusulas de una fórmula 3SAT satisfiable a menos que P = N P .7 / 8 + ε7/8+ϵ7/8+ \epsilonPAG= NPAGP=NPP = NP Existe un algoritmo de tiempo polinomial que satisface trivial …

20 cc.complexity-theory  pcp 

En complejidad parametrizada, ⊆ W [ 2 ] . Se conjetura que cada una de las contenciones es adecuada.F P T ⊆ W [1]FPT⊆W[1]\mathsf{FPT} \subseteq \mathsf{W}[1] ⊆ W [ 2 ]⊆W[2]\subseteq \mathsf{W}[2] ⊆ ... ⊆ W [ P]⊆…⊆W[P]\subseteq \ldots \subseteq \mathsf{W}[P] Si entonces .P = W [ P ]F P …

20 cc.complexity-theory  parameterized-complexity  fixed-parameter-tractable 

El Theoem de Karp-Lipton establece que si , entonces P H colapsa a Σ P 2 . Por lo tanto, suponiendo separaciones entre Σ P 2 y Σ P 3 , ningún problema completo de N P pertenecerá a P / p o l y .NP⊂P/polyNP⊂P/poly\mathsf{NP} \subset \mathsf{P/poly}PHPH\mathsf{PH}ΣP2Σ2P\mathsf{\Sigma^P_2}ΣP2Σ2P\mathsf{\Sigma^P_2}ΣP3Σ3P\mathsf{\Sigma^P_3}NPNP\mathsf{NP}P/polyP/poly\mathsf{P/poly} Estoy interesado …

20 cc.complexity-theory  np  conditional-results  advice-and-nonuniformity  average-case-complexity 

En esta pregunta , parece que hemos identificado un problema natural que es NP completo bajo reducciones aleatorias, pero posiblemente no bajo reducciones deterministas (aunque esto depende de qué suposiciones no comprobadas en la teoría de números sean verdaderas). ¿Hay algún otro problema conocido? ¿Hay algún problema natural que sea …

20 cc.complexity-theory  np-hardness  big-list  randomness  reductions 

Discusión : Últimamente he pasado algo de tiempo personal aprendiendo varias cosas en la complejidad de la comunicación. Por ejemplo, me he re-familiarizado con el capítulo relevante en Arora / Barak, comencé a leer algunos documentos y ordené el libro a Kushilevitz / Nisan. Intuitivamente, quiero contrastar la complejidad de …

20 cc.complexity-theory  complexity-classes  big-picture  communication-complexity 

Estoy buscando una buena encuesta sobre algoritmos y complejidad del álgebra lineal (operaciones como rango, inverso, valores propios, ... para matrices booleanas, y enteros / racionales) con énfasis en paralelo ( jerarquía ) y algoritmos polytime. No pude encontrar uno reciente. NCFpFp\mathbb{F}_pNCNCNC ¿Conoces una buena encuesta reciente o libro sobre …

20 cc.complexity-theory  ds.algorithms  reference-request  dc.parallel-comp  linear-algebra 

En la clase de complejidad , se conjetura que algunos problemas NO están en la clase N C , es decir, problemas con algoritmos deterministas paralelos. El problema del flujo máximo es un ejemplo. Y se cree que hay problemas en N C , pero todavía no se encuentra una …

20 cc.complexity-theory  ds.algorithms  reference-request  graph-algorithms  dc.parallel-comp 

Se hacen cinco preguntas vinculadas, y se espera una sola respuesta integrada: P1: ¿Existen lenguajes que son reconocidos únicamente por aquellas máquinas de Turing en cuyos exponentes de tiempo de ejecución son indecidibles ?PLLLPAGPP P2: ¿Pueden construirse finitos ejemplos de estas máquinas de Turing? P3: ¿Se pueden crear instancias concretas …

20 cc.complexity-theory 

El título más o menos lo dice todo, pero creo que podría agregar un poco de antecedentes y algunos ejemplos específicos que me interesan. Los teóricos de la complejidad descriptiva, como Immerman y Fagin, han caracterizado muchas de las clases de complejidad más conocidas utilizando la lógica. Por ejemplo, NP …

20 cc.complexity-theory  quantum-computing  descriptive-complexity 

Supongamos que tenemos un problema parametrizado por un parámetro de valor real p que es "fácil" de resolver cuando y "difícil" cuando para algunos valores , . p = p 1 p 0 p 1p = p0 0p=p0p=p_0p = p1p=p1p=p_1pag0 0p0p_0pag1p1p_1 Un ejemplo es contar configuraciones de giro en gráficos. …

20 cc.complexity-theory  counting-complexity  approximation-hardness  phase-transition 

Immerman y Szelepcsenyi demostraron independientemente que . Usando su técnica de conteo inductivo, Borodin et al probaron que S A C i está cerrado bajo complementación, para i > 0 . Antes del teorema de Reingold ( S L = L ), Nisan y Ta-Shma demostraron S L = c …

20 cc.complexity-theory  space-bounded