Consider five variables and 7 constraints. Variables

\\\\xi

can take the values

{0,1,2}

. The constraints between the variables can be shown as below. Constraints

C1,C2dots

C5 enforce the fact that the variables in their arguments must all have different values. Constraints

C6,C7

enforce:\

C6: x1!=0;\ C7:x4!={1,2}

\ Is this a binary constraint graph? If not show a corresponding binary constraint graph.

Consider five variables and 7 constraints. Variables Xi can take the values {0,1,2}. The constraints between the variables can be shown as below. Constraints C1,C2 C5 enforce the fact that the variables in their arguments must all have different values. Constraints C6,C7 enforce: C6:X1=0;C7:X4={1,2} 1. Is this a binary constraint graph? If not show a corresponding binary constraint graph