Dans un article scientifique de 2002, Mezard, Parisi et Zecchina ont proposé l' heuristique de propagation de croyances pour 3SAT aléatoire. Les expériences indiquent que l'heuristique fonctionne bien pour les ratios de contraintes par variable pour lesquels une affectation satisfaisante est...
J'ai commencé à m'intéresser à l'optimisation mathématique assez récemment et je l'adore. Il semble que beaucoup de problèmes d'optimisation peuvent être facilement exprimés et résolus sous forme de programmes linéaires (par exemple, flux de réseau, couverture de bord / sommet, vendeur itinérant,...
Que sait-on de la complexité de la résolution d'un système d'équations linéaires sur un corps fini? Je sais qu'il existe un algorithme (Gauss) qui calcule une solution et que pour les systèmes clairsemés, il existe des algorithmes encore meilleurs. Cependant, je me demandais s'il y avait une...