#problem #search #spaces #solve

stitches

快速搜索空间以解决数学问题

1 个不稳定版本

0.1.0 2019 年 4 月 29 日

#1129 in 数学

MIT 许可证

5KB
105

stitches

目标

stitches 的目标是通过最有效地利用他们可用的硬件来让每个人都能用数学问题。

基本用法

创建一个新的 rust 二进制文件。

cargo new --bin <project_name>

将 stitches 库添加到 Cargo.toml。

[dependencies]
stitches "*"

null_problem 示例复制到您的 main.rs 文件。

cp /path/to/stitches/examples/null_problem.rs src/main.rs

使用 --release 运行。

cargo run --release

功能

性能导向

stitches 的目标可以从技术上表述为将候选检查放在热路径上。我们只使用单形化来最大化计算您问题的 CPU 时间百分比。

自定义空间

如果您的需要搜索我们未考虑的空间,您可以实现自己的 Space 结构体,并使用与我们的开箱即用的空间相同的架构。我们甚至计划包括健全性和性能检查,让您知道您的实现可能存在问题。

路线图

[x] 泛型搜索 [x] 基本性能统计 [ ] 在开始搜索前对 Space 实现进行健全性和性能检查 [ ] 将搜索状态保存到/从磁盘 [ ] 多机联网搜索 [ ] 完成有限空间的时间 [ ]

空间

[x] 线性 [ ] 树 [ ] 多维线性

依赖关系

~1.5MB
~25K SLoC