結果
| 問題 | No.635 自然門松列 | 
| コンテスト | |
| ユーザー |  fiord | 
| 提出日時 | 2018-03-10 03:31:05 | 
| 言語 | PyPy3 (7.3.15) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 51 ms / 650 ms | 
| コード長 | 1,039 bytes | 
| コンパイル時間 | 143 ms | 
| コンパイル使用メモリ | 82,304 KB | 
| 実行使用メモリ | 59,904 KB | 
| 最終ジャッジ日時 | 2024-06-23 08:51:45 | 
| 合計ジャッジ時間 | 1,889 ms | 
| ジャッジサーバーID (参考情報) | judge4 / judge3 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 1 | 
| other | AC * 23 | 
ソースコード
def solve(a,b,c,d,e,f):
    if [a,b]==[c,d] or [c,d]==[e,f] or [e,f]==[a,b]:
        return False
    # 元のやつはax+b,cx+d,ex+fで成長。差を取って、
    # s:(a-c)x+(b-d)
    # t:(e-c)x+(f-d)
    sa=a-c
    sb=b-d
    ta=e-c
    tb=f-d
    # sとtが同符号、つまりs*t>0となるxがx>=0に存在すればOK。
    # (sa*x+sb)*(ta*x+tb)=Ax^2+Bx+C>0だよね。
    A=sa*ta
    B=sa*tb+sb*ta
    C=sb*tb
    if A>0:
        # x=inf でs*t>0。だからOK。
        return True
    elif A==0:
        # s*t=Bx+C。B>0もしくはC>0でOK。
        return C>0 or B>0
    else:
        # Ax^2+Bx+C=0が2つの異なる実数解を持っている必要がある。
        if B*B<=4*A*C:
            return False
        # [p,q]の間でs*t>0→p>0かq>0でOK。
        return (-B+(B*B-4*A*C)**0.5)/(2*A)>0 or (-B-(B*B-4*A*C)**0.5)/(2*A)>0
n=int(input())
for i in range(n):
    dat=list(map(int,input().split()))
    if solve(dat[3],dat[0],dat[4],dat[1],dat[5],dat[2]):
        print("YES")
    else:
        print("NO")
            
            
            
        