境界に沿った順に頂点 を持つ単純多角形 が与えられる。 は内部と境界を含む。
と を通る直線を とする。多角形全体は の片側にある。その側の閉半平面を とし、壁が占める領域を とする。
最初、 は壁の空洞にぴったり収まっている。 を回転させずに連続的に平行移動し、 のすべての点を の外に出せるか判定せよ。
移動中、多角形と壁が重なる部分の面積は常に でなければならない。境界同士の接触や、境界に沿って滑る移動は許される。途中で移動方向を変えてもよい。壁と は動かない。
入力は次の形式で与えられる。
多角形を完全に取り出せるなら YES を、そうでなければ NO を出力せよ。
の座標は である()。最後の頂点と最初の頂点も辺で結ばれている。