Solr への入力として提供される大きなブール式を最小限に抑える問題に取り組んでいます。これは、ブール代数/K-Map などの手法を使用して回路上の論理ゲートを最小化するのと同様の問題のようです。ただし、これらの手法は小さい式には役立ちますが、式が非常に大きい場合には役立ちません。この問題を解決するために使用できる他のアプローチ/アルゴリズムは何ですか?
Solr への入力として提供される大きなブール式を最小限に抑える問題に取り組んでいます。これは、ブール代数/K-Map などの手法を使用して回路上の論理ゲートを最小化するのと同様の問題のようです。ただし、これらの手法は小さい式には役立ちますが、式が非常に大きい場合には役立ちません。この問題を解決するために使用できる他のアプローチ/アルゴリズムは何ですか?