そこにx、yの概念を実装することが可能かどうかを判断するために、BDDのアプリケーションを調べています。
説明させてください。
x、y座標平面に分布する何かのzがあるとしましょう。制約は次のとおりです。
- すべての z 項目は、x、y 座標平面に配置する必要があります。
- z 項目の中には、互いに一定の距離を離す必要があるものがあります。
整数線形計画法はこれを整理できると思います。たとえば、一連の方程式を使用して、上記の制約を表し、線形計画法を実行して正確な位置を解くことができます。
しかし、私が求めているのは、BDD がこれに役立つかどうかです。
言い換えると、二分決定図は x,y 座標を表すことができ、上記の制約をブール関数 (上記の一連の方程式と同等) で表すことができますか? BDD を操作して、線形計画法のように正確な位置の上記の制約を整理できますか?
表示する具体的な例はありませんが、バイナリで同等の x、y 座標を表すことから始めるべきだと思いますか?