This is a documentation for Board Game Arena: play board games online !
Tips turingmachine
Unicity
Minden hitelesítő hasznos! Rengeteg információhoz juthatsz belőlük!
Vegyünk egy példát, a hitelesítők a következők:
A) a kék szám paritása
B) kék szám >1
C) 4-ek száma a kombinációban
D) kék szám <4
Tehát először is, ha a válasz „444”, az azt jelentené, hogy az A, B és D ellenőrzők használhatatlanok lesznek, ami nem lehetséges, tehát nem 444.
Látható, hogy nagyon kevés információnk van a sárgáról és a liláról. Ha a válasz 123, akkor a 133-as kóddal egyetlen hitelesítő sem tud különbséget tenni. Ez azt jelenti, hogy a sárga nem lehet 2 vagy 3.
Az egyetlen információnk a sárgáról és a liláról a 4. Ebből arra következtethetünk, hogy a sárga és a lila 4-gyel egyenlő.
Továbbá, ha a kék egyenlő 1-gyel, akkor a B és C elegendő lenne ahhoz, hogy a kombináció 144 legyen. Tehát a kék nem egyenlő 1-gyel.
Ha a kék 4 vagy 5 volt, akkor B használhatatlan lesz D-hez képest. Másképp mondjuk, az A és C és D elég ahhoz, hogy megállapítsa, hogy 444 vagy 544, B pedig haszontalan lenne, ami nem lehetséges. Tehát B nem 4 vagy 5.
Tehát a fennmaradó két lehetséges kombináció a 244 és a 344.
De most, ha megnézzük a 244-et és az A, C és D ellenőrzőket, kaptunk két 4-est, a kék egyenlő 1-vel, 2-vel vagy 3-mal, és még kéket is... Ami azt jelenti, hogy B használata nélkül már 244. Tehát B használhatatlan. Szóval nem az, és nem is 244.
És így pontosan 344 ; 0 ellenőrzéssel.
És ezt ellenőrizhetjük:
- ezekkel a válaszokkal (kék páratlan, kék>1, két 4-es, kék<4) csak egy lehetőség van: a kék 3-ra van kényszerítve, így Sárga és Lila 4-re van kényszerítve.
- ha eltávolítja az A hitelesítőt, több mint 2 megoldás létezik: 244 és 344
- Ha eltávolítja a B ellenőrzőt, 2+ megoldás létezik: 144 és 344
- ha eltávolítja a C ellenőrzőt, 2+ megoldás létezik (25): 325 és 314 példa szerint
- ha eltávolítja a D ellenőrzőt, 2+ megoldás létezik: 344 és 544
Tehát minden hitelesítő hasznos, és csak egy lehetőség van a végén. A fenti indoklás nélkül ez csak azt jelenti, hogy ez egy érvényes megoldás, nem azt, hogy ez az egyetlen.