結果

問題 No.1694 ZerOne
コンテスト
ユーザー LyricalMaestro
提出日時 2024-08-12 14:15:13
言語 PyPy3
(7.3.15)
結果
TLE  
実行時間 -
コード長 2,062 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 388 ms
コンパイル使用メモリ 82,472 KB
実行使用メモリ 274,700 KB
最終ジャッジ日時 2024-08-12 14:15:18
合計ジャッジ時間 4,410 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other TLE * 1 -- * 30
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

## https://yukicoder.me/problems/no/1694

from collections import deque

def main():
    S = input()

    init_state = 0
    for i in range(len(S)):
        if S[i] == "1":
            init_state |= (1 << i)
    states = {init_state:0}
    queue = deque()
    queue.append(init_state)

    while len(queue) > 0:
        state = queue.popleft()
        for l in range(2, (len(S) // 2) + 1):
            # 0, 1の状態を計算
            array = [[-1, -1] for _ in range(len(S) + 1 - l)]
            cnt = [0, 0]
            for k in range(l):
                if state & (1 << k) > 0:
                    cnt[1] += 1
                else:
                    cnt[0] += 1
            array[0][0] = cnt[0]
            array[0][1] = cnt[1]

            for k in range(l, len(S)):
                if state & (1 << k) > 0:
                    cnt[1] += 1
                else:
                    cnt[0] += 1
                if state & (1 << (k - l)) > 0:
                    cnt[1] -= 1
                else:
                    cnt[0] -= 1
                array[k - (l - 1)][0] = cnt[0]
                array[k - (l - 1)][1] = cnt[1]

            # 実際の遷移
            for s_i in range(len(array)):
                cnt = array[s_i]            
                if cnt[0] == -1:
                    continue

                if s_i + l < len(array) :
                    for t_i in range(s_i + l, len(array)):
                        if cnt[0] == array[t_i][0] and cnt[1] == array[t_i][1]:
                            s_bit = (state & ((2 **l - 1) << s_i))
                            t_bit = (state & ((2 **l - 1) << t_i))
                            new_state = state - s_bit - t_bit
                            new_state |= (s_bit >> s_i) << t_i
                            new_state |= (t_bit >> t_i) << s_i
                            if new_state not in states:
                                states[new_state] = 0
                                queue.append(new_state)

        
    print(len(states))










if __name__ == '__main__':
    main()
0