Alice Bob x a y b G1 = 1 ... 0 | 0 ... 1 G2 = 0 ... 1 | 1 ... 0 ---------------------- G = 1 ... 1 | 1 ... 1Here x and y are the free edges of a triangle in G. Now, if Alice "knows" that here edge x cannot appear together with the edge a,
To eliminate this "auxiliary knowledge" we must take
G = 1 ... 0 | 1 ... 0