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...
¿Ha habido investigaciones sobre la implementación de construcciones de extractor de aleatoriedad? Parece que las pruebas de extractor utilizan Big-Oh, dejando la posibilidad de grandes constantes ocultas, lo que hace que las implementaciones programáticas sean potencialmente poco...
¿Es posible construir una explícita 0 / 1 -matrix con N 1,5 queridos tal que cada N 0.499 × N 0,499 submatriz contiene menos de N 0,501 queridos?norte× NN×NN \times N 0 / 10/10/1norte1,5N1.5N^{1.5}norte0.499× N0.499N0.499×N0.499N^{0.499} \times N^{0.499}norte0,501N0.501N^{0.501} O probablemente...
Discusión : Últimamente he pasado algo de tiempo personal aprendiendo varias cosas en la complejidad de la comunicación. Por ejemplo, me he re-familiarizado con el capítulo relevante en Arora / Barak, comencé a leer algunos documentos y ordené el libro a Kushilevitz / Nisan. Intuitivamente, quiero...
Un objetivo importante de los métodos formales es demostrar la corrección de los sistemas, ya sea por medios automatizados o dirigidos por humanos. Sin embargo, parece que incluso si puede proporcionar una prueba de corrección, es posible que NO pueda garantizar que el sistema no falle. Por...
Defina la siguiente clase de idiomas "circulares" sobre un alfabeto finito Sigma. En realidad, el nombre ya existe para denotar una cosa diferente que parece, utilizada en el campo de la computación de ADN. AFAICT, esa es una clase diferente de idiomas. Un lenguaje L es circular si todas las...
Un colega que trabaja en programación genética me hizo la siguiente pregunta. Primero intenté resolverlo basado en un enfoque codicioso, pero en un segundo pensamiento, encontré un contraejemplo al algoritmo codicioso. Entonces, pensé que vale la pena mencionarlo aquí. Considere dos polinomios...
En esta pregunta , parece que hemos identificado un problema natural que es NP completo bajo reducciones aleatorias, pero posiblemente no bajo reducciones deterministas (aunque esto depende de qué suposiciones no comprobadas en la teoría de números sean verdaderas). ¿Hay algún otro problema...
Esta pregunta es similar a una pregunta más general sobre cuál es el modelo teórico correcto de una computadora para diseñar algoritmos y estructuras de datos. Aquí, pregunto específicamente sobre las computadoras actuales de alto rendimiento (como las que figuran como las 500 principales ) o...
El Theoem de Karp-Lipton establece que si , entonces P H colapsa a Σ P 2 . Por lo tanto, suponiendo separaciones entre Σ P 2 y Σ P 3 , ningún problema completo de N P pertenecerá a P / p o l y .NP⊂P/polyNP⊂P/poly\mathsf{NP} \subset
Esta pregunta se relaciona principalmente con un problema práctico de ingeniería de software, pero me gustaría saber si los teóricos podrían proporcionar más información al respecto. En pocas palabras, tengo una simulación de Monte Carlo que usa un generador de números pseudoaleatorio, y me...
Se hacen cinco preguntas vinculadas, y se espera una sola respuesta integrada: P1: ¿Existen lenguajes que son reconocidos únicamente por aquellas máquinas de Turing en cuyos exponentes de tiempo de ejecución son indecidibles ?PLLLPAGPP P2: ¿Pueden construirse finitos ejemplos de estas...
En complejidad parametrizada, ⊆ W [ 2 ] . Se conjetura que cada una de las contenciones es adecuada.F P T ⊆ W [1]FPT⊆W[1]\mathsf{FPT} \subseteq \mathsf{W}[1] ⊆ W [ 2 ]⊆W[2]\subseteq \mathsf{W}[2] ⊆ ... ⊆ W [ P]⊆…⊆W[P]\subseteq \ldots \subseteq \mathsf{W}[P] Si entonces .P = W [ P ]F P T = W...
Suponga que un gráfico con vértices se presenta como un flujo de bordes, pero se permiten múltiples pases sobre el flujo.n msolGGnortennmetromm Monika Rauch Henzinger, Prabhakar Raghavan y Sridar Rajagopalan observaron que el espacio es necesario para determinar si hay un camino entre dos vértices...
¿Cuáles son algunos resultados conocidos para encontrar una submatriz n-dimensional exacta dentro de una matriz n-dimensional? En 1D, es solo un problema de coincidencia de cadenas, KMP lo hace en tiempo lineal. En 2D, este documento muestra que se puede hacer en tiempo lineal con poco espacio...
Por ejemplo, en los lenguajes de programación es común escribir un compilador / intérprete X-in-X, pero en un nivel más general, muchos sistemas completos de Turing conocidos pueden simularse de formas impresionantes (por ejemplo, simulando el Juego de la vida de Conway en el Juego de la vida de...
El teorema de PCP que no hay algoritmo de tiempo polinómico para MAX 3SAT para encontrar una asignación satisfacer cláusulas de una fórmula 3SAT satisfiable a menos que P = N P .7 / 8 + ε7/8+ϵ7/8+ \epsilonPAG= NPAGP=NPP = NP Existe un algoritmo de tiempo polinomial que satisface trivial de las...
Esta es una reformulación de una pregunta anterior . Considere el siguiente juego imparcial de información perfecta entre dos jugadores, Alice y Bob. Los jugadores reciben una permutación de los enteros 1 a n. En cada turno, si la permutación actual aumenta, el jugador actual pierde y el otro...
Recientemente leí este resumen de los problemas relacionados con la diferencia entre los árboles y me interesó aprender cuál es el estado del arte para este problema. Además, suponga que entre sus operaciones de edición permitidas se encuentran el nodo tradicional de agregar / eliminar, edite el...
Descargo de responsabilidad: no soy un teórico de CS. Viniendo del álgebra abstracta, estoy acostumbrado a lidiar con cosas que son iguales a un isomorfismo, pero tengo problemas para traducir este concepto a estructuras de datos. Primero pensé que los morfismos biyectivos teóricos establecidos...