ถต้อง G[mask]=Σ_sup⊇mask f[sup] ให้ProcessBitที่maskไม่มี1และเพิ่มจากmaskที่เปิดBitนั้น หรือใช้Complement Transfo
เมื่อ Bit Encoding, Loop Order, Transform Direction, Möbius Inverse, โปรโมชั่นvictora168 Numeric Type, Memory Bound, Sparse AlternativeและBrute-force Validationถูกออกแบบถูกต้อง SOS DPสามารถเป็นเทคนิคที่มีประสิทธิภาพสูงมากสำหรับงานCombinatorial Backendที่Stateถูกแทนด้วยBitmaskจำนวนไม่เกินระดับที่2^nยังจัดการได?
สำหรับUndirected TSPสามารถกำหนดเงื่อนไขเช่นSecond Vertex ID