白２から３連のグラフに変換する操作をＬ
ＬＸ２＝Ｘ３
白黒から３連のグラフに変換する操作をＰ
ＰＧ２＝Ｇ３
ここで黒１から白１に変える操作を仮定する、Ｓ
ＳＢ＝Ｗ
Ｂ＝Ｓ＾Ｗ
ＫＧ２＝Ｂ
Ｇ２＝Ｋ＾Ｓ＾Ｗ
ＰＧ２＝ＰＫ＾Ｓ＾Ｗ＝Ｇ３
ＹＸ２＝Ｗ
Ｘ２＝Ｙ＾Ｗ
ＬＸ２＝ＬＹ＾Ｗ＝Ｘ３
グラフの個数（ＬＹ＾Ｗ）＝（ＰＫ＾Ｓ＾Ｗ）だから
Ｘ３とＧ３はおなじ個数のグラフになる
しかし、白黒と白白からできる３連のグラフの個数は３個と２個で矛盾。
やっぱり群論じゃないこれ。
白になるグラフと黒になるグラフは同時に存在しないことが問題の前提に
暗に仮定されているが、条件として与えていないので作問ミスだろ。
同時に存在したら、必要十分条件もひつようない。グラフはすべて白か黒になる
が、それが同じになるのだから。