結果

問題 No.294 SuperFizzBuzz
ユーザー しらっ亭
提出日時 2015-10-24 00:51:41
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 210 ms / 5,000 ms
コード長 1,335 bytes
コンパイル時間 655 ms
コンパイル使用メモリ 82,444 KB
実行使用メモリ 61,988 KB
最終ジャッジ日時 2024-09-13 04:32:24
合計ジャッジ時間 2,481 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 12
権限があれば一括ダウンロードができます

ソースコード

diff #
プレゼンテーションモードにする

from itertools import count
def combi(n, mod):
    c = [[0 for i in range(n + 1)] for j in range(n + 1)]
    for x in range(n + 1):
        c[x][0] = 1
        for y in range(1, x + 1):
            c[x][y] = (c[x - 1][y] + c[x - 1][y - 1]) % mod
    return c
def bitcount(x):
    """
    立っているbitの数
    """
    x = (x & 0x5555555555555555) + (x >> 1 & 0x5555555555555555)
    x = (x & 0x3333333333333333) + (x >> 2 & 0x3333333333333333)
    x = (x & 0x0f0f0f0f0f0f0f0f) + (x >> 4 & 0x0f0f0f0f0f0f0f0f)
    x = (x & 0x00ff00ff00ff00ff) + (x >> 8 & 0x00ff00ff00ff00ff)
    x = (x & 0x0000ffff0000ffff) + (x >> 16 & 0x0000ffff0000ffff)
    return (x & 0x00000000ffffffff) + (x >> 32 & 0x00000000ffffffff)
def out(n, m):
    # n 桁の m 番目
    x = 0
    for i in range((1 << n) + 1):
        if bitcount(i) % 3 == 2:
            x += 1
            if x == m:
                b = bin(i)[2:]
                b = b.replace('0', '3').replace('1', '5')
                print('3' * (n - len(b)) + b, '5', sep='')
                return
def solve():
    N = int(input())
    co = combi(26, 10000007)
    i = 0
    for n in count(2):
        j = i
        for r in range(n - 2, -1, -3):
            i += co[n][r]
        if i >= N:
            out(n, N - j)
            return
if __name__ == '__main__':
    solve()
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0