Bonsoir et bonne année.
Quelle t'apprenne la différence entre impression et preuve.

Bonsoir,

Il y a un test simple:
1) Créer un projet Console.
2) Copier-coller le code dans 1 ou 3 fichiers différents.
3) Compiler et lancer.

Sinon pour les volontaires et comme les ratio nombre de variables / nombre des clauses réduit ou augme l'espace des solutions possibles . Il faut choisir des valeurs > 3 , =3 et < 3 et regarder le comportement de l'algo
tests fait jusqu'a nombres variables =6000 et nombre clauses = 2000.
.

Bonjour;

J'ai fait quelques modifications sur l'algo et le code suite au tests .

Vous trouverez sur le site le nouveau solver qui s'appuie pour le moment sur une conjoncture , avis aux volontaire pour m'aider à la démontrer ou à trouver un contre-exemple .

Je donnerai toutes les infos possible par mail ou ici.

Pour les derniers tests j'ai résolu des système 2in3sat avec des inputs de 10000 clauses et 30000  variables en 10 minutes sur un simple portable monocore  et des  système de 50000 clauses et 150000 variables en 7 heures sur une machine à  4 cores
à Vrai dire comme j'utilise un random pour générer les systèmes il y a environ 12000 et 120000 variables distincts dans les deux jeux de tests.

salut

en doctorat il serait bien de connaitre la différence entre conjoncture et conjecture ... (même si tu n'es pas français tu t'adresses à un site français)

Salut,
Bizarre !! je connais  bien la différence même si en effet je ne suis pas français mais va savoir pourquoi j'ai tapé un mot à la place de l'autre deux fois...
Il s'agit bien de conjecture.