結果
| 問題 | 
                            No.1695 Mirror Mirror
                             | 
                    
| コンテスト | |
| ユーザー | 
                             vwxyz
                         | 
                    
| 提出日時 | 2024-12-17 05:00:17 | 
| 言語 | PyPy3  (7.3.15)  | 
                    
| 結果 | 
                             
                                WA
                                 
                             
                            
                         | 
                    
| 実行時間 | - | 
| コード長 | 1,239 bytes | 
| コンパイル時間 | 501 ms | 
| コンパイル使用メモリ | 82,540 KB | 
| 実行使用メモリ | 166,272 KB | 
| 最終ジャッジ日時 | 2024-12-17 05:00:33 | 
| 合計ジャッジ時間 | 12,101 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge1 / judge5 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 4 | 
| other | AC * 58 WA * 3 | 
ソースコード
from collections import deque
def Manacher(S):
    N=len(S)
    manacher=[None]*N
    i,j=0,0
    while i<N:
        while 0<=i-j and i+j<N and S[i-j]==S[i+j]:
            j+=1
        manacher[i]=j
        k=1
        while 0<=i-k and k+manacher[i-k]<j:
            manacher[i+k]=manacher[i-k]
            k+=1
        i+=k
        j-=k
    return manacher
N,M=map(int,input().split())
S=input()
T=input()
if T==T[::-1] and M%2==0:
    TT=["."]
    for t in T:
        TT.append(t)
        TT.append(".")
    manacher=[(c-1)//2 for c in Manacher(TT)[::2]]
    palindrome=[i for i in range(M+1)]
    r=0
    for i in range(M+1):
        while r<=i+manacher[i]:
            palindrome[r]=i
            r+=1
    inf=1<<30
    ans=inf
    if S==T:
        ans=0
    for _ in range(2):
        le=0
        for s,t in zip(S,T):
            if s==t:
                le+=1
            else:
                break
        cnt=0
        cur=M+1
        while True:
            if le*2>=cur:
                ans=min(ans,cnt+1)
                break
            if cur<=palindrome[cur//2]*2:
                break
            cur=palindrome[cur//2]*2
            cnt+=1
        S=S[::-1]
    if ans==inf:
        ans=-1
else:
    ans=-1
print(ans)
            
            
            
        
            
vwxyz