Em um artigo científico de 2002, Mezard, Parisi e Zecchina apresentaram a heurística de propagação de crenças para o 3SAT aleatório. As experiências indicam que a heurística funciona bem para proporções de restrições por variável para as quais é provável que exista uma atribuição...
Comecei a me envolver com a otimização matemática recentemente e estou adorando. Parece que muitos problemas de otimização podem ser facilmente expressos e resolvidos como programas lineares (por exemplo, fluxos de rede, cobertura de borda / vértice, vendedor ambulante etc.). Sei que alguns deles...
O que se sabe sobre a complexidade de resolver um sistema de equações lineares sobre algum campo finito? Eu sei que existe um algoritmo (Gauss) que calcula uma solução e que para sistemas esparsos existem algoritmos ainda melhores. No entanto, eu queria saber se havia alguma caracterização teórica...