結果
| 問題 | No.1133 キムワイプイーター |
| ユーザー |
|
| 提出日時 | 2020-11-04 18:47:22 |
| 言語 | Haskell (9.12.2) |
| 結果 |
WA
|
| 実行時間 | - |
| コード長 | 1,395 bytes |
| 記録 | |
| コンパイル時間 | 10,476 ms |
| コンパイル使用メモリ | 202,112 KB |
| 実行使用メモリ | 35,840 KB |
| 最終ジャッジ日時 | 2024-07-22 09:59:26 |
| 合計ジャッジ時間 | 4,350 ms |
|
ジャッジサーバーID (参考情報) |
judge2 / judge3 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 1 WA * 1 |
| other | AC * 8 WA * 23 |
コンパイルメッセージ
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
ソースコード
{-# LANGUAGE BangPatterns #-}
{-# LANGUAGE TypeApplications #-}
import Control.Monad
import Data.Bool
import Data.IORef
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
[n, m] <- map (read @Int) . words <$> getLine
g <- VUM.replicate ((n + 1) * (n + 1)) False
VUM.unsafeWrite g 0 True
x <- newIORef (0 :: Int)
y <- newIORef (0 :: Int)
ss <- VU.fromList <$> getLine
VU.forM_ ss $ \s -> do
when (s == 'R') $ modifyIORef' x succ
when (s == 'U') $ modifyIORef' y succ
when (s == 'L') $ modifyIORef' x pred
when (s == 'D') $ modifyIORef' y pred
x1 <- readIORef x
y1 <- readIORef y
VUM.unsafeWrite g (x1 + y1 * (n + 1)) True
xs <- VU.unsafeFreeze g
let ys = VU.map (\b -> bool (1 :: Int) (0 :: Int) b) xs
rep (n + 1) $ \i -> putStrLn . unwords . map show . VU.toList . VU.take (n + 1) . VU.drop (i * (n + 1)) $ ys
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 #-}