結果

問題 No.1169 Row and Column and Diagonal
コンテスト
ユーザー poapoa
提出日時 2020-08-15 01:10:12
言語 Haskell
(9.14.1)
コンパイル:
ghc -rtsopts -with-rtsopts=-K1G -o a.out -O2 _filename_
実行:
./a.out
結果
AC  
実行時間 23 ms / 2,000 ms
コード長 517 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 1,678 ms
コンパイル使用メモリ 207,712 KB
実行使用メモリ 12,032 KB
最終ジャッジ日時 2026-04-26 19:36:54
合計ジャッジ時間 2,892 ms
ジャッジサーバーID
(参考情報)
judge2_1 / judge1_0
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
sample AC * 2
other AC * 13
権限があれば一括ダウンロードができます
コンパイルメッセージ
Loaded package environment from /home/judge/.ghc/x86_64-linux-9.14.1/environments/default
[1 of 2] Compiling Main             ( Main.hs, Main.o )
Main.hs:20:12: warning: [GHC-63394] [-Wx-partial]
    In the use of ‘tail’
    (imported from Prelude, but defined in GHC.Internal.List):
    "This is a partial function, it throws an error on empty lists. Replace it with 'drop' 1, or use pattern matching or 'GHC.Internal.Data.List.uncons' instead. Consider refactoring to use "Data.List.NonEmpty"."
   |
20 | shift xs = tail xs ++ [head xs]
   |            ^^^^

Main.hs:20:24: warning: [GHC-63394] [-Wx-partial]
    In the use of ‘head’
    (imported from Prelude, but defined in GHC.Internal.List):
    "This is a partial function, it throws an error on empty lists. Use pattern matching, 'Data.List.uncons' or 'Data.Maybe.listToMaybe' instead. Consider refactoring to use "Data.List.NonEmpty"."
   |
20 | shift xs = tail xs ++ [head xs]
   |                        ^^^^

[2 of 2] Linking a.out

ソースコード

diff #
raw source code

{-# LANGUAGE OverloadedStrings #-}

import qualified Control.Monad         as M
import qualified Data.ByteString.Char8 as B

main :: IO ()
main = do
  n <- readLn :: IO Int
  let m  = (n `div` 2) + 1
  let xs = merge [1..m] [m+1..n] 
  let ys = iterate shift xs
  B.putStr . B.unlines . map (B.pack . unwords . map show) . take n $ ys

merge :: [Int] -> [Int] -> [Int]
merge xs     []     = xs
merge []     ys     = ys
merge (x:xs) (y:ys) = x : y : merge xs ys

shift :: [Int] -> [Int]
shift xs = tail xs ++ [head xs]
0