quickbacktrack

可自定义搜索步骤的回溯库

回溯 是一种用于解决约束满足问题的通用算法。

换句话说，它可以解决像 数独 或 背包问题 这样的谜题！

博客文章

• 2017-08-09 Quickbacktrack 0.3 发布

特性

• 可自定义的搜索步骤
• 实时观察求解的调试设置
• 通过简化步骤来减少调试输出
• 用于解决泛型约束满足问题的 Puzzle 特性
• 可以以非空拼图开始
• 可以获取与初始拼图状态的差异

数独

 ___ ___ ___
|436| 8 |751|
|17 | 34|8 9|
|859|761|324|
 ---+---+---
|964|153|287|
|285|497|136|
|713|826|945|
 ---+---+---
|521|349|678|
|347|618|592|
|698| 7 |413|
 ---+---+---
Guess [5, 0], 2 depth 50 51

运行时，打开终端并输入

cargo run --example sudoku

背包

Item { desc: "chocolate", weight: 0.2, value: 40 }
Item { desc: "book", weight: 0.5, value: 300 }
Item { desc: "hat", weight: 0.1, value: 1000 }
total weight: 0.7999999999999999
total value: 1340

运行时，打开终端并输入

cargo run --example knapsack

8皇后

 _ _ _ _ _ _ _ _
|_|_|_|_|_|_|_|x|
|_|_|_|x|_|_|_|_|
|x|_|_|_|_|_|_|_|
|_|_|x|_|_|_|_|_|
|_|_|_|_|_|_|_|_|
|_|_|_|_|_|_|_|_|
|_|_|_|_|_|_|_|_|
|_|_|_|_|_|_|_|_|

Guess 4, 6 depth 5 6

运行时，打开终端并输入

cargo run --example eight_queens