結果

問題 No.1361 [Zelkova 4th Tune *] QUADRUPLE-SEQUENCEの詩
ユーザー 👑 KazunKazun
提出日時 2020-09-14 23:04:11
言語 PyPy3
(7.3.15)
結果
RE  
実行時間 -
コード長 3,447 bytes
コンパイル時間 207 ms
コンパイル使用メモリ 82,176 KB
実行使用メモリ 181,760 KB
最終ジャッジ日時 2024-06-08 12:00:55
合計ジャッジ時間 24,570 ms
ジャッジサーバーID
(参考情報)
judge5 / judge2
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 36 ms
52,480 KB
testcase_01 AC 33 ms
52,736 KB
testcase_02 AC 33 ms
52,884 KB
testcase_03 AC 34 ms
52,864 KB
testcase_04 AC 33 ms
53,120 KB
testcase_05 AC 32 ms
52,480 KB
testcase_06 AC 38 ms
52,736 KB
testcase_07 AC 36 ms
52,480 KB
testcase_08 AC 53 ms
67,456 KB
testcase_09 AC 47 ms
63,360 KB
testcase_10 AC 54 ms
66,688 KB
testcase_11 AC 49 ms
67,072 KB
testcase_12 AC 47 ms
65,280 KB
testcase_13 AC 47 ms
64,572 KB
testcase_14 AC 46 ms
63,232 KB
testcase_15 AC 54 ms
69,248 KB
testcase_16 AC 56 ms
68,864 KB
testcase_17 AC 47 ms
64,384 KB
testcase_18 AC 96 ms
77,340 KB
testcase_19 AC 76 ms
75,616 KB
testcase_20 AC 86 ms
76,988 KB
testcase_21 AC 68 ms
77,184 KB
testcase_22 AC 78 ms
77,192 KB
testcase_23 AC 95 ms
77,744 KB
testcase_24 AC 95 ms
78,720 KB
testcase_25 AC 96 ms
78,700 KB
testcase_26 AC 99 ms
78,464 KB
testcase_27 AC 77 ms
76,772 KB
testcase_28 RE -
testcase_29 AC 288 ms
106,700 KB
testcase_30 AC 294 ms
100,912 KB
testcase_31 AC 386 ms
117,340 KB
testcase_32 AC 515 ms
132,892 KB
testcase_33 AC 294 ms
100,172 KB
testcase_34 AC 354 ms
121,656 KB
testcase_35 AC 377 ms
117,260 KB
testcase_36 AC 574 ms
138,624 KB
testcase_37 AC 190 ms
97,268 KB
testcase_38 AC 300 ms
110,848 KB
testcase_39 AC 252 ms
93,964 KB
testcase_40 AC 268 ms
104,960 KB
testcase_41 AC 405 ms
118,356 KB
testcase_42 AC 620 ms
135,936 KB
testcase_43 AC 366 ms
114,944 KB
testcase_44 AC 478 ms
120,832 KB
testcase_45 AC 316 ms
116,224 KB
testcase_46 AC 556 ms
128,128 KB
testcase_47 AC 298 ms
97,920 KB
testcase_48 AC 557 ms
181,760 KB
testcase_49 AC 365 ms
181,248 KB
testcase_50 AC 538 ms
181,760 KB
testcase_51 AC 446 ms
180,864 KB
testcase_52 AC 542 ms
181,504 KB
testcase_53 AC 823 ms
155,644 KB
testcase_54 AC 908 ms
155,864 KB
testcase_55 AC 902 ms
155,992 KB
testcase_56 AC 822 ms
155,476 KB
testcase_57 AC 666 ms
155,620 KB
testcase_58 AC 551 ms
152,576 KB
testcase_59 AC 546 ms
152,448 KB
testcase_60 AC 244 ms
152,312 KB
testcase_61 AC 241 ms
152,496 KB
testcase_62 AC 251 ms
152,584 KB
testcase_63 RE -
testcase_64 RE -
testcase_65 RE -
testcase_66 RE -
testcase_67 RE -
testcase_68 RE -
testcase_69 RE -
testcase_70 RE -
testcase_71 AC 33 ms
52,608 KB
testcase_72 AC 32 ms
52,736 KB
testcase_73 RE -
権限があれば一括ダウンロードができます

