Preguntas etiquetadas con reference-request

Estoy buscando una referencia sobre 'reducir' las reducciones de Turing a muchas reducciones. Tengo en mente una declaración de la siguiente forma (declaraciones suficientemente similares también me satisfarían): Teorema. Si , entonces .A ≤ 2 f m B t tA ≤FTsiA≤TfB\mathsf{A}\leq_T^f \mathsf{B}A ≤2Fmetrosit tA≤m2fBtt\mathsf A\leq_m^{2^f}\mathsf B^{tt} donde " " y …

8 cc.complexity-theory  reference-request  complexity-classes 

Estoy interesado en cómo se prueba que una oración se relativiza. Por supuesto, probar que una oración no se relativiza es simple, como se ve en el resultado de Baker-Gill-Solovay; pero ¿cómo se prueba que una oración se relativiza, es decir, que es verdadera en relación con cualquier oráculo? ¿Existen …

8 cc.complexity-theory  reference-request  relativization 

Sea un subgrafo de intervalo inducido máximo de un gráfico . Si¿Cuál es el número más pequeño de ?HHHG=(V,E)G=(V,E)G=(V,E)n=|V|n=|V|n=|V|V(H)V(H)V(H) El número es como máximo : considere un conjunto de agujeros distintos.3n/43n/43n/4444 ¿Puede ser más pequeño?

8 reference-request  extremal-combinatorics  interval-graphs 

Definamos el problema SAT de : dado F 3 , una fórmula satisfactoria de 3-CNF, y F 2 , una fórmula de 2-CNF ( F 3 y F 2 se definen en las mismas variables). ¿Es F 3 ∧ F 2 satisfactoria?( 3 , 2 )s(3,2)s(3,2)_sF3F3F_3F2F2F_2F3F3F_3F2F2F_2F3∧F2F3∧F2F_3 \wedge F_2 ¿Cuál es …

8 cc.complexity-theory  reference-request  np-hardness  sat 

¿Cuáles son las aplicaciones de la complejidad de Kolmogorov en la teoría de números y en los campos relacionados con las pruebas? (La monografía de Li & Vitanyi no tiene muchas aplicaciones relacionadas con la teoría de números). Una de las buenas pruebas que he encontrado es la prueba de …

8 reference-request  big-list  it.information-theory  kolmogorov-complexity 

La teoría de la complejidad parece estar construida alrededor de problemas de decisión más que de funciones. ¿Quién introdujo esto primero y cuál es la razón de esta elección? Por ejemplo, el papel de "Caminos, árboles y flores" de Edmonds se acredita generalmente como la fuente de la noción de …

8 cc.complexity-theory  reference-request 

Leí el famoso libro de Alon y Spencer sobre el método probabilístico en combinatoria. ¿Hay una encuesta o notas de conferencias sobre avances recientes y relaciones con los siguientes temas teóricos de complejidad de este método más allá de este libro de texto? generadores pseudoaleatorios que engañan a modelos concretos …

8 cc.complexity-theory  reference-request  co.combinatorics  soft-question  survey 

¿Cuáles son algunas aplicaciones de la descomposición gráfica modular en TCS / teoría de la complejidad? Estoy especialmente interesado en su uso en pruebas o límites superior / inferior si ocurre. [1] Descomposición gráfica modular , Wikipedia. [2] Referencias para la descomposición modular , TCS.SE.

8 reference-request  graph-theory  graph-algorithms  application-of-theory  cc.complexity-theory 

Últimamente he estado jugando con los resúmenes , principalmente del clásico artículo de Abramsky Retracing Some Paths in Process Algebra . Son bastante hábiles (básicamente soluciones a la ecuación de dominio ), y recuerdan mucho a las redes de Kahn.R = I→ ( O × R )R=I→(O×R)R = I \to …

8 reference-request  pl.programming-languages  functional-programming 

Net (también conocido como FreeNet o NetWalk) es un juego de rompecabezas que se juega en una cuadrícula con los siguientes objetos:n × nn×nn \times n hay computadoras ; cada computadora ocupa una celda y tiene un cable de enlace;metromm cada computadora debe estar conectada a la unidad central que …

8 cc.complexity-theory  reference-request  np-hardness  puzzles 

Thor Johnson, et al, en su artículo: Ancho de árbol dirigido , introdujeron una definición para la cuadrícula dirigida , y conjeturaron:JkJkJ_k Para cada entero k existe un entero N tal que cada dígrafo con un ancho de árbol N o más tiene un isomorfo menor a J k .(5.1)(5.1)(5.1)kkkNNNNNNJkJkJ_k …

8 reference-request  graph-theory  co.combinatorics  graph-minor 

Deje que AAA sea un conjunto de tamaño kkk y BBB sea un conjunto de tamaño ℓℓ\ell , para fijo kkk y ℓℓ\ell , y tal que A∩B=∅A∩B=∅A\cap B=\emptyset . ¿Cuál es la (o a) familia Sperner FF\mathcal{F}en A∪BA∪BA\cup B para la cual FB={C∩B : C∈F}FB={C∩B : C∈F}\mathcal{F}_B=\{C\cap B ~:~ …

8 reference-request  co.combinatorics 

Estoy buscando el documento original donde Hoare (o alguien más, supongo) discute la terminación (corrección total). O cualquier otro trabajo inicial sobre la terminación de la lógica "vainilla" de Hoare (supongo que con eso me refiero a un HL para un lenguaje de juguete tipo C). He echado un vistazo …

8 reference-request  lo.logic  pl.programming-languages  program-verification  program-logic 

Supongamos que queremos encontrar el elemento más pequeño de un conjunto , cuyos elementos están indexados de a . No tenemos acceso a los valores de estos elementos, pero podemos comparar cualquiera de los dos elementos de para ver cuál es más pequeño. Para cualquier índices y , hay un …

8 cc.complexity-theory  ds.algorithms  reference-request  online-algorithms 

Conozco las siguientes variantes de problemas SUBSETSUM: ( Elberfeld at. Al., 2010 ), NP-complete , y NEXP-complete ( enlace ).S U B S E T S U M S U C C I N C T - S U B S E T S U MUN A R Y - …

8 cc.complexity-theory  reference-request  np-hardness  polynomial-hierarchy  subset-sum