結果

問題 No.225 文字列変更(medium)
ユーザー こまるこまる
提出日時 2020-10-13 19:54:24
言語 Haskell
(9.10.1)
結果
AC  
実行時間 21 ms / 5,000 ms
コード長 1,763 bytes
コンパイル時間 7,892 ms
コンパイル使用メモリ 197,760 KB
実行使用メモリ 15,360 KB
最終ジャッジ日時 2024-07-20 18:45:34
合計ジャッジ時間 6,579 ms
ジャッジサーバーID
(参考情報)
judge2 / judge3
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 9 ms
10,496 KB
testcase_01 AC 14 ms
12,708 KB
testcase_02 AC 2 ms
5,376 KB
testcase_03 AC 1 ms
5,376 KB
testcase_04 AC 2 ms
5,376 KB
testcase_05 AC 1 ms
5,376 KB
testcase_06 AC 1 ms
5,376 KB
testcase_07 AC 1 ms
5,376 KB
testcase_08 AC 1 ms
5,376 KB
testcase_09 AC 1 ms
5,376 KB
testcase_10 AC 1 ms
5,376 KB
testcase_11 AC 1 ms
5,376 KB
testcase_12 AC 21 ms
14,644 KB
testcase_13 AC 20 ms
15,360 KB
testcase_14 AC 21 ms
15,232 KB
testcase_15 AC 20 ms
14,720 KB
testcase_16 AC 19 ms
14,904 KB
testcase_17 AC 21 ms
14,784 KB
testcase_18 AC 20 ms
14,464 KB
testcase_19 AC 20 ms
14,720 KB
testcase_20 AC 19 ms
14,264 KB
testcase_21 AC 19 ms
14,516 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
Loaded package environment from /home/judge/.ghc/x86_64-linux-9.8.2/environments/default
[1 of 2] Compiling Main             ( Main.hs, Main.o )
[2 of 2] Linking a.out

ソースコード

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

{-# LANGUAGE BangPatterns #-}
import Control.Monad.ST
import Data.Bool
import qualified Data.Vector.Fusion.Stream.Monadic as VFSM
import qualified Data.Vector.Unboxed as VU
import qualified Data.Vector.Unboxed.Mutable as VUM
main :: IO ()
main = do
getLine
s <- VU.fromList <$> getLine
t <- VU.fromList <$> getLine
print $ levenshteinDistance s t
stream :: Monad m => Int -> Int -> VFSM.Stream m Int
stream !l !r = VFSM.Stream step l
where
step x
| x < r = return $ VFSM.Yield x (x + 1)
| otherwise = return $ VFSM.Done
{-# INLINE [0] step #-}
{-# INLINE [1] stream #-}
rep :: Monad m => Int -> (Int -> m ()) -> m ()
rep n = flip VFSM.mapM_ (stream 0 n)
{-# INLINE rep #-}
rep' :: Monad m => Int -> (Int -> m ()) -> m ()
rep' n = flip VFSM.mapM_ (stream 0 (n + 1))
{-# INLINE rep' #-}
rep1 :: Monad m => Int -> (Int -> m ()) -> m ()
rep1 n = flip VFSM.mapM_ (stream 1 n)
{-# INLINE rep1 #-}
rep1' :: Monad m => Int -> (Int -> m ()) -> m ()
rep1' n = flip VFSM.mapM_ (stream 1 (n + 1))
{-# INLINE rep1' #-}
levenshteinDistance :: VU.Vector Char -> VU.Vector Char -> Int
levenshteinDistance s t = runST $ do
let !m = VU.length s
let !n = VU.length t
dp <- VUM.replicate ((m + 1) * (n + 1)) (1000000007 :: Int)
rep' m $ \i -> VUM.unsafeWrite dp (i * (n + 1)) i
rep' n $ \j -> VUM.unsafeWrite dp j j
rep m $ \i -> rep n $ \j -> do
item1 <- VUM.unsafeRead dp (i * (n + 1) + j)
item2 <- VUM.unsafeRead dp (i * (n + 1) + (j + 1))
item3 <- VUM.unsafeRead dp ((i + 1) * (n + 1) + j)
let item = minimum [item1 + bool 0 1 (s VU.! i /= t VU.! j), item2 + 1, item3 + 1]
VUM.unsafeWrite dp ((i + 1) * (n + 1) + (j + 1)) item
VUM.unsafeRead dp (m * (n + 1) + n)
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0