#875901 (PyPy3) No.2331 Maximum Quadrilateral

提出ソース

結果

問題	No.2331 Maximum Quadrilateral
ユーザー	navel_tos
提出日時	2023-05-30 02:10:31
言語	PyPy3 (7.3.15)
結果	WA
実行時間	-
コード長	4,914 bytes
コンパイル時間	341 ms
コンパイル使用メモリ	81,920 KB
実行使用メモリ	65,408 KB
最終ジャッジ日時	2024-06-08 19:53:09
合計ジャッジ時間	4,551 ms
ジャッジサーバーID （参考情報）	judge2 / judge4

このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示

入力	結果	実行時間実行使用メモリ
testcase_00	WA	-
testcase_01	WA	-
testcase_02	WA	-
testcase_03	WA	-
testcase_04	WA	-
testcase_05	WA	-
testcase_06	WA	-
testcase_07	WA	-
testcase_08	WA	-
testcase_09	WA	-
testcase_10	WA	-
testcase_11	WA	-
testcase_12	WA	-
testcase_13	WA	-
testcase_14	WA	-
testcase_15	WA	-
testcase_16	WA	-
testcase_17	WA	-
testcase_18	WA	-
testcase_19	WA	-
testcase_20	WA	-
testcase_21	WA	-
testcase_22	WA	-
testcase_23	WA	-
testcase_24	WA	-
testcase_25	AC	46 ms 54,784 KB
testcase_26	AC	46 ms 54,400 KB
testcase_27	AC	45 ms 54,144 KB
testcase_28	AC	45 ms 54,144 KB
testcase_29	AC	46 ms 54,656 KB
testcase_30	WA	-
testcase_31	AC	46 ms 54,400 KB
testcase_32	AC	45 ms 54,528 KB
testcase_33	AC	44 ms 54,144 KB
testcase_34	AC	45 ms 54,400 KB
testcase_35	AC	46 ms 54,144 KB
testcase_36	AC	47 ms 54,400 KB
testcase_37	AC	45 ms 54,528 KB
testcase_38	AC	45 ms 54,400 KB
testcase_39	AC	44 ms 54,528 KB
testcase_40	AC	44 ms 54,144 KB
testcase_41	AC	45 ms 54,400 KB
testcase_42	WA	-
testcase_43	WA	-
testcase_44	WA	-
testcase_45	AC	44 ms 54,400 KB
testcase_46	WA	-

権限があれば一括ダウンロードができます

ソースコード

raw source code

#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)>2:
            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)
        #二択まで絞れたらどちらが優れているか決める
        xL,yL=Pos[Lt]; xR,yR=Pos[Rt]
        SL,SR=area(x1,y1,x2,y2,xL,yL),area(x1,y1,x2,y2,xR,yR)
        Upper=Lt if SL>SR else Rt

        #反対側の区間の凸包を探す
        Ni=i+N; Lt,Rt=j+1,Ni-1
        if Ni-j<2: continue
        while abs(Lt-Rt)>2:
            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)
        xL,yL=R[Lt]; xR,yR=R[Rt]
        SL,SR=area(x1,y1,x2,y2,xL,yL),area(x1,y1,x2,y2,xR,yR)
        Lower=Lt if SL>SR else Rt

        #答えを更新
        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)
'''

yukicoder

結果

テストケース

ソースコード