結果

問題 No.1609 String Division Machine
ユーザー 👑 SPD_9X2SPD_9X2
提出日時 2021-05-10 23:28:20
言語 PyPy3
(7.3.15)
結果
RE  
実行時間 -
コード長 2,260 bytes
コンパイル時間 357 ms
コンパイル使用メモリ 82,460 KB
実行使用メモリ 145,192 KB
最終ジャッジ日時 2024-07-06 07:53:05
合計ジャッジ時間 5,632 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 33 ms
53,692 KB
testcase_01 RE -
testcase_02 AC 32 ms
53,340 KB
testcase_03 AC 32 ms
53,508 KB
testcase_04 AC 31 ms
55,168 KB
testcase_05 AC 30 ms
52,876 KB
testcase_06 AC 32 ms
53,492 KB
testcase_07 AC 42 ms
63,156 KB
testcase_08 AC 41 ms
62,792 KB
testcase_09 AC 32 ms
54,652 KB
testcase_10 AC 32 ms
53,564 KB
testcase_11 AC 38 ms
61,852 KB
testcase_12 RE -
testcase_13 AC 43 ms
65,284 KB
testcase_14 AC 43 ms
65,200 KB
testcase_15 AC 43 ms
65,852 KB
testcase_16 AC 43 ms
65,916 KB
testcase_17 AC 44 ms
65,496 KB
testcase_18 AC 45 ms
64,676 KB
testcase_19 AC 45 ms
65,140 KB
testcase_20 AC 45 ms
64,556 KB
testcase_21 AC 46 ms
64,620 KB
testcase_22 AC 47 ms
64,872 KB
testcase_23 AC 56 ms
70,540 KB
testcase_24 AC 58 ms
72,004 KB
testcase_25 AC 58 ms
72,052 KB
testcase_26 AC 54 ms
70,872 KB
testcase_27 AC 58 ms
73,416 KB
testcase_28 AC 56 ms
71,232 KB
testcase_29 AC 55 ms
70,716 KB
testcase_30 AC 55 ms
72,312 KB
testcase_31 AC 56 ms
70,896 KB
testcase_32 AC 55 ms
71,712 KB
testcase_33 AC 307 ms
143,644 KB
testcase_34 AC 302 ms
145,192 KB
testcase_35 AC 311 ms
144,548 KB
testcase_36 AC 307 ms
143,640 KB
testcase_37 AC 304 ms
144,048 KB
testcase_38 AC 266 ms
141,368 KB
testcase_39 RE -
testcase_40 AC 291 ms
143,636 KB
testcase_41 AC 274 ms
145,064 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

"""

多分想定解v1

"""

import bisect

def LIS(lis):
    seq = []
    for c in lis:
        ind = bisect.bisect_left(seq,c)
        if ind == len(seq):
            seq.append(c)
        else:
            seq[ind] = c
    return len(seq)

alp = "abcdefghijklmnopqrstuvwxyz?"
cd = {} #文字→数字にする辞書型
for i in range(-1,26):
    cd[alp[i]] = i



#N = int(input())
S = list(input())

#制約チェック
#assert N == len(S)
for i in S:
    assert i in cd
N = len(S)

#全て?の場合を処理する
allq = True #全て?かどうかのフラグ

for i in S:
    if i != "?":
        allq = False
        break

if allq:
    print ("a"*N)
    sys.exit()

# dp[i][c] = i文字目以降で作れる最長増加部分列のうち、c以上で始まる物の最長。?は無視する
dpA = [[0] * 26 for i in range(N+1)]

for i in range(N-1,-1,-1):

    nmax = 0 #dpA[i][c] の最大 (c > j)

    for j in range(25,-1,-1):

        dpA[i][j] = max(dpA[i+1][j] , nmax)
        
        if cd[S[i]] == j:
            dpA[i][j] = max(dpA[i][j] , nmax + 1)

        nmax = max(nmax , dpA[i][j])

OLIS = max(dpA[0]) #?を無視した際のLIS

"""
for i in dpA:
    print (*i)
print (OLIS)
"""

ans = []

dpB = [[0] * 26 for i in range(N+1)] #i文字目以前で作れるLISのうち、c以下で終る物の最長

for i in range(N):

    if S[i] != "?": #?でない場合、置くものは一意
        nc = cd[S[i]]
    else: #?の場合、置ける辞書順最小の物を探索する

        for c in range(26):
            if c == 0:
                if dpA[i+1][c+1] + 1 <= OLIS:
                    nc = c
                    break
            elif c != 25:
                if dpB[i-1][c-1] + dpA[i+1][c+1] + 1 <= OLIS:
                    nc = c
                    break
            else: #25
                if dpB[i-1][c-1] + 1 <= OLIS:
                    nc = c
                    break
        else:
            print ("error",file=sys.stderr)
            sys.exit(1)

    ans.append(alp[nc])

    nmax = 0
    for j in range(26):

        dpB[i][j] = max(dpB[i-1][j] , nmax)

        if nc == j:
            dpB[i][j] = max(dpB[i][j] , nmax + 1)

        nmax = max(nmax , dpB[i][j])

assert LIS(ans) == OLIS

print ("".join(ans))
0