Estoy buscando ejemplos en juegos como Go, Chess y Backgammon, donde el movimiento óptimo creído resultó ser subóptimo cuando una computadora encontró mejores
Considere una gráfica con nortenorten vértices y grado máximo ΔΔ\Delta . Me gustaría saber si el gráfico tiene alguna sss camarillas, donde s ≤ Δs≤Δs \leq \Delta y ambas son pequeñas en comparación con nortenorten . Solo necesito encontrar una sola camarilla (o certificar que no existe) Hay una...
Definamos el problema SAT de : dado F 3 , una fórmula satisfactoria de 3-CNF, y F 2 , una fórmula de 2-CNF ( F 3 y F 2 se definen en las mismas variables). ¿Es F 3 ∧ F 2 satisfactoria?( 3 , 2 )s(3,2)s(3,2)_sF3F3F_3F2F2F_2F3F3F_3F2F2F_2F3∧F2F3∧F2F_3 \wedge F_2 ¿Cuál es la complejidad de este...
Supongamos que Alice recibe un subconjunto y Bob recibe . Se promete que . ¿Cuál es la complejidad de la comunicación aleatoria para determinar el elemento común ?T ⊆ { 1 , ... , n } | S ∩ T | = 1 S ∩ TS⊆ { 1 , ... , n }S⊆{1,...,norte}S \subseteq \{1,\dots,n\}T⊆ { 1 , ... , n }T⊆{1,...,norte}T...
Sea un subgrafo de intervalo inducido máximo de un gráfico . Si¿Cuál es el número más pequeño de ?HHHG=(V,E)G=(V,E)G=(V,E)n=|V|n=|V|n=|V|V(H)V(H)V(H) El número es como máximo : considere un conjunto de agujeros distintos.3n/43n/43n/4444 ¿Puede ser más
¿Cuáles son las aplicaciones de la complejidad de Kolmogorov en la teoría de números y en los campos relacionados con las pruebas? (La monografía de Li & Vitanyi no tiene muchas aplicaciones relacionadas con la teoría de números). Una de las buenas pruebas que he encontrado es la prueba de la...
¿Existe una generalización del juego GO que se sabe que está completa? En caso negativo, ¿tiene alguna sugerencia sobre reglas razonables (de generalización) que puedan usarse para tratar de demostrar que está completa? La obvia es que el juego debe jugarse en un tablero infinito (cuadrante...
Digamos que tengo una variable aleatoria de un bit , y que sea un número natural. Quiero una secuencia de variables aleatorias stX∈{0,1}X∈{0,1}X \in \{0,1\}nnn0=X0,X1,…,Xn=X0=X0,X1,…,Xn=X0 = X_0, X_1, \ldots, X_n = X H(X | {X0,…,Xk})=1−knH(X | {X0,…,Xk})=1−knH\left(X~|~\{X_0,\ldots,X_k\}\right)...
Estoy interesado en cómo se prueba que una oración se relativiza. Por supuesto, probar que una oración no se relativiza es simple, como se ve en el resultado de Baker-Gill-Solovay; pero ¿cómo se prueba que una oración se relativiza, es decir, que es verdadera en relación con cualquier oráculo?...
Mientras hojeaba publicaciones antiguas de CStheory.se , me encontré con una fascinante publicación de blog sobre el problema de la mortalidad matricial . A menos que haya malinterpretado el problema, establece que dada una colección finita de 3 x 3 matrices con entradas enteras para cada valor de...
Dado un gráfico , ¿cuál es el número mínimo de bordes de que necesitamos eliminar para liberar el triángulo del gráfico? Para mi ojo inexperto, esto parece ser un problema difícil.solsolGsolsolG ¿Se sabe que este problema es NP completo? ¿Qué pasa con el análogo para gráficos orientados (es decir,...
(Publiqué esta pregunta en CS hace diez días, sin respuesta desde entonces, así que la publico aquí). Cualquier fórmula CNF se puede transformar en tiempo polinómico en una fórmula 3-CNF mediante el uso de nuevas variables. No siempre es posible si no se permiten nuevas variables (tome por ejemplo...
Estoy buscando una referencia sobre 'reducir' las reducciones de Turing a muchas reducciones. Tengo en mente una declaración de la siguiente forma (declaraciones suficientemente similares también me satisfarían): Teorema. Si , entonces .A ≤ 2 f m B t tA ≤FTsiA≤TfB\mathsf{A}\leq_T^f \mathsf{B}A...
Nota: publiqué una pregunta similar con respecto al gráfico no dirigido . Dado Un dígrafo sin múltiples aristas o buclesGGG Un nodo fuente sss Un nodo objetivo ttt Longitud máxima del camino lll Busco - A subgrafo de G que contiene cualquier nodo y cualquier borde en G (y sólo aquellos), que...
¿Cuál es el algoritmo más rápido conocido para factorizar polinomios con nnn variables y grado total ≤d≤d\leq d ? Aquí, nnn está creciendo ddd está arreglado. La mayoría del trabajo parece considerar el caso cuando ddd está creciendo nnn es fijo. Me interesan los resultados tanto en campos finitos...
¿Alguien ha pensado en la posibilidad de un lenguaje de programación y un compilador, de modo que el compilador pueda hacer automáticamente el análisis asintótico del peor de los casos? El caso de uso que tengo en mente es un lenguaje de programación donde escribo código y compilo. El compilador me...
Una forma de probar NP coNP es mostrar que para cada sistema de prueba proposicional f computable en tiempo polinómico, existe una familia de tautologías para las cuales f requiere longitudes de prueba súper polinomiales (wrt la longitud de la tautología que se está probando). Resultados como el de...
Un código de autenticación de mensaje (MAC) se define por un triple de algoritmos eficientes , que satisfacen lo siguiente (la definición se toma de la sección 4.3 de Katz -Lindell libro ):(Gen,MAC,Verif)(Gen,MAC,Verif)(\mathsf{Gen}, \mathsf{MAC}, \mathsf{Verif}) En la entrada , el algoritmo...
¿Existe un problema gráfico de -completo natural , que sigue siendo N P -completo incluso cuando está restringido a cualquier clase de gráfico reconocible en tiempo polinómico? Para evitar casos degenerados, consideremos solo clases de gráficos densos , en los que el número de gráficos no...
Considere el siguiente problema: Entrada: (G1, G2) donde G1 y G2 son gráficos no dirigidos Pregunta: ¿El tamaño del conjunto independiente máximo de G1 es al menos tan grande como el tamaño del conjunto independiente máximo de G2? Parece una pregunta bastante natural, y, sin embargo, no he...