結果
| 問題 | 
                            No.1133 キムワイプイーター
                             | 
                    
| ユーザー | 
                             | 
                    
| 提出日時 | 2020-11-04 18:47:22 | 
| 言語 | Haskell  (9.10.1)  | 
                    
| 結果 | 
                             
                                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 #-}