結果

問題 No.3005 トレミーの問題
コンテスト
ユーザー LyricalMaestro
提出日時 2026-03-15 01:16:39
言語 PyPy3
(7.3.17)
コンパイル:
pypy3 -mpy_compile _filename_
実行:
pypy3 _filename_
結果
AC  
実行時間 28 ms / 2,000 ms
コード長 901 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 208 ms
コンパイル使用メモリ 85,192 KB
実行使用メモリ 54,264 KB
最終ジャッジ日時 2026-03-15 01:16:42
合計ジャッジ時間 2,600 ms
ジャッジサーバーID
（参考情報） 		judge3_0 / judge1_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 30
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

# https://yukicoder.me/problems/no/3005


def main():
    xy = []
    for _ in range(4):
        x, y = map(int, input().split())
        xy.append((x, y))


    v0 = xy[1][0] - xy[0][0]
    v1 = xy[1][1] - xy[0][1]
    v0, v1 = v1, -v0

    v0_ = xy[2][0] - xy[0][0]
    v1_ = xy[2][1] - xy[0][1]
    v0_, v1_ = v1_, -v0_

    if v0 * v1_ - v1 * v0_ == 0:
        print("NO")
        return
    
    d = v0 * v1_ - v1 * v0_
    
    m0 = xy[1][0] + xy[0][0]
    m1 = xy[1][1] + xy[0][1]
    m0_ = xy[2][0] + xy[0][0]
    m1_ = xy[2][1] + xy[0][1]

    t_ = (m0_ - m0) * v1_ - (m1_ - m1) * v0_

    x0 = t_ * v0 + m0 * d
    y0 = t_ * v1 + m1 * d

    ans = (xy[0][0] - xy[3][0]) * (x0 - d * (xy[0][0] + xy[3][0]))
    ans += (xy[0][1] - xy[3][1]) * (y0 - d * (xy[0][1] + xy[3][1]))

    if ans == 0:
        print("YES")
    else:
        print("NO")


    





if __name__ == "__main__":
    main()
0