Ciencias de la computación teórica

Dado un gráfico , necesitamos encontrar la cardinalidad del conjunto más grande de vértices para que cada uno de ellos esté presente en cada coincidencia máxima posible.GGG ¿Hay una solución al lado de lo obvio para eliminar cada vértice y encontrar la coincidencia máxima para ver que se reduce?

12 graph-theory  graph-algorithms 

Se sabe que agregar aleatorización de error limitado a PSPACE no agrega potencia. Es decir, BPPSAPCE = PSPACE. Se desconoce si P = BPP, pero se sabe que .B PPAG⊆ Σ2∩ Π2BPP⊆Σ2∩Π2BPP\subseteq \Sigma_2\cap \Pi_2 Por lo tanto, es posible (mientras se conjetura que es falso) que agregar probabilidad a P …

12 randomness  derandomization  polynomial-hierarchy 

Dejemos que kkk sea ​​fijo, y que GGG sea ​​un gráfico (conectado). Si no me equivoco, se deduce del trabajo de Bodlaender [1, Teorema 3.11] que si el ancho de árbol de GGG es aproximadamente de al menos 2k32k32k^3 , entonces GGG contiene una estrella K1,kK1,kK_{1,k} como menor. ¿Podemos hacer …

12 graph-theory  treewidth  graph-minor 

N P ⊆ P / p o l yP/poly=NP/polyP/poly=NP/polyP/poly = NP/poly implica , que a su vez tiene consecuencias interesantes como el colapso de la jerarquía polinómica.NP⊆P/polyNP⊆P/polyNP \subseteq P/poly ¿Hay implicaciones interesantes para ?P/poly≠NP/polyP/poly≠NP/polyP/poly \neq NP/poly

12 cc.complexity-theory  conditional-results  advice-and-nonuniformity 

Piense en el modelo de sonda celular. ¿Existe una estructura de datos que pueda asignar fragmentos contiguos de memoria de cualquier longitud (como, por ejemplo, malloc en C), y liberarlos, evitando la segmentación de la memoria, y ejecuta todas las operaciones en el peor momento determinista O (log n) donde …

12 ds.data-structures  memory 

Estoy buscando una lista sobre la complejidad conocida o desconocida de varios problemas teóricos / algebraicos de números. Por ejemplo, El MCD en está abierto,NC1NC1NC^1 factoring en está abierto,PPP la cohomología informática de la gavilla es -duro#P#P\#P , Arora y Barak afirman que una variante de factorización es -completa (aunque …

12 cc.complexity-theory  big-list  algebra  open-problem 

Estoy leyendo encuestas de Trevisan y Lovett sobre aplicaciones de aditivo combinatorio en TCS. La mayoría de estas aplicaciones caen bajo la complejidad computacional , por ejemplo, límites inferiores. Me pregunto si la combinatoria aditiva también ha encontrado aplicaciones en el diseño de algoritmos . La motivación para mi pregunta …

12 ds.algorithms  reference-request  co.combinatorics 

¿Cuáles son los problemas con las siguientes propiedades: 1) son restricciones de problemas (posiblemente bien conocidos) que están completos en PSPACE; 2) las versiones restringidas están en PSPACE, pero es un problema abierto si son PSPACE-complete (o incluso si son NP-hard). Cuatro ejemplos de "rompecabezas y C.": La complejidad de …

12 big-list  open-problem 

En el documento "Sobre la complejidad de algunos juegos de colorear", Bodlaender ofrece algunas preguntas abiertas sobre la complejidad de decidir si el jugador 1 o 2 tiene una estrategia ganadora en algunos juegos de colorear gráficos. ¿Alguien sabe si se han resuelto? 1) En un juego, dos jugadores se …

12 graph-colouring  pspace  two-player-games 

La barrera de las pruebas naturales de Razborov y Rudich establece que, bajo supuestos criptográficos creíbles, uno no puede esperar separar NP de P / poli al encontrar propiedades combinatorias de funciones que son constructivas, grandes y útiles. Hay varios resultados bien conocidos que logran evadir la barrera. También hay …

12 cc.complexity-theory  circuit-complexity 

¿Hay algún algoritmo para reordenar datos para optimizar la compresión? Entiendo que esto es específico para los datos y el algoritmo de compresión, pero ¿hay alguna palabra para este tema? ¿Dónde puedo encontrar investigación en esta área? Específicamente, tengo una lista json de 1,5 millones de cadenas, y quiero reordenar …

12 optimization  permutations 

He estado tratando de entender qué, por qué y cómo del cálculo pero no puedo entender "¿por qué funciona?"λλ\lambda "Intuitivamente" obtengo el modelo de computabilidad de Turing Machines (TM). Pero esta abstracción me deja confundido.λλ\lambda Supongamos que las TM no existen; entonces, ¿cómo puede uno estar "intuitivamente" convencido de la …

12 soft-question  computability  lambda-calculus  ho.history-overview  intuition 

¿Existen ejemplos de aplicaciones prácticas de juegos de paridad, es decir, sistemas, en el mundo real, que puedan representarse como juegos de paridad? Por lo general, la documentación relacionada con juegos de paridad casi nunca tiene un ejemplo práctico de esta aplicación.

12 lo.logic  two-player-games 

Deje ser una constante. ¿Cómo podemos construir de manera comprobable un generador pseudoaleatorio que engañe a los autómatas finitos de estado d ?dddddd Aquí, una -state autómatas finitos tiene d nodos, un nodo de inicio, un conjunto de nodos que representan aceptar estados, y dos bordes dirigidos etiquetados 0, 1 …

12 automata-theory  pseudorandomness  pseudorandom-generators 

No soy un informático teórico. Soy un teórico de la homotopía estable que usa -categorías. He visto aplicaciones de la teoría de categorías y la teoría de topos a la informática teórica, y me preguntaba si había alguna forma de utilizar las categorías ∞ (y preferiblemente para mí, la teoría …

12 lo.logic  soft-question  ct.category-theory