R B 受 Backmarking example G0000 000 2○0 夏Q B Backmarking example 0003 domain 20 4Q○Backmarking example Variable # 1 2 3 4 5 1 0 0 0 0 B 5 4 3 2 1 i mbl R G 1 1 4 3 0 0 2 0 0 1 0 0 0 0 0 Remaining domain X X Backmarking example Variable # 1 2 3 4 5 1 0 0 0 0 B 5 4 3 2 1 i mbl R G 1 1 4 3 3 0 2 0 0 1 0 0 0 0 0 Remaining domain X