logika-isim-listy-zadań

Logika dla Informatyków (wersja ISIM)
zadania na ćwiczenia 12 stycznia 2016
Zadanie 1. Dokończ rozwiązanie zadania o smoku Strachocie i jego głowach.
Zadanie 2. Dokończ rozwiązanie zadania o konfluencji i lokalnej konfluencji.
Zadanie 3. Przedstaw następujące problemy jako problem istnienia homomorfizmu:
• Rozwiązywanie sudoku. (Dane jest częściowe rozwiązanie, pytamy czy można je rozszerzyć
do pełnego rozwiązania)
• Ustawianie hetmanów na szachownicy. Na szachownicy stoi kilka hetmanów. Żadne dwa
z nich się nawzajem nie szachują. Czy można dostawić jeszcze parę hetmanów, żeby w sumie
było ich 8 i dalej się nie szachowały.
Zadanie 4. Dowiedz się co to jest problem 3SAT (czyli problem spełnialności formuł boolowskich w postaci 3CNF) i pokaż jak przedstawić ten problem jako problem istnienia homomorfizmu.