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.