En un artículo de Science de 2002, Mezard, Parisi y Zecchina presentaron la heurística de propagación de creencias para 3SAT aleatorio. Los experimentos indican que la heurística funciona bien para proporciones de restricciones por variable para las cuales es probable que exista una asignación...
Hace poco comencé a involucrarme con la Optimización matemática y me encanta. Parece que muchos problemas de optimización se pueden expresar y resolver fácilmente como programas lineales (por ejemplo, flujos de red, cobertura de borde / vértice, vendedor ambulante, etc.) Sé que algunos de ellos son...
¿Qué se sabe sobre la complejidad de resolver un sistema de ecuaciones lineales sobre un campo finito? Sé que existe un algoritmo (Gauss) que calcula una solución y que para sistemas dispersos hay algoritmos aún mejores. Sin embargo, me preguntaba si había alguna caracterización teórica de la...