Preguntas etiquetadas con cc.complexity-theory

La complejidad computacional implica grandes cantidades de combinatoria y teoría de números, algunas ingrididades del estocástico y una cantidad emergente de álgebra. Sin embargo, al ser un analista, me pregunto si hay aplicaciones de análisis en este campo, o tal vez ideas inspiradas en el análisis. Todo lo que sé …

14 cc.complexity-theory  reference-request  soft-question  big-picture 

¿Habría alguna consecuencia importante si SAT tuviera a lo sumo pruebas subexponenciales no firmes o, aún más fuerte, SAT tuviera algoritmos de tiempo subexponencial?

14 cc.complexity-theory  sat  proof-complexity 

Dado un autómata A finito (determinista o no determinista, no creo que esto tenga mucha importancia) y un umbral n , ¿acepta A una palabra que contenga como máximo n letras distintas? (Por k letras diferentes quiero decir que aabaa tiene dos letras distintas, a y b .) Mostré que …

13 cc.complexity-theory  np-hardness  automata-theory 

Supongamos que tenemos una propiedad gráfica que se puede verificar en tiempo polinomial no determinista, y una prueba en un sistema formal débil (digamos RCA 0 ) de que la propiedad está cerrada de forma menor. ¿Podemos decir algo sobre la fortaleza de un sistema formal, que puede demostrar que …

13 cc.complexity-theory  lo.logic 

Adleman ha demostrado en 1978 que BPP⊆P/polyBPP⊆P/poly\mathrm{BPP}\subseteq \mathrm{P/poly} : si una función booleana fff de nnn variables puede calcularse mediante un circuito booleano probabilístico de tamaño MMM , entonces fff también puede calcularse mediante un circuito booleano determinista de tamaño polinomio en MMM y nnn ; en realidad, de tamaño …

13 cc.complexity-theory  circuit-complexity  randomized-algorithms  derandomization  arithmetic-circuits 

Lance Fortnow afirmó recientemente que probar L! = NP debería ser más fácil que probar P! = NP : Separar NP del espacio logarítmico. Di cuatro enfoques en una encuesta previa al blog de 2001 sobre la diagonalización (Sección 3), aunque ninguno ha funcionado. Debería ser mucho más fácil que …

13 cc.complexity-theory  reductions  relativization 

Busco: Michael O. Rabin, "Grado de dificultad para calcular una función y un ordenamiento parcial de conjuntos recursivos", Universidad Hebrea, Jerusalén, 1960 Resumen: “Intentamos medir la cantidad de trabajo inherente a la tarea de calcular una determinada función computable (recursiva). Se introduce y estudia una noción de grado de dificultad …

13 cc.complexity-theory  reference-request  ho.history-overview 

Cuando queremos demostrar que un L∈NPL∈NPL\in \bf NP es -Complete, entonces el enfoque estándar es exhibir un polinomio tiempo computable reducción de muchos uno de una conocida problema -Complete a . En este contexto, no necesitamos un límite estricto en el tiempo de ejecución de la reducción. Es suficiente tener …

13 cc.complexity-theory  reductions  np-complete 

P / poly es la clase de problemas de decisión que puede resolver una familia de circuitos booleanos de tamaño polinómico. Alternativamente, se puede definir como una máquina de Turing de tiempo polinómico que recibe una cadena de aviso que tiene un tamaño polinómico en n y que se basa …

13 cc.complexity-theory  complexity-classes  circuit-complexity  polynomial-time  monotone 

¿Se sabe algo sobre el segundo corte - t más pequeño en una red de flujo? O, más en general, sobre este problema:sssttt Entrada: una red y un número k , todo en binario. Salida: A k ésimo más pequeño s - t corte.NNNkkkkkksssttt Un ésimo corte s - t …

13 cc.complexity-theory  optimization  max-flow-min-cut  flow-problems 

Considere el problema en el que se nos da como entrada un gráfico acíclico dirigido G=(V,E)G=(V,E)G = (V, E) , una función de etiquetado λλ\lambda de VVV a algún conjunto LLL con un orden total &lt;L&lt;L<_L (por ejemplo, los enteros), y donde se nos pide calcule el tipo topológico lexicográficamente …

13 cc.complexity-theory  np-hardness  sorting  directed-acyclic-graph  order-theory 

Mientras escribía una pequeña publicación sobre la complejidad de los videojuegos Nibbler y Snake ; Descubrí que ambos pueden modelarse como problemas de reconfiguración en gráficos planos; y parece poco probable que tales problemas no hayan sido bien estudiados en el área de planificación del movimiento (imagine, por ejemplo, una …

13 cc.complexity-theory  reference-request  np-hardness  planar-graphs 

La jerarquía es una jerarquía de clases de complejidad en complejidad parametrizada, consulte el Zoo de Complejidad para ver las definiciones. Una definición alternativa define usando la definibilidad ponderada de Fagin para las lógica de primer orden, vea el libro de texto de Flum y Grohe .WW\mathsf{W}W [t]W[t]\mathsf{W}[t]W [t]W[t]\mathsf{W}[t]ΠtΠt\Pi_t Para …

13 cc.complexity-theory  parameterized-complexity 

Dado un grupo solGG de permutaciones en [ n ] = { 1 , ⋯ , n }[n]={1,⋯,n}[n]=\{1, \cdots, n\} y dos vectores u , v ∈ Γnorteu,v∈Γnu,v\in \Gamma^n donde ΓΓ\Gamma es un alfabeto finito que no es del todo relevante aquí, la pregunta es si existe algún π∈ Gπ∈G\pi\in …

13 cc.complexity-theory  graph-isomorphism  permutations 

En el problema de extensibilidad, se nos da parte de la solución y queremos decidir si podemos extenderla a una solución completa. Algunos problemas de extensibilidad se pueden resolver de manera eficiente, mientras que otros problemas de extensibilidad transforman un problema fácil en uno difícil. Por ejemplo, el teorema de …

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