ソースコード

diff #

def General_Binary_Increase_Search(L,R,cond,Integer=True,ep=1/(1<<20)):
    """条件式が単調増加であるとき,一般的な二部探索を行う.
    L:解の下限
    R:解の上限
    cond:条件(1変数関数,広義単調減少 or 広義単調減少を満たす)
    Integer:解を整数に制限するか?
    ep:Integer=Falseのとき,解の許容する誤差
    """
    if not(cond(R)):
        return False

    if Integer:
        R+=1
        while R-L>1:
            C=L+(R-L)//2
            if cond(C):
                R=C
            else:
                L=C
        return R
    else:
        while (R-L)>=ep:
            C=L+(R-L)/2
            if cond(C):
                R=C
            else:
                L=C
        return R
#================================================
def f(x): #負の時の判定
    Z=0

    I=0
    for u in U_pos:
        if I<V_negative:
            while u*V_neg[I]<=x:
                I+=1

                if I==V_negative:
                    break
        Z+=I

    I=0
    for v in V_pos:
        if I<U_negative:
            while v*U_neg[I]<=x:
                I+=1

                if I==U_negative:
                    break
        Z+=I

    return Z

def g(x): #正の時の判定
    Z=0

    I=V_positive
    for u in U_pos:
        if I>0:
            while u*V_pos[I-1]>x:
                I-=1

                if I==0:
                    break
        Z+=I

    I=0
    for v in V_neg:
        if I<U_negative:
            while v*U_neg[-(I+1)]<=x:
                I+=1

                if I==U_negative:
                    break
        Z+=I

    return Z
#================================================
# pq=x なる x in G,y in H を求める.
def h(x,G,H):
    H=set(H)

    for g in G:
        if (x%g==0) and (x//g in H):
            return (g,x//g)

    return None
#================================================
#入力
K,L,M,N,S=map(int,input().split())

A=list(map(int,input().split()))
B=list(map(int,input().split()))
C=list(map(int,input().split()))
D=list(map(int,input().split()))

#================================================
# (A,B),(C,D)の2つに分けて考える.
U=[a*b for a in A for b in B]
U.sort()
V=[c*d for c in C for d in D]
V.sort()

U_pos=[u for u in U if u>0]
U_neg=[u for u in U if u<0]

V_pos=[v for v in V if v>0]
V_neg=[v for v in V if v<0]

U_positive=len(U_pos)
U_negative=len(U_neg)
U_zero=K*L-(U_positive+U_negative)

V_positive=len(V_pos)
V_negative=len(V_neg)
V_zero=M*N-(V_positive+V_negative)

#================================================
# Eの正,ゼロ,負の個数を求める
E_positive=U_positive*V_positive+U_negative*V_negative
E_negative=U_positive*V_negative+U_negative*V_positive
E_zero=K*L*M*N-(E_positive+E_negative)

#================================================
# Jを求める.
U_abs_max=abs(max(U,key=lambda u:abs(u)))
V_abs_max=abs(max(V,key=lambda v:abs(v)))
Abs_max=U_abs_max*V_abs_max+1

if S<=E_negative: #負確定
    Ans=General_Binary_Increase_Search(-Abs_max,0,lambda x:f(x)>=S)
elif E_negative+1<=S<=E_negative+E_zero: #ゼロ確定
    Ans=0
else: #正確定
    Ans=General_Binary_Increase_Search(0,Abs_max,lambda x:g(x)>=S-(E_negative+E_zero))

#================================================
# J=abcd なる a,b,c,dを求める.
alpha,beta=h(Ans,U,V)
a,b=h(alpha,A,B)
c,d=h(beta ,C,D)

#================================================
#出力
print(Ans)
print(a,b,c,d)
0