クワイン・マクラスキーに精通している人なら誰でも、含意を得るには、n 個の 1 を持つグループと n+1 個の 1 を持つグループを比較する必要があることを知っているでしょう。私の質問は次のとおりです。n グループと n+1 グループの比較をスキップできるかどうかを判断する条件はありますか? または、含意条件を比較して生成される含意条件の数を減らしますか?
これを質問する必要があるのは、C# でquine mccluskey アルゴリズムを実装しており、プログラムが 12 の変数を解いている場合、関数が 1 に評価される最悪のケースでは、計算に平均 1 時間かかるためです。
12 個の変数のループ数 (n から n+1 までのすべてのグループの比較) をカウントしようとしましたが、結果は 8,454,274,920 で、そのうちの 2,125,764 には実際に結合可能な含意が含まれています。その実行時間は 3,938,804 ミリ秒または 65.64673333333333 分です。