任何熟悉quine mccluskey的人都知道要获得蕴首，我们应该将具有n个1的组与n + 1个1的组进行比较。所以我的问题是：是否有条件可以决定我们是否可以跳过n和n + 1组之间的比较？或者减少通过比较蕴含者产生的蕴含数量？
我不得不问这个因为我一直在c＃中实现quine mccluskey algorithm，当程序解决12个变量时，最坏的情况，即函数求值为1时，平均需要1小时计算。
我试图计算12个变量的循环次数（n对n + 1的所有组的比较），结果是8,454,274,920，其中2,125,764实际上包含可以组合的含义。它的执行时间是3,938,804毫秒或65.64673333333333分钟。