結果

問題 No.2597 Yet Another Topological Problem
ユーザー 👑 Nachia
提出日時 2023-12-25 01:23:46
言語 Text
(cat 8.3)
結果
WA  
実行時間 -
コード長 989 bytes
コンパイル時間 380 ms
コンパイル使用メモリ 5,376 KB
実行使用メモリ 6,948 KB
最終ジャッジ日時 2024-09-27 14:00:35
合計ジャッジ時間 7,928 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other WA * 55
権限があれば一括ダウンロードができます

ソースコード

diff # 

ポエム

D=1 として観察する。
C を p/q だけ右にシフトしたもの (C') と C が重なってはいけない。
C を左側から構築すると、途中で C' の上側か下側のどちらかに拘束される。上側に拘束されたとする。
ここで、 C が左方向に戻るのは、後で押し戻すことで戻らない解に替えられそうということでそのような移動は考えないことにする。
x=1 において C' は y<0 の領域を通過しないといけないから、 x=1-p/q では C が y<0 の領域を通過しなければならない。
よって x=1-p/q でも C' は y<0 の領域を通過する。繰り返すと、 p divides q のとき x=p/q のとき y<0 の領域を通過しなければならず、 C が C' の下側に拘束されてしまう（矛盾）。
そうすると p=1 の場合は不可能と考えられた。 p >= 2 の場合の構築の方針も、この観察に従って考えれば得られた。
0