結果
| 問題 | No.1860 Magnets |
| ユーザー |
 sanao10000
|
| 提出日時 | 2022-03-04 22:21:21 |
| 言語 | Haskell (9.8.2) |
| 結果 |
WA
|
| 実行時間 | - |
| コード長 | 5,250 bytes |
| コンパイル時間 | 4,272 ms |
| コンパイル使用メモリ | 244,220 KB |
| 実行使用メモリ | 7,460 KB |
| 最終ジャッジ日時 | 2023-09-26 01:27:46 |
| 合計ジャッジ時間 | 5,888 ms |
|
ジャッジサーバーID （参考情報） |
judge12 / judge11 |
（要ログイン）
テストケース
テストケース表示| 入力 | 結果 | 実行時間 実行使用メモリ |
|---|---|---|
| testcase_00 | AC | 2 ms
7,224 KB |
| testcase_01 | AC | 2 ms
7,224 KB |
| testcase_02 | AC | 3 ms
7,228 KB |
| testcase_03 | AC | 2 ms
7,224 KB |
| testcase_04 | AC | 2 ms
7,276 KB |
| testcase_05 | AC | 2 ms
7,304 KB |
| testcase_06 | AC | 2 ms
7,224 KB |
| testcase_07 | AC | 3 ms
7,240 KB |
| testcase_08 | AC | 3 ms
7,276 KB |
| testcase_09 | AC | 3 ms
7,184 KB |
| testcase_10 | AC | 3 ms
7,204 KB |
| testcase_11 | AC | 3 ms
7,176 KB |
| testcase_12 | AC | 3 ms
7,180 KB |
| testcase_13 | AC | 2 ms
7,256 KB |
| testcase_14 | AC | 3 ms
7,180 KB |
| testcase_15 | AC | 2 ms
7,280 KB |
| testcase_16 | AC | 2 ms
7,228 KB |
| testcase_17 | AC | 2 ms
7,236 KB |
| testcase_18 | AC | 2 ms
7,272 KB |
| testcase_19 | AC | 3 ms
7,200 KB |
| testcase_20 | AC | 3 ms
7,172 KB |
| testcase_21 | AC | 3 ms
7,264 KB |
| testcase_22 | WA | - |
| testcase_23 | WA | - |
| testcase_24 | WA | - |
| testcase_25 | AC | 3 ms
7,244 KB |
| testcase_26 | AC | 2 ms
7,376 KB |
| testcase_27 | WA | - |
| testcase_28 | WA | - |
| testcase_29 | WA | - |
コンパイルメッセージ
Loaded package environment from /home/judge/.ghc/x86_64-linux-9.6.1/environments/default [1 of 2] Compiling Main ( Main.hs, Main.o ) [2 of 2] Linking a.out
ソースコード
-- -------------------------------------------------------------------------
-- ﾊ,,ﾊ
-- （ ﾟωﾟ ) WAお断りします
-- ／ ＼
-- ((⊂ ） ﾉ＼つ))
-- （＿⌒ヽ
-- ヽ ﾍ }
-- ε≡Ξ ﾉノ ｀J
-- ------------------------------------------------------------------------
{-# LANGUAGE CPP #-}
{-# LANGUAGE BlockArguments #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE MultiWayIf #-}
-- {-# LANGUAGE NegativeLiterals #-}
-- {-# LANGUAGE OverloadedLists #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# OPTIONS_GHC -Wno-deferred-type-errors #-}
{-# LANGUAGE StandaloneDeriving #-}
{-# LANGUAGE Strict #-}
{-# LANGUAGE StrictData #-}
{-# LANGUAGE TupleSections #-}
{-# LANGUAGE MagicHash #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TupleSections #-}
{-# LANGUAGE ForeignFunctionInterface, GHCForeignImportPrim, MagicHash, UnboxedTuples, UnliftedFFITypes #-}
{-# LANGUAGE ViewPatterns #-}
{-# OPTIONS_GHC -O0 #-}
{-# OPTIONS_GHC -O2 #-}
{-# OPTIONS_GHC -Wno-deferred-type-errors #-}
{-# OPTIONS_GHC -Wno-missing-import-lists #-}
{-# OPTIONS_GHC -Wno-unused-imports #-}
{-# OPTIONS_GHC -Wno-incomplete-patterns #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE UndecidableInstances#-}
{-# OPTIONS_GHC -Wno-overlapping-patterns #-}
{-# LANGUAGE TupleSections #-}
{-# LANGUAGE MultiParamTypeClasses #-}
module Main where
import Data.Bool
import Control.Applicative
import Numeric
import Control.Monad.State
import qualified Control.Monad as CM
import qualified Control.Monad.ST as ST
import qualified Data.Array as A
import qualified Data.Array.IO as AIO
import qualified Data.Array.ST as AST
import qualified Data.Array.Unboxed as AU
import qualified Data.Bits as Bits
import qualified Data.ByteString.Char8 as BS
import qualified Data.Char as Char
import qualified Data.Complex as Comp
import qualified Data.Foldable as Foldable
import qualified Data.Function as Func
import qualified Data.IORef as IO
import qualified Data.List as L
import qualified Data.Map.Strict as Map
import qualified Data.IntMap as MI
import qualified Data.Maybe as May
import qualified Data.Proxy as Proxy
import qualified Data.STRef as STR
import qualified Data.Sequence as Seq
import qualified Data.Set as Set
import qualified Data.Tree as Tree
import qualified Data.Vector as V
import qualified Data.Vector.Generic as G
import qualified Data.Vector.Mutable as VM
import qualified Data.Vector.Unboxed.Base as VUB
import qualified Data.Vector.Unboxed as VU
import qualified Data.Vector.Unboxed.Mutable as VUM
import Prelude hiding(print)
mod' = 1000000007
main=do
[a,b]<-cin @[Int]
print$solve a b
solve a b
| abs(a-b)==1 =a+b
|otherwise=min(((max a b)-(min a b)-1)*2+(min a b)*2+1)(((max a b)-(min a b)+1)*2+(min a b)*2-1)
---------------------------------------------------------
type Moji = BS.ByteString
type LV = V.Vector
type SV = VU.Vector
cin::Sanao a=>IO a
cin=sanao<$>BS.getLine
print :: Show a => a -> IO ()
print x=BS.putStrLn $ BS.pack $ show x
class Sanao a where
sanao :: Moji -> a
{-# MINIMAL sanao #-}
instance Sanao Moji where
sanao= id
instance Sanao Integer where
sanao= read.BS.unpack
instance Sanao Int where
sanao x= case BS.readInt x of
Nothing -> error "ここはInt"
Just (a,_) -> a
instance Sanao Double where
sanao x= case BS.readInt x of
Nothing -> error "ここはDouble"
Just (a,_) -> realToFrac a
instance Sanao [Moji] where
sanao=BS.words
instance (Sanao a)=>Sanao [a] where
sanao= map sanao.BS.words
instance Sanao(Int,Int) where
sanao= (\[a, b]->(a, b)) . map sanao . BS.words
instance Sanao(Int, Int, Int) where
sanao= (\[a, b, c]->(a, b, c)) . map sanao . BS.words
instance Sanao(Int, Int, Int, Int) where
sanao= (\[a, b, c, d]->(a, b, c, d)) . map sanao . BS.words
instance Sanao(Double,Double) where
sanao= (\[a, b]->(a, b)) . map sanao . BS.words
instance Sanao(Double,Double, Double) where
sanao= (\[a, b, c]->(a, b, c)) . map sanao . BS.words
instance Sanao(Double,Double, Double, Double) where
sanao= (\[a, b, c, d]->(a, b, c, d)) . map sanao . BS.words
instance Sanao(Moji,Int) where
sanao= (\[a, b]->(a,sanao b)) . BS.words
instance Sanao(Moji,Int, Int) where
sanao= (\[a, b, c]->(a,sanao b, sanao c)) . BS.words
instance Sanao(Int,Moji) where
sanao= (\[a, b]->(sanao a,b)) . BS.words
instance Sanao(Moji,Double) where
sanao= (\[a, b]->(a,sanao b)) . BS.words
instance Sanao(Double,Moji) where
sanao= (\[a, b]->(sanao a,b)) . BS.words