>>219
その可能性は見落としてたな…
でも次のように修正すれば大丈夫

【旧】
N=6の時点で一位が決まるためにはグラフGは連結でなければならないので、
【新】
N=6の時点で上位三馬が決まるためにはグラフGは連結でなければならないので、
（補足：もし連結でなければ、Gの半数以下の点しか持たないある連結成分について、
その極大元となる馬が上位三馬に入るかどうかが確定しない）

【旧】
もしグラフGのある３頂点x,y,zが
（中略）
参加できるのは過去参加した全てのレースで一着だった馬のみとなる…②
【新】
1≦M<N≦6 とする。Mレース目に参加した五馬のうち第i着の馬hがNレース目にも出場するとする。
この時、もしiが1でない場合、hがNレース目で5着だった際に全体の上位が確定しなくなる。
（∵Gはループを持たないため、hより上位の馬のうち極大元となる馬が複数存在することになり、
なおかつhより上位の馬は5頭以上存在するため、
極大元のうち上位三馬に入るかどうかが確定しない馬が存在することになる）
したがってどのレースにも、過去に一着以外とったことがない馬しか参加できない…②