結果

問題 No.603 hel__world (2)
ユーザー zimpha
提出日時 2017-12-03 02:43:42
言語 PyPy2
(7.3.15)
結果
WA  
実行時間 -
コード長 2,226 bytes
コンパイル時間 1,654 ms
コンパイル使用メモリ 76,672 KB
実行使用メモリ 225,916 KB
最終ジャッジ日時 2024-11-28 08:03:36
合計ジャッジ時間 23,981 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 23 WA * 3 TLE * 4
権限があれば一括ダウンロードができます

ソースコード

diff # 

mod = 10 ** 6 + 3
denom = 10 ** 40
fac = [1] * mod
inv = [1] * mod

for i in xrange(2, mod):
    fac[i] = i * fac[i - 1] % mod
    inv[i] = (mod - mod / i) * inv[mod % i] % mod

def solve():
    def binom(n, m):
        if n < m: return 0
        if n == m or m == 0: return 1
        nq, nr = divmod(n, mod)
        mq, mr = divmod(m, mod)
        if nr < mr: return 0
        return fac[nr] * inv[fac[mr]] * inv[fac[nr - mr]] * binom(nq, mq) % mod

    counts = map(int, raw_input().split())
    s = raw_input()
    n = len(s)
    lens = [[] for i in xrange(26)]
    freqs = [0] * 26
    last = ' '
    for c in s:
        i = ord(c) - ord('a')
        if last == c:
            lens[i][-1] += 1
        else:
            lens[i].append(1)
        freqs[i] += 1
        last = c
    ans = 1
    for i in xrange(26):
        if counts[i] < freqs[i]:
            return 0
        if freqs[i] == 0 or counts[i] == freqs[i]:
            continue
        if len(lens[i]) == 1:
            ans = ans * binom(counts[i], lens[i][0]) % mod
        else:
            rest = counts[i] - freqs[i]
            ok = denom + 1
            ng = n * denom + 1
            exact = False
            while ng - ok > 1:
                mid = (ok + ng) >> 1
                total = 0
                for l in lens[i]:
                    total += (l * denom) / (mid - denom)
                if total >= rest:
                    ok = mid
                    if total == rest:
                        exact = True
                        ng = mid
                else:
                    ng = mid
            for l in lens[i]:
                k = (l * denom) / (ng - denom)
                if k:
                    ans = ans * binom(l + k, l) % mod
                    rest -= k
            assert rest >= 0
            if not exact:
                for l in lens[i]:
                    k1 = (l * denom) / (ok - denom)
                    k2 = (l * denom) / (ng - denom)
                    if k1 > k2:
                        assert k1 == k2 + 1
                        ans = ans * (k1 + l) % mod * inv[k1 % mod] % mod
                    rest -= 1
                    if rest == 0:
                        break
    return ans

print solve()
0