3 ms·
What is the math name for the problem of belt balancing? The one that SAT solvers solve. Perhaps Beneš network?
by ivanjermakov 3y ago
What is the math name for the problem of belt balancing? The one that SAT solvers solve.
Perhaps Beneš network?
- r2_pilot 3y agoIt's the Boolean satisfiability problem : https://en.m.wikipedia.org/wiki/Boolean_satisfiability_problem https://en.m.wikipedia.org/wiki/Boolean_satisfiability_probl...
- deleted 3y ago[deleted]
- dragontamer 3y agoBenes network is a simple recursive pattern for power-of-2. So a 4-to-4, 8-to-8, and 16-to-16 perfect balancer can be calculated out by hand using Benes networks. This allegedly creates odd-numbers like 7-to-7 balancers. But in my experience, i just grab a 8-to-8 balancer from my blueprints and ignore 1 input/output.
- reaperman 3y agoClos networks is what I studied for factorio belt balancing.