putem igrica želi ukazati na probleme korištenja nuklearne energije. Igrica NukeSweeper je vrlo slična igrici Minesweeper , s tim da umjesto mina tražite atomsko oružje. Lokacije oružja su stvarne
toga s pravom naglašavaju i nemjerljivu korist za pacijente. Minesweeper poslužila kao zanimljiv primjer u teoriji računarstva, točnije teoriji složenosti. Što je Minesweeper problem,
je igrica Minesweeper poslužila kao zanimljiv primjer u teoriji računarstva, točnije teoriji složenosti. Što je Minesweeper problem, kakve veze to ima s jednim od najvećih problema u matematici i računarstvu te kako se u cijelu priču uklapa
te kako se u cijelu priču uklapa svota od milijun dolara, neka su od pitanja na koja dajemo odgovor. Minesweeper nalazi se u svakom Windows operacijskom sustavu još od 1992. godine i većini čitatelja vjerojatno je dobro poznata.
polinomno reducibilan na neki drugi promatrani NP-problem, onda je i taj drugi NP-problem NP-potpun. Minesweeper problem?
drugi promatrani NP-problem, onda je i taj drugi NP-problem NP-potpun. Minesweeper problem?
uvodu. Dakle, neka su polja prazna, neka sadrže broj od 0 do 8, neka su prepoznata kao minirana, a neka su još neoznačena. Minesweeper problem glasi:
¶ Minesweeper problem NP-potpun?
se pravila i konkretne situacije igre mogu opisati pomoću logičkih sklopova, te time vidjeti polinomnu redukciju Minesweepera na SAT. Promotrimo sljedeću tablicu (Slika 10.):
, 8 neka a j znači da a nije minirano, ali da je okruženo s točno j mina. Analogno za b, c, d, e, f, g, h, i. Tada se pravila igre Minesweeper za središnji kvadratić, e, mogu izreći i na sljedeći način:
izlaze u jedna AND vrata, pitanje ispunjivosti kruga K postaje ekvivalentno pitanju konzistentnosti podataka u Minesweeper problemu.
konzistentnosti podataka u Minesweeper problemu. Minesweeper okruženju "i na koji način?
nam je dovoljno, jer s pomoću svih navedenih konstrukcija u mogućnosti smo opisati logičke sklopove i krugove u tzv. " Minesweeper okruženju ", te budući da se potrebni sklopovi mogu prikazati u dovoljno velikoj tablici reda N N, gdje je N prirodan
prikazati u dovoljno velikoj tablici reda N N, gdje je N prirodan broj, vidi se da će SAT biti polinomno reducibilan na Minesweeper problem.
tvrdi da je SAT NP-potpun, iz čega odmah slijedi da je i NP-problem. Zatim, na početku poglavlja 5 vidjeli smo kako se Minesweeper problem može polinomno reducirati na problem SAT. To prema (1) iz poglavlja 3 znači da je i Minsweeper u klasi NP.