Difference between revisions of "Snipes"
From Sudoku Theory
m (→Little Killer) |
(→Classic Sudoku: new min for 20x20) |
||
(68 intermediate revisions by 7 users not shown) | |||
Line 4: | Line 4: | ||
* [[File:Last_found_17c_classic.png|200px|thumb|Last found classic with 17 givens, by blue 2019]] The fewest [[Given|given digits]] in a classic [[Sudoku|sudoku]] is 17; this was proven by [https://arxiv.org/abs/1201.0749 McGuire et al.] There exist 16 given sudoku with as few as 2 solutions. There are exactly 49158 essentially different 17 given puzzles; the last was found in 2019 ([http://forum.enjoysudoku.com/post282968.html#p282968 link]), and an exhaustive search ([http://forum.enjoysudoku.com/scan-solution-grids-for-17-clues-as-of-blue-t34012-165.html#p323538 link]) has confirmed that this is a complete list. [https://drive.google.com/file/d/1StS_Sm_Eh9ZJTapOsrRJccM6UP6PmQ3B/view List of all essentially different 17 given puzzles.] | * [[File:Last_found_17c_classic.png|200px|thumb|Last found classic with 17 givens, by blue 2019]] The fewest [[Given|given digits]] in a classic [[Sudoku|sudoku]] is 17; this was proven by [https://arxiv.org/abs/1201.0749 McGuire et al.] There exist 16 given sudoku with as few as 2 solutions. There are exactly 49158 essentially different 17 given puzzles; the last was found in 2019 ([http://forum.enjoysudoku.com/post282968.html#p282968 link]), and an exhaustive search ([http://forum.enjoysudoku.com/scan-solution-grids-for-17-clues-as-of-blue-t34012-165.html#p323538 link]) has confirmed that this is a complete list. [https://drive.google.com/file/d/1StS_Sm_Eh9ZJTapOsrRJccM6UP6PmQ3B/view List of all essentially different 17 given puzzles.] | ||
* For 6x6 (standard, with 3x2 regions), the minimum is 8 givens ([http://forum.enjoysudoku.com/post23005.html#p23005 link]). | * For 8x8 (standard, with 4x2 regions), the minimum is 14 givens, proven by [https://www.researchgate.net/publication/257909952_Minimal_number_of_clues_for_Sudokus Lass, Christoph. (2012)]. | ||
* For 6x6 (standard, with 3x2 regions), the minimum is 8 givens ([http://forum.enjoysudoku.com/post23005.html#p23005 link]), and can even be done symmetrically ([http://sudokutheory.com/wiki/index.php?title=File:Image_a5e5b0d8-3f72-495d-8b8c-7fb871efda48.png link], jovial). The fewest known solutions for 7 givens is 6, by Qinlux ([https://f-puzzles.com/?id=y7a74etf link]). | |||
* For 5x5 the minimum is 6 givens, and for 7x7 the minimum is 12 givens. Qiu Yangzhe demonstrated a pattern on latin squares that can be extended indefinitely to find minimums for any prime-sized sudoku ([http://forum.enjoysudoku.com/minimum-givens-on-latin-squares-and-r-c-d-conjecture-t35020.html link]). The pattern has been theorized to be minimal for all such grid sizes, although not proven for any greater than 8. | |||
* For 16x16 the minimum is 55 givens ([https://www.amazon.co.jp/dp/4873102235 link]). It is unknown if this can be improved. | |||
* For 10x10 (standard, with 5x2 regions), the minimum is 22 givens ([http://forum.enjoysudoku.com/minimum-givens-on-larger-puzzles-t4801.html#p256530 link]), found by ton. It is unknown if this can be improved. | |||
* For 12x12 (with 6x2 regions), the minimum is 32 givens ([http://forum.enjoysudoku.com/minimum-givens-on-larger-puzzles-t4801.html#p256530 link]), found by ton. It is unknown if this can be improved. | |||
* For 12x12 (with 4x3 regions), the minimum is 30 givens ([http://forum.enjoysudoku.com/minimum-givens-on-larger-puzzles-t4801.html#p256530 link]), found by ton. It is unknown if this can be improved. | |||
* For 15x15 (with 5x3 regions), the minimum is 48 givens ([http://forum.enjoysudoku.com/minimum-givens-on-larger-puzzles-t4801.html#p256530 link]), found by ton. It is unknown if this can be improved. | |||
* For 20x20 (with 5x4 regions), the minimum is 88 givens ([http://forum.enjoysudoku.com/minimum-givens-on-larger-puzzles-t4801-15.html#p345139 link]), found by ton. It is unknown if this can be improved. | |||
* For 25x25 the minimum is 151 givens {{Citation needed}}. It is unknown if this can be improved. | |||
* Every [[Solution Grid|solution grid]] has at least one [[Minimal Puzzle|minimal puzzle]] with fewer than 22 givens, as shown by [[Mathemagics]] and [[blue]]. There are exactly four grids which do not have a minimal puzzle with fewer than 21 givens ([http://forum.enjoysudoku.com/low-hi-clue-thresholds-t36214-210.html?sk=a#p284767 link]). | * Every [[Solution Grid|solution grid]] has at least one [[Minimal Puzzle|minimal puzzle]] with fewer than 22 givens, as shown by [[Mathemagics]] and [[blue]]. There are exactly four grids which do not have a minimal puzzle with fewer than 21 givens ([http://forum.enjoysudoku.com/low-hi-clue-thresholds-t36214-210.html?sk=a#p284767 link]). | ||
* The ''most'' givens for a minimal classic sudoku is 40 | * The ''most'' givens for a minimal classic sudoku is 40. Two examples are known, both found by dobrichev. In the work to find these Sudokus, other high-clue puzzles were catalogued, including more than 6,500,000,000 minimal puzzles with 36 clues. About 2600 minimal Sudokus with 39 clues were also found[http://forum.enjoysudoku.com/high-clue-tamagotchis-t30020-135.html#p234807]. This is believed to be the maximum, but it is not proven to be. If dropping the requirement for the uniqueness of the solution, 41-clue minimal pseudo-puzzles are known to exist, but they can be completed to more than one solution grid. Removal of any clue increases the number of the completions and from this perspective none of the 41 clues is redundant. With slightly more than half the grid filled with givens (41 of 81 cells), the uniqueness of the solution constraint still dominates over the minimality constraint. | ||
* The most empty [[houses]] in a classic sudoku is 9 (3 boxes, 3 rows, 3 columns). This is the maximum, shown by exhaustive search {{Citation needed}}. | * The most empty [[houses]] in a classic sudoku is 9 (3 boxes, 3 rows, 3 columns). This is the maximum, shown by exhaustive search {{Citation needed}}. | ||
* For a 6x6 grid, the most empty houses is 6 ([https://f-puzzles.com/?id=2kakz6bp link]), found by randomra. | * For a 6x6 grid, the most empty houses is 6 ([https://f-puzzles.com/?id=2kakz6bp link]), found by randomra. | ||
* The largest rectangle of empty cells in a classic sudoku is 32 cells (4x8). This is believed to be the maximum, but it is not proven to be. If the rectangle is allowed to rotate, then an area of 36 is possible, covering 54 cells and enclosing 27 ([ | * The most empty diagonals in a classic sudoku is 24 ([http://sudokutheory.com/wiki/index.php?title=File:6efa7930-1780-4bf6-805b-e11fef1919e2.jpg link]) as found by PN. | ||
* The largest number of consecutive blanks in a classic sudoku string is 34 ([ | * The largest rectangle of empty cells in a classic sudoku is 32 cells (4x8). This is believed to be the maximum, but it is not proven to be. If the rectangle is allowed to rotate, then an area of 36 is possible, covering 54 cells and enclosing 27 ([http://sudokutheory.com/wiki/index.php?title=File:Image_e7c73459-f4eb-47a3-abf4-70e35f72c834.png link]). | ||
* The largest number of consecutive blanks in a classic sudoku string is 34 ([http://sudokutheory.com/wiki/index.php?title=File:Image_7058db78-5995-4384-8806-493485b29ecf.png link]). This is the theoretical maximum. | |||
* The smallest pattern of cells that ensure one or fewer solutions when filled is 48, as shown by [[trivial171]] ([http://sudokutheory.com/wiki/index.php?title=File:Image_4bcb181b-ab10-4efe-ba08-b4725b23054d.png link]). | |||
* It is possible to have classic sudoku where the given digits do not touch, not even diagonally ([http://sudokutheory.com/wiki/index.php?title=File:Image_c72b26d7-1bc0-49a9-9550-5c2e1fbfd5be.png link]), as shown by jovi_al. | |||
* For an incomplete puzzle, the maximum number of candidate digits that can be placed in a single cell to create a unique solution is 9 (all of them), as shown by Mauricio ([http://forum.enjoysudoku.com/untouchables-and-chameleons-t4911-75.html#p64136 link]). TopAutism demonstrated that it is possible for such a puzzle to have rotational symmetry ([http://sudokutheory.com/wiki/index.php?title=File:Image_94e15178-e39c-4914-8a25-133a2995b5f4.png link]). The same can be done for 5x5 without symmetry, as shown by Andrewsarchus ([http://sudokutheory.com/wiki/index.php?title=File:Image_36b31e71-50e4-4cb1-a6de-281f3e34bb8c.png link]). | |||
= Variants = | = Variants = | ||
Line 21: | Line 34: | ||
=== Irregular Sudoku === | === Irregular Sudoku === | ||
* The fewest givens with [[Irregular|irregular regions]] is 8 ([https://f-puzzles.com/?id=2z2bkc87 link]). This is the theoretical minimum, as at least this many digits are needed to disambiguate the digit permutation. It is unknown who first discovered this pattern of regions | * The fewest givens with [[Irregular|irregular regions]] is 8 ([https://f-puzzles.com/?id=2z2bkc87 link]). This is the theoretical minimum, as at least this many digits are needed to disambiguate the digit permutation. It is unknown who first discovered this pattern of regions, but related patterns exist at least as early as 2001 ([http://www.bumblebeagle.org/dusumoh/proof/index.html link]). Similar solution grids with a cyclic pattern in the rows and/or columns are useful for many minimal sudoku tasks. | ||
* The fewest Kropki dots with [[Irregular|irregular regions]] (using the same | * The fewest Kropki dots with [[Irregular|irregular regions]] (using the same cyclic pattern) is 6, found by rubenscube ([https://f-puzzles.com/?id=28zn5hzp link]), this is proven to be the minimum. | ||
* The minimum number of regions required for a latin square to be unsolveable is 2, as found by Eric Fox ([http://sudokutheory.com/wiki/index.php?title=File:Image_44a2ce4d-0b6d-4e7e-92b1-0a15111c0c1e.png link]). | |||
* There exist irregular sudoku for all grid sizes greater than 3 that have 0 solutions, as proven by Johan de Ruiter ([https://liacs.leidenuniv.nl/assets/Bachelorscripties/10-04-JohandeRuiter.pdf link]). | |||
<br clear=all> | <br clear=all> | ||
Line 30: | Line 45: | ||
* The fewest givens in an [[Anti-Knight|Anti-Knight sudoku]] is 8; there are 4 essentially different puzzles, found initially by [[ryokousha]], [[rangsk]], and [[Philip Newman]] (PN below). An exhaustive search using a [[Gauntlet|gauntlet]] showed that these are the only four ([https://github.com/dclamage/SudokuAKUnique github], [http://forum.enjoysudoku.com/minimal-anti-knight-found-t39341.html#p315429 forum]). This is the theoretical minimum, as at least this many digits are needed to disambiguate the digit permutation. | * The fewest givens in an [[Anti-Knight|Anti-Knight sudoku]] is 8; there are 4 essentially different puzzles, found initially by [[ryokousha]], [[rangsk]], and [[Philip Newman]] (PN below). An exhaustive search using a [[Gauntlet|gauntlet]] showed that these are the only four ([https://github.com/dclamage/SudokuAKUnique github], [http://forum.enjoysudoku.com/minimal-anti-knight-found-t39341.html#p315429 forum]). This is the theoretical minimum, as at least this many digits are needed to disambiguate the digit permutation. | ||
* If givens are restricted to the borders of the grid, the fewest possible is 10, found by PN ([http://forum.enjoysudoku.com/minimal-anti-knight-found-t39341.html#p316378 link]). For 9 givens, the lowest solution count is 18, found by PN and ryokousha; this has been verified by rangsk. | * If givens are restricted to the borders of the grid, the fewest possible is 10, found by PN ([http://forum.enjoysudoku.com/minimal-anti-knight-found-t39341.html#p316378 link]). For 9 givens, the lowest solution count is 18, found by PN and ryokousha; this has been verified by rangsk. | ||
* If givens are forbidden from touching, even diagonally, then the fewest possible is 9, found by ryokousha ([ | * If givens are forbidden from touching, even diagonally, then the fewest possible is 9, found by ryokousha ([http://sudokutheory.com/wiki/index.php?title=File:Image_67ae6f6a-921b-4d02-ad75-1c31162d5cad.png link]). This is the theoretical minimum, as all 8c anti-knight puzzles are known. | ||
* Most anti-knight snipes are known for being terribly unhumanable. The closest anyone has come to a 9-given puzzle that resolves with only singles is [[TopAutism]], with 67 cells filled ([ | * Most anti-knight snipes are known for being terribly unhumanable. The closest anyone has come to a 9-given puzzle that resolves with only singles is [[TopAutism]], with 67 cells filled ([http://sudokutheory.com/wiki/index.php?title=File:Image_ea46f613-b89d-47f8-b37f-a2b3421e1aa5.png link]). | ||
<br clear=all> | <br clear=all> | ||
Line 56: | Line 71: | ||
* The fewest givens in a [[Non-Consecutive|non-consecutive]] sudoku is 4; it is unknown who first determined this, but an exhaustive list has been produced {{Citation needed}}. | * The fewest givens in a [[Non-Consecutive|non-consecutive]] sudoku is 4; it is unknown who first determined this, but an exhaustive list has been produced {{Citation needed}}. | ||
* The fewest unique given digits needed for a non-consecutive sudoku is 1, discovered by Freddie Hand ([ | * The fewest unique given digits needed for a non-consecutive sudoku is 1, discovered by Freddie Hand ([http://sudokutheory.com/wiki/index.php?title=File:0fbfa031-6e51-43e6-b8a6-1122af9db55b.jpg link]). | ||
=== "Miracle" (Non-Consecutive + Anti-Knight + Anti-King) === | === "Miracle" (Non-Consecutive + Anti-Knight + Anti-King) === | ||
Line 64: | Line 79: | ||
=== Kropki (Anti-Ratio + Non-Consecutive) === | === Kropki (Anti-Ratio + Non-Consecutive) === | ||
* The fewest givens for a dotless [[Kropki|kropki]] — that is, non-consecutive and [[Anti-Ratio|anti-ratio (2:1)]] — is believed to be 4, like non-consecutive on its own. There are 8448 dotless solution grids {{Citation needed}}. | * The fewest givens for a dotless [[Kropki|kropki]] — that is, non-consecutive and [[Anti-Ratio|anti-ratio (2:1)]] — is believed to be 4, like non-consecutive on its own. There are 8448 dotless solution grids {{Citation needed}}. All of them are roped in both directions, and fully roped (using the same three triples in all boxes) in at least one direction. The fully roped triplets come precisely from the options: 125, 138, 145, 147, 158, 159, 237, 257, 268, 347, 359, 378, 379, or 469. | ||
[[File:Haven't_Got_a_Scooby.png|200px|thumb|right|"Haven't Got a Scooby", dotless kropki]] | [[File:Haven't_Got_a_Scooby.png|200px|thumb|right|"Haven't Got a Scooby", dotless kropki]] | ||
Line 70: | Line 85: | ||
* The fewest givens for an irregular dotless kropki is 0, found by PN ([https://f-puzzles.com/?id=yjgnt687 link]). Several of these are known, and this category has come to be referred to as a [[Scooby]] (after the title of the linked puzzle). We are reasonably confident that you can’t have -1 givens. | * The fewest givens for an irregular dotless kropki is 0, found by PN ([https://f-puzzles.com/?id=yjgnt687 link]). Several of these are known, and this category has come to be referred to as a [[Scooby]] (after the title of the linked puzzle). We are reasonably confident that you can’t have -1 givens. | ||
=== Anti-XV === | |||
* The fewest givens in an anti-XV sudoku is 6, found by PN ([http://sudokutheory.com/wiki/index.php?title=File:Image_17938f83-600e-437f-86a0-cf6736bc681f.png link] [http://sudokutheory.com/wiki/index.php?title=File:Image_c7cc0919-2181-4de3-8a8d-ae75099e370f.png link]). | |||
=== Anti-Ratio + Anti-XV + Irregular === | === Anti-Ratio + Anti-XV + Irregular === | ||
* The fewest givens for an irregular anti-ratio anti-XV grid is 0, found by PN ([https:// | * The fewest givens for an irregular anti-ratio anti-XV grid is 0, found by PN ([http://sudokutheory.com/wiki/index.php?title=File:Image_599e2966-d82d-40b7-b59f-a33fcc1c5b9b.png link]). | ||
=== Disjoint Groups === | |||
* The fewest givens in a disjoint groups sudoku is 11 ([http://forum.enjoysudoku.com/minimum-number-of-clues-in-sudoku-dg-t3284.html#p46757 link]). It seems to be minimal, but has not been verified. | |||
=== Hypercube === | |||
* The fewest givens in a hypercube sudoku (disjoint groups + minirows and minicolumns, not to be confused with 3D sudoku) is 8 ([http://magictour.free.fr/sudoku6 link]), found by Guenter Stertenbrink. This is the theoretical minimum. | |||
=== Windoku === | |||
* The fewest givens in a windoku is 11 ([https://homepages.cwi.nl/~aeb/games/sudoku/nrc.html link]), found by Andries Brouwer. | |||
=== Windoku + Diagonal === | |||
* The fewest givens in a sudoku with both windoku and diagonal constraints is 9 ([https://homepages.cwi.nl/~aeb/games/sudoku/nrc.html link]). | |||
=== Magic === | |||
* The fewest givens in a magic sudoku is 7 ([http://forum.enjoysudoku.com/number-of-magic-sudokus-and-random-generation-t2082-15.html#p13320 link]), found by Guenter Stertenbrink. It is unknown if this is minimal. | |||
=== 2-Quasi-Magic === | |||
* The fewest givens in a 2-quasi-magic sudoku is 4 ([http://anthony.d.forbes.googlepages.com/M215qm.pdf link]), found by Tony Forbes. It is suspected that this is minimal. | |||
=== Indexing === | |||
* In a column-indexing sudoku (or, equivalently, a row-indexing sudoku), the fewest givens required is 7 ([http://sudokutheory.com/wiki/index.php?title=File:Image_8ccd4e55-dcbe-4c46-b83e-7408205599eb.png link]), found by PN. The best known result for 6 givens is 4 solutions ([http://sudokutheory.com/wiki/index.php?title=File:Image_6a4a70fa-8ec0-4de0-bb38-848036bb7225.png link]), also found by PN. | |||
=== Deconstruction === | |||
* In an 11x11 deconstruction sudoku with unspecified regions, the fewest givens required is 12 ([http://sudokutheory.com/wiki/index.php?title=File:Image_6e68d596-7392-410b-b66a-10bea382a320.png link]), found by TopAutism. If the regions are given, the fewest is 10 ([http://sudokutheory.com/wiki/index.php?title=File:Image_64845f3e-93d4-4a6e-a80c-84208e38f589.png link]), also found by TopAutism. | |||
* If the deconstruction grid is constrained to 10x10 in size, the fewest givens is 14 ([https://logic-masters.de/Raetselportal/Raetsel/zeigen.php?id=000GU5 link]), found by lepton. | |||
== Local Constraints == | == Local Constraints == | ||
=== Sukaku === | |||
* The highest number of candidates in a pencil-mark sudoku is 643 (86 candidates eliminated), found by tdillon ([http://forum.enjoysudoku.com/pencilmark-sudoku-t36694-45.html#p297310 link] [https://github.com/t-dillon/pencilmark_sudoku/tree/master/low_clue link]). | |||
=== Killer === | === Killer === | ||
[[File:Killer_Sudoku_7cages_18cells.png|300px|thumb|left|18 cells in 7 cages, by PN]] | [[File:Killer_Sudoku_7cages_18cells.png|300px|thumb|left|18 cells in 7 cages, by PN]] | ||
* The fewest cages in a [[Killer|killer]] sudoku with no givens is 6 ([https://f-puzzles.com/?id=2z4wrgqj link]), and the fewest cells covered is 18 ([http://forum.enjoysudoku.com/new-killer-setter-t38092-15.html?hilit=killer#p306879 link]), both found by PN. The former is believed to be minimal, but this has not been proven (and 7 was believed to be minimal before the 6 was found, so...). | * The fewest cages in a [[Killer|killer]] sudoku with no givens is 6 ([https://f-puzzles.com/?id=2z4wrgqj link]), and the fewest cells covered is 18 ([http://forum.enjoysudoku.com/new-killer-setter-t38092-15.html?hilit=killer#p306879 link]), both found by PN. The former is believed to be minimal, but this has not been proven (and 7 was believed to be minimal before the 6 was found, so...). It has since been reduced to cover 26 cells, with no cage larger than 5 in size ([https://sudokupad.app/v34htex2c1 link]). | ||
* The minimum of 18 cells has been proven by [[Scott Bathurst]] and PN ([http://forum.enjoysudoku.com/new-killer-setter-t38092-15.html?hilit=killer#p306957 link]) by filtering known 17 given classics. The existence of a 17-cell killer would imply the existence of a 17-given classic with the killer cells as givens (this is strictly more information than the killer cages give). Only 1 of the 49158 17-given classics passed the first two filters used - requiring the puzzle to be morphable into a form such that every given is adjacent to at least one other given with the property that switching these two givens results in 0 solutions (if swapping the givens results in 1 or more solutions, then replacing them with a killer cage can never disambiguate between these possibilities) - and this cannot be made unique with only killer cages by inspection. It has since been shown that all 49158 17-given classics are known, completing the proof that there is no 17-cell givenless killer.<br clear=all> | * The minimum of 18 cells has been proven by [[Scott Bathurst]] and PN ([http://forum.enjoysudoku.com/new-killer-setter-t38092-15.html?hilit=killer#p306957 link]) by filtering known 17 given classics. The existence of a 17-cell killer would imply the existence of a 17-given classic with the killer cells as givens (this is strictly more information than the killer cages give). Only 1 of the 49158 17-given classics passed the first two filters used - requiring the puzzle to be morphable into a form such that every given is adjacent to at least one other given with the property that switching these two givens results in 0 solutions (if swapping the givens results in 1 or more solutions, then replacing them with a killer cage can never disambiguate between these possibilities) - and this cannot be made unique with only killer cages by inspection. It has since been shown that all 49158 17-given classics are known, completing the proof that there is no 17-cell givenless killer.<br clear=all> | ||
* If repeated digits are allowed, 1 cage is sufficient ([https://f-puzzles.com/?id=yl93oc22 link]); it is unknown who discovered this originally. The minimum sum is 120, and the maximum sum is 285. | |||
* In a traditional killer sudoku (where every cell must be covered), the fewest number of cages is 10 ([http://sudokutheory.com/wiki/index.php?title=File:10cages.png link]), found by TopAutism. This is the theoretical minimum. | |||
* For a latin square, the fewest number of cells covered is 20 ([http://sudokutheory.com/wiki/index.php?title=File:Image_989416eb-82b6-4a84-83e8-9f6b87a9f431.png link]), found by PN. | |||
* The fewest 2-cell cages is 9 ([https://f-puzzles.com/?id=2qg6lu38 link]) found by PN, again covering the theoretical minimum of 18 cells. | * The fewest 2-cell cages is 9 ([https://f-puzzles.com/?id=2qg6lu38 link]) found by PN, again covering the theoretical minimum of 18 cells. | ||
* The fewest 2- or 3-cell cages is 7 ([ | * The smallest number of 2-cell cages with unique totals is 10, as found by PN ([http://sudokutheory.com/wiki/index.php?title=File:Image_ee4ef100-ab49-451f-a520-236f55f5b869.png link]). | ||
* The fewest 2-cell cages with all different totals is 10 ([ | * The greatest number of 2-cell cages with unique totals is 14, and it is possible to arrange those cages in a loop in sequential order, as found by PN ([https://logic-masters.de/Raetselportal/Raetsel/zeigen.php?id=0009GW link]). | ||
* For 6x6, the fewest is 4 cages and | * The fewest 2- or 3-cell cages is 7 ([http://sudokutheory.com/wiki/index.php?title=File:Image_242e0cdf-93e5-4a1e-a614-597102f16cea.png link]) found by PN, again covering the theoretical minimum of 18 cells. | ||
* The fewest digits required in killer cage totals is 5 (5 single-digit totals), found by TopAutism ([ | * The fewest 2-cell cages with all different totals is 10 ([http://sudokutheory.com/wiki/index.php?title=File:Image_c0b81a49-dc01-46f4-b244-0c6aca503823.png link]), found by PN. | ||
* The fewest 7-cell cages is 9, as found by SSGranor ([http://sudokutheory.com/wiki/index.php?title=File:Image_47866ddd-2ba8-4edd-8b54-4759620590cd.png link]). | |||
* The fewest 8-cell cages is 9, found by Reson ([https://f-puzzles.com/?id=y58jefhg link]). | |||
* For 6x6, the fewest is 4 cages and 9 cells, found by [[spaanse]] and [[Vorados]] ([https://f-puzzles.com/?id=267zulfj link]). This has been proved by spaanse to be both the minimal cell coverage and the minimal number of cages. | |||
* For 6x6, the fewest 4-cell cages is 5, found by PN ([http://sudokutheory.com/wiki/index.php?title=File:Image_0af654cb-b9a4-48d1-9c0e-14655c72bbd6.png link]). | |||
* For 6x6, the fewest 5-cell cages is 6, found by PN ([http://sudokutheory.com/wiki/index.php?title=File:Image_eaa24597-2b05-4d2e-85af-19780583cb45.png link]). Four cages is possible with as many as two of them being 5-cell in size ([http://sudokutheory.com/wiki/index.php?title=File:Image_2a2ab415-189d-4e75-bd46-1405aa47f395.png link]). | |||
* The fewest digits required in killer cage totals is 5 (5 single-digit totals), found by TopAutism ([http://sudokutheory.com/wiki/index.php?title=File:Image_e0fc7839-e836-4e56-b210-010e1a740956.png link]). This is the theoretical minimum — although 4 clued cages would be sufficient to disambiguate the digits 1-9, at least one would need a double-digit total. | |||
* The greatest number of cells that can be covered entirely by cages summing to 9 is 77 ([http://sudokutheory.com/wiki/index.php?title=File:Image_efea0ca9-7e77-47d0-b6ca-9e11d433913c.png link]), found by TopAutism. This is not the largest area in general for a single total, as 15 and 45 can both cover the entire grid. | |||
* The fewest number of distinct cage totals needed is 1; this can be done for the following values. All other totals permit digit permutations that guarantee more than one solution. | * The fewest number of distinct cage totals needed is 1; this can be done for the following values. All other totals permit digit permutations that guarantee more than one solution. | ||
{| class="wikitable" | |||
* | ! Sum | ||
! Found by | |||
|- | |||
| [http://sudokutheory.com/wiki/index.php?title=File:Image_250f1db6-6cb5-4fa7-877d-8b8a9392e5c8.png 8]*, [https://tinyurl.com/mrzz87b9 10], [https://tinyurl.com/8jekwas2 11], [https://tinyurl.com/2k4yz6a6 12], [https://tinyurl.com/2p8dnx9a 13], [https://tinyurl.com/3hv49bd5 14], [https://tinyurl.com/2s4dhnat 15], [https://tinyurl.com/2p8tzyr7 16], [https://tinyurl.com/2p8sfzbk 17], [https://tinyurl.com/msvanxfp 18], [https://tinyurl.com/yc5c9ju5 19], [https://tinyurl.com/5cyzzkd9 20], [https://tinyurl.com/bdh2y88z 21], [https://tinyurl.com/2xksphxd 22], [https://tinyurl.com/bdcrx78a 23], [https://tinyurl.com/2sdftzn3 24] | |||
| clover | |||
|- | |||
| [https://tinyurl.com/3c8jap9n 25] | |||
| Joseph Nehme | |||
|- | |||
| [https://tinyurl.com/4nm5rdah 26] | |||
| clover | |||
|- | |||
| [https://tinyurl.com/4rztj2ke 27] | |||
| ahaupt | |||
|- | |||
| [https://tinyurl.com/scfwyp6x 28], [https://tinyurl.com/2p8jrhye 29], [https://tinyurl.com/yckhyds6 30], [https://tinyurl.com/2p9dcrra 31] | |||
| clover | |||
|- | |||
| [https://tinyurl.com/bddmhyr5 32] | |||
| Joseph Nehme | |||
|- | |||
| [https://tinyurl.com/a3dr8fzz 33], [https://tinyurl.com/33m9vye2 34], [https://tinyurl.com/3mn67umn 35] | |||
| clover | |||
|- | |||
| [https://tinyurl.com/2u8kp5nz 37] | |||
| Sam Cappleman-Lynes | |||
|} | |||
<nowiki>*</nowiki>requires a 1-cell cage | |||
* | |||
* For 6x6, the following totals are possible. All other totals permit digit permutations that guarantee more than one solution. | |||
{| class="wikitable" | |||
! Sum | |||
! Found by | |||
|- | |||
| [http://sudokutheory.com/wiki/index.php?title=File:Image_c0879e49-958a-4dc4-87f4-4c1669dac16f.png 8], [http://sudokutheory.com/wiki/index.php?title=File:Image_3b1fa2a1-d305-4b57-a501-ff46289c059b.png 10], [http://sudokutheory.com/wiki/index.php?title=File:Image_a43a35f7-a51a-4f32-9e82-8fc53ab8439b.png 11], [http://sudokutheory.com/wiki/index.php?title=File:Image_ecdeef4c-77a8-4e72-b733-95fc7aff33e9.png 13] | |||
| PN | |||
|} | |||
[[File:Antiknight_Killer_12c.png|300px|thumb|right|Anti-Knight Killer, 12 cells, by jovi_al]] | [[File:Antiknight_Killer_12c.png|300px|thumb|right|Anti-Knight Killer, 12 cells, by jovi_al]] | ||
=== Killer + Anti-Knight === | === Killer + Anti-Knight === | ||
* The fewest cages is 4, found by ryokousha ([https://f-puzzles.com/?id=2lawldmv link]). This is the theoretical minimum, as 3 cages cannot disambiguate 9 digits. The fewest cells covered is 12, found by [[jovi_al]] ([ | * The fewest cages is 4, found by ryokousha ([https://f-puzzles.com/?id=2lawldmv link]). This is the theoretical minimum, as 3 cages cannot disambiguate 9 digits. The fewest cells covered is 12, found by [[jovi_al]] ([http://sudokutheory.com/wiki/index.php?title=File:Image_d7cda52f-7f69-4cc1-98b4-7158b176b26c.png link]), which is also the theoretical minimum. | ||
* For 6x6, the fewest is 3 cages and 7 cells, found by PN ([ | * For 6x6, the fewest is 3 cages and 7 cells, found by PN ([http://sudokutheory.com/wiki/index.php?title=File:Image_93549e2e-546b-4ae3-bf06-1a81da6cf0f6.png link]). This is the theoretical minimum for both, as any lower is insufficient to disambiguate the digits. | ||
* The fewest 2-cell cages is 6 ([http://sudokutheory.com/wiki/index.php?title=File:Image_c9914317-2fac-4655-8d01-e7750c0ba6b0.png link]) found by ryokousha. | |||
=== Killer + Anti-King === | === Killer + Anti-King === | ||
* For 6x6, the fewest is 3 cages and 7 cells, found by PN ([ | * For 6x6, the fewest is 3 cages and 7 cells, found by PN ([http://sudokutheory.com/wiki/index.php?title=File:Image_16ff5974-7749-4a9b-9192-4565cbb1458d.png link]). This is the theoretical minimum for both, as any lower is insufficient to disambiguate the digits. | ||
=== Killer + Diagonal === | === Killer + Diagonal === | ||
* For 6x6, the fewest is 3 cages and 7 cells, found by PN ([ | * For 6x6, the fewest is 3 cages and 7 cells, found by PN ([http://sudokutheory.com/wiki/index.php?title=File:Image_8a3ef5c2-e550-4f6e-bcbc-1b94945c05ba.png link]). This is the theoretical minimum for both, as any lower is insufficient to disambiguate the digits. | ||
=== Killer + Anti-King + Diagonal === | === Killer + Anti-King + Diagonal === | ||
* The fewest cages is 5, found by PN ([ | * The fewest cages is 5, found by PN ([http://sudokutheory.com/wiki/index.php?title=File:Image_1cd0a62d-766b-4e02-8295-923da3d8c111.png link]). | ||
=== Killer + Non-Consecutive === | |||
* The fewest cages is 2. It is not possible to get a unique grid with one cage, but the best possible results for any given cage size are: 389 solutions for a 4-cell cage ([http://sudokutheory.com/wiki/index.php?title=File:Image_726459f9-70dd-4cab-82a0-a8cb8dba9522.png link]), 11 solutions for a 5-cell cage ([http://sudokutheory.com/wiki/index.php?title=File:Image_eae89bd6-3d14-47c4-91dd-6685619d04a9.png link]), 20 solutions for a 6-cell cage ([http://sudokutheory.com/wiki/index.php?title=File:Image_879fda33-b917-47be-8595-c07c6c4541a3.png link]), 11 solutions for a 7-cell cage ([http://sudokutheory.com/wiki/index.php?title=File:Image_7d80b8fa-7a9c-49df-ba20-c1991377191d.png link]), 69 solutions for an 8-cell cage ([http://sudokutheory.com/wiki/index.php?title=File:Image_06bb6794-9db6-4bf2-91c4-74528aecc119.png link]), and 18 solutions for a 9-cell cage ([http://sudokutheory.com/wiki/index.php?title=File:Image_28738fee-7f29-48fc-8cb1-4d165886a064.png link]), all found by Rangsk. | |||
* The fewest 2-cell cages is 3 ([http://sudokutheory.com/wiki/index.php?title=File:Image_64c63c87-babe-4999-8a42-0bfe778824ba.png link]) found by Rangsk. The fewest solutions for a two-domino puzzle is 20 ([http://sudokutheory.com/wiki/index.php?title=File:Image_c71f8fb8-711f-4b52-9dc5-23cc5c1ff872.png link]), also found by Rangsk. | |||
* The fewest 2- or 3-cell cages is 2 ([http://sudokutheory.com/wiki/index.php?title=File:Image_81e6319f-747d-45cc-a597-7eff790d939d.png link]) found by Rangsk. | |||
* The fewest 7-cell cages is 9, found by SSGranor ([http://sudokutheory.com/wiki/index.php?title=File:Image_47866ddd-2ba8-4edd-8b54-4759620590cd.png link]). | |||
=== Killer + Anti-Knight + Non-Consecutive === | |||
* The fewest cages is 1, and the fewest cells is 3, found by PN ([http://sudokutheory.com/wiki/index.php?title=File:Image_2a7b520c-5120-4442-83a7-2097a5a9035e.png link]). | |||
=== Killer + Cage Inequalities === | |||
* The fewest given relations between cages in a killer sudoku is 8, as found by Miyuki Misawa ([https://web.archive.org/web/20051224043731/http://www7a.biglobe.ne.jp/~sumnumberplace/79790008/ link]). | |||
=== Thermo === | === Thermo === | ||
[[File:Thermo_Sudoku_20c.png|200px|thumb|left|Thermo Sudoku, 20 cells, by blue]] | [[File:Thermo_Sudoku_20c.png|200px|thumb|left|Thermo Sudoku, 20 cells, by blue]] | ||
* The fewest [[Thermo|thermos]] is 3, originally found by PN; the fewest cells covered is 20, found by blue ([http://forum.enjoysudoku.com/minimal-futoshiki-sudoshiki-puzzles-t32904-30.html#p322707 link] - note that this is called "17c" in the post, referring to the number of greater-than constraints rather than cells covered; as a result, the thermos in this puzzle are purely orthogonal). It is believed that the former is minimal, as a 2-thermo puzzle would require a corresponding 18c classic, but while these are relatively rare they have not been exhaustively cataloged, nor has a search been made to check for whether any can be morphed to a 2-thermo puzzle. It is unknown whether | * The fewest [[Thermo|thermos]] is 3, originally found by PN; the fewest cells covered is 20, found by blue ([http://forum.enjoysudoku.com/minimal-futoshiki-sudoshiki-puzzles-t32904-30.html#p322707 link] - note that this is called "17c" in the post, referring to the number of greater-than constraints rather than cells covered; as a result, the thermos in this puzzle are purely orthogonal). It is believed that the former is minimal, as a 2-thermo puzzle would require a corresponding 18c classic, but while these are relatively rare they have not been exhaustively cataloged, nor has a search been made to check for whether any can be morphed to a 2-thermo puzzle. It is unknown whether the cell count is minimal — puzzles with as few as 3 solutions are known for 3 thermos and 19 cells ([http://sudokutheory.com/wiki/index.php?title=File:Image_e21ec6cd-a42f-4d24-9a96-6b69073e7d6c.png link]). | ||
* For 6x6, the fewest is 2 thermos ([https://f-puzzles.com/?id=29by38n3 link]). This is the theoretical minimum. | |||
* If branching thermometers are counted as one, then the fewest is one thermo covering 28 cells, found by PN ([http://sudokutheory.com/wiki/index.php?title=File:Image_023a36fc-dd2f-437e-b85a-ff1842f9b4b7.png link]). | |||
* If limited to 2-cell thermos, the fewest is 18 if they are allowed to overlap at bulbs, found by PN and ryokousha collaboratively ([https://f-puzzles.com/?id=yjy4qfna link]), and 19 if not, with two examples found by ryokousha ([https://f-puzzles.com/?id=yhzbl47k link]) and PN ([https://f-puzzles.com/?id=yj3v7ecc link]) independently. It is unknown whether these are minimal. | * If limited to 2-cell thermos, the fewest is 18 if they are allowed to overlap at bulbs, found by PN and ryokousha collaboratively ([https://f-puzzles.com/?id=yjy4qfna link]), and 19 if not, with two examples found by ryokousha ([https://f-puzzles.com/?id=yhzbl47k link]) and PN ([https://f-puzzles.com/?id=yj3v7ecc link]) independently. It is unknown whether these are minimal. | ||
* For 6x6, if limited to 2-cell thermos, the fewest is 8 ([http://sudokutheory.com/wiki/index.php?title=File:Image_603a905e-c7b0-4736-8ef2-e2f2f1d71963.png link]), found by PN. The smallest number of solutions for 7 2-cell thermos is 2 ([http://sudokutheory.com/wiki/index.php?title=File:Image_29efb378-ef42-4ad3-a44c-b9a288291071.png link], [http://sudokutheory.com/wiki/index.php?title=File:Image_7807b45f-a127-43f0-882e-9a218dad4aef.png link]), also found by PN. | |||
* For 4x4, if limited to 2-cell thermos, the fewest is 3 ([http://sudokutheory.com/wiki/index.php?title=File:Image_1b6f8b36-2090-412d-93e7-2d712398d6c3.png link]), found by PN. | |||
* The minimum number of non-overlapping 2-cell thermometers required for a puzzle to have no solution is 9. It is suspected that this is minimal. | |||
<br clear=all> | <br clear=all> | ||
[[File:10_2CT_Antiknight.png|200px|thumb|right|Thermo+Anti-Knight, ten 2CT, by ryokousha]] | [[File:10_2CT_Antiknight.png|200px|thumb|right|Thermo+Anti-Knight, ten 2CT, by ryokousha]] | ||
=== Thermo + Anti-Knight === | === Thermo + Anti-Knight === | ||
* The fewest thermos is 1, and the fewest cells covered is 9, found by PN ([https://f-puzzles.com/?id=2l48ex2t link]). This is the theoretical minimum for both — at least 8 comparisons are needed to disambiguate the digits. | * The fewest thermos is 1, and the fewest cells covered is 9, found by PN ([https://f-puzzles.com/?id=2l48ex2t link]). This is the theoretical minimum for both — at least 8 comparisons are needed to disambiguate the digits. | ||
* If limited to 2-cell thermos, the fewest is 10, found by ryokousha ([https://f-puzzles.com/?id=2jqa3gcx link]). It is unknown whether this is minimal. | * If limited to 2-cell thermos, the fewest is 10, found by ryokousha ([https://f-puzzles.com/?id=2jqa3gcx link]). It is unknown whether this is minimal. | ||
* If limited to 3-cell thermos, the fewest is 5, found by ryokousha ([ | * If limited to 3-cell thermos, the fewest is 5, found by ryokousha ([http://sudokutheory.com/wiki/index.php?title=File:Image_bacedbec-981a-4165-9fb3-d00bddec528b.png link]). The lowest known number of solutions for a puzzle with four thermos is 774 ([http://sudokutheory.com/wiki/index.php?title=File:Image_202fdeb2-0131-4297-9e37-b495ca03e246.png link]), also found by ryokousha. | ||
=== Thermo + Non-Consecutive === | |||
* The fewest cells covered by thermometers in a non-consecutive puzzle is 5 ([http://sudokutheory.com/wiki/index.php?title=File:Image_43f42475-1e34-4bef-b9a6-b3f82cede124.png link]), found by PN. | |||
* For 6x6, the fewest is 4 ([http://sudokutheory.com/wiki/index.php?title=File:Image_a6ccd853-1667-4525-9d2c-f117435c55fc.png link]), found by Lavaloid. This is the theoretical minimum, as 6x6 non-consecutive always allows swapping of columns 1 and 2 and columns 5 and 6. A 3-cell thermo cannot resolve both, so the minimal number of solutions is 2, as shown by Rangsk ([http://sudokutheory.com/wiki/index.php?title=File:Image_34aff61f-7d33-4279-b80f-043b72d27215.png link]). | |||
* If limited to non-joining 2-cell thermos, the fewest is 8, found by ryokousha ([http://sudokutheory.com/wiki/index.php?title=File:Image_cc13191e-7588-4a0d-904b-d97939bd86c9.png link]). | |||
=== Thermo + 3D === | |||
* The fewest thermos in a 3D puzzle is 1, as found by zygoloid ([http://sudokutheory.com/wiki/index.php?title=File:Image_ed102329-d373-4fec-958b-7356258db313.png link]). The number of cells covered it 9, although it is unknown if this is minimal. | |||
* The fewest inequalities in a 3D puzzle is 7, as found by ryokousha ([https://logic-masters.de/Raetselportal/Raetsel/zeigen.php?id=0003QO link]). It is unknown if this is minimal. | |||
=== Slow Thermo === | === Slow Thermo === | ||
Line 161: | Line 265: | ||
[[File:Syzygy_Stardust_by_David_BOWie.png|200px|thumb|left|"Syzygy Stardust by David BOWie", by PN+BlueJay]] | [[File:Syzygy_Stardust_by_David_BOWie.png|200px|thumb|left|"Syzygy Stardust by David BOWie", by PN+BlueJay]] | ||
* The fewest [[Arrow|arrows]] is 5, and the fewest cells covered is 21, both found by PN in collaboration with (based on a puzzle by) [[BlueJay]] ([https://f-puzzles.com/?id=yz6ggcka link]). It is unknown whether either is minimal. | * The fewest [[Arrow|arrows]] with single-digit sum is 5, and the fewest cells covered is 21, both found by PN in collaboration with (based on a puzzle by) [[BlueJay]] ([https://f-puzzles.com/?id=yz6ggcka link]). It is unknown whether either is minimal. | ||
* If two-digit sums are allowed then 1 arrow is sufficient, as found by PN, based on the Antiknight Arrow by Gliperal and the single repeats-allowed cage ([https://f-puzzles.com/?id=ysrjrueo link]). It is unknown if this can be done with the arrow only moving orthogonally. | |||
* For 6x6, the fewest is 3 arrows covering 11 cells, found by PN ([https://f-puzzles.com/?id=yjtqvk5x link]). | |||
* If branching arrows are counted as one, then the fewest is 1 arrow covering 23 cells, found by PN ([http://sudokutheory.com/wiki/index.php?title=File:Image_40f7764d-9a57-4361-abf5-d1d5e17b2ed1.png link]). | |||
* If the arrows are restricted to 2-cells, then the minimum is 9 ([https://f-puzzles.com/?id=2mv4ysyn link]), found by PN. | * If the arrows are restricted to 2-cells, then the minimum is 9 ([https://f-puzzles.com/?id=2mv4ysyn link]), found by PN. | ||
* If the arrows are restricted to 3-cell arrows, each contained within one house, then the minimum is 7 ([https://f-puzzles.com/?id=2l35z8e9 link]) found by PN. | * If the arrows are restricted to 3-cell arrows, each contained within one house, then the minimum is 7 ([https://f-puzzles.com/?id=2l35z8e9 link]) found by PN. | ||
* Certain grids are possible to completely cover with arrows, such that every cell belongs to exactly one arrow. | |||
** For 6x6, it is possible with entirely 2-cell arrows, as shown by Conflux ([http://sudokutheory.com/wiki/index.php?title=File:Image_4385fedc-9d5f-4b7d-a335-f751b7d4f05c.png link]). | |||
** For 4x4, the minimum number of one-cell arrows that need be included to do the same is 2, as shown by Conflux ([http://sudokutheory.com/wiki/index.php?title=File:Image_b5f28b3b-c1cf-4cf7-8aa5-a3063f6711d2.png link]). | |||
** It is not possible for any odd-sized grids, due to parity concerns. | |||
* Allowing for 2-digit pills or bigger makes it possible to have entirely symmetrical arrow puzzles: | |||
** 90-degree rotational symmetry ([http://sudokutheory.com/wiki/index.php?title=File:Image_2fabf09f-430d-471f-9612-83e745072900.png link]), found by PN | |||
** Horizontal symmetry ([http://sudokutheory.com/wiki/index.php?title=File:Image_52dc3599-3d68-49aa-8133-cda02e6cff7d.png link]), found by PN | |||
** Diagonal symmetry across the positive diagonal ([https://sudokupad.app/8h5nfu8lgs link]), found by KenGlue | |||
** If diagonal arrow pills are allowed to disambiguate symmetry across the negative diagonal, then every symmetry is possible at once, as found by TopAutism ([http://sudokutheory.com/wiki/index.php?title=File:Image_86ddd19a-8c5c-4b06-ba09-2ec6d383615b.png link]). | |||
<br clear=all> | <br clear=all> | ||
=== Arrow + Anti-Knight === | === Arrow + Anti-Knight === | ||
Line 172: | Line 289: | ||
=== Arrow + Non-Consecutive === | === Arrow + Non-Consecutive === | ||
* The fewest arrows is 1, and the fewest cells on that arrow is 5 ([ | * The fewest arrows is 1, and the fewest cells on that arrow is 5 ([http://sudokutheory.com/wiki/index.php?title=File:Image_ad05a844-76bc-45a6-8140-22e486784a45.png link]) found by PN. The smallest number of solutions known for a 4-cell arrow is 4 ([http://sudokutheory.com/wiki/index.php?title=File:Image_71aa69a0-aad6-4dd4-8db6-cb86543e44e8.png link]), also found by PN. | ||
=== Arrow + Non-Consecutive + Anti-Ratio === | |||
* The fewest arrows in a kropki grid is 1, as found by Gliperal ([https://f-puzzles.com/?id=2blwuo4m link]). | |||
* If restricted to straight arrows, the fewest is 2, as found by PN ([http://sudokutheory.com/wiki/index.php?title=File:Image_c89eee4a-268d-41f1-a7dd-445e39599fc3.png link] [http://sudokutheory.com/wiki/index.php?title=File:Image_ebef7ba7-35bb-468e-b30a-15c270ee31d1.png link]). | |||
=== Kropki (with negative constraint) === | === Kropki (with negative constraint) === | ||
Line 183: | Line 305: | ||
* The fewest dots for a [[Kropki Pairs|kropki pairs]] sudoku (no negative constraint) is 14, found by PN ([https://f-puzzles.com/?id=y4xbjsbt link]). It is unknown whether this is minimal. At least two white dots are required to disambiguate the digits. | * The fewest dots for a [[Kropki Pairs|kropki pairs]] sudoku (no negative constraint) is 14, found by PN ([https://f-puzzles.com/?id=y4xbjsbt link]). It is unknown whether this is minimal. At least two white dots are required to disambiguate the digits. | ||
* For 6x6, the fewest dots is 7, found by PN ([https://f-puzzles.com/?id=yzsmdvtf link]). It is unknown whether this is minimal. | * For 6x6, the fewest dots is 7, found by PN ([https://f-puzzles.com/?id=yzsmdvtf link]). It is unknown whether this is minimal. | ||
* For 4x4, the fewest dots is 4, covering 5 cells, found by Conflux ([http://sudokutheory.com/wiki/index.php?title=File:Image_620ddbfe-4175-4ff6-9314-1797bf60378b.png link]). | |||
* For 3x3, the fewest dots is 3, covering 4 cells, found by Conflux ([http://sudokutheory.com/wiki/index.php?title=File:Image_52eff99b-3eb7-4441-bd8c-333ad0ec653c.png link]). This is the theoretical minimum. | |||
* The fewest dots with an equal number of white and black dots and where no dot can be removed and remain unique is 8 of each dot (16 in total), found by PN ([https://f-puzzles.com/?id=yqnesbah link]) based on a setup by TopAutism. It is unknown whether this is minimal. | |||
* The longest possible chain of consecutive pairs is 32, which can also be done in a loop, found by MikoKisai ([http://sudokutheory.com/wiki/index.php?title=File:Image_A477f5c8-2760-4cc8-96b2-cb5e58756c73.jpg link]). | |||
* The longest possible chain of ratio dots is 15, found by [[armadilloappreciationsocietyzach]] ([http://sudokutheory.com/wiki/index.php?title=File:Image_1a6319da-bdb6-47af-b28b-16f9a61d4aca.png link]). | |||
=== Kropki Pairs + 3D + Disjoint Groups === | |||
* The fewest dots is 1, found by juggler ([https://logic-masters.de/Raetselportal/Raetsel/zeigen.php?id=000H1O link]). | |||
=== Quadruples === | === Quadruples === | ||
* The fewest known number of [[Quadruple|quadruple]] clues needed for a unique solution is 7 with 4 digits in each quadruple, found by PN ([https://f-puzzles.com/?id=272r69bw link]). It is believed 7 quadruples is minimal, but this has not been proven; it is also unknown whether 7 quadruples with fewer than 4 digits in at least one quadruple is possible. | * The fewest known number of [[Quadruple|quadruple]] clues needed for a unique solution is 7 with 4 digits in each quadruple, found by PN ([https://f-puzzles.com/?id=272r69bw link]). It is believed 7 quadruples is minimal, but this has not been proven; it is also unknown whether 7 quadruples with fewer than 4 digits in at least one quadruple is possible. | ||
* The fewest number of quadruples if each one can only contain a single digit is 28, found by TopAutism ([https://f-puzzles.com/?id=yp2gq49v link]). | |||
* The fewest total digits in quadruples is currently 27, found by PN ([https://f-puzzles.com/?id=2amwx4pb link]); it is unknown if this is minimal. | |||
<br /> | <br /> | ||
[[File:Aibohphobia.png|200px|thumb|left|"Aibohphobia", longest palindrome, by PN]] | [[File:Aibohphobia.png|200px|thumb|left|"Aibohphobia", longest palindrome, by PN]] | ||
=== Palindrome === | === Palindrome === | ||
* The longest [[Palindrome|palindrome]] possible is 73 cells, found by PN ([https://f-puzzles.com/?id=yy9527mc link]). This is the theoretical maximum, since only one digit can appear an odd number of times (the digit at the center of the palindrome). | * The longest [[Palindrome|palindrome]] possible is 73 cells, found by PN ([https://f-puzzles.com/?id=yy9527mc link]). This is the theoretical maximum, since only one digit can appear an odd number of times (the digit at the center of the palindrome). | ||
* The fewest number of cells covered by palindromes required to uniquely [[color]] the grid is 26 ([ | * The fewest number of cells covered by palindromes required to uniquely [[color]] the grid is 26 ([http://sudokutheory.com/wiki/index.php?title=File:Image_506e5fa1-32ec-419e-9133-53f8de464429.png link]), found by PN. The fewest solutions for a 24-cell coverage puzzle is only 2 ([http://sudokutheory.com/wiki/index.php?title=File:Image_0037d64e-82ec-49e5-8077-7832ed4389f1.png link]), found by ryokousha. | ||
=== Palindrome + Anti-Knight === | === Palindrome + Anti-Knight === | ||
* The fewest number of cells covered by palindromes required to uniquely color an anti-knight grid is 8 ([ | * The fewest number of cells covered by palindromes required to uniquely color an anti-knight grid is 8 ([http://sudokutheory.com/wiki/index.php?title=File:Image_72dbfe9f-3eaa-44d3-9941-9499968a3c38.png link]), found by PN. This is believed to be minimal. | ||
=== Palindrome + Anti-King === | === Palindrome + Anti-King === | ||
Line 205: | Line 339: | ||
=== Clone === | === Clone === | ||
* The largest clone possible is 48 cells, found by [[thecoolone|TheCoolOne]] ([http://sudokutheory.com/wiki/index.php?title=File:Image_80ca7e7c-7b51-425a-8914-df359d0ac090.png link]). | |||
* The largest clone possible without overlap is 30, found by Botaku ([http://sudokutheory.com/wiki/index.php?title=File:Image_6061e402-5d36-4385-b37e-9f4506300524.png link]). | |||
* The maximum number of times a [[Clone|clone]] domino can appear in a sudoku without overlapping is 8, proven by [[thirdmunky]] and [[Botaku]] (actually, they provied the more general case of a non-overlapping domino which can take any orientation). If the sudoku is considered toroidally, 9 dominoes are placeable {{Citation needed}}. | * The maximum number of times a [[Clone|clone]] domino can appear in a sudoku without overlapping is 8, proven by [[thirdmunky]] and [[Botaku]] (actually, they provied the more general case of a non-overlapping domino which can take any orientation). If the sudoku is considered toroidally, 9 dominoes are placeable {{Citation needed}}. | ||
* The maximum for non-overlapping three-cell clones is also 8, found by Botaku ([https://f-puzzles.com/?id=y6xt2c4r link]). | * The maximum for non-overlapping three-cell clones is also 8, found by Botaku ([https://f-puzzles.com/?id=y6xt2c4r link]). | ||
Line 218: | Line 354: | ||
* The fewest number of distinct sums needed is 1; this can be done for the following sums: | * The fewest number of distinct sums needed is 1; this can be done for the following sums: | ||
[[File:X_Sum_Sudoku_15.png|300px|thumb|right|homogeneous X-Sums, by clover]] | [[File:X_Sum_Sudoku_15.png|300px|thumb|right|homogeneous X-Sums, by clover]] | ||
{| class="wikitable" | |||
! Sum | |||
! Found by | |||
|- | |||
| [https://f-puzzles.com/?id=2xrqjh58 15] | |||
| clover | |||
|- | |||
| [https://f-puzzles.com/?id=2dpxbnl9 17] | |||
| PN | |||
|- | |||
| [https://f-puzzles.com/?id=2g7t9es7 18], [https://f-puzzles.com/?id=2agy2me5 19], [https://f-puzzles.com/?id=25jpjru9 20] | |||
| clover | |||
|- | |||
| [https://f-puzzles.com/?id=2xvwvtrg 21] | |||
| Astral Sky Ranger | |||
|- | |||
| [https://f-puzzles.com/?id=2bpea4zk 23], [https://f-puzzles.com/?id=2526bm3l 24], [https://f-puzzles.com/?id=286ns49o 25], [https://f-puzzles.com/?id=2xq6p436 26], [https://f-puzzles.com/?id=24ag4dxn 27] | |||
| PN | |||
|- | |||
| [https://f-puzzles.com/?id=y2pklrgl 28] | |||
| Sam Cappleman-Lynes | |||
|- | |||
| [https://f-puzzles.com/?id=2ax5sgbw 30], [https://f-puzzles.com/?id=22dz5sjh 31], [https://f-puzzles.com/?id=2ccfmdj9 32], [https://f-puzzles.com/?id=27rla28r 33], [https://f-puzzles.com/?id=2xodofsu 35] | |||
| PN | |||
|} | |||
* This list is believed to be complete; it has been proven impossible for sums <= 13 and >= 37 (by [[marek stefanik]]), and the sums 16, 22, 29, and 34 only have two values for X, resulting in a maximum of 8 clues (believed to be insufficient for this more restricted problem). The fewest solutions for a puzzle with only 36-sums is 38 ([https://f-puzzles.com/?id=28pzpaqm link]), which is also believed to be the minimum. | * This list is believed to be complete; it has been proven impossible for sums <= 13 and >= 37 (by [[marek stefanik]]), and the sums 16, 22, 29, and 34 only have two values for X, resulting in a maximum of 8 clues (believed to be insufficient for this more restricted problem). The fewest solutions for a puzzle with only 36-sums is 38 ([https://f-puzzles.com/?id=28pzpaqm link]), which is also believed to be the minimum. | ||
* The largest possible total of all the x-sums on one edge of the grid is 264, as found by zzw ([https://f-puzzles.com/?id=2cc6jfjt link]). This is the theoretical maximum. | |||
<br /> | <br /> | ||
[[File: | [[File:Max sandwich sum 363.png|200px|thumb|left|maximal Sandwich Sum, by Vorados]] | ||
=== Sandwich === | === Sandwich === | ||
* The smallest possible total of all the sandwich sums in a puzzle is 16 ([ | * The smallest possible total of all the sandwich sums in a puzzle is 16 ([http://sudokutheory.com/wiki/index.php?title=File:Image_052a0a45-f57d-4db0-b928-30076ee2e35a.png link]). This is believed to be minimal. | ||
* The largest | * The largest total of all the sandwich sums in a puzzle is 363 ([https://f-puzzles.com/?id=2bzmly29 link]) found by Vorados. It is unknown if this is maximal. | ||
* The fewest distinct sandwich totals possible is 2 ([https:// | * The smallest possible total of all the sandwich sums for rows is 6 ([http://sudokutheory.com/wiki/index.php?title=File:Image_31922fd7-6ac6-47d9-90dc-8711abf9a524.png link]) found by PN. This is probably minimal, although I don't remember why. | ||
* The largest possible total of all the sandwich sums for rows is 183 ([https://logic-masters.de/Raetselportal/Raetsel/zeigen.php?id=00052M link]). This is the theoretical maximum. | |||
* The fewest distinct sandwich totals possible is 2 ([https://f-puzzles.com/?id=ybdnhoak link]), found by Reson. This it the theoretical minimum, as demonstrated by brute force. zzw showed that it is possible for the sums to be non-zero, if and only if the two sums total to 35 ([http://sudokutheory.com/wiki/index.php?title=File:Image_d828b59d-43b5-47b2-bba0-c0399e695805.png link]). | |||
* For irregular sudoku it is possible to have a single distinct total, and is possible for precisely the sums 16, 17, or 18, as shown by zzw ([http://sudokutheory.com/wiki/index.php?title=File:Image_0fc7edba-d9d5-40d4-ad31-981d4235daa8.png link]). | |||
* The fewest number of distinct sums needed to resolve a grid up to exchange of 1s and 9s is 1. This can be done with sums of [https://f-puzzles.com/?id=yqd7s8fq 12], [https://f-puzzles.com/?id=ykzqkke5 13], [https://f-puzzles.com/?id=ynlqnufh 16], [https://f-puzzles.com/?id=yte6pxls 17], [https://f-puzzles.com/?id=ykj777n8 18], [https://f-puzzles.com/?id=ylydz8ge 19], [https://f-puzzles.com/?id=2xgdwe69 22], and [https://f-puzzles.com/?id=yu2o3y4r 23], all found by [[SSGranor]]. All other possible sandwich sums have digit permutations that would prevent digits from all being distinguishable. | |||
* The maximum number of sandwiches of a given width has been proven for the following sizes: | |||
{| class="wikitable" | |||
! Width | |||
! Count | |||
! Found by | |||
|- | |||
| 0 | |||
| [http://sudokutheory.com/wiki/index.php?title=File:Image_c2b01a6f-7b91-4355-90e9-7d476f6f53db.png 15] | |||
| zzw | |||
|- | |||
| 1 | |||
| [http://sudokutheory.com/wiki/index.php?title=File:Image_68752df6-9547-4cb9-ad07-1d2a95648dbe.png 15] | |||
| zzw | |||
|- | |||
| 2 | |||
| [http://sudokutheory.com/wiki/index.php?title=File:Image_ae65cd40-1b47-4114-93ea-88cda8136d2e.png 12] | |||
| zzw | |||
|- | |||
| 3 | |||
| [http://sudokutheory.com/wiki/index.php?title=File:Image_98b110ac-beee-49c9-a577-2255e9f8cc2f.png 15] | |||
| zzw | |||
|- | |||
| 4 | |||
| [http://sudokutheory.com/wiki/index.php?title=File:Image_8e37413a-982f-4d03-afe4-b4ca64cc56a1.png 14] | |||
| jovial | |||
|- | |||
| 5 | |||
| [http://sudokutheory.com/wiki/index.php?title=File:Image_85e4b7ce-1754-498a-b4d4-573a3466f183.png 11] | |||
| jovial | |||
|- | |||
| 6 | |||
| 8 (trivial) | |||
| | |||
|- | |||
| 7 | |||
| 4 (trivial) | |||
| | |||
|} | |||
(actually I'm not sure 0 has been proven, but it feels correct) | |||
=== Sandwich + Anti-Knight + Non-Consecutive === | === Sandwich + Anti-Knight + Non-Consecutive === | ||
* The fewest sandwich clues required is 2 ([ | * The fewest sandwich clues required is 2 ([http://sudokutheory.com/wiki/index.php?title=File:Image_52062da9-7212-4c16-b089-d5536172b1a4.png link]), found by Gliperal, which is the theoretical minimum, as 1 clue would allow the grid to be mirrored. | ||
=== Little Killer === | === Little Killer === | ||
* The fewest known number of [[Little Killer]] clues needed for a unique solution is 5 ([http://enigm-attic.blogspot.com/2012/10/petits-tueurs-en-serie.html link]), found by [[Bastien Vial-Jaime]]. | * The fewest known number of [[Little Killer]] clues needed for a unique solution is 5 ([http://enigm-attic.blogspot.com/2012/10/petits-tueurs-en-serie.html link]), found by [[Bastien Vial-Jaime]]. | ||
* The fewest number of distinct sums needed is 1; this can be done for | * The fewest number of distinct sums needed is 1; this can be done for all sums from 12 to 48 and no others: | ||
[[File: | [[File:LK_12.png|300px|thumb|right|homogeneous Little Killer, by SSGranor]] | ||
{| class="wikitable" | |||
! Sum | |||
! Found by | |||
|- | |||
| [https://f-puzzles.com/?id=2ov26rz6 12] | |||
| SSGranor | |||
|- | |||
| [https://f-puzzles.com/?id=247qcsg9 13], [https://f-puzzles.com/?id=2b7fvqsg 14], [https://f-puzzles.com/?id=25quzwvo 15] | |||
| PN | |||
|- | |||
| [http://sudokutheory.com/wiki/index.php?title=File:Image_af39a050-fd39-4071-ace0-d486a8e96d5f.png 16] | |||
| clover | |||
|- | |||
| [http://sudokutheory.com/wiki/index.php?title=File:Image_79867036-1bce-4740-9be5-d3851e28e448.png 17], [http://sudokutheory.com/wiki/index.php?title=File:Image_499c204a-cae4-48c6-824d-b70977b816ca.png 18], [http://sudokutheory.com/wiki/index.php?title=File:Image_5c0460c9-6a66-430e-ad6d-9afbec7f5dc5.png 19], [http://sudokutheory.com/wiki/index.php?title=File:Image_07ef75ec-78d4-4be8-bfc6-a218f20cabbf.png 20], [http://sudokutheory.com/wiki/index.php?title=File:Image_dabc4f74-081c-4b88-9237-c6c8208ee435.png 21], [http://sudokutheory.com/wiki/index.php?title=File:Image_0afe97fe-d1f3-4b4a-b032-36beb866ff40.png 22], [http://sudokutheory.com/wiki/index.php?title=File:Image_0c0a7c02-b4c9-4399-a6ee-64bafc2ff399.png 23] | |||
| AFrayedKnot | |||
|- | |||
| [https://f-puzzles.com/?id=25a9k72h 24] | |||
| PN | |||
|- | |||
| [http://sudokutheory.com/wiki/index.php?title=File:Image_9a27deb5-f63d-47e8-bf93-f6f6204d887c.png 25] | |||
| clover | |||
|- | |||
| [https://f-puzzles.com/?id=26or3goe 26], [https://f-puzzles.com/?id=2l4nea28 27], [https://f-puzzles.com/?id=2qymuxap 28], [https://f-puzzles.com/?id=2g2ox2oe 29], [https://f-puzzles.com/?id=2oq3ytal 30], [https://f-puzzles.com/?id=2jda8sqa 31] | |||
| SSGranor | |||
|- | |||
| [https://f-puzzles.com/?id=24sd7zma 32], [https://f-puzzles.com/?id=25wudy8d 33], [https://f-puzzles.com/?id=23mkf7s7 34] | |||
| AFrayedKnot | |||
|- | |||
| [https://f-puzzles.com/?id=2y7gsq6z 35] | |||
| PN | |||
|- | |||
| [https://f-puzzles.com/?id=2bjxqh54 36], [https://f-puzzles.com/?id=27j9phra 37], [https://f-puzzles.com/?id=285zoewd 38] | |||
* | | SSGranor | ||
|- | |||
| [https://f-puzzles.com/?id=24ct3bwb 39] | |||
* | | AFrayedKnot | ||
|- | |||
| [https://f-puzzles.com/?id=2e4rmtku 40], [https://f-puzzles.com/?id=2zntvvlp 41], [https://f-puzzles.com/?id=223d6agx 42], [https://f-puzzles.com/?id=2yjnewts 43], [https://f-puzzles.com/?id=2psfso2o 44], [https://f-puzzles.com/?id=2h9ddsv3 45], [https://f-puzzles.com/?id=2pmpc5fa 46], [https://f-puzzles.com/?id=2dmdlnnv 47], [https://f-puzzles.com/?id=2xunnaqw 48] | |||
| SSGranor | |||
|} | |||
* | * The fewest solutions for a puzzle with only 11-sums is 2 ([https://f-puzzles.com/?id=2h24ezxr link]), found by ryokousha. This has been proved minimal by [[zzw]]. Puzzles exist where all clues are less than or equal to 11 ([http://sudokutheory.com/wiki/index.php?title=File:Image_418462fb-f804-4b97-aa3e-533b058c1fa9.png link]) {{Citation needed}}. | ||
* A unique solution using one distinct sum is trivially impossible for sums lower than 8. Sums greater than 48 have been proved impossible by SSGranor - on principle for sums above 61 and by exhaustion for the rest - and those from 8-11 have been proved impossible by exhaustion by zzw. The maximum number of digits possible to force for each sum is: 32 for 8 ([http://sudokutheory.com/wiki/index.php?title=File:Image_5c7caab1-02bb-407e-bd65-417132a289ee.png link]), 45 for 9 ([http://sudokutheory.com/wiki/index.php?title=File:Image_192d910d-8db5-44e5-8d56-5b4f3d9a7d86.png link]), 41 for 10 ([http://sudokutheory.com/wiki/index.php?title=File:Image_cf1b2219-f896-4d14-b9c2-71a8a0c34b49.png link]), and 65 for 11 ([http://sudokutheory.com/wiki/index.php?title=File:Image_1b220075-4528-4667-b039-448f7ebba7ec.png link]). | |||
* For 6x6, the following totals are possible: | |||
[[File:homogenous_little_killer_22_6x6.png|300px|thumb|right|homogeneous Little Killer, by rubenscube]] | |||
{| class="wikitable" | |||
! Sum | |||
! Found by | |||
|- | |||
| [http://sudokutheory.com/wiki/index.php?title=File:Image_9ea27a0a-1988-4c16-97c7-f0741ea0b926.png 5], [http://sudokutheory.com/wiki/index.php?title=File:Image_cbc167ce-b3e3-45dd-94aa-7d5adb489105.png 6], [http://sudokutheory.com/wiki/index.php?title=File:Image_f551ed34-f98f-4460-9610-2f9a0a78fb59.png 7], [http://sudokutheory.com/wiki/index.php?title=File:Image_cbe1ca4d-6001-4d44-a0e4-80473367e304.png 8], [http://sudokutheory.com/wiki/index.php?title=File:Image_0a628e23-9b6c-4fd5-9f69-4c262758714c.png 9], [http://sudokutheory.com/wiki/index.php?title=File:Image_b3bbe924-793e-449b-83a7-b0ff6eea1fce.png 10], [http://sudokutheory.com/wiki/index.php?title=File:Image_a4487b78-4b40-4acc-92b7-d44a5fd42bcf.png 11], [http://sudokutheory.com/wiki/index.php?title=File:Image_02934a23-1bba-405e-860a-7cbb077925c7.png 12], [http://sudokutheory.com/wiki/index.php?title=File:Image_fb322454-00af-4e5d-b3db-795ef5fc1715.png 13], [http://sudokutheory.com/wiki/index.php?title=File:Image_ca6d8037-0f96-49af-b49d-ae52ff6a731c.png 14], [http://sudokutheory.com/wiki/index.php?title=File:Image_3637ff3b-575c-4503-a0d4-0c6f88e8f53b.png 15], [http://sudokutheory.com/wiki/index.php?title=File:Image_216a6f27-2b08-4df0-84a1-1ed0928c5222.png 16], [http://sudokutheory.com/wiki/index.php?title=File:Image_ea77a707-8a6b-4518-93ce-cfd7c7e591ec.png 17], [http://sudokutheory.com/wiki/index.php?title=File:Image_598f8d98-8a36-4006-8a26-fc87f43e0597.png 18], [http://sudokutheory.com/wiki/index.php?title=File:Image_bbfd944e-0203-4432-89d5-3bcdcccc5b24.png 19], [http://sudokutheory.com/wiki/index.php?title=File:Image_27c80a96-de22-4bfe-a71a-4527731d7eb6.png 20], [http://sudokutheory.com/wiki/index.php?title=File:Image_a8540fff-d4ee-47a6-8e9f-653401648139.png 21], [http://sudokutheory.com/wiki/index.php?title=File:Image_5730e066-51a0-4f9e-80dd-bdbdbb36d886.png 22], [http://sudokutheory.com/wiki/index.php?title=File:Image_0521a33d-bc02-49c7-98cd-2f9c4ec1f444.png 23] | |||
[[File: | | rubenscube | ||
|} | |||
* The minimum known sum of all little killer clues required for a unique solution is 119 ([http://sudokutheory.com/wiki/index.php?title=File:Image_e39abb52-0688-4805-8f09-87f3545f240c.png link]), found by rubenscube. The smallest number of solutions for a total sum of 117 is 2 ([http://sudokutheory.com/wiki/index.php?title=File:Image_168f02ed-644b-4b36-a1ee-f94145c9a9bc.png link]), found by TopAutism. It is unknown if either is minimal. | |||
=== Little Killer + Non-Consecutive === | |||
* The fewest number of little killer clues in a non-consecutive puzzle is 2, found by PN ([http://sudokutheory.com/wiki/index.php?title=File:Image_36d1ccf9-65ba-4618-ba0b-acf3343ca8ef.png link]). | |||
<br clear=all> | |||
[[File:homogenous_Skyscraper_Sudoku.png|200px|thumb|left|homogeneous Skyscrapers, by SSGranor]] | |||
=== Skyscrapers === | === Skyscrapers === | ||
Line 313: | Line 511: | ||
** 5 - [https://f-puzzles.com/?id=29e87nct link] (found by PN) | ** 5 - [https://f-puzzles.com/?id=29e87nct link] (found by PN) | ||
** 6 - [https://f-puzzles.com/?id=27vwyny7 link] (found by SSGranor) | ** 6 - [https://f-puzzles.com/?id=27vwyny7 link] (found by SSGranor) | ||
** The fewest solutions for a puzzle with only 4-clues is 4 ([ | ** The fewest solutions for a puzzle with only 4-clues is 4 ([http://sudokutheory.com/wiki/index.php?title=File:Image_922c0b99-a133-401c-b6c1-79d5f58a9db0.png link]) found by [[Youri]]. | ||
** The fewest solutions for a puzzle with only 3-clues is 8 ([ | ** The fewest solutions for a puzzle with only 3-clues is 8 ([http://sudokutheory.com/wiki/index.php?title=File:Image_35f887c7-7d1b-4a01-9ced-2d7330d41425.png link]) found by AFrayedKnot. | ||
** The fewest solutions for a puzzle with only 2-clues is 2, all of which rely on using 8 clues on one edge. It can be proven that this is insufficient for a unique solution, however, and the prospects of any other arrangement seem very bleak. | ** The fewest solutions for a puzzle with only 2-clues is 2, all of which rely on using 8 clues on one edge. It can be proven that this is insufficient for a unique solution, however, and the prospects of any other arrangement seem very bleak. | ||
* For diagonal skyscrapers, the fewest number of clues required is 4 ([http://sudokutheory.com/wiki/index.php?title=File:Image_246d4a69-5b11-4642-9453-e80a4e9a8130.png link]), found by PN. | |||
<br clear=all> | <br clear=all> | ||
[[File:Whisper_2_solutions.png|200px|thumb|right|German Whispers, 2 solutions, 19 cells, by PN]] | [[File:Whisper_2_solutions.png|200px|thumb|right|German Whispers, 2 solutions, 19 cells, by PN]] | ||
=== German Whispers === | === German Whispers === | ||
* [[German Whispers|German whispers]] cannot result in a unique solution on its own, due to the symmetry of the digits; any solution can be transformed to a different valid solution by mapping each digit X to 10-X. | * [[German Whispers|German whispers]] cannot result in a unique solution on its own, due to the symmetry of the digits; any solution can be transformed to a different valid solution by mapping each digit X to 10-X. | ||
* The minimum number of cells covered by a single line resulting in only two solutions is 19 found by PN ([https://tinyurl.com/3manz9mc link]). This is a total of 18 connections/comparisons between cells, also the minimum known. The best known for 18 cells/17 connections has 36 solutions. It is unknown if allowing branching can improve on this. | * The minimum number of cells covered by a single line resulting in only two solutions is 19 found by PN ([https://tinyurl.com/3manz9mc link]). This is a total of 18 connections/comparisons between cells, also the minimum known. The best known for 18 cells/17 connections has 36 solutions. It is unknown if allowing branching can improve on this. | ||
* The longest single line possible covers 60 cells, found by Reson ([ | * The longest single line possible covers 60 cells, found by Reson ([http://sudokutheory.com/wiki/index.php?title=File:Image_ac2fb5dd-1962-4f4c-8033-a1d34b77cd02.png link]). It is unknown if this is maximal. | ||
=== First and Last Impressions? === | === First and Last Impressions? === | ||
* The maximum number of clues is 31 ([ | * The maximum number of clues is 31 ([http://sudokutheory.com/wiki/index.php?title=File:Image_185399c3-3efd-438f-ae86-aec41ab4b024.png link]), found by Sam Cappleman-Lynes. | ||
=== Pro-King === | === Pro-King === | ||
* The maximum number of pro-king cells is 52 ([ | * The maximum number of pro-king cells is 52 ([http://sudokutheory.com/wiki/index.php?title=File:Image_79a13442-bff6-4962-a25f-8baf80cdafa5.png link]), found by PN. | ||
<br /> | <br /> | ||
[[File:Max_activated_cells.png|200px|thumb|left|36 activated cells, by Youri]] | [[File:Max_activated_cells.png|200px|thumb|left|36 activated cells, by Youri]] | ||
=== Activated Cells === | === Activated Cells === | ||
* The fewest possible activated cells in a sudoku grid is 11, first found by SSGranor ([https:// | * The fewest possible activated cells in a sudoku grid is 11, first found by SSGranor ([https://f-puzzles.com/?id=2a9x2sb2 link]). This is the theoretical minimum, as every row will have at least one, and rows with 5 on the edge will have two. | ||
* The most possible activated cells in a sudoku grid is 36, first found by Youri ([ | * The most possible activated cells in a sudoku grid is 36, first found by Youri ([http://sudokutheory.com/wiki/index.php?title=File:Image_5027f047-10ab-4519-832f-f64fa0a7c7f1.png link]). It is also possible for the activated cells to form a single orthogonally connected region, as shown by Reson ([http://sudokutheory.com/wiki/index.php?title=File:Image_fdb2d256-20fc-461a-a7ea-d314803ef879.png link]). It is unknown whether a snake is possible. | ||
<br clear=all> | <br clear=all> | ||
=== Renban === | |||
* Like German Whispers, [[Renban|Renban]] cannot result in a unique solution on its own, due to the symmetry of the digits; any solution can be transformed to a different valid solution by mapping each digit X to 10-X. | |||
* The minimum number of renban lines required to reduce a grid to two solutions is 8 ([http://sudokutheory.com/wiki/index.php?title=File:Image_bf406f8f-a001-4e30-a9b5-0c668cae02dc.png link]), found by TopAutism. It is unknown if this is minimal. | |||
=== Full Rank === | |||
* The fewest full rank clues is 6 ([http://sudokutheory.com/wiki/images/1/1f/Full_rank_min_6.png link]), found by sigh. It is unknown if this is minimal. | |||
=== X-V === | |||
* The maximum number of X-V clues is 60, as discovered by PN ([http://sudokutheory.com/wiki/index.php?title=File:Image_1bd03898-976b-472a-ba81-33b75a6e26cc.png link]). It is unknown if this is maximal. | |||
=== X-V + Anti-XV === | |||
* The fewest X-V clues (with negative constraint) required to reduce the grid to 8 solutions (the minimum possible without givens) is 5, found by PN ([http://sudokutheory.com/wiki/index.php?title=File:Image_0405aef9-e0e3-4289-a603-346e4a0abbbb.png link]). | |||
=== Region Sum Lines === | |||
* The fewest number of region sum lines required is 1 ([http://sudokutheory.com/wiki/index.php?title=File:Image_80441f9c-7c03-44c6-9dad-33f0c963bd32.png link]), found by AFrayedKnot. This is also possible if the line is required to form a loop ([http://sudokutheory.com/wiki/index.php?title=File:Image_fac9cab0-b30e-4428-adeb-a3f8adc53b41.png link], TopAutism) or travel orthogonally ([http://sudokutheory.com/wiki/index.php?title=File:Image_676b1358-8e6c-44a2-8577-d24d45aeed26.png link], PN). | |||
* For 6x6, the fewest is also 1 ([http://sudokutheory.com/wiki/index.php?title=File:Image_a8b6bb1b-a9ef-4961-879c-6906dc89921d.png link]), found by PN, and can also be done in a loop ([http://sudokutheory.com/wiki/index.php?title=File:Image_6c322b23-28ba-4b6e-a05b-09278a2fd7cd.png link], TopAutism). | |||
=== Fog of War === | |||
* The fewest number of initially lit givens required for a [[Fog of War|fog of war]] sudoku is 4 ([https://tinyurl.com/mr3pa5u2 link]), found by TopAutism. This is the theoretical minimum, but it is unknown if the number of total givens for such a puzzle (currently 20) can go lower. | |||
* With traditional illumination rules (cells initially illuminated by bulbs that cover a 3x3 area), the best known is 5 givens ([https://tinyurl.com/3p575z4m link]), found by PN. | |||
=== Odd / Even === | |||
* Allowing an unlimited number of odd/even clues, the minimum number of givens required is 7, essentially discovered by dobrichev and coloin ([http://forum.enjoysudoku.com/post256747.html#p256747 link]) and put into a puzzle by marek stefanik ([https://f-puzzles.com/?id=ylmr8ha8 link]). This is the theoretical minimum. | |||
=== Size / Entropy === | |||
* The fewest number of size/entropy clues is 21, found by TopAutism ([https://f-puzzles.com/?id=yvuaxzox link]). | |||
=== Arrows where the digit on an arrow is greater than all digits in the indicated direction === | |||
* The fewest number of arrows is 9, found by PN ([http://tinyurl.com/4wxuubzx link]). The fewest known solutions for 8 arrows is 16, also found by PN. | |||
=== Self-Counting Circles === | |||
* The maximum number of self-counting circles is 45, found by zzw ([http://sudokutheory.com/wiki/index.php?title=File:Image_f5a79256-6451-42cf-8016-0e02ad06d883.png link]). | |||
=== Convex Hull === | |||
* The maximum number of digits in a sudoku grid with an 8-vertex convex hull is 6, found by zzw and PN ([http://sudokutheory.com/wiki/index.php?title=File:Image_d40724f5-b4d8-40d7-a0f1-f9446e361951.png link]). | |||
* It is possible to have a unique grid by only specifying the convex hulls of each digit, as found by zzw ([http://sudokutheory.com/wiki/index.php?title=File:Image_b3c278e7-0832-4c84-8140-1b64abe84827.png link]). | |||
=== 10-Lines === | |||
* 10-lines are lines which must be divided into non-overlapping segments which each sum to 10. | |||
* Only one 10-line is necessary to make a puzzle unique, found by AFrayedKnot (image: [https://i.imgur.com/aJgc8Vv.png link], f-puzzles: [https://f-puzzles.com/?id=29yn5zhy link]). | |||
=== Zipper Lines === | |||
* Digits equidistant from a zipper line's center must sum to the same value. If odd length, the center cell must equal that sum. | |||
* The minimum number of zipper lines to force a unique solution is two, found by AFrayedKnot (image: [https://i.imgur.com/VpYdm8L.png link], f-puzzles: [https://f-puzzles.com/?id=22ue5wps link]). | |||
= Miscellaneous = | = Miscellaneous = | ||
Line 344: | Line 601: | ||
[[File:Highly_symmetric_grid.png|200px|thumb|right|highly symmetric grid, by shye]] | [[File:Highly_symmetric_grid.png|200px|thumb|right|highly symmetric grid, by shye]] | ||
* There exist solved 9x9 [[Latin Square|latin squares]] which cannot be divided into sudoku regions aside from the trivial row and column partitions. The first known was found by PN and proven by AFrayedKnot ([ | * There exist solved 9x9 [[Latin Square|latin squares]] which cannot be divided into sudoku regions aside from the trivial row and column partitions. The first known was found by PN and proven by AFrayedKnot ([http://sudokutheory.com/wiki/index.php?title=File:Image_c0fb0d48-e098-4eff-96aa-9bfa507ca0c7.png link]). | ||
* There exist solved sudoku grids which exhibit all three types of symmetry: rotational, reflectional (on both diagonals), and translational. The first recorded example comes from [[shye]] ([https://f-puzzles.com/?id=2q2jsndj link]). | * There exist solved sudoku grids which exhibit all three types of symmetry: rotational, reflectional (on both diagonals), and translational. The first recorded example comes from [[shye]] ([https://f-puzzles.com/?id=2q2jsndj link]). | ||
* There exist pencil-mark sudoku that have exactly two solutions which share no digits in common, first documented by jovi_al ([ | * There exist pencil-mark sudoku that have exactly two solutions which share no digits in common, first documented by jovi_al ([http://sudokutheory.com/wiki/index.php?title=File:Image_35ffa243-7ad0-4314-9dba-1137d6231f6f.png link]). | ||
* It is possible for one digit in a sudoku grid to completely avoid touching (even diagonally) two others, as discovered by [[Emphyrio]] ([ | * It is possible for one digit in a sudoku grid to completely avoid touching (even diagonally) two others, as discovered by [[Emphyrio]] ([http://sudokutheory.com/wiki/index.php?title=File:Image_d5a1f836-09cb-4ceb-b6a6-2042c2c58d7f.png link]). The properties hold toroidally as well. Up to isomorphisms, it is the only pattern that works. | ||
* For a symmetric, non-consecutive grid, the minimum amount of [[Roping|roping]] is two bands and one stack, found by shye ([ | * For a symmetric, non-consecutive grid, the minimum amount of [[Roping|roping]] is two bands and one stack, found by shye ([http://sudokutheory.com/wiki/index.php?title=File:Image_d00535a6-8bc0-435a-b18d-05acd374cfc6.png link]). It is unknown if better is possible. | ||
* There exist sudoku solutions that can be divided into two sets of digits, such that any orthogonally connected group in either set contains no repeated digits, as demonstrated by [[JMoat13]]([ | * There exist sudoku solutions that can be divided into two sets of digits, such that any orthogonally connected group in either set contains no repeated digits, as demonstrated by [[JMoat13]]([http://sudokutheory.com/wiki/index.php?title=File:Image_eccd0750-f4d4-4e1b-9bd2-f5f1f0e72d9c.png link]) using a 4-digit/5-digit split. It is believe to be impossible for a 3-digit/6-digit split, even if the restriction on the 3-digit clusters is lifted. | ||
* The minimum number of distinct sums of orthogonally adjacent digits in a filled sudoku grid is 7 ([ | * The minimum number of distinct sums of orthogonally adjacent digits in a filled sudoku grid is 7 ([http://sudokutheory.com/wiki/index.php?title=File:Image_ceb3c575-ad80-4fc9-9e74-4ff40c073648.png link]) found by PN, this is the minimum, proven using a SAT solver by nathanf. Manually, a lower bound of 6 has been proven by rubenscube {{Citation needed}}. | ||
[[File:Numbered Rooms_fully_clued.png|200px|thumb|left|numbered rooms, by nathanf]] | [[File:Numbered Rooms_fully_clued.png|200px|thumb|left|numbered rooms, by nathanf]] | ||
* The minimum number of regions into which a solved grid can be partitioned, such that any one region can be deleted without adding solutions, is 3. Youri was first to describe the trivial partition where each region consists of 3 boxes, one from each band and stack. If the regions are required to be orthogonally connected, then the best known is 5 ([ | * The minimum number of regions into which a solved grid can be partitioned, such that any one region can be deleted without adding solutions, is 3. Youri was first to describe the trivial partition where each region consists of 3 boxes, one from each band and stack. If the regions are required to be orthogonally connected, then the best known is 5 ([http://sudokutheory.com/wiki/index.php?title=File:Image_df35fba6-078b-4cfc-a07f-1c1d48656297.png link]) found by AFrayedKnot. For specific grids, this can be improved to 2 ([http://sudokutheory.com/wiki/index.php?title=File:Image_419c32b3-0710-4aed-b3d7-347683b81204.png link]), also found by Youri. | ||
* There also exist specific grids which can be partitioned into 3 or even 4 sets of digits, such that each group individually (that is, deleting all other groups) still results in a unique solution. The first of these "Troikas" were found by [[Mathimagics]] ([http://forum.enjoysudoku.com/troika-sudokus-a-challenge-t39718.html#p315291 link]); in fact, the linked grids are "Perfect Troikas" in that they are partitioned into equal (27-cell) sets and each resulting grid is minimal. The first "Quadriga" was found by [[coloin]] ([http://forum.enjoysudoku.com/quadriga-sudoku-t39738-15.html?hilit=quadriga#p315777 link]). | * There also exist specific grids which can be partitioned into 3 or even 4 sets of digits, such that each group individually (that is, deleting all other groups) still results in a unique solution. The first of these "Troikas" were found by [[Mathimagics]] ([http://forum.enjoysudoku.com/troika-sudokus-a-challenge-t39718.html#p315291 link]); in fact, the linked grids are "Perfect Troikas" in that they are partitioned into equal (27-cell) sets and each resulting grid is minimal. The first "Quadriga" was found by [[coloin]] ([http://forum.enjoysudoku.com/quadriga-sudoku-t39738-15.html?hilit=quadriga#p315777 link]). | ||
* Every solution to a sudoku grid contains some set of 21 cells (or less), which make a uniquely solvable puzzle. 21 has been proven to be the minimum in this regard by Mathimagics, using exhaustive search ([http://forum.enjoysudoku.com/low-hi-clue-thresholds-t36214-165.html#p284767 link]). The search also proved that there are only 4 essentially different grids which contain 21C puzzles, but no 20C puzzles, which were first discovered by blue in [http://forum.enjoysudoku.com/grids-containing-a-21-but-no-20-t36215.html this thread]. | |||
* The maximum number of extra regions that can exist in a classic sudoku grid is 24. It is suspected that this is maximal, and requires a fully-roped grid. | |||
* There exists a [[Numbered Rooms|numbered rooms]] grid with one set of the clues 1-9 on each edge of the grid, found by [[nathanf]] ([https://f-puzzles.com/?id=2obtuxnh link]), with a unique solution. | * There exists a [[Numbered Rooms|numbered rooms]] grid with one set of the clues 1-9 on each edge of the grid, found by [[nathanf]] ([https://f-puzzles.com/?id=2obtuxnh link]), with a unique solution. | ||
* The smallest possible sum of the clues in a numbered rooms puzzle is 40, found by jmerry ([http://sudokutheory.com/wiki/index.php?title=File:Image_8a274e61-6ab2-4def-891e-f3ab17547cc7.png link]). In an even-sized grid it is possible for all of the clues to be 1, as shown on 16x16 by PN ([http://sudokutheory.com/wiki/index.php?title=File:Image_4a736516-170a-441f-9b27-a841c98725a8.png link]). | |||
* The maximum number of impossible orthogonal pairs that can exist in a sudoku grid is 18. | |||
* The maximum number of deadly patterns in a variant sudoku is 16, found by TopAutism ([http://sudokutheory.com/wiki/index.php?title=File:Image_4f32aa04-a166-47e1-9886-32ba187ab7db.png link]). | |||
* The maximum number of deadly patterns in a classic sudoku is 11, found by TopAutism ([http://sudokutheory.com/wiki/index.php?title=File:Image_d13b10b5-81aa-45aa-86f8-c07c3b6e002e.png link]). Interestingly, the grid also doubles as a 16-solution for variant sudoku. | |||
* The maximum number of anti-queen digits (that is, digits which never appear more than once on any diagonal) is 7. | |||
* The maximum number of digits in a bishop team (that is, digits which never appear on a diagonal with a different digit from the same team) is 3, as found by nathanf ([https://f-puzzles.com/?id=25r9racm link]). This grid has the additional property that it has three teams of bishops. | |||
* The maximum number of friendly cells possible in a sudoku is 27, one each for the nine rows, columns, and boxes. It is possible to make a snake that contains all such digits, as found by PN ([https://youtu.be/19oI1pITI5s link]). | |||
* There exist solved sudoku grids for which every diagonal sums to a distinct total, as shown by Sam Cappleman-Lynes ([https://f-puzzles.com/?id=273g32ls link]). | |||
* Non-consecutive grids exist with no repeated triples, as shown by Rangsk ([https://i.imgur.com/GwexEA9.png link]). | |||
* There exist grids that contain a 44-cell-long snake that does not touch itself orthogonally and consists only of odd digits. There are no grids that contain a 45-snake if it starts in a corner (nathanf). | |||
* There exist grids that contain a 36-cell-long loop that contain all the even digits, if allowed to travel diagonally, as found by PN ([http://sudokutheory.com/wiki/index.php?title=File:Image_cf3cd842-0268-448d-b492-349c958a2631.png link]). | |||
* The maximum number of 9-digit square numbers that can be fit into a sudoku grid is 5, found by Manus Hand ([https://f-puzzles.com/?id=2cajl5cy link]). | |||
* There exist solved sudoku grids that are both diagonally non-consecutive and diagonally non-equal (anti-king), as shown by ryokousha ([https://f-puzzles.com/?id=2bhwu25f link]). | |||
* There exist latin squares that are both orthogonally and diagonally nonconsecutive, as shown by nmay231 ([http://sudokutheory.com/wiki/index.php?title=File:Image_b794739d-027d-4b1d-8f08-4622c8e74ae5.png link]). | |||
* There exist solved sudoku grids in which every digit is orthogonally adjacent to every other digit at least once, as shown by Sonic ([http://sudokutheory.com/wiki/index.php?title=File:Image_5d7ce028-aa6c-425b-855a-6a67e91b8513.png link]). | |||
* There exist solved sudoku grids in which every instance of a 1 is orthogonally adjacent to a 2, as shown by Ben ([http://sudokutheory.com/wiki/index.php?title=File:Image_bc691b85-c5d5-4416-b5c3-3aa630e1cf91.png link]). It is also possible for this relationship to be mutual ([https://f-puzzles.com/?id=29hdujqu link]). | |||
* There exist solved sudoku grids in which all cells have at least one orthogonally adjacent cell with a consecutive digit, known as Touchy Sudoku, and with examples dating as early as 2007. | |||
* There exist solved 6x6 sudoku grids in which all cells are connected to each other by following orthogonally adjacent consecutive digits (kendfrey). | |||
* There exist latin squares in which all digits are a knight's move away from at least one identical digit (pro-knight), as shown by Alice ([https://www.youtube.com/watch?v=-iNGf1PJaUA link]). | |||
* The maximum number of naked singles that are possible at any given time is 12, as found by TheCoolOne ([http://sudokutheory.com/wiki/index.php?title=File:Image_2dc377fd-6e9a-4548-adba-60f79e866739.png link]). Surely this can be improved. | |||
* Cube Nets | |||
** It is possible to fit all 11 unique cube nets in a 9x9 grid, as shown by PN ([http://sudokutheory.com/wiki/index.php?title=File:Image_80c8401c-9522-45ce-8f97-90267d537320.png link]). | |||
** If the nets are required to contain the digits 1-6 only, then it is possible to fit 9{{Citation needed}}. | |||
** If the nets are required to contain one set of the digits 1-6 each, then it is possible to fit 8{{Citation needed}}. | |||
** If the nets are required to fold into valid dice (opposite digits summing to 7), then it is possible to fit 5, as shown by Gliperal ([http://sudokutheory.com/wiki/index.php?title=File:Image_3ed03701-0abb-4cb8-b16b-164bea7fb1c1.png link]). | |||
== Augmented Classics == | == Augmented Classics == | ||
Line 360: | Line 644: | ||
[[File:Augmented_classic_white_dot.png|200px|thumb|right|Augmented Classic, by TopAutism]] | [[File:Augmented_classic_white_dot.png|200px|thumb|right|Augmented Classic, by TopAutism]] | ||
* Although it is not possible for a sudoku puzzle to be unique with only given digits along the border{{Citation needed}}, many individual constraints are enough to finish the job, including: | * Although it is not possible for a sudoku puzzle to be unique with only given digits along the border{{Citation needed}}, many individual constraints are enough to finish the job, including: | ||
** Ratio Dot - [ | ** Ratio Dot - [http://sudokutheory.com/wiki/index.php?title=File:Image_9329103d-6320-41dc-ab06-3eb6ac14605f.png link] (found by jovi_al) | ||
** Consecutive Pair - [ | ** Consecutive Pair - [http://sudokutheory.com/wiki/index.php?title=File:Image_80460846-63b0-4d6c-9c7d-19efcaca4a8c.png link] (found by TopAutism) | ||
** 2-cell thermometer - [ | ** 2-cell thermometer - [http://sudokutheory.com/wiki/index.php?title=File:Image_cb5e7d44-34ce-424a-b876-f25b3497bd0d.png link] (found by PN) | ||
** 2-cell German Whispers line - [ | ** 2-cell German Whispers line - [http://sudokutheory.com/wiki/index.php?title=File:Image_be2b9ce9-4e86-4abd-9a23-12178425e8a7.png link] (found by PN) | ||
== Famous Number Classics == | |||
* There is a trend of setting classics whose string representation contain as many of the digits of certain famous numbers as possible, in order. In this case zeros are allowed as wildcards, since any character that is not a digit 1-9 is typically treated as an empty cell. Puzzles with unique solutions exist for the following numbers: | |||
** Pi: All 32 digits before the first zero, by m_b_metcalf ([http://forum.enjoysudoku.com/pi-t38253.html#p294918 link]) | |||
** e: 31 digits, including 2 zeros, by m_b_metcalf ([http://forum.enjoysudoku.com/pi-t38253.html#p294938 link]) | |||
** Graham's Number: Last 41 digits, including 3 zeros, by SMMarcus100 ([http://sudokutheory.com/wiki/index.php?title=File:Image_f5478a0c-b7e2-4f7f-8986-bc612b142598.png link]) | |||
== Greatest Distance between Givens == | |||
* Greatest Euclidean distance around a single given is √40 ([http://sudokutheory.com/wiki/index.php?title=File:Image_31261f3d-f598-4877-9e0a-01c28f81db67.png link]), found by kendefrey. | |||
* Greatest taxicab distance between the closest pair of givens in an irregular sudoku is 4 ([http://sudokutheory.com/wiki/index.php?title=File:Image_6536eeff-b370-4495-9830-18f5043edbb9.png link]), found by shye. | |||
* Greatest taxicab distance between the closest pair of givens in anti-knight is 4 ([http://sudokutheory.com/wiki/index.php?title=File:Image_4b1d3a46-65e5-40d5-a1d7-b6b418e809a0.png link]), found by shye. This is suspected to be maximal. | |||
* Greatest taxicab distance around a single given in anti-knight is 12 ([https://f-puzzles.com/?id=25bdzlf7 link]), found by Gliperal. This is maximal. | |||
* Greatest taxicab distance between the closest pair of givens in a dotless kropki sudoku is 8 ([http://sudokutheory.com/wiki/index.php?title=File:Image_369ff137-a2d0-431d-9338-e0c4ca987eed.png link]), found by shye. This is also the greatest known Euclidean distance, at √50. Both are maximal {{Citation needed}}. |
Latest revision as of 22:46, 30 October 2024
This page is for collecting "nerd snipes" - various tasks to answer questions about minimums, maximums, and counts for all things sudoku.
Classic Sudoku
- The fewest given digits in a classic sudoku is 17; this was proven by McGuire et al. There exist 16 given sudoku with as few as 2 solutions. There are exactly 49158 essentially different 17 given puzzles; the last was found in 2019 (link), and an exhaustive search (link) has confirmed that this is a complete list. List of all essentially different 17 given puzzles.
- For 8x8 (standard, with 4x2 regions), the minimum is 14 givens, proven by Lass, Christoph. (2012).
- For 6x6 (standard, with 3x2 regions), the minimum is 8 givens (link), and can even be done symmetrically (link, jovial). The fewest known solutions for 7 givens is 6, by Qinlux (link).
- For 5x5 the minimum is 6 givens, and for 7x7 the minimum is 12 givens. Qiu Yangzhe demonstrated a pattern on latin squares that can be extended indefinitely to find minimums for any prime-sized sudoku (link). The pattern has been theorized to be minimal for all such grid sizes, although not proven for any greater than 8.
- For 16x16 the minimum is 55 givens (link). It is unknown if this can be improved.
- For 10x10 (standard, with 5x2 regions), the minimum is 22 givens (link), found by ton. It is unknown if this can be improved.
- For 12x12 (with 6x2 regions), the minimum is 32 givens (link), found by ton. It is unknown if this can be improved.
- For 12x12 (with 4x3 regions), the minimum is 30 givens (link), found by ton. It is unknown if this can be improved.
- For 15x15 (with 5x3 regions), the minimum is 48 givens (link), found by ton. It is unknown if this can be improved.
- For 20x20 (with 5x4 regions), the minimum is 88 givens (link), found by ton. It is unknown if this can be improved.
- For 25x25 the minimum is 151 givens Template:Citation needed. It is unknown if this can be improved.
- Every solution grid has at least one minimal puzzle with fewer than 22 givens, as shown by Mathemagics and blue. There are exactly four grids which do not have a minimal puzzle with fewer than 21 givens (link).
- The most givens for a minimal classic sudoku is 40. Two examples are known, both found by dobrichev. In the work to find these Sudokus, other high-clue puzzles were catalogued, including more than 6,500,000,000 minimal puzzles with 36 clues. About 2600 minimal Sudokus with 39 clues were also found[1]. This is believed to be the maximum, but it is not proven to be. If dropping the requirement for the uniqueness of the solution, 41-clue minimal pseudo-puzzles are known to exist, but they can be completed to more than one solution grid. Removal of any clue increases the number of the completions and from this perspective none of the 41 clues is redundant. With slightly more than half the grid filled with givens (41 of 81 cells), the uniqueness of the solution constraint still dominates over the minimality constraint.
- The most empty houses in a classic sudoku is 9 (3 boxes, 3 rows, 3 columns). This is the maximum, shown by exhaustive search Template:Citation needed.
- For a 6x6 grid, the most empty houses is 6 (link), found by randomra.
- The most empty diagonals in a classic sudoku is 24 (link) as found by PN.
- The largest rectangle of empty cells in a classic sudoku is 32 cells (4x8). This is believed to be the maximum, but it is not proven to be. If the rectangle is allowed to rotate, then an area of 36 is possible, covering 54 cells and enclosing 27 (link).
- The largest number of consecutive blanks in a classic sudoku string is 34 (link). This is the theoretical maximum.
- The smallest pattern of cells that ensure one or fewer solutions when filled is 48, as shown by trivial171 (link).
- It is possible to have classic sudoku where the given digits do not touch, not even diagonally (link), as shown by jovi_al.
- For an incomplete puzzle, the maximum number of candidate digits that can be placed in a single cell to create a unique solution is 9 (all of them), as shown by Mauricio (link). TopAutism demonstrated that it is possible for such a puzzle to have rotational symmetry (link). The same can be done for 5x5 without symmetry, as shown by Andrewsarchus (link).
Variants
Unless otherwise noted, the minimums for variants are given either for the fewest givens needed for a unique solution (for a global variant), the fewest of a constraint needed for a unique solution with no given digits, or the fewest cells covered by a constraint needed for a unique solution with no given digits.
Global Variants
Irregular Sudoku
- The fewest givens with irregular regions is 8 (link). This is the theoretical minimum, as at least this many digits are needed to disambiguate the digit permutation. It is unknown who first discovered this pattern of regions, but related patterns exist at least as early as 2001 (link). Similar solution grids with a cyclic pattern in the rows and/or columns are useful for many minimal sudoku tasks.
- The fewest Kropki dots with irregular regions (using the same cyclic pattern) is 6, found by rubenscube (link), this is proven to be the minimum.
- The minimum number of regions required for a latin square to be unsolveable is 2, as found by Eric Fox (link).
- There exist irregular sudoku for all grid sizes greater than 3 that have 0 solutions, as proven by Johan de Ruiter (link).
Anti-Knight
- The fewest givens in an Anti-Knight sudoku is 8; there are 4 essentially different puzzles, found initially by ryokousha, rangsk, and Philip Newman (PN below). An exhaustive search using a gauntlet showed that these are the only four (github, forum). This is the theoretical minimum, as at least this many digits are needed to disambiguate the digit permutation.
- If givens are restricted to the borders of the grid, the fewest possible is 10, found by PN (link). For 9 givens, the lowest solution count is 18, found by PN and ryokousha; this has been verified by rangsk.
- If givens are forbidden from touching, even diagonally, then the fewest possible is 9, found by ryokousha (link). This is the theoretical minimum, as all 8c anti-knight puzzles are known.
- Most anti-knight snipes are known for being terribly unhumanable. The closest anyone has come to a 9-given puzzle that resolves with only singles is TopAutism, with 67 cells filled (link).
Anti-King
- The fewest givens in an anti-king sudoku is 11, found by PN in collaboration with ryokousha (link). It is believed this is minimal, but this has not been proven.
Anti-King + Anti-Knight
- With both anti-king and anti-knight constraints, there is exactly one "essentially different” solution grid (which can be rotated, reflected, or have the digits permuted, to obtain the full list of possible solutions). The fewest possible givens remains 8 in order to disambiguate the digit permutation.
Diagonal (Sudoku X)
- The fewest givens known in a diagonal sudoku is 12; over 500,000 such puzzles are known (link). It is not known whether 11 is possible, though a number of 11c puzzles with 2 solutions are known (including four with 8 distinct digits, found by ryokousha).
Diagonal + Anti-King
- The fewest givens in a sudoku with both diagonal and anti-king constraints is 9, found by PN (link); there are 3 examples known currently. This is believed to be minimal, but this may be proven or disproven by exhaustive search (see above anti-knight section).
Non-Consecutive
- The fewest givens in a non-consecutive sudoku is 4; it is unknown who first determined this, but an exhaustive list has been produced Template:Citation needed.
- The fewest unique given digits needed for a non-consecutive sudoku is 1, discovered by Freddie Hand (link).
"Miracle" (Non-Consecutive + Anti-Knight + Anti-King)
- The fewest givens with anti-knight, anti-king, and non-consecutive constraints ("Miracle Sudoku") is 2, found by Mitchell Lee (link). This ruleset takes its name from the video linked. It has exactly 72 possible solution grids, which are equivalent to one another up to rotation, reflection, and cycling of digits.
Kropki (Anti-Ratio + Non-Consecutive)
- The fewest givens for a dotless kropki — that is, non-consecutive and anti-ratio (2:1) — is believed to be 4, like non-consecutive on its own. There are 8448 dotless solution grids Template:Citation needed. All of them are roped in both directions, and fully roped (using the same three triples in all boxes) in at least one direction. The fully roped triplets come precisely from the options: 125, 138, 145, 147, 158, 159, 237, 257, 268, 347, 359, 378, 379, or 469.
Kropki (Anti-Ratio + Non-Consecutive) + Irregular
- The fewest givens for an irregular dotless kropki is 0, found by PN (link). Several of these are known, and this category has come to be referred to as a Scooby (after the title of the linked puzzle). We are reasonably confident that you can’t have -1 givens.
Anti-XV
Anti-Ratio + Anti-XV + Irregular
- The fewest givens for an irregular anti-ratio anti-XV grid is 0, found by PN (link).
Disjoint Groups
- The fewest givens in a disjoint groups sudoku is 11 (link). It seems to be minimal, but has not been verified.
Hypercube
- The fewest givens in a hypercube sudoku (disjoint groups + minirows and minicolumns, not to be confused with 3D sudoku) is 8 (link), found by Guenter Stertenbrink. This is the theoretical minimum.
Windoku
- The fewest givens in a windoku is 11 (link), found by Andries Brouwer.
Windoku + Diagonal
- The fewest givens in a sudoku with both windoku and diagonal constraints is 9 (link).
Magic
- The fewest givens in a magic sudoku is 7 (link), found by Guenter Stertenbrink. It is unknown if this is minimal.
2-Quasi-Magic
- The fewest givens in a 2-quasi-magic sudoku is 4 (link), found by Tony Forbes. It is suspected that this is minimal.
Indexing
- In a column-indexing sudoku (or, equivalently, a row-indexing sudoku), the fewest givens required is 7 (link), found by PN. The best known result for 6 givens is 4 solutions (link), also found by PN.
Deconstruction
- In an 11x11 deconstruction sudoku with unspecified regions, the fewest givens required is 12 (link), found by TopAutism. If the regions are given, the fewest is 10 (link), also found by TopAutism.
- If the deconstruction grid is constrained to 10x10 in size, the fewest givens is 14 (link), found by lepton.
Local Constraints
Sukaku
- The highest number of candidates in a pencil-mark sudoku is 643 (86 candidates eliminated), found by tdillon (link link).
Killer
- The fewest cages in a killer sudoku with no givens is 6 (link), and the fewest cells covered is 18 (link), both found by PN. The former is believed to be minimal, but this has not been proven (and 7 was believed to be minimal before the 6 was found, so...). It has since been reduced to cover 26 cells, with no cage larger than 5 in size (link).
- The minimum of 18 cells has been proven by Scott Bathurst and PN (link) by filtering known 17 given classics. The existence of a 17-cell killer would imply the existence of a 17-given classic with the killer cells as givens (this is strictly more information than the killer cages give). Only 1 of the 49158 17-given classics passed the first two filters used - requiring the puzzle to be morphable into a form such that every given is adjacent to at least one other given with the property that switching these two givens results in 0 solutions (if swapping the givens results in 1 or more solutions, then replacing them with a killer cage can never disambiguate between these possibilities) - and this cannot be made unique with only killer cages by inspection. It has since been shown that all 49158 17-given classics are known, completing the proof that there is no 17-cell givenless killer.
- If repeated digits are allowed, 1 cage is sufficient (link); it is unknown who discovered this originally. The minimum sum is 120, and the maximum sum is 285.
- In a traditional killer sudoku (where every cell must be covered), the fewest number of cages is 10 (link), found by TopAutism. This is the theoretical minimum.
- For a latin square, the fewest number of cells covered is 20 (link), found by PN.
- The fewest 2-cell cages is 9 (link) found by PN, again covering the theoretical minimum of 18 cells.
- The smallest number of 2-cell cages with unique totals is 10, as found by PN (link).
- The greatest number of 2-cell cages with unique totals is 14, and it is possible to arrange those cages in a loop in sequential order, as found by PN (link).
- The fewest 2- or 3-cell cages is 7 (link) found by PN, again covering the theoretical minimum of 18 cells.
- The fewest 2-cell cages with all different totals is 10 (link), found by PN.
- The fewest 7-cell cages is 9, as found by SSGranor (link).
- The fewest 8-cell cages is 9, found by Reson (link).
- For 6x6, the fewest is 4 cages and 9 cells, found by spaanse and Vorados (link). This has been proved by spaanse to be both the minimal cell coverage and the minimal number of cages.
- For 6x6, the fewest 4-cell cages is 5, found by PN (link).
- For 6x6, the fewest 5-cell cages is 6, found by PN (link). Four cages is possible with as many as two of them being 5-cell in size (link).
- The fewest digits required in killer cage totals is 5 (5 single-digit totals), found by TopAutism (link). This is the theoretical minimum — although 4 clued cages would be sufficient to disambiguate the digits 1-9, at least one would need a double-digit total.
- The greatest number of cells that can be covered entirely by cages summing to 9 is 77 (link), found by TopAutism. This is not the largest area in general for a single total, as 15 and 45 can both cover the entire grid.
- The fewest number of distinct cage totals needed is 1; this can be done for the following values. All other totals permit digit permutations that guarantee more than one solution.
Sum | Found by |
---|---|
8*, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24 | clover |
25 | Joseph Nehme |
26 | clover |
27 | ahaupt |
28, 29, 30, 31 | clover |
32 | Joseph Nehme |
33, 34, 35 | clover |
37 | Sam Cappleman-Lynes |
*requires a 1-cell cage
- For 6x6, the following totals are possible. All other totals permit digit permutations that guarantee more than one solution.
Sum | Found by |
---|---|
8, 10, 11, 13 | PN |
Killer + Anti-Knight
- The fewest cages is 4, found by ryokousha (link). This is the theoretical minimum, as 3 cages cannot disambiguate 9 digits. The fewest cells covered is 12, found by jovi_al (link), which is also the theoretical minimum.
- For 6x6, the fewest is 3 cages and 7 cells, found by PN (link). This is the theoretical minimum for both, as any lower is insufficient to disambiguate the digits.
- The fewest 2-cell cages is 6 (link) found by ryokousha.
Killer + Anti-King
- For 6x6, the fewest is 3 cages and 7 cells, found by PN (link). This is the theoretical minimum for both, as any lower is insufficient to disambiguate the digits.
Killer + Diagonal
- For 6x6, the fewest is 3 cages and 7 cells, found by PN (link). This is the theoretical minimum for both, as any lower is insufficient to disambiguate the digits.
Killer + Anti-King + Diagonal
- The fewest cages is 5, found by PN (link).
Killer + Non-Consecutive
- The fewest cages is 2. It is not possible to get a unique grid with one cage, but the best possible results for any given cage size are: 389 solutions for a 4-cell cage (link), 11 solutions for a 5-cell cage (link), 20 solutions for a 6-cell cage (link), 11 solutions for a 7-cell cage (link), 69 solutions for an 8-cell cage (link), and 18 solutions for a 9-cell cage (link), all found by Rangsk.
- The fewest 2-cell cages is 3 (link) found by Rangsk. The fewest solutions for a two-domino puzzle is 20 (link), also found by Rangsk.
- The fewest 2- or 3-cell cages is 2 (link) found by Rangsk.
- The fewest 7-cell cages is 9, found by SSGranor (link).
Killer + Anti-Knight + Non-Consecutive
- The fewest cages is 1, and the fewest cells is 3, found by PN (link).
Killer + Cage Inequalities
- The fewest given relations between cages in a killer sudoku is 8, as found by Miyuki Misawa (link).
Thermo
- The fewest thermos is 3, originally found by PN; the fewest cells covered is 20, found by blue (link - note that this is called "17c" in the post, referring to the number of greater-than constraints rather than cells covered; as a result, the thermos in this puzzle are purely orthogonal). It is believed that the former is minimal, as a 2-thermo puzzle would require a corresponding 18c classic, but while these are relatively rare they have not been exhaustively cataloged, nor has a search been made to check for whether any can be morphed to a 2-thermo puzzle. It is unknown whether the cell count is minimal — puzzles with as few as 3 solutions are known for 3 thermos and 19 cells (link).
- For 6x6, the fewest is 2 thermos (link). This is the theoretical minimum.
- If branching thermometers are counted as one, then the fewest is one thermo covering 28 cells, found by PN (link).
- If limited to 2-cell thermos, the fewest is 18 if they are allowed to overlap at bulbs, found by PN and ryokousha collaboratively (link), and 19 if not, with two examples found by ryokousha (link) and PN (link) independently. It is unknown whether these are minimal.
- For 6x6, if limited to 2-cell thermos, the fewest is 8 (link), found by PN. The smallest number of solutions for 7 2-cell thermos is 2 (link, link), also found by PN.
- For 4x4, if limited to 2-cell thermos, the fewest is 3 (link), found by PN.
- The minimum number of non-overlapping 2-cell thermometers required for a puzzle to have no solution is 9. It is suspected that this is minimal.
Thermo + Anti-Knight
- The fewest thermos is 1, and the fewest cells covered is 9, found by PN (link). This is the theoretical minimum for both — at least 8 comparisons are needed to disambiguate the digits.
- If limited to 2-cell thermos, the fewest is 10, found by ryokousha (link). It is unknown whether this is minimal.
- If limited to 3-cell thermos, the fewest is 5, found by ryokousha (link). The lowest known number of solutions for a puzzle with four thermos is 774 (link), also found by ryokousha.
Thermo + Non-Consecutive
- The fewest cells covered by thermometers in a non-consecutive puzzle is 5 (link), found by PN.
- For 6x6, the fewest is 4 (link), found by Lavaloid. This is the theoretical minimum, as 6x6 non-consecutive always allows swapping of columns 1 and 2 and columns 5 and 6. A 3-cell thermo cannot resolve both, so the minimal number of solutions is 2, as shown by Rangsk (link).
- If limited to non-joining 2-cell thermos, the fewest is 8, found by ryokousha (link).
Thermo + 3D
- The fewest thermos in a 3D puzzle is 1, as found by zygoloid (link). The number of cells covered it 9, although it is unknown if this is minimal.
- The fewest inequalities in a 3D puzzle is 7, as found by ryokousha (link). It is unknown if this is minimal.
Slow Thermo
- The longest possible slow thermo is 27 cells, found by PN (link). This is the theoretical maximum.
- The fewest slow thermos is 2 (see previous link). This is the theoretical minimum.
Arrow
- The fewest arrows with single-digit sum is 5, and the fewest cells covered is 21, both found by PN in collaboration with (based on a puzzle by) BlueJay (link). It is unknown whether either is minimal.
- If two-digit sums are allowed then 1 arrow is sufficient, as found by PN, based on the Antiknight Arrow by Gliperal and the single repeats-allowed cage (link). It is unknown if this can be done with the arrow only moving orthogonally.
- For 6x6, the fewest is 3 arrows covering 11 cells, found by PN (link).
- If branching arrows are counted as one, then the fewest is 1 arrow covering 23 cells, found by PN (link).
- If the arrows are restricted to 2-cells, then the minimum is 9 (link), found by PN.
- If the arrows are restricted to 3-cell arrows, each contained within one house, then the minimum is 7 (link) found by PN.
- Certain grids are possible to completely cover with arrows, such that every cell belongs to exactly one arrow.
- Allowing for 2-digit pills or bigger makes it possible to have entirely symmetrical arrow puzzles:
- 90-degree rotational symmetry (link), found by PN
- Horizontal symmetry (link), found by PN
- Diagonal symmetry across the positive diagonal (link), found by KenGlue
- If diagonal arrow pills are allowed to disambiguate symmetry across the negative diagonal, then every symmetry is possible at once, as found by TopAutism (link).
Arrow + Anti-Knight
- The fewest arrows (single digit sums) is 3, found by PN (link). This is the theoretical minimum (with two arrows you can have at most seven distinct digits).
- If two-digit sums are allowed then 1 arrow is sufficient, as found by Gliperal (link).
Arrow + Non-Consecutive
- The fewest arrows is 1, and the fewest cells on that arrow is 5 (link) found by PN. The smallest number of solutions known for a 4-cell arrow is 4 (link), also found by PN.
Arrow + Non-Consecutive + Anti-Ratio
- The fewest arrows in a kropki grid is 1, as found by Gliperal (link).
- If restricted to straight arrows, the fewest is 2, as found by PN (link link).
Kropki (with negative constraint)
- The fewest dots (with negative constraint otherwise) is 1, found by jovi_al (link). This is the theoretical minimum. (Interestingly, this dot can be either white or black.)
Kropki Pairs
- The fewest dots for a kropki pairs sudoku (no negative constraint) is 14, found by PN (link). It is unknown whether this is minimal. At least two white dots are required to disambiguate the digits.
- For 6x6, the fewest dots is 7, found by PN (link). It is unknown whether this is minimal.
- For 4x4, the fewest dots is 4, covering 5 cells, found by Conflux (link).
- For 3x3, the fewest dots is 3, covering 4 cells, found by Conflux (link). This is the theoretical minimum.
- The fewest dots with an equal number of white and black dots and where no dot can be removed and remain unique is 8 of each dot (16 in total), found by PN (link) based on a setup by TopAutism. It is unknown whether this is minimal.
- The longest possible chain of consecutive pairs is 32, which can also be done in a loop, found by MikoKisai (link).
- The longest possible chain of ratio dots is 15, found by armadilloappreciationsocietyzach (link).
Kropki Pairs + 3D + Disjoint Groups
- The fewest dots is 1, found by juggler (link).
Quadruples
- The fewest known number of quadruple clues needed for a unique solution is 7 with 4 digits in each quadruple, found by PN (link). It is believed 7 quadruples is minimal, but this has not been proven; it is also unknown whether 7 quadruples with fewer than 4 digits in at least one quadruple is possible.
- The fewest number of quadruples if each one can only contain a single digit is 28, found by TopAutism (link).
- The fewest total digits in quadruples is currently 27, found by PN (link); it is unknown if this is minimal.
Palindrome
- The longest palindrome possible is 73 cells, found by PN (link). This is the theoretical maximum, since only one digit can appear an odd number of times (the digit at the center of the palindrome).
- The fewest number of cells covered by palindromes required to uniquely color the grid is 26 (link), found by PN. The fewest solutions for a 24-cell coverage puzzle is only 2 (link), found by ryokousha.
Palindrome + Anti-Knight
- The fewest number of cells covered by palindromes required to uniquely color an anti-knight grid is 8 (link), found by PN. This is believed to be minimal.
Palindrome + Anti-King
- The fewest number of cells covered by palindromes required to uniquely color an anti-king grid is 19 (link), found by Gliperal.
Clone
- The largest clone possible is 48 cells, found by TheCoolOne (link).
- The largest clone possible without overlap is 30, found by Botaku (link).
- The maximum number of times a clone domino can appear in a sudoku without overlapping is 8, proven by thirdmunky and Botaku (actually, they provied the more general case of a non-overlapping domino which can take any orientation). If the sudoku is considered toroidally, 9 dominoes are placeable Template:Citation needed.
- The maximum for non-overlapping three-cell clones is also 8, found by Botaku (link).
- The maximum for non-overlapping 3x3 clones is 5 Template:Citation needed. The 3x3 clone in this case must form an extra region (a digit appearing twice in the clone would need to appear 10 times in the grid).
Magic Square
- The maximum number of non-overlapping magic squares is 5 (see above clone section).
X-Sums
- The fewest known number of X-Sum clues needed for a unique solution is 7 (link). This is believed to be minimal, but has not been proven.
- The fewest number of distinct sums needed is 1; this can be done for the following sums:
Sum | Found by |
---|---|
15 | clover |
17 | PN |
18, 19, 20 | clover |
21 | Astral Sky Ranger |
23, 24, 25, 26, 27 | PN |
28 | Sam Cappleman-Lynes |
30, 31, 32, 33, 35 | PN |
- This list is believed to be complete; it has been proven impossible for sums <= 13 and >= 37 (by marek stefanik), and the sums 16, 22, 29, and 34 only have two values for X, resulting in a maximum of 8 clues (believed to be insufficient for this more restricted problem). The fewest solutions for a puzzle with only 36-sums is 38 (link), which is also believed to be the minimum.
- The largest possible total of all the x-sums on one edge of the grid is 264, as found by zzw (link). This is the theoretical maximum.
Sandwich
- The smallest possible total of all the sandwich sums in a puzzle is 16 (link). This is believed to be minimal.
- The largest total of all the sandwich sums in a puzzle is 363 (link) found by Vorados. It is unknown if this is maximal.
- The smallest possible total of all the sandwich sums for rows is 6 (link) found by PN. This is probably minimal, although I don't remember why.
- The largest possible total of all the sandwich sums for rows is 183 (link). This is the theoretical maximum.
- The fewest distinct sandwich totals possible is 2 (link), found by Reson. This it the theoretical minimum, as demonstrated by brute force. zzw showed that it is possible for the sums to be non-zero, if and only if the two sums total to 35 (link).
- For irregular sudoku it is possible to have a single distinct total, and is possible for precisely the sums 16, 17, or 18, as shown by zzw (link).
- The fewest number of distinct sums needed to resolve a grid up to exchange of 1s and 9s is 1. This can be done with sums of 12, 13, 16, 17, 18, 19, 22, and 23, all found by SSGranor. All other possible sandwich sums have digit permutations that would prevent digits from all being distinguishable.
- The maximum number of sandwiches of a given width has been proven for the following sizes:
Width | Count | Found by |
---|---|---|
0 | 15 | zzw |
1 | 15 | zzw |
2 | 12 | zzw |
3 | 15 | zzw |
4 | 14 | jovial |
5 | 11 | jovial |
6 | 8 (trivial) | |
7 | 4 (trivial) |
(actually I'm not sure 0 has been proven, but it feels correct)
Sandwich + Anti-Knight + Non-Consecutive
- The fewest sandwich clues required is 2 (link), found by Gliperal, which is the theoretical minimum, as 1 clue would allow the grid to be mirrored.
Little Killer
- The fewest known number of Little Killer clues needed for a unique solution is 5 (link), found by Bastien Vial-Jaime.
- The fewest number of distinct sums needed is 1; this can be done for all sums from 12 to 48 and no others:
Sum | Found by |
---|---|
12 | SSGranor |
13, 14, 15 | PN |
16 | clover |
17, 18, 19, 20, 21, 22, 23 | AFrayedKnot |
24 | PN |
25 | clover |
26, 27, 28, 29, 30, 31 | SSGranor |
32, 33, 34 | AFrayedKnot |
35 | PN |
36, 37, 38 | SSGranor |
39 | AFrayedKnot |
40, 41, 42, 43, 44, 45, 46, 47, 48 | SSGranor |
- The fewest solutions for a puzzle with only 11-sums is 2 (link), found by ryokousha. This has been proved minimal by zzw. Puzzles exist where all clues are less than or equal to 11 (link) Template:Citation needed.
- A unique solution using one distinct sum is trivially impossible for sums lower than 8. Sums greater than 48 have been proved impossible by SSGranor - on principle for sums above 61 and by exhaustion for the rest - and those from 8-11 have been proved impossible by exhaustion by zzw. The maximum number of digits possible to force for each sum is: 32 for 8 (link), 45 for 9 (link), 41 for 10 (link), and 65 for 11 (link).
- For 6x6, the following totals are possible:
Sum | Found by |
---|---|
5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23 | rubenscube |
- The minimum known sum of all little killer clues required for a unique solution is 119 (link), found by rubenscube. The smallest number of solutions for a total sum of 117 is 2 (link), found by TopAutism. It is unknown if either is minimal.
Little Killer + Non-Consecutive
- The fewest number of little killer clues in a non-consecutive puzzle is 2, found by PN (link).
Skyscrapers
- The fewest number of distinct Skyscraper clues needed is 1; this can be done for the following values:
- 5 - link (found by PN)
- 6 - link (found by SSGranor)
- The fewest solutions for a puzzle with only 4-clues is 4 (link) found by Youri.
- The fewest solutions for a puzzle with only 3-clues is 8 (link) found by AFrayedKnot.
- The fewest solutions for a puzzle with only 2-clues is 2, all of which rely on using 8 clues on one edge. It can be proven that this is insufficient for a unique solution, however, and the prospects of any other arrangement seem very bleak.
- For diagonal skyscrapers, the fewest number of clues required is 4 (link), found by PN.
German Whispers
- German whispers cannot result in a unique solution on its own, due to the symmetry of the digits; any solution can be transformed to a different valid solution by mapping each digit X to 10-X.
- The minimum number of cells covered by a single line resulting in only two solutions is 19 found by PN (link). This is a total of 18 connections/comparisons between cells, also the minimum known. The best known for 18 cells/17 connections has 36 solutions. It is unknown if allowing branching can improve on this.
- The longest single line possible covers 60 cells, found by Reson (link). It is unknown if this is maximal.
First and Last Impressions?
- The maximum number of clues is 31 (link), found by Sam Cappleman-Lynes.
Pro-King
- The maximum number of pro-king cells is 52 (link), found by PN.
Activated Cells
- The fewest possible activated cells in a sudoku grid is 11, first found by SSGranor (link). This is the theoretical minimum, as every row will have at least one, and rows with 5 on the edge will have two.
- The most possible activated cells in a sudoku grid is 36, first found by Youri (link). It is also possible for the activated cells to form a single orthogonally connected region, as shown by Reson (link). It is unknown whether a snake is possible.
Renban
- Like German Whispers, Renban cannot result in a unique solution on its own, due to the symmetry of the digits; any solution can be transformed to a different valid solution by mapping each digit X to 10-X.
- The minimum number of renban lines required to reduce a grid to two solutions is 8 (link), found by TopAutism. It is unknown if this is minimal.
Full Rank
- The fewest full rank clues is 6 (link), found by sigh. It is unknown if this is minimal.
X-V
- The maximum number of X-V clues is 60, as discovered by PN (link). It is unknown if this is maximal.
X-V + Anti-XV
- The fewest X-V clues (with negative constraint) required to reduce the grid to 8 solutions (the minimum possible without givens) is 5, found by PN (link).
Region Sum Lines
- The fewest number of region sum lines required is 1 (link), found by AFrayedKnot. This is also possible if the line is required to form a loop (link, TopAutism) or travel orthogonally (link, PN).
- For 6x6, the fewest is also 1 (link), found by PN, and can also be done in a loop (link, TopAutism).
Fog of War
- The fewest number of initially lit givens required for a fog of war sudoku is 4 (link), found by TopAutism. This is the theoretical minimum, but it is unknown if the number of total givens for such a puzzle (currently 20) can go lower.
- With traditional illumination rules (cells initially illuminated by bulbs that cover a 3x3 area), the best known is 5 givens (link), found by PN.
Odd / Even
- Allowing an unlimited number of odd/even clues, the minimum number of givens required is 7, essentially discovered by dobrichev and coloin (link) and put into a puzzle by marek stefanik (link). This is the theoretical minimum.
Size / Entropy
- The fewest number of size/entropy clues is 21, found by TopAutism (link).
Arrows where the digit on an arrow is greater than all digits in the indicated direction
- The fewest number of arrows is 9, found by PN (link). The fewest known solutions for 8 arrows is 16, also found by PN.
Self-Counting Circles
- The maximum number of self-counting circles is 45, found by zzw (link).
Convex Hull
- The maximum number of digits in a sudoku grid with an 8-vertex convex hull is 6, found by zzw and PN (link).
- It is possible to have a unique grid by only specifying the convex hulls of each digit, as found by zzw (link).
10-Lines
- 10-lines are lines which must be divided into non-overlapping segments which each sum to 10.
- Only one 10-line is necessary to make a puzzle unique, found by AFrayedKnot (image: link, f-puzzles: link).
Zipper Lines
- Digits equidistant from a zipper line's center must sum to the same value. If odd length, the center cell must equal that sum.
- The minimum number of zipper lines to force a unique solution is two, found by AFrayedKnot (image: link, f-puzzles: link).
Miscellaneous
Grid Properties
- There exist solved 9x9 latin squares which cannot be divided into sudoku regions aside from the trivial row and column partitions. The first known was found by PN and proven by AFrayedKnot (link).
- There exist solved sudoku grids which exhibit all three types of symmetry: rotational, reflectional (on both diagonals), and translational. The first recorded example comes from shye (link).
- There exist pencil-mark sudoku that have exactly two solutions which share no digits in common, first documented by jovi_al (link).
- It is possible for one digit in a sudoku grid to completely avoid touching (even diagonally) two others, as discovered by Emphyrio (link). The properties hold toroidally as well. Up to isomorphisms, it is the only pattern that works.
- For a symmetric, non-consecutive grid, the minimum amount of roping is two bands and one stack, found by shye (link). It is unknown if better is possible.
- There exist sudoku solutions that can be divided into two sets of digits, such that any orthogonally connected group in either set contains no repeated digits, as demonstrated by JMoat13(link) using a 4-digit/5-digit split. It is believe to be impossible for a 3-digit/6-digit split, even if the restriction on the 3-digit clusters is lifted.
- The minimum number of distinct sums of orthogonally adjacent digits in a filled sudoku grid is 7 (link) found by PN, this is the minimum, proven using a SAT solver by nathanf. Manually, a lower bound of 6 has been proven by rubenscube Template:Citation needed.
- The minimum number of regions into which a solved grid can be partitioned, such that any one region can be deleted without adding solutions, is 3. Youri was first to describe the trivial partition where each region consists of 3 boxes, one from each band and stack. If the regions are required to be orthogonally connected, then the best known is 5 (link) found by AFrayedKnot. For specific grids, this can be improved to 2 (link), also found by Youri.
- There also exist specific grids which can be partitioned into 3 or even 4 sets of digits, such that each group individually (that is, deleting all other groups) still results in a unique solution. The first of these "Troikas" were found by Mathimagics (link); in fact, the linked grids are "Perfect Troikas" in that they are partitioned into equal (27-cell) sets and each resulting grid is minimal. The first "Quadriga" was found by coloin (link).
- Every solution to a sudoku grid contains some set of 21 cells (or less), which make a uniquely solvable puzzle. 21 has been proven to be the minimum in this regard by Mathimagics, using exhaustive search (link). The search also proved that there are only 4 essentially different grids which contain 21C puzzles, but no 20C puzzles, which were first discovered by blue in this thread.
- The maximum number of extra regions that can exist in a classic sudoku grid is 24. It is suspected that this is maximal, and requires a fully-roped grid.
- There exists a numbered rooms grid with one set of the clues 1-9 on each edge of the grid, found by nathanf (link), with a unique solution.
- The smallest possible sum of the clues in a numbered rooms puzzle is 40, found by jmerry (link). In an even-sized grid it is possible for all of the clues to be 1, as shown on 16x16 by PN (link).
- The maximum number of impossible orthogonal pairs that can exist in a sudoku grid is 18.
- The maximum number of deadly patterns in a variant sudoku is 16, found by TopAutism (link).
- The maximum number of deadly patterns in a classic sudoku is 11, found by TopAutism (link). Interestingly, the grid also doubles as a 16-solution for variant sudoku.
- The maximum number of anti-queen digits (that is, digits which never appear more than once on any diagonal) is 7.
- The maximum number of digits in a bishop team (that is, digits which never appear on a diagonal with a different digit from the same team) is 3, as found by nathanf (link). This grid has the additional property that it has three teams of bishops.
- The maximum number of friendly cells possible in a sudoku is 27, one each for the nine rows, columns, and boxes. It is possible to make a snake that contains all such digits, as found by PN (link).
- There exist solved sudoku grids for which every diagonal sums to a distinct total, as shown by Sam Cappleman-Lynes (link).
- Non-consecutive grids exist with no repeated triples, as shown by Rangsk (link).
- There exist grids that contain a 44-cell-long snake that does not touch itself orthogonally and consists only of odd digits. There are no grids that contain a 45-snake if it starts in a corner (nathanf).
- There exist grids that contain a 36-cell-long loop that contain all the even digits, if allowed to travel diagonally, as found by PN (link).
- The maximum number of 9-digit square numbers that can be fit into a sudoku grid is 5, found by Manus Hand (link).
- There exist solved sudoku grids that are both diagonally non-consecutive and diagonally non-equal (anti-king), as shown by ryokousha (link).
- There exist latin squares that are both orthogonally and diagonally nonconsecutive, as shown by nmay231 (link).
- There exist solved sudoku grids in which every digit is orthogonally adjacent to every other digit at least once, as shown by Sonic (link).
- There exist solved sudoku grids in which every instance of a 1 is orthogonally adjacent to a 2, as shown by Ben (link). It is also possible for this relationship to be mutual (link).
- There exist solved sudoku grids in which all cells have at least one orthogonally adjacent cell with a consecutive digit, known as Touchy Sudoku, and with examples dating as early as 2007.
- There exist solved 6x6 sudoku grids in which all cells are connected to each other by following orthogonally adjacent consecutive digits (kendfrey).
- There exist latin squares in which all digits are a knight's move away from at least one identical digit (pro-knight), as shown by Alice (link).
- The maximum number of naked singles that are possible at any given time is 12, as found by TheCoolOne (link). Surely this can be improved.
- Cube Nets
- It is possible to fit all 11 unique cube nets in a 9x9 grid, as shown by PN (link).
- If the nets are required to contain the digits 1-6 only, then it is possible to fit 9Template:Citation needed.
- If the nets are required to contain one set of the digits 1-6 each, then it is possible to fit 8Template:Citation needed.
- If the nets are required to fold into valid dice (opposite digits summing to 7), then it is possible to fit 5, as shown by Gliperal (link).
Augmented Classics
- Although it is not possible for a sudoku puzzle to be unique with only given digits along the borderTemplate:Citation needed, many individual constraints are enough to finish the job, including:
Famous Number Classics
- There is a trend of setting classics whose string representation contain as many of the digits of certain famous numbers as possible, in order. In this case zeros are allowed as wildcards, since any character that is not a digit 1-9 is typically treated as an empty cell. Puzzles with unique solutions exist for the following numbers:
Greatest Distance between Givens
- Greatest Euclidean distance around a single given is √40 (link), found by kendefrey.
- Greatest taxicab distance between the closest pair of givens in an irregular sudoku is 4 (link), found by shye.
- Greatest taxicab distance between the closest pair of givens in anti-knight is 4 (link), found by shye. This is suspected to be maximal.
- Greatest taxicab distance around a single given in anti-knight is 12 (link), found by Gliperal. This is maximal.
- Greatest taxicab distance between the closest pair of givens in a dotless kropki sudoku is 8 (link), found by shye. This is also the greatest known Euclidean distance, at √50. Both are maximal Template:Citation needed.