結果

問題 No.2331 Maximum Quadrilateral
ユーザー navel_tos
提出日時 2023-05-30 02:01:05
言語 PyPy3
(7.3.15)
結果
TLE  
実行時間 -
コード長 4,572 bytes
コンパイル時間 577 ms
コンパイル使用メモリ 82,432 KB
実行使用メモリ 117,376 KB
最終ジャッジ日時 2024-12-28 11:14:04
合計ジャッジ時間 102,891 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 2
other AC * 8 WA * 5 TLE * 32
権限があれば一括ダウンロードができます

ソースコード

diff # 

#MMA Contest 015 J

'''
4点を選び、面積の2倍を出力せよ。

2点を固定して、一番高さが出る点を2箇所選べばよさそう。凸包？しらんです。

・2点(x1,y1), (x2,y2) を結ぶ直線の距離は
  y=(y2-y1)/(x2-x1) * (x-x1) + y1
  → (y2-y1)/(x2-x1) *x -y + (y2-y1)/(x2-x1)*(-x1)+y1 = 0
・(x3,y3)とax+by+c=0の距離は
  abs(a*x3 + b*y3 + c)/sqrt(a**2 + b**2)

これらの公式を用いて、距離の類推を行おう。
ところでこれ、absを外せばどちら側の距離か判定できたりしないかな？
できそうだな。
3点が与えられたときの三角形の面積(の2倍値)も関数化しておこう。

TLEして不貞腐れていたが、logNを落とせば通るっぽい。やろう。
→だめでした。PyPy3ではO(N^3)は切られるみたいです。

とりゐさんが解説記事を書いてくださっていました
やはり凸包で考えないとだめだよね、の気持ち かなし
Reference: https://toriidao.hateblo.jp/entry/2023/05/29/231655

気合いを入れて凸包を勉強する。
典型041の解説スライドに凸包があったので、これを読んで前処理しよう。
外積が正なら反時計回り、負なら時計回り。
Reference: https://twitter.com/e869120/status/1393753066331992065/photo/1
'''
import math
from bisect import bisect_left as bL, bisect_right as bR
from collections import deque as dq

tilt=lambda x1,y1,x2,y2: ((y2-y1)/(x2-x1),-1,(y2-y1)*(-x1)/(x2-x1)+y1)
dist=lambda A,B,C,x,y: (A*x+B*y+C)/(A**2 + B**2)**.5
area=lambda x1,y1,x2,y2,x3,y3: abs((x2-x1)*(y3-y1)-(y2-y1)*(x3-x1))
opro=lambda x1,y1,x2,y2: x1*y2-x2*y1
f=lambda:list(map(int,input().split()))


#入力受取
N=int(input()); Pos=sorted([f() for _ in range(N)]); R=[]

#凸包を求める
for x,y in Pos:
    while len(R)>1:
        x1,y1=R[-2]; x2,y2=R[-1]
        if opro(x2-x1,y2-y1,x-x2,y-y2)>=0: R.pop()
        else: break
    R.append((x,y))
T=len(R)
for x,y in Pos[-2::-1]:
    while len(R)>T:
        x1,y1=R[-2]; x2,y2=R[-1]
        if opro(x2-x1,y2-y1,x-x2,y-y2)>=0: R.pop()
        else: break
    R.append((x,y))

#凸包を三分探索
Pos=R[:-1]; N=len(Pos); R=Pos+Pos; ans=0
for i in range(N):
    for j in range(i+2,N):
        x1,y1=Pos[i]; x2,y2=Pos[j]
        #i<k<j となる凸包を探す
        Lt,Rt=i+1,j-1
        while abs(Lt-Rt)>=1:
            midL,midR=(Lt*2+Rt)//3,(Lt+Rt*2)//3; xL,yL=Pos[midL]; xR,yR=Pos[midR]
            SL,SR=area(x1,y1,x2,y2,xL,yL),area(x1,y1,x2,y2,xR,yR)
            Lt,Rt=(midL,Rt) if SL<SR else (Lt,midR)
        #反対側の区間の凸包を探す
        Ni=i+N; Upper=Lt; Lt,Rt=j+1,Ni-1
        if Ni-j<2: continue
        while abs(Lt-Rt)>=1:
            midL,midR=(Lt*2+Rt)//3,(Lt+Rt*2)//3; xL,yL=R[midL]; xR,yR=R[midR]
            SL,SR=area(x1,y1,x2,y2,xL,yL),area(x1,y1,x2,y2,xR,yR)
            Lt,Rt=(midL,Rt) if SL<SR else (Lt,midR)
        Lower=Lt; xH,yH=R[Upper]; xL,yL=R[Lower]
        ans=max(ans,area(x1,y1,x2,y2,xH,yH)+area(x1,y1,x2,y2,xL,yL))
print(ans)


'''
■ここからO(N^3) N>=350からTLE
N=int(input()); Pos=[f() for _ in range(N)]; ans=0
for i in range(N):
    x1,y1=Pos[i]
    for j in range(i+1,N):
        x2,y2=Pos[j]
        if x1==x2:  #y座標が最も大きいものと、最も小さいものを採用 凹四角形に注意
            Lx,Ly,Hx,Hy=0,10**18,0,-10**18
            for k,(x,y) in enumerate(Pos):
                if k==i or k==j: continue
                if Ly>y: Lx,Ly=x,y
                if Hy<y: Hx,Hy=x,y
            if   Ly<=y1<=Hy: ans=max(ans,area(x1,y1,x2,y2,Lx,Ly)+area(x1,y1,x2,y2,Hx,Hy))
            else: ans=max(ans,abs(area(x1,y1,x2,y2,Lx,Ly)-area(x1,y1,x2,y2,Hx,Hy)))
        elif y1==y2:
            Lx,Ly,Hx,Hy=10**18,0,-10**18,0
            for k,(x,y) in enumerate(Pos):
                if k==i or k==j: continue
                if Lx>x: Lx,Ly=x,y
                if Hx<x: Hx,Hy=x,y
            if   Lx<=x1<=Hx: ans=max(ans,area(x1,y1,x2,y2,Lx,Ly)+area(x1,y1,x2,y2,Hx,Hy))
            else: ans=max(ans,abs(area(x1,y1,x2,y2,Lx,Ly)-area(x1,y1,x2,y2,Hx,Hy)))
        else:
            A,B,C=tilt(x1,y1,x2,y2); Ld,Lx,Ly,Hd,Hx,Hy=10**18,0,0,-10**18,0,0
            for k,(x,y) in enumerate(Pos):
                if k==i or k==j: continue
                d=dist(A,B,C,x,y)
                if Ld>d: Ld,Lx,Ly=d,x,y
                if Hd<d: Hd,Hx,Hy=d,x,y
            if Ld<=0<=Hd: ans=max(ans,area(x1,y1,x2,y2,Lx,Ly)+area(x1,y1,x2,y2,Hx,Hy))
            else: ans=max(ans,area(x1,y1,x2,y2,Lx,Ly)-area(x1,y1,x2,y2,Hx,Hy))
print(ans)
'''
0