Rozwiązanie i dowód formalny poprawności rozwiązania zagadki o więźniach
|
3 år sedan | |
---|---|---|
.gitignore | 3 år sedan | |
GrupaPrzemiennaModulo.v | 3 år sedan | |
Makefile | 3 år sedan | |
README.md | 3 år sedan | |
Rozwiazanie.md | 3 år sedan | |
Wiezniowie.v | 3 år sedan |
Repo zawiera rozwiązanie i dowód formalny poprawności rozwiązania zagadki logicznej o więźniach
W więzieniu było N więźniów. Naczelnik ogłosił więźniom, że mają szansę odzyskać wolność, jeśli sprostają wyzwaniu. Naczelnik przedstawił więźniom następujące zasady wyzwania:
Jaka jest optymalna strategia dla więźniów? W jakich przypadkach zadziała, a w jakich nie?
Źródło zagadki: nie wiem, znalazłem tą zagadkę na zkserowanym fragmencie kartki w formie bajki o Pawle i Gawle. Jeśli ktoś zna źródło to proszę o podanie.
Tutaj jest opis słowno-muzyczny, a dowód formalny w pliku Wiezniowie.v.
Wymagane zależności (w nawiasie podano wersje, które na pewno działają):
Kompilacja: make