¡Entonces todos conocemos el límite inferior del árbol de comparación de en el peor de los casos de comparaciones realizadas por un algoritmo de clasificación de comparación (determinista). No se aplica a la clasificación de comparación aleatoria (si medimos las comparaciones esperadas para el peor...
La entrada es un universo y una familia de subconjuntos de , por ejemplo, . Suponemos que los subconjuntos de pueden cubrir , es decir, .U F ⊆ 2 U F U ⋃ E ∈ F E = UUUUUUUF⊆ 2UF⊆2U{\cal F} \subseteq 2^UFF{\cal F}UUU⋃mi∈ Fmi= U⋃E∈FE=U\bigcup_{E\in {\cal F}}E=U Una secuencia de cobertura incremental...
¿Hay problemas NP completos (o incluso NP-duros o NP) que tienen buenas propiedades topológicas para estudiar. ¿Los problemas NP tienen formulaciones teóricas de nudos? Conocemos los resultados de # sobre el polinomio de Jones. Los problemas de gráficos (¿incrustaciones?), Específicamente los...
Estoy bastante seguro de que no soy el primero en considerar la idea que voy a presentar. Sin embargo, sería útil si puedo encontrar alguna literatura relacionada con la idea. La idea es construir una máquina de Turing M con la propiedad de que si P = NP, entonces M resolverá 3-SAT en tiempo...
¿Cómo se demuestra que una determinada propiedad no se puede expresar en 2-CNF (2-SAT)? ¿Hay algún juego, como los juegos de guijarros? Parece que el clásico juego de guijarros negros y el juego de guijarros blanco y negro no son adecuados para esto (son completos para PSPACE, según Hertel y...
Sea una función booleana con sensibilidad s ( f ) y sensibilidad de bloque b s ( f ) .Fffs ( f)s(f)s(f)b s ( f)bs(f)bs(f) La conjetura de sensibilidad del bloque de sensibilidad establece que hay un tal que ∀ f , b s ( f ) ≤ s ( f ) c .c > 0c>0c>0∀ f, b s ( f ) ≤ s (...
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...
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 de la...
¿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
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...
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...
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...
¿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...
¿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...
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...
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...
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...
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...
¿Cuáles son algunas afirmaciones (no conocidas) de que si es cierto, el PH debe colapsar? Se agradecen las respuestas que contienen una afirmación corta de alto nivel con referencia (s). Traté de hacer una búsqueda inversa sin mucha
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 que...