标签： 约束满足
每日算法 — 使用java实现过河问题：BFS状态空间搜索与约束满足
引言 过河问题（Bridge and Torch / Missionaries and...
每日算法 — 使用java实现Slitherlink：约束传播与回溯搜索求解
引言 Slitherlink（数回/Loop the Loop）是日本 Nikoli 出版社发明的经典逻辑谜题：在由点构成的网格中，部分格子标有数字...
每日算法 — 使用java实现华容道：约束满足问题CSP建模与前向检查回溯
华容道是中国传统的滑块拼图游戏，玩家需要通过滑动棋子，将最大的"曹操"方块移动到出口位置。本文将华容道问题建模为约束满足问题（CSP），并使用前向检查（Forward...
每日算法 — 使用java实现逻辑谜题：命题逻辑约束满足与回溯求解框架
引言 约束满足问题（Constraint Satisfaction Problem,...
