結果

問題 No.2539 スライムゲーム
コンテスト
ユーザー ecottea
提出日時 2023-10-04 14:03:04
言語 Python3
(3.13.1 + numpy 2.2.1 + scipy 1.14.1)
結果
AC  
実行時間 588 ms / 1,000 ms
コード長 1,056 bytes
コンパイル時間 122 ms
コンパイル使用メモリ 12,544 KB
実行使用メモリ 53,852 KB
最終ジャッジ日時 2024-09-26 00:56:04
合計ジャッジ時間 25,741 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 45
権限があれば一括ダウンロードができます

ソースコード

diff # 

import re
import sys
import numpy as np # 無意味

sys.setrecursionlimit(10**5)

content = input()
pattern = r'^([\(\)]+)$'
result = re.match(pattern, content)

if not result:
    sys.exit("format error.")

s = content

n = len(s)
if n <= 0 or 10**5 < n:
    sys.exit("S")

INF = 10**18 + 1


def sep(l, r):
    acc = 0
    i = r - 1
    while i >= l:
        if s[i] == ')':
            acc += 1
        else:
            acc -= 1
        if acc == 0:
            return i
        if acc < 0:
            return -1
        i -= 1
    return -1


def truncated_pow(a, n):
    val = 1
    for _ in range(n):
        val *= a
        if val >= INF:
            return INF
    return val

def solve(l, r, dep):
    if dep >= 6:
        return INF
    
    if l >= r:
        return 0
    
    m = sep(l, r)
    if m == -1:
        return 1
    
    val = solve(l, m, dep) + truncated_pow(2, solve(m + 1, r - 1, dep + 1))
    if val >= INF:
        return INF
    
    return val

res = solve(0, n, 0)

if res >= INF:
    print("INFTY")
else:
    print(res)
0