Puzzlekit dataset

该仓库存储了30k+的谜题网格，用于[puzzlekit](https://github.com/SmilingWayne/PuzzleSolver)。

本仓库存储了30k+谜题网格，供[puzzlekit](https://github.com/SmilingWayne/PuzzleSolver)使用。

原始信息汇总

Puzzlekit 数据集概述

数据集基本信息

• 数据集名称：Puzzlekit dataset
• 存储内容：包含用于 puzzlekit 的 30k+ 谜题网格。
• 数据总量：总计包含 38,207 个问题，其中 38,076 个提供了解答。

数据集内容详表

数据集共包含 126 种不同类型的谜题，具体信息如下表所示：

序号	谜题名称	问题数量	解答数量	最大尺寸	完整性标记
1	ABCEndView	607	607	8x8	✅
2	Akari	970	970	100x100	✅
3	Aqre	90	90	17x17	✅
4	Araf	120	120	10x18	✅
5	BalanceLoop	70	70	17x17	✅
6	Battleship	860	860	14x14	✅
7	Binairo	380	380	14x14	✅
8	Bosanowa	38	38	11x16	✅
9	Bricks	210	210	8x8	✅
10	Buraitoraito	101	100	15x15	❌
11	Burokku	270	270	10x10	✅
12	ButterflySudoku	77	77	12x12	✅
13	CanalView	110	110	17x17	✅
14	CastleWall	110	110	50x50	✅
15	Clueless1Sudoku	29	29	27x27	✅
16	Clueless2Sudoku	40	40	27x27	✅
17	CocktailLamp	50	50	17x17	✅
18	ConsecutiveSudoku	211	211	9x9	✅
19	Corral	419	419	25x25	✅
20	CountryRoad	270	270	15x15	✅
21	Creek	440	440	40x50	✅
22	CurvingRoad	190	190	14x14	✅
23	Detour	80	80	13x12	✅
24	DiffNeighbors	140	140	15x15	✅
25	DigitalBattleship	80	80	12x12	✅
26	Dominos	580	579	10x11	✅
27	Doors	270	270	12x12	✅
28	DotchiLoop	60	60	17x17	✅
29	DoubleBack	100	100	26x26	✅
30	EntryExit	170	170	16x16	✅
31	Eulero	290	290	5x5	✅
32	EvenOddSudoku	129	129	9x9	✅
33	Factors	150	150	11x11	✅
34	Fillomino	840	840	50x64	✅
35	Fobidoshi	250	250	12x12	✅
36	Foseruzu	310	310	30x45	✅
37	Fuzuli	160	160	8x8	✅
38	Galaxies	580	580	20x36	✅
39	Gappy	429	427	18x18	✅
40	Gattai8Sudoku	120	120	21x33	✅
41	GokigenNaname	780	780	24x36	✅
42	GrandTour	350	350	15x15	✅
43	Hakoiri	140	140	12x12	✅
44	Hakyuu	480	480	30x45	✅
45	Hanare	107	107	16x16	✅
46	Heyawake	787	787	31x45	✅
47	Hidoku	510	510	10x10	✅
48	Hitori	941	941	25x25	✅
49	JigsawSudoku	680	680	9x9	✅
50	Juosan	80	80	30x45	✅
51	Kakkuru	400	400	9x9	✅
52	Kakurasu	280	280	11x11	✅
53	Kakuro	999	999	31x46	✅
54	KenKen	430	430	9x9	✅
55	KillerSudoku	810	810	9x9	✅
56	Koburin	150	150	12x12	✅
57	Kuromasu	560	560	31x45	✅
58	Kuroshuto	210	210	14x14	✅
59	Kurotto	230	230	19x27	✅
60	LITS	419	419	40x57	✅
61	Linesweeper	310	310	16x16	✅
62	Magnetic	439	439	12x12	✅
63	Makaro	190	190	15x15	✅
64	MarginSudoku	149	149	9x9	✅
65	Masyu	828	828	40x58	✅
66	Mathrax	175	175	9x9	✅
67	Maze-a-pix	-	-	-	❌
68	Minesweeper	360	360	14x24	✅
69	MoonSun	200	200	30x45	✅
70	Mosaic	165	104	118x100	✅
71	Munraito	360	360	12x12	✅
72	Nanbaboru	270	270	9x9	✅
73	Nawabari	160	160	27x14	✅
74	Nondango	110	110	14x14	✅
75	Nonogram	2338	2337	30x40	✅
76	Norinori	289	289	36x54	✅
77	NumberCross	170	170	8x8	✅
78	NumberLink	580	580	35x48	✅
79	NumberSnake	70	70	10x10	✅
80	Nurikabe	1130	1130	50x50	✅
81	Nurimisaki	100	100	10x10	✅
82	OneToX	58	58	10x10	✅
83	PaintArea	226	226	12x12	✅
84	Patchwork	211	211	12x12	✅
85	Pfeilzahlen	360	360	10x10	✅
86	Pills	164	163	10x10	✅
87	Polyiamond	-	-	-	❌
88	Polyminoes	-	-	-	❌
89	Putteria	60	60	16x16	✅
90	RegionalYajilin	70	70	10x18	✅
91	Renban	150	150	9x9	✅
92	SamuraiSudoku	272	272	21x21	✅
93	Shikaku	500	500	31x45	✅
94	Shimaguni	266	266	30x45	✅
95	Shingoki	100	100	21x21	✅
96	Shirokuro	110	110	17x17	✅
97	ShogunSudoku	90	90	21x45	✅
98	Shugaku	130	130	30x45	✅
99	SimpleLoop	70	70	17x18	✅
100	Skyscraper	470	470	8x8	✅
101	SkyscraperSudoku	50	50	9x9	✅
102	Slitherlink	1176	1153	60x60	✅
103	Snake	230	230	12x12	✅
104	SoheiSudoku	120	120	21x21	✅
105	SquareO	120	80	15x15	✅
106	Starbattle	307	307	15x15	✅
107	Sternenhimmel	188	188	17x17	✅
108	Stitches	110	110	15x15	✅
109	Str8t	560	560	9x9	✅
110	Sudoku	125	125	16x16	✅
111	Suguru	200	200	10x10	✅
112	SumoSudoku	110	110	33x33	✅
113	Tatamibari	150	150	14x14	✅
114	TennerGrid	375	374	6x10	✅
115	Tent	706	706	30x30	✅
116	TerraX	80	80	17x17	✅
117	Thermometer	250	250	10x10	✅
118	TilePaint	377	377	16x16	❌
119	Trinairo	60	60	12x12	✅
120	Tripletts	190	190	10x12	✅
121	Usoone	130	130	30x45	✅
122	WindmillSudoku	150	150	21x21	✅
123	Yajikabe	100	100	17x17	✅
124	Yajilin	610	610	39x57	✅
125	YinYang	170	170	14x14	✅
126	Yonmasu	120	120	10x10	✅
	总计	38207	38076	-	-

关键数据统计

• 问题总数：38,207
• 解答总数：38,076
• 完整标记（✅）的谜题类型：120 种
• 不完整标记（❌）的谜题类型：6 种（Buraitoraito, Maze-a-pix, Polyiamond, Polyminoes, TilePaint）
• 单个谜题类型最大问题量：Nonogram（2,338 个问题）
• 常见谜题变体：包含多种数独变体（如 KillerSudoku, JigsawSudoku, SamuraiSudoku 等）及逻辑网格谜题（如 Akari, Slitherlink, Nurikabe 等）。

搜集汇总

数据集介绍

构建方式

在逻辑谜题研究领域，Puzzlekit数据集的构建体现了系统化收集与整理的严谨性。该数据集通过整合超过125种不同类型的逻辑谜题，如数独、数织、数回等，形成了包含三万八千余个谜题网格的庞大集合。每个谜题条目均明确标注了问题数量、解答数量以及最大网格尺寸，确保了数据的完整性与可用性。构建过程注重格式的统一与验证，绝大多数谜题类型都通过了完整性检查，为算法测试与比较提供了结构化的基准。

特点

Puzzlekit数据集以其多样性与规模性在逻辑谜题领域中脱颖而出。它涵盖了从经典数独变体到复杂空间推理谜题的广泛类型，网格尺寸从紧凑的5x5延伸至广阔的118x100，适应了不同复杂度的算法挑战。数据集不仅提供了海量的谜题实例，还附带了对应的标准答案，支持对求解算法进行准确性与效率的全面评估。这种高覆盖度与精细标注使其成为开发与验证自动推理系统的理想资源。

使用方法

该数据集主要服务于逻辑谜题求解算法的开发、测试与性能评估。研究人员或开发者可通过解析其提供的网格文件，将谜题转换为算法可处理的输入格式。利用附带的解答，可以验证求解器输出结果的正确性，并进行求解时间、内存消耗等性能指标的量化分析。数据集支持跨谜题类型的横向比较，有助于深入探究不同算法在各类逻辑约束下的泛化能力与鲁棒性。

背景与挑战

背景概述

Puzzlekit数据集由SmilingWayne等研究人员于近年构建，旨在为逻辑谜题求解领域提供大规模、多样化的基准测试资源。该数据集汇集了超过三万八千个涵盖一百二十六种不同类型的谜题网格，如数独、数织、数回等经典与变体谜题，其核心研究问题在于推动自动推理与约束求解算法的发展，通过标准化谜题格式促进求解器的性能评估与比较。这一资源对人工智能中的自动规划、组合优化及教育游戏设计等领域产生了显著影响，为算法创新提供了丰富的实验平台。

当前挑战

在逻辑谜题求解领域，Puzzlekit数据集面临的挑战主要涉及求解算法的泛化能力与效率问题。不同谜题类型具有独特的规则与约束条件，要求求解器具备跨类型的适应性，以处理从简单网格到复杂结构（如最大尺寸达118x100）的多样化实例。构建过程中的挑战包括谜题收集与验证的复杂性，需确保数万谜题的正确性与唯一解性质，同时处理部分谜题（如Buraitoraito、Mosaic）中问题与解决方案数量不一致的数据完整性维护，以及统一格式转换时可能出现的语义损失。

常用场景

经典使用场景

在逻辑谜题与人工智能求解领域，Puzzlekit数据集以其超过三万道网格谜题的庞大规模，为算法测试与模型评估提供了标准化基准。该数据集涵盖了从经典数独到复杂路径规划等一百余种谜题类型，每种均附带问题与解决方案，使得研究者能够系统性地验证求解器的泛化能力与效率。这些谜题在约束满足、组合优化等场景下，常被用于训练和测试自动化推理系统，推动智能体在结构化问题解决方面的进展。

实际应用

在教育与娱乐软件开发中，Puzzlekit数据集可作为谜题生成与难度分级的核心资源，帮助设计自适应学习系统或益智游戏。在工业领域，其蕴含的路径优化与资源分配问题可类比于物流调度、电路布线等实际任务，为相关算法提供模拟测试环境。此外，数据集中丰富的规则组合能够辅助验证软件形式化方法，提升系统在复杂约束下的可靠性。

衍生相关工作

围绕该数据集，研究者已发展出多种高效求解器，如基于SAT编码的通用推理引擎和利用深度强化学习的端到端模型。经典工作包括将谜题转化为布尔可满足性问题进行求解，以及开发混合整数规划框架以处理大规模网格。这些衍生成果不仅优化了谜题求解的时空效率，还推动了组合搜索领域与神经符号计算方向的交叉创新。