AlgebraicJulia / AlgebraicJulia/Catlab.jl
Dependency-directed backtracking for C-set homomorphism search
Đang mở
acsets
performance
- Ngôn ngữ chính
- Julia
- Star
- 724
- Fork
- 73
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
Mô tả
The search problem for C-set homomorphisms has the property that there is no sequential dependence among choices (assignments of elements). This is exactly the situation that [dependency-directed backtracking](https://www.cs.utexas.edu/users/novak/cs381k113.html) is designed for:
My guess is that such algorithms could give a big performance boost.
Hướng dẫn đóng góp
Đánh giá
Issue này chưa được đánh giá.