Ciencias de la computación teórica

¿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 positivo). Pero, ¿qué pasa …

8 computability  turing-machines 

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 …

8 cc.complexity-theory  reference-request  np-hardness  sat 

¿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 …

8 reference-request  big-list  it.information-theory  kolmogorov-complexity 

Un truco bien conocido para almacenar vectores de bits utilizando memoria no inicializada puede asignar un vector de bits de tamaño en el que todos los bits se ponen a asignando bits de memoria e inicializando solo de ellos. Esta representación admite la configuración y el desarmado de cualquier bit …

8 ds.data-structures  space-bounded  space-time-tradeoff  space-complexity 

Sé que, en general, la satisfacción polinómica multivariada es equivalente a 3-SAT; Sin embargo, me pregunto si hay buenas técnicas en el caso cuadrático, específicamente si hay una solución de tiempo polinomial. Supongo que la pregunta más general sería: ¿hay alguna clase de polinomios multivariados para los que el problema …

8 cc.complexity-theory  polynomials  polynomial-time  quadratic 

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 manera …

8 graph-algorithms 

Mientras discutíamos la pregunta que había hecho aquí , @NealYoung y yo encontramos otro problema, que es juzgar la complejidad del problema a continuación: Dado un gráfico conectado no dirigido, encontrar un subconjunto de tamaño máximo de los bordes de modo que cada vértice tenga grado como máximo dos. He …

8 graph-theory  np-hardness  cc.complexity-theory 

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 , ... …

8 communication-complexity 

La teoría de la complejidad parece estar construida alrededor de problemas de decisión más que de funciones. ¿Quién introdujo esto primero y cuál es la razón de esta elección? Por ejemplo, el papel de "Caminos, árboles y flores" de Edmonds se acredita generalmente como la fuente de la noción de …

8 cc.complexity-theory  reference-request 

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 estrategias.

8 gt.game-theory  board-games  combinatorial-game-theory 

Supongamos que tenemos un gráfico con vértices que no contiene una camarilla de tamaño ni un conjunto independiente de tamaño (por ejemplo, satisface esta propiedad con alta probabilidad ) ¿Es cierto que el número de aristas de es al menos , es decir, no puede ser demasiado escaso?solsolGnortenorten3 log( n …

8 graph-theory  ramsey-theory 

Ford-Fulkerson puede encontrar flujos dispersos en el tiempo lineales en el tamaño del flujo y el número de nodos si los bordes tienen capacidad unitaria. ¿Cómo podría usar un flujo st disperso para encontrar un corte st min en el tiempo proporcional al tamaño del flujo y el número de …

8 graph-algorithms  max-flow  max-flow-min-cut 

Quiero implementar el algoritmo Goldberg & Rao para encontrar un flujo máximo en un gráfico. Mi problema es el paso de actualización donde cada documento e informe indica "En el gráfico resultante, encuentre un flujo de bloqueo o un flujo de valor Delta". Todos se refieren a Goldberg y Tarjan …

8 ds.algorithms  graph-theory  graph-algorithms  max-flow 

Respuesta aceptada La respuesta de Scott Aaronson ha sido "aceptada" (¡principalmente porque es la única respuesta!) Resumen de respuesta de una oración Las generalizaciones plausiblemente naturales de la pregunta P versus NP no son obviamente más fáciles de resolver que P versus NP en sí. Una obstrucción a una respuesta …

8 cc.complexity-theory  decidability 

En el documento "Codificación eficiente de CNF para seleccionar 1 de N objetos", los autores presentan su técnica de "variable comandante" para codificar la restricción, y luego hablan sobre el problema del casillero. Dado que mi error puede existir en la comprensión de nivel inferior, permítame declarar lo que creo …

8 cc.complexity-theory  sat  proof-complexity