Add theory for 显性数对 #5 #11

zhugelianglongming · Mar 3, 2023 · d63f78a · d63f78a
1 parent e9157b0
commit d63f78a
Show file tree

Hide file tree

Showing 6 changed files with 79 additions and 73 deletions.
diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
@@ -1,32 +1,18 @@
 {
   "main": {
-    "id": "36797f5ad4620a82",
+    "id": "ef5923f1b8475fd3",
     "type": "split",
     "children": [
       {
-        "id": "48b11878d127dc32",
+        "id": "c93f335641983aa9",
         "type": "tabs",
         "children": [
           {
-            "id": "560e2a8d2ca23791",
+            "id": "fc5fba11b51c3c58",
             "type": "leaf",
-            "pinned": true,
             "state": {
-              "type": "graph",
-              "state": {},
-              "pinned": true
-            }
-          },
-          {
-            "id": "d133e8e9eea3ba00",
-            "type": "leaf",
-            "state": {
-              "type": "markdown",
-              "state": {
-                "file": "非标数独/9宫/比大小类/之间数独.md",
-                "mode": "source",
-                "source": false
-              }
+              "type": "empty",
+              "state": {}
             }
           }
         ]
@@ -35,15 +21,15 @@
     "direction": "vertical"
   },
   "left": {
-    "id": "f8c0b79a9637f89f",
+    "id": "b5759a863a758f2b",
     "type": "split",
     "children": [
       {
-        "id": "ca471c415a45c051",
+        "id": "a224b72e2e33589f",
         "type": "tabs",
         "children": [
           {
-            "id": "4d8c281adb2b9390",
+            "id": "5aac6eed66bf8fa5",
             "type": "leaf",
             "state": {
               "type": "file-explorer",
@@ -53,12 +39,12 @@
             }
           },
           {
-            "id": "6523ebd3fcd41c37",
+            "id": "02b3b78317d7e079",
             "type": "leaf",
             "state": {
               "type": "search",
               "state": {
-                "query": "之间数独",
+                "query": "Str",
                 "matchingCase": false,
                 "explainSearch": false,
                 "collapseAll": false,
@@ -68,37 +54,30 @@
             }
           },
           {
-            "id": "38c691b4f29f01c2",
+            "id": "880bcccc16a6b457",
             "type": "leaf",
             "state": {
               "type": "starred",
               "state": {}
             }
-          },
-          {
-            "id": "78c85cd557c6a33d",
-            "type": "leaf",
-            "state": {
-              "type": "recent-files",
-              "state": {}
-            }
           }
-        ]
+        ],
+        "currentTab": 1
       }
     ],
     "direction": "horizontal",
     "width": 300
   },
   "right": {
-    "id": "e96b89a2cc50c467",
+    "id": "ad598900f1876b4e",
     "type": "split",
     "children": [
       {
-        "id": "90879c5d79c21787",
+        "id": "84ea35046f037893",
         "type": "tabs",
         "children": [
           {
-            "id": "18367129e86e4520",
+            "id": "7fc33c17976f9dba",
             "type": "leaf",
             "state": {
               "type": "backlink",
@@ -114,7 +93,7 @@
             }
           },
           {
-            "id": "3e69146f80898032",
+            "id": "556f852e87fc3780",
             "type": "leaf",
             "state": {
               "type": "outgoing-link",
@@ -125,7 +104,7 @@
             }
           },
           {
-            "id": "635eda9c977fc397",
+            "id": "edbe09fd3d5bcbf5",
             "type": "leaf",
             "state": {
               "type": "tag",
@@ -136,49 +115,38 @@
             }
           },
           {
-            "id": "ba5f56ec04273adb",
+            "id": "fd6003fadd0079c0",
             "type": "leaf",
             "state": {
               "type": "outline",
               "state": {}
             }
-          },
-          {
-            "id": "870dee140dd9a335",
-            "type": "leaf",
-            "state": {
-              "type": "advanced-tables-toolbar",
-              "state": {}
-            }
           }
         ],
-        "currentTab": 4
+        "currentTab": 2
       }
     ],
     "direction": "horizontal",
     "width": 300
   },
   "left-ribbon": {
     "hiddenItems": {
-      "table-editor-obsidian:Advanced Tables Toolbar": false,
       "switcher:打开快速切换": false,
       "graph:查看关系图谱": false,
+      "canvas:新建白板": false,
       "daily-notes:打开/创建今天的日记": false,
       "templates:插入模板": false,
       "command-palette:打开命令面板": false
     }
   },
-  "active": "560e2a8d2ca23791",
+  "active": "fc5fba11b51c3c58",
   "lastOpenFiles": [
-    "非标数独/9宫/比大小类/之间数独.md",
-    "非标数独/9宫/README.md",
-    "非标数独/9宫/计算类/外提示类/唯一小杀手数独.md",
-    "非标数独/9宫/混合类/杀手+对角数独.md",
-    "非标数独/9宫/计算类/内提示类/四数和数独.md",
-    "邻格限制.md",
-    "非标数独/9宫/额外区域类/相对区域/扫雷/邻里数独.md",
-    "非标数独/9宫/计算类/内提示类/肯肯数独.md",
-    "非标数独/9宫/计算类/内提示类/单标类/连续类/全标连续数独.md",
-    "非标数独/9宫/计算类/外提示类/X位差数独.md"
+    "技巧/图谱/显性数对.md",
+    "技巧/显性数对.md",
+    "update_summary.py",
+    "ranking.md",
+    "images/挑战20x20.png",
+    "非标数独/6宫/计算类/内提示/肯肯数独.md",
+    "非标数独/多边形/Str8ts.md"
   ]
 }
diff --git a/技巧/图谱/Level1/唯余法.md b/技巧/图谱/Level1/唯余法.md
@@ -14,14 +14,14 @@
 
 因为：
 - 单元格` Cell`
-	- 必需填入一个数字
+	- 必需填入1个数字
 	- 可填入的数字只有`N`
 
 所以：
 - 单元格`Cell`必填入`N`
 
 ## 标签
 
-#Level1
+#Level/1
 
 > [SudokuWiki.org - Getting Started](https://www.sudokuwiki.org/Getting_Started)
diff --git a/技巧/图谱/Level1/摒除法.md b/技巧/图谱/Level1/摒除法.md
@@ -34,6 +34,6 @@
 
 ## 标签
 
-#Level1
+#Level/1
 
 > [SudokuWiki.org - Getting Started](https://www.sudokuwiki.org/Getting_Started)
diff --git a/技巧/图谱/Level2/显性数组.md b/技巧/图谱/Level2/显性数组.md
@@ -1,17 +1,20 @@
-# 分类
+# 显性数组
 <!-- START doctoc generated TOC please keep comment here to allow auto update -->
 <!-- DON'T EDIT THIS SECTION, INSTEAD RE-RUN doctoc TO UPDATE -->
 ## 目录
 
-- [组合技巧](#%E7%BB%84%E5%90%88%E6%8A%80%E5%B7%A7)
+- [原理](#%E5%8E%9F%E7%90%86)
+- [分类](#%E5%88%86%E7%B1%BB)
 
 <!-- END doctoc generated TOC please keep comment here to allow auto update -->
 
-# 组合技巧
+## 原理
 
-- [[摒除法]]
+- 技巧拓展
+	- [[唯余法]]：拓展候选格数
 
+## 分类
 
-- 显性数对
+- [[显性数对]]
 - 显性三数组
 - 显性四数组
diff --git a/技巧/图谱/Level2/隐性数组.md b/技巧/图谱/Level2/隐性数组.md
@@ -1,16 +1,19 @@
-# 分类
+# 隐性数组
 <!-- START doctoc generated TOC please keep comment here to allow auto update -->
 <!-- DON'T EDIT THIS SECTION, INSTEAD RE-RUN doctoc TO UPDATE -->
 ## 目录
 
-- [组合技巧](#%E7%BB%84%E5%90%88%E6%8A%80%E5%B7%A7)
+- [原理](#%E5%8E%9F%E7%90%86)
+- [分类](#%E5%88%86%E7%B1%BB)
 
 <!-- END doctoc generated TOC please keep comment here to allow auto update -->
 
-# 组合技巧
+## 原理
 
-- [[唯余法]]
+- 技巧拓展
+	- [[摒除法]]：拓展候选数
 
+## 分类
 
 - 隐性数对
 - 隐性三数组

diff --git a/技巧/图谱/显性数对.md b/技巧/图谱/显性数对.md
@@ -0,0 +1,32 @@
+<!-- START doctoc generated TOC please keep comment here to allow auto update -->
+<!-- DON'T EDIT THIS SECTION, INSTEAD RE-RUN doctoc TO UPDATE -->
+## 目录
+
+- [显性数对](#%E6%98%BE%E6%80%A7%E6%95%B0%E5%AF%B9)
+  - [原理](#%E5%8E%9F%E7%90%86)
+  - [标签](#%E6%A0%87%E7%AD%BE)
+
+<!-- END doctoc generated TOC please keep comment here to allow auto update -->
+
+# 显性数对
+
+## 原理
+
+因为：
+- 单一区域`Region`内
+	- 恰好仅剩余 1 个数字`X`、 1 个数字`Y`
+	- 单元格`Cell1`只可填入的候选数字`XY`
+	- 单元格`Cell2`只可填入的候选数字`XY`
+
+所以：
+- 单一区域`Region`内
+	- 除`Cell 1`、`Cell 2`的其他单元格
+		- 必不填入`X`
+		- 必不填入`Y`
+> 反证法：如果其他单元格填入`X`，则`Cell 1`、`Cell 2`都需填入`Y`，即 2 格仅有 1 个数可填，无法满足，矛盾；其他情况类似。
+
+## 标签
+
+#Level/2
+
+> [SudokuWiki.org - Naked Pairs](https://www.sudokuwiki.org/Naked_Candidates#NP)