Inequalities in 2x2-Sudoku and beyond
نویسندگان
چکیده
2×2-Sudoku (or ShiDoku) is a sized down variant of the usual 3×3-Sudoku puzzle. Its set of constraints contains 56 binary inequalities. It is proven that any maximal redundant set of these binary inequalities has size 16. This is in line with a conjecture about 3×3Sudoku. The result is achieved partly by rigorous proofs, partly by programming in Prolog. The generalization to N×N-Sudoku with N > 2 is discussed. Inequalities in 2x2-Sudoku and beyond Bart Demoen KU Leuven Maria Garcia de la Banda Monash University Abstract 2×2-Sudoku (or ShiDoku) is a sized down variant of the usual 3×3Sudoku puzzle. Its set of constraints contains 56 binary inequalities. It is proven that any maximal redundant set of these binary inequalities has size 16. This is in line with a conjecture about 3×3-Sudoku. The result is achieved partly by rigorous proofs, partly by programming in Prolog. The generalization to N×N-Sudoku with N > 2 is discussed.2×2-Sudoku (or ShiDoku) is a sized down variant of the usual 3×3Sudoku puzzle. Its set of constraints contains 56 binary inequalities. It is proven that any maximal redundant set of these binary inequalities has size 16. This is in line with a conjecture about 3×3-Sudoku. The result is achieved partly by rigorous proofs, partly by programming in Prolog. The generalization to N×N-Sudoku with N > 2 is discussed.
منابع مشابه
PuzzleJAR: Automated Constraint-based Generation of Puzzles of Varying Complexity
Engaging students in practicing a wide range of problems facilitates their learning. However, generating fresh problems that have specific characteristics, such as using a certain set of concepts or being of a given difficulty level, is a tedious task for a teacher. In this paper, we present PuzzleJAR, a system that is based on an iterative constraintbased technique for automatically generating...
متن کاملDeriving Fuzzy Inequalities Using Discrete Approximation of Fuzzy Numbers
Most of the researches in the domain of fuzzy number comparisons serve the fuzzy number ordering purpose. For making a comparison between two fuzzy numbers, beyond the determination of their order, it is needed to derive the magnitude of their order. In line with this idea, the concept of inequality is no longer crisp however it becomes fuzzy in the sense of representing partial belonging or de...
متن کاملPattern-Based Constraint Satisfaction and Logic Puzzles
Pattern-Based Constraint Satisfaction and Logic Puzzles develops a pure logic, pattern-based perspective of solving the finite Constraint Satisfaction Problem (CSP), with emphasis on finding the"simplest"solution. Different ways of reasoning with the constraints are formalised by various families of"resolution rules", each of them carrying its own notion of simplicity. A large part of the book ...
متن کاملA Global Social Support System: What the International Community Could Learn From the United States’ National Basketball Association’s Scheme for Redistribution of New Talent
If global trade were fair, it is argued, then international aid would be unnecessary and inequalities inherent to the economic system would be justifiable. Here, we argue that while global trade is unfair, in part because richer countries set the rules, we believe that additional interventions must go beyond trade regulation and short-term aid to redress inequalities among countries that will p...
متن کاملThe Impact of Balancing on Problem Hardness in a Highly Structured Domain
Random problem distributions have played a key role in the study and design of algorithms for constraint satisfaction and Boolean satisfiability, as well as in our understanding of problem hardness, beyond standard worst-case complexity. We consider random problem distributions from a highly structured problem domain that generalizes the Quasigroup Completion problem (QCP) and Quasigroup with H...
متن کامل