MMMay, 2020

破解对称性的复杂性

TL;DR通过消除对称类中不符合词典顺序的解,我们可以打破对称性,但是这种词典 - 领袖法一般情况下很难处理。我们证明在一般情况下使用其他总序关系 (例如格雷码排序或蛇形 - 词典排序) 来打破对称性的计算复杂度是高的。