Preguntas etiquetadas con descriptive-complexity

El teorema de Immerman-Vardi establece que PTIME (o P) es precisamente la clase de lenguajes que puede describirse mediante una oración de lógica de primer orden junto con un operador de punto fijo, sobre la clase de estructuras ordenadas. El operador de punto fijo puede ser punto menos fijo (según …

38 cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-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 

Parece que se sabe que para encontrar una respuesta a una consulta sobre una base de datos relacional , se necesita tiempo , y no se puede eliminar el exponente.QQQDDD|D||Q||D||Q||D|^{|Q|}|Q||Q||Q| Como puede ser muy grande, nos preguntamos por qué las bases de datos funcionan en la práctica.DDD ¿Es solo una …

19 cc.complexity-theory  time-complexity  descriptive-complexity  db.databases 

El problema de mantenimiento de la orden (o "mantener el orden en una lista") es apoyar las operaciones: singleton: crea una lista con un elemento, le devuelve un puntero insertAfter: dado un puntero a un elemento, inserta un nuevo elemento después de él, devolviendo un puntero al nuevo elemento delete: …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

CMSOL está contando la lógica monádica de segundo orden, es decir, una lógica de gráficos donde el dominio es el conjunto de vértices y bordes, existen predicados para la adyacencia vértice-vértice y la incidencia de borde-vértice, hay cuantificación sobre bordes, vértices, conjuntos de bordes y vértices establece, y hay un …

12 ds.algorithms  reference-request  graph-algorithms  descriptive-complexity  cliquewidth 

El papel Lauri Hella y José María Turull-Torres, Cálculo de consultas con lógicas de orden superior , TCS 355 197–214, 2006. doi: 10.1016 / j.tcs.2006.01.009 propone lógica VO, lógica de orden variable. Esto permite la cuantificación sobre los pedidos sobre las variables. VO es bastante poderoso y puede expresar algunas …

12 cc.complexity-theory  complexity-classes  lo.logic  computability  descriptive-complexity 

Immerman (Complejidad descriptiva, 1999) presenta los juegos EF para el segundo orden monádico existencial (juegos Ajtai-Fagin) en la página 127. Como MSO en palabras es equivalente a los idiomas normales, el juego se puede escribir de la siguiente manera.∃∃\exists Un lenguaje es regular si y solo si Delilah no tiene …

11 lo.logic  automata-theory  descriptive-complexity 

En Complexity Zoo, dice [ 1 ] que, en complejidad descriptiva, PAGPAGP puede definirse mediante tres tipos diferentes de fórmulas, FO ( L FPAG)FO(LFPAG)FO(LFP) que también es FO ( nO ( 1 ))FO(norteO(1))FO(n^{O(1)}) , y también como SO ( HO R N)SO(HORnorte)SO(HORN) . Sin embargo, hay algunas excepciones, por ejemplo, …

10 lo.logic  polynomial-time  descriptive-complexity 

Es bien sabido que ciertas clases de NP -Problemas Tienes dicotomía teoremas, lo que garantiza que todas las tareas en la clase es o NP -Complete o está en P . El mejor resultado conocido es el teorema de dicotomía de Schaefer , junto con una serie de generalizaciones. Entiendo …

10 cc.complexity-theory  np  descriptive-complexity 

Contexto: consideramos solo los dígrafos. Deje que CYCLE sea el lenguaje de gráficos con un ciclo; Es un problema de NL completo. Deje que HASEDGE sea el lenguaje de gráficos con al menos un borde. Entonces, trivialmente, CICLO ∪ HASEDGECYCLE∪HASEDGE\text{CYCLE} \cup \text{HASEDGE} ya no es NL-hard, mientras que CICLO ∪ …

10 cc.complexity-theory  graph-theory  descriptive-complexity 

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 

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 

Cerrado. Esta pregunta está fuera de tema . Actualmente no está aceptando respuestas. ¿Quieres mejorar esta pregunta? Actualice la pregunta para que sea sobre el tema para el intercambio teórico de pila de informática. Cerrado hace 7 años . ¿Cómo podemos expresar " " como una fórmula de primer orden?P=PSPACEP=PSPACEP=PSPACE …

9 cc.complexity-theory  lo.logic  descriptive-complexity 

Estoy tratando de entender el documento sobre p-Optimal Proof Systems and Logic para PTIME . Hay una noción llamada sistemas de prueba en el documento y no entiendo: Σ={0,1}Σ={0 0,1}\Sigma = \{0,1\} ... Identificamos problemas con subconjuntos deQQQ enΣ∗Σ∗\Sigma^* . Creo que la intuición es que codificamos una determinada estructura …

9 lo.logic  descriptive-complexity  proof-complexity 

Para comprender mejor un artículo, estoy tratando de obtener una breve comprensión de la lógica de punto menos fijo. Hay algunos puntos donde estoy atrapado. Si G = ( V, E)sol=(V,mi)G = (V,E) es un gráfico y Φ ( P) = { ( a , b ) ∣ G ⊨ …

9 lo.logic  descriptive-complexity  finite-model-theory