GitHub - Jakub-Cc/CSP: Rozwiązanie problemu N-Hetmanów oraz harmonicznego kolorowania grafu jako problemu CSP, algorytmami: forward checking oraz backtracking.

Jakub-Cc / CSP Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Rozwiązanie problemu N-Hetmanów oraz harmonicznego kolorowania grafu jako problemu CSP, algorytmami: forward checking oraz backtracking.

0 stars 0 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 10 Commits
N-Hetmans		N-Hetmans
.gitattributes		.gitattributes
.gitignore		.gitignore
N-Hetmans.sln		N-Hetmans.sln
README.txt		README.txt

Repository files navigation

Cel:
Zapoznanie się z podstawowymi algorytmami stosowanymi do rozwiązywania problemów spełniania ograniczeń (ang. Constraint Satisfaction Problem, CSP)

Realizacja:
• Rozwiązanie dwóch problemów CSP: Kolorowanie grafu, N-Hetmanów
• Sformułowanie wybranych problemów jako problemów spełniania ograniczeń
• Implementacja algorytmów sprawdzenia wprzód, oraz przeszukiwania przyrostowego z powracaniem
• Porównanie czasów przetwarzania zaimplementowanych metod