Interchangeable variables and values

More documents

Recommendations

Info

Ordering signatures • To break all symmetry • Order <strong>variables</strong> within each partition • X[1] ≤ .. ≤ X[p(1)-1] • X[2] ≤ .. ≤ X[p(2)-1] • .. • X[p(a-1)] ≤ .. ≤ X[p(a)-1]
Ordering signatures • To break all symmetry • Order signatures of <strong>values</strong> within each partition • Sig[1] ≥lex .. ≥lex Sig[q(1)-1] • Sig[q(1)] ≥lex .. ≥lex Sig[q(2)-1] • .. • Sig[q(b-1)] ≥lex .. ≥lex Sig[q(b)-1]
Page 1 and 2: Interchangeable variables and value
Page 3 and 4: Types of symmetry • Which part of
Page 5 and 6: Adding constraints • Same method
Page 7 and 8: Interchangeable variables and value
Page 9 and 10: Signature of an assignment • Can
Page 11 and 12: Signature of an assignment • Supp
Page 13: Signature of an assignment • Sign
Page 17 and 18: • • Variables partition into tw
Page 19 and 20: Ordering signatures • Equivalent
Page 21 and 22: Some special cases • All variable
Page 23 and 24: Conclusions • Symmetry occurs in

Interchangeable variables and values

Create successful ePaper yourself

Delete template?

Save as template?