我有了 f(a,b,c,d) = f(c,d,a,b) = -f(b,a,d,c) = -f(d,c,b,a) 我用它來完全填充一個四維陣列以下permutational對稱性的標量函數f(a,b,c,d)。這下面的作品代碼(使用python/NumPy的): A = np.zeros((N,N,N,N))
for a in range(N):
for b in range(N):
One of the samples for the Google or-tools is a solver for the n-queens problem.在底部它說實施可以通過增加約束求解器的對稱性破壞約束來改善。 環顧互聯網,I found the symmetry breaking constraints for the n-queens problem,但我不能爲我的生活弄清楚如何將這