ReadMe.txt 1.4 KB

1234567891011121314151617181920212223
  1. Le programme implémente le principe des bandits manchots avec une moyenne exponentielle glissante, et en utilisant ou non un epsilon greedy.
  2. Par défaut le programme se lance avec un alpha statique (dont la valeur est 0.5).
  3. Les commandes du makefile sont :
  4. make : pour compiler le programme. L'exécutable généré se nommera GSATSolver.
  5. make clean : pour supprimer le fichier exécutable et les .o
  6. make run : pour lancer le programme
  7. make epsilon : pour lancer le programme avec un epsilon greedy à 0.2
  8. make dynamic : pour lancer le programme avec un alpha dynamique sans epsilon greedy
  9. make start : pour lancer le programme avec un alpha dynamique avec epsilon greedy à 0.2
  10. Le programme se lance avec la commande suivante :
  11. ./GSATSolver -i file.cnf [-t int] [-s] [-e double] [-d]
  12. Les arguments sont les suivants :
  13. -i file.cnf : Le chemin vers le fichier cnf à résoudre
  14. -t int : Le nombre de threads à utiliser (optionnel, par défaut 4)
  15. -s : Active le mode silencieux seul la satisfaisabilité (ou non) est affiché (optionnel)
  16. -e double : Utilisation de l'epsilon greedy avec la valeur donné. La valeur doit être compirse entre 0 et 1 sinon la valeur utilisé est 0.1 (optionnel)
  17. -d : Utilisation d'un alpha dynamique qui évolue entre 0.4 et 0.6 (optionnel)
  18. Exemple de commande (celle éxécuté par `make start`) :
  19. ./GSATSolver -i ../../benchmarks/uf150/uf150-099.cnf -t 4 -d -e 0.2