Ciencias de la computación teórica

Muy similar a mi pregunta publicada anteriormente . Esta vez, sin embargo, el gráfico no está dirigido. Dado Un gráfico G no dirigido sin múltiples bordes o bucles,GGG Un vértice fuente sss , Un vértice objetivo ttt , Longitud máxima del camino lll , Busco - A subgrafo de G …

12 ds.algorithms  graph-algorithms  shortest-path 

Contenidos entre cada nivel de la jerarquía polinómica hay varias clases de complejidad, que incluyen , DP , BH k y Σ P i ∩ Π P i . Por falta de una mejor terminología, me referiré a estas y a otras como clases intermedias entre los niveles i e …

12 cc.complexity-theory  polynomial-hierarchy 

¿Existe una cola de prioridad entera que usa palabras de espacio con las siguientes operaciones, todo en el peor de los casos y sin acceso a aleatoriedad:O(n)O(n)O(n) createEmptyQueueen para alguna constante c .O(lgcU)O(lgcU)O(lg^c U)ccc inserten .O(1)O(1)O(1) deleteMinen , donde δ min es la diferencia entre la clave más pequeña y …

12 ds.data-structures 

Los autómatas de estado finito residual (RFSA, definidos en [DLT02]) son NFA que tienen algunas características agradables en común con los DFA. En particular, siempre hay un RFSA canónico de tamaño mínimo para cada idioma regular, y el idioma reconocido por cada estado en el RFSA es residual, al igual …

12 cc.complexity-theory  ds.algorithms  automata-theory  lg.learning  minimization 

¿Cuáles son algunas aplicaciones concretas y convincentes para estimar el volumen de poliedros convexos del tipo considerado en los documentos más recientes sobre métodos de caminata aleatoria? Estos documentos sobre estimación de volumen mencionan la integración numérica como una motivación. ¿Cuáles son ejemplos de integrales que la gente quiere calcular …

12 cg.comp-geom  na.numerical-analysis  markov-chains 

Este documento demuestra que en un juego con puertas y placas de presión, es difícil para PSPACE determinar si el avatar (del jugador) puede o no alcanzar una ubicación determinada. Esto se demuestra mediante una reducción de TQBF , y la longitud de las soluciones resultantes depende exponencialmente del número …

12 reductions  nondeterminism  pspace 

Tengo un autómata finito no determinista realmente grande y necesito convertirlo al DFA. Por grande me refiero a más de 40 000 estados. Hasta ahora he realizado algunos experimentos y programado el algoritmo predeterminado que busca en la tabla (como se describe aquí ), pero incluso después de la optimización …

12 dfa 

Esta pregunta está motivada por esta publicación, ¿Puedes identificar la suma de dos permutaciones en el tiempo polinómico? , y mi interés en las propiedades computacionales de las permutaciones. Una secuencia de diferencias de una permutación π de los números 1 , 2 , ... n + 1 se forma …

12 cc.complexity-theory  co.combinatorics  np-hardness  permutations 

Actualmente estoy haciendo una investigación de lenguaje formal que involucra clases de idiomas por encima de Regular pero debajo de Context Free. Estoy viendo cosas como máquinas multicontadores limitados por inversión, máquinas de contador de una sola pila, CFL deterministas, etc. Me pregunto si alguien sabe de un buen libro …

12 reference-request  co.combinatorics  fl.formal-languages  automata-theory  research-practice 

TC0TC0\mathsf{TC^0} dTC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}}ddd La entrada del zoológico para TC0TC0\mathsf{TC^0} solo menciona la separación entre la profundidad 2 y 3. ¿También hay una referencia estándar para el hecho de que la jerarquía AC0dACd0\mathsf{AC^0_d} no colapsa?

12 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  bounded-depth 

Esta es una pregunta interesante que he encontrado en la web. Dada una matriz que contiene n números (sin información sobre ellos), debemos preprocesar la matriz en tiempo lineal para que podamos devolver los k elementos más pequeños en el tiempo O (k), cuando se nos da un número 1 …

12 sorting 

Dado un juego determinista de suma cero de información parcial con solo un número finito de estados, cuyos posibles resultados son [perder, empatar, ganar] con valores [-1,0, + 1] respectivamente, ¿cuál es la complejidad de aproximar el valor de tales un juego aditivamente dentro de ?ϵϵ\epsilon En particular, no puedo …

12 cc.complexity-theory  gt.game-theory 

¿Cuál es la relación entre y ? En otras palabras, ¿son aproximables los problemas que admiten una búsqueda local de tiempo polinómico? ¿Los problemas de optimización aproximada implican un algoritmo de búsqueda local en general?PLSPLS\mathsf{PLS}APXAPX\mathsf{APX}

12 cc.complexity-theory  approximation-algorithms 

El análisis suavizado se ha aplicado muchas veces para comprender el tiempo de ejecución de algoritmos exactos para muchos problemas como la programación lineal y k-means. Hay resultados bastante generales en este ámbito, por ejemplo, Heiko Röglin y Berthold Vöcking, Análisis suavizado de la programación de enteros , 2005. Algunos …

12 cc.complexity-theory  approximation-algorithms  approximation-hardness  smoothed-analysis 

Estoy buscando un pequeño gráfico GGG cuyo número cromático vectorial es menor que el número cromático, χv(G)&lt;χ(G)χv(G)&lt;χ(G)\chi_v(G)<\chi(G) . ( GGG tiene vector número cromática qqq si hay una asignación x:V→Rdx:V→Rdx\colon V \rightarrow \mathbf R^d , donde intuitivamente los vectores asociados con vértices vecinos están muy separados El requisito es. ⟨x(v),x(w)⟩≤−1/(q−1)⟨x(v),x(w)⟩≤−1/(q−1)\langle …

12 ds.algorithms  graph-theory  co.combinatorics  graph-algorithms  graph-colouring