Ciencias de la computación teórica

Es bien sabido que la clasificación de permutaciones por transposición está en , ya que el número mínimo de transposiciones requeridas para clasificar π ∈ S n es exactamente i n v ( π ) = { ( i , j ) ∈ [ n ] × [ n ] …

12 sorting 

¿Cuál es el modelo computacional más simple para el cual el problema del vacío es indecidible? El problema de vacío para un modelo computacional (por ejemplo, autómata de estado finito, autómata de empuje alternativo, autómata cuántico de error acotado con un contador, LBA determinista, etc.) es determinar si, para una …

12 computability  decidability  undecidability  unary-languages 

Por lo tanto, una búsqueda rápida en la web me llevó a creer que "APXHardness implica que no existe QPTAS para un problema a menos que [alguna clase de complejidad] esté incluida en alguna [otra clase de complejidad]" y ¡también es bien conocido! Parece que todo el mundo lo sabe, …

12 cc.complexity-theory  reference-request 

¿ NPNP∩coNP=NPNPNP∩coNP=NP\mathsf{NP^{NP \,\cap\, coNP}=NP}mantener? Claramente NPNP≠NPNPNP≠NP\mathsf{NP^{NP}\neq NP} , pero me parece que NP∩coNPNP∩coNP\mathsf{NP\cap coNP} es "determinista", lo que me hace creer que esto es cierto. ¿Hay una prueba simple (o tal vez solo por definición)?

12 cc.complexity-theory  complexity-classes  oracles 

Los idiomas Dyck se definen mediante la siguiente gramática S → S SDyck(k)Dyck(k)\mathsf{Dyck}(k) sobre el conjunto de símbolos { ( 1 , ... , ( k , ) 1 , ... , ) k } . Intuitivamente, los idiomas Dyck son los idiomas de paréntesis equilibrados de k tipos diferentes. …

12 reference-request  fl.formal-languages  circuit-complexity  ho.history-overview  context-free 

Un problema importante en TCS es el problema de expresar un permanente como determinante. Estaba leyendo el artículo de Agrawal Determinante versus Permanente y en un párrafo afirma que el problema inverso es fácil. Es fácil ver que el determinante de una matriz se puede expresar como la permanente de …

12 cc.complexity-theory  algebraic-complexity  permanent  determinant 

El lema de Johnson-Lindenstrauss permite representar puntos en un espacio de alta dimensión en puntos en una dimensión inferior. Al encontrar espacios dimensionales más bajos de mejor ajuste, una técnica estándar es encontrar la descomposición del valor singular y luego tomar el subespacio generado por los valores singulares más grandes. …

12 machine-learning 

La definición de "poset algebraico" en retículos y dominios continuos , definición I-4.2, dice que, para todo ,x ∈ Lx∈Lx \in L el conjunto debe ser un conjunto dirigido, yA ( x ) = ↓ x ∩ K( L )A(x)=↓x∩K(L)A(x) = {\downarrow} x \cap K(L) .x = ⨆ ( ↓ …

12 domain-theory 

Leí el artículo de Freyd "Algebraically Complete Categories" en el famoso Como90 y tengo dos preguntas sobre la noción de compacidad algebraica que definió en ese artículo. (Si no está familiarizado con la definición, aquí está: una categoría se llama algebraicamente compacta si cada endofunctor tiene un álgebra inicial y …

12 reference-request  type-theory  ct.category-theory 

Una propiedad de gráfico se denomina hereditaria si se cierra con respecto a la eliminación de vértices (es decir, todas las subgrafías inducidas heredan la propiedad). Una propiedad gráfica se llama aditiva si se cierra con respecto a tomar uniones disjuntas. No es difícil encontrar propiedades que sean hereditarias, pero …

12 cc.complexity-theory  graph-theory  graph-algorithms  np 

Instancia: Un gráfico no dirigido con dos vértices distinguidos s ≠ t , y un entero k ≥ 2 .solGGs ≠ ts≠ts\neq tk ≥ 2k≥2k\geq 2 Pregunta: ¿Existe una ruta en G , de modo que la ruta toque a lo sumo k vértices? (La ruta toca un vértice si …

12 cc.complexity-theory  graph-theory  graph-algorithms 

Estoy buscando referencias bibliográficas para el siguiente algoritmo / problema: lo llamé "BiSelect" o "t-ary Select" o "Select in Union of Sorted Arrays", pero supongo que se introdujo antes con otro nombre. Problema Considere el siguiente problema: Dados kkk conjuntos ordenados disjuntos UN1, ... , AkA1,…,AkA_1,\ldots, A_k , de tamaños …

12 reference-request 

¿Cuáles son los límites conocidos de la capacidad de decisión de la comparación de la tasa de crecimiento de las funciones de ? Estoy aquí pensando en la capacidad de decisión de preguntas como "¿Es x x ∼ 2 ⌊ x lg ( x + 2 ) ⌋ ?" o …

12 decidability  asymptotics 

Estoy tratando de entender a qué clase de complejidad pertenece el siguiente problema: Problema de raíz polinómica exponencial (EPRP) Sea un polinomio con deg ( p ) ≥ 0 con coeficientes extraídos de un campo finito G F ( q ) con q un número primo y r una raíz …

12 cc.complexity-theory  reference-request  comp-number-theory  np-intermediate 

Recientemente comencé a leer mucho sobre la complejidad de las pruebas y realmente he disfrutado lo que he estado leyendo. Realmente me gustaría aprender más sobre esto, pero estoy teniendo dificultades para encontrar un buen material para principiantes para comenzar. ¿Alguien podría recomendar algunos conceptos básicos?

12 cc.complexity-theory  lo.logic  proof-complexity