Źródła i weryfikacja

Punkt odniesienia: aplikacja

Zasady opisane na tej stronie to zasady aplikacji Démineur, odczytane z jej kodu: losowanie min, liczby, odkrywanie kaskadowe, flagi, akord, poziomy i progi odblokowania. Gdy pomoc wbudowana w aplikację różni się od jej kodu, strona kieruje się kodem.

Wykorzystane źródła

• Démineur (gatunek gier komputerowych) (nowa karta) (Wikipedia): zasada gry, liczby, flagi i odkrywanie kaskadowe.
• Minesweeper (gra komputerowa) (nowa karta) (Wikipedia, po angielsku): historia gry, typowe rozmiary planszy i bezpieczny pierwszy ruch.
• Richard Kaye, „Minesweeper is NP-complete”, The Mathematical Intelligencer, tom 22, 2000 (nowa karta) (Springer): dlaczego żadna prosta metoda nie rozwiązuje wszystkich plansz i dlaczego czasem trzeba zgadywać (strona Strategia).
• Problem NP-zupełny (nowa karta) (Wikipedia): pojęcie trudnego problemu przywołane na stronie Strategia.

Linki sprawdzono 30 października 2026.

Jak sprawdzane są przykłady

Przed każdą publikacją dwa niezależne programy ponownie wykonują wszystkie obliczenia na stronie:

• narzędzie połączone z silnikiem aplikacji, bez jego modyfikowania, losuje każdą przykładową planszę za pomocą generatora aplikacji, wykonuje pierwsze dotknięcie, a następnie każdy krok wnioskowania: bezpieczne pola są odkrywane, a flagi stawiane przez funkcje aplikacji;
• odczytuje wymiary poziomów w liczbie 6, od poziomu Początkujący do poziomu Maraton, i sprawdza na 2 000 planszach dla każdego poziomu, czy żadna mina nie trafia w pobliże pierwszego dotknięcia;
• drugi program, napisany niezależnie, odtwarza losowanie min, liczby i każdy krok wnioskowania, porównuje każdą planszę pole po polu i blokuje publikację przy najmniejszej rozbieżności;
• w przypadku planszy wymagającej zgadywania sprawdza wszystkie możliwe rozmieszczenia ostatnich min.

Zauważasz błąd? Napisz do nas przez stronę kontaktową.