Υπάρχει τύπος για να λύσετε ένα Sudoku;
Τελευταία ενημέρωση
Δεν υπάρχει τύπος. Το Sudoku δεν είναι μαθηματικό πρόβλημα - Είναι ένα λογικό παζλ που τυχαίνει να χρησιμοποιεί ψηφία. Κανένας τύπος ή αριθμητική εξίσωση δεν παράγει την απάντηση άμεσα. Αυτό που λειτουργεί είναι η συστηματική απαλοιφή περιορισμών.
Γιατί τα μαθηματικά δεν θα το λύσουν
Τα digits 1-9 στο Sudoku είναι απλά σύμβολα. Θα μπορούσατε να τα αντικαταστήσετε με γράμματα ή χρώματα και το puzzle θα ήταν πανομοιότυπο. Αυτό που έχει σημασία είναι η uniqueness μέσα στα units - Κάθε symbol εμφανίζεται ακριβώς μία φορά σε κάθε row, column και box. Δεν υπάρχει arithmetic relationship μεταξύ cells που ένας formula μπορεί να εκμεταλλευτεί.
Τι λειτουργεί πραγματικά - Constraint Propagation
Το Sudoku είναι ένα constraint-satisfaction problem. Ξεκινάτε με 81 cells, το καθένα constrained από τη row, τη column και το box του. Η τοποθέτηση ενός digit διαδίδει νέα constraints - Αυτό το digit εξαλείφεται από 20 άλλα cells. Η αλυσιδωτή αντίδραση συνεχίζεται μέχρι το puzzle να λυθεί ή να χρειαστεί μια πιο complex technique.
Η technique hierarchy, από το απλούστερο στο δυσκολότερο:
- Naked singles - Ένα candidate που απομένει σε ένα cell
- Hidden singles - Μία θέση για ένα digit σε μια unit
- Naked and hidden pairs, triples
- X-Wing, Swordfish
- Chains και multi-step logic
Τι κάνουν οι υπολογιστές αντί αυτού
Οι υπολογιστές λύνουν το Sudoku χρησιμοποιώντας backtracking search - Δοκιμάζουν ένα ψηφίο, διαδίδουν περιορισμούς και αντιστρέφουν αν επιτευχθεί αντίφαση. Για τους ανθρώπους αυτό είναι ισοδύναμο με εικασία, που δεν είναι ούτε ικανοποιητική ούτε διδακτική. Η ανθρώπινη επίλυση προτιμά πάντα επαγωγικές τεχνικές που εγγυώνται ορθότητα χωρίς δοκιμή και σφάλμα.