提出 #74666781


ソースコード 拡げる

import Control.Monad
import Control.Monad.ST
import Control.Monad.Primitive
import Data.Maybe
import qualified Data.ByteString.Char8 as BS
import Data.List
import Data.Char
import Data.Ord
import Data.Ix
import Data.Bool
import Data.Vector.Unboxed.Base
import qualified Data.Vector.Unboxed as VU
import qualified Data.Vector.Unboxed.Mutable as VUM
import qualified Data.Vector as V
import qualified Data.Vector.Mutable as VM
import Data.Array.Unboxed
import Data.Array.ST
import Data.Sequence (Seq)
import qualified Data.Sequence as Seq
import qualified Data.Set as Set
import Data.Tree
import qualified Data.Map as M
import Data.IntMap.Strict (IntMap)
import qualified Data.IntMap as IM
import qualified Data.Heap as H
import qualified AtCoder.Extra.Math as Math
import qualified AtCoder.Extra.Pdsu as Pdsu
import qualified AtCoder.Extra.Vector as VE
import Data.Semigroup (Sum (..))

readInt = fst . fromJust . BS.readInt
readIntList = map readInt . BS.words
getInt = readInt <$> BS.getLine
getIntList = readIntList <$> BS.getLine
strToInt strN = read strN :: Int

putStrList xs = putStrLn . unwords $ map show xs

main = do
    n <- getInt
    ab <- replicateM n $ do
        [a,b] <- getIntList
        return (a, b-1)
    m <- getInt
    ss <- replicateM m getLine
    
    let sets = map (\p -> foldl' (f p) Set.empty ss) ab
        f (a, b) x s | length s == a = Set.insert (s !! b) x
                     | otherwise = x

    forM_ ss $ \s -> do
        let check1 = length s == n
            check2 = and $ zipWith Set.member s sets
        putStrLn $ if check1 && check2 then "Yes" else "No"

提出情報

提出日時
問題 C - Fishbones
ユーザ pel
言語 Haskell (GHC 9.8.4)
得点 300
コード長 1656 Byte
結果 AC
実行時間 499 ms
メモリ 166236 KiB

コンパイルエラー

Configuration is affected by the following files:
- cabal.project
- cabal.project.freeze
- cabal.project.local

app/Main.hs:2:1: warning: [GHC-66111] [-Wunused-imports]
    The import of ‘Control.Monad.ST’ is redundant
      except perhaps to import instances from ‘Control.Monad.ST’
    To import instances alone, use: import Control.Monad.ST()
  |
2 | import Control.Monad.ST
  | ^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:3:1: warning: [GHC-66111] [-Wunused-imports]
    The import of ‘Control.Monad.Primitive’ is redundant
      except perhaps to import instances from ‘Control.Monad.Primitive’
    To import instances alone, use: import Control.Monad.Primitive()
  |
3 | import Control.Monad.Primitive
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:7:1: warning: [GHC-66111] [-Wunused-imports]
    The import of ‘Data.Char’ is redundant
      except perhaps to import instances from ‘Data.Char’
    To import instances alone, use: import Data.Char()
  |
7 | import Data.Char
  | ^^^^^^^^^^^^^^^^

app/Main.hs:8:1: warning: [GHC-66111] [-Wunused-imports]
    The import of ‘Data.Ord’ is redundant
      except perhaps to import instances from ‘Data.Ord’
    To import instances alone, use: import Data.Ord()
  |
8 | import Data.Ord
  | ^^^^^^^^^^^^^^^

app/Main.hs:9:1: warning: [GHC-66111] [-Wunused-imports]
    The import of ‘Data.Ix’ is redundant
      except perhaps to import instances from ‘Data.Ix’
    To import instances alone, use: import Data.Ix()
  |
9 | import Data.Ix
  | ^^^^^^^^^^^^^^

app/Main.hs:10:1: warning: [GHC-66111] [-Wunused-imports]
    The import of ‘Data.Bool’ is redundant
      except perhaps to import instances from ‘Data.Bool’
    To import instances alone, use: import Data.Bool()
   |
10 | import Data.Bool
   | ^^^^^^^^^^^^^^^^

app/Main.hs:11:1: warning: [GHC-66111] [-Wunused-imports]
    The import of ‘Data.Vector.Unboxed.Base’ is redundant
      except perhaps to import instances from ‘Data.Vector.Unboxed.Base’
    To import instances alone, use: import Data.Vector.Unboxed.Base()
   |
11 | import Data.Vector.Unboxed.Base
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:12:1: warning: [GHC-66111] [-Wunused-imports]
    The qualified import of ‘Data.Vector.Unboxed’ is redundant
      except perhaps to import instances from ‘Data.Vector.Unboxed’
    To import instances alone, use: import Data.Vector.Unboxed()
   |
12 | import qualified Data.Vector.Unboxed as VU
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:13:1: warning: [GHC-66111] [-Wunused-imports]
    The qualified import of ‘Data.Vector.Unboxed.Mutable’ is redundant
      except perhaps to import instances from ‘Data.Vector.Unboxed.Mutable’
    To import instances alone, use: import Data.Vector.Unboxed.Mutable()
   |
13 | import qualified Data.Vector.Unboxed.Mutable as VUM
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:14:1: warning: [GHC-66111] [-Wunused-imports]
    The qualified import of ‘Data.Vector’ is redundant
      except perhaps to import instances from ‘Data.Vector’
    To import instances alone, use: import Data.Vector()
   |
14 | import qualified Data.Vector as V
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:15:1: warning: [GHC-66111] [-Wunused-imports]
    The qualified import of ‘Data.Vector.Mutable’ is redundant
      except perhaps to import instances from ‘Data.Vector.Mutable’
    To import instances alone, use: import Data.Vector.Mutable()
   |
15 | import qualified Data.Vector.Mutable as VM
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:16:1: warning: [GHC-66111] [-Wunused-imports]
    The import of ‘Data.Array.Unboxed’ is redundant
      except perhaps to import instances from ‘Data.Array.Unboxed’
    To import instances alone, use: import Data.Array.Unboxed()
   |
16 | import Data.Array.Unboxed
   | ^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:17:1: warning: [GHC-66111] [-Wunused-imports]
    The import of ‘Data.Array.ST’ is redundant
      except perhaps to import instances from ‘Data.Array.ST’
    To import instances alone, use: import Data.Array.ST()
   |
17 | import Data.Array.ST
   | ^^^^^^^^^^^^^^^^^^^^

app/Main.hs:18:1: warning: [GHC-66111] [-Wunused-imports]
    The import of ‘Data.Sequence’ is redundant
      except perhaps to import instances from ‘Data.Sequence’
    To import instances alone, use: import Data.Sequence()
   |
18 | import Data.Sequence (Seq)
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:19:1: warning: [GHC-66111] [-Wunused-imports]
    The qualified import of ‘Data.Sequence’ is redundant
      except perhaps to import instances from ‘Data.Sequence’
    To import instances alone, use: import Data.Sequence()
   |
19 | import qualified Data.Sequence as Seq
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:21:1: warning: [GHC-66111] [-Wunused-imports]
    The import of ‘Data.Tree’ is redundant
      except perhaps to import instances from ‘Data.Tree’
    To import instances alone, use: import Data.Tree()
   |
21 | import Data.Tree
   | ^^^^^^^^^^^^^^^^

app/Main.hs:22:1: warning: [GHC-66111] [-Wunused-imports]
    The qualified import of ‘Data.Map’ is redundant
      except perhaps to import instances from ‘Data.Map’
    To import instances alone, use: import Data.Map()
   |
22 | import qualified Data.Map as M
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:23:1: warning: [GHC-66111] [-Wunused-imports]
    The import of ‘Data.IntMap.Strict’ is redundant
      except perhaps to import instances from ‘Data.IntMap.Strict’
    To import instances alone, use: import Data.IntMap.Strict()
   |
23 | import Data.IntMap.Strict (IntMap)
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:24:1: warning: [GHC-66111] [-Wunused-imports]
    The qualified import of ‘Data.IntMap’ is redundant
      except perhaps to import instances from ‘Data.IntMap’
    To import instances alone, use: import Data.IntMap()
   |
24 | import qualified Data.IntMap as IM
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:25:1: warning: [GHC-66111] [-Wunused-imports]
    The qualified import of ‘Data.Heap’ is redundant
      except perhaps to import instances from ‘Data.Heap’
    To import instances alone, use: import Data.Heap()
   |
25 | import qualified Data.Heap as H
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:26:1: warning: [GHC-66111] [-Wunused-imports]
    The qualified import of ‘AtCoder.Extra.Math’ is redundant
      except perhaps to import instances from ‘AtCoder.Extra.Math’
    To import instances alone, use: import AtCoder.Extra.Math()
   |
26 | import qualified AtCoder.Extra.Math as Math
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:27:1: warning: [GHC-66111] [-Wunused-imports]
    The qualified import of ‘AtCoder.Extra.Pdsu’ is redundant
      except perhaps to import instances from ‘AtCoder.Extra.Pdsu’
    To import instances alone, use: import AtCoder.Extra.Pdsu()
   |
27 | import qualified AtCoder.Extra.Pdsu as Pdsu
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:28:1: warning: [GHC-66111] [-Wunused-imports]
    The qualified import of ‘AtCoder.Extra.Vector’ is redundant
      except perhaps to import instances from ‘AtCoder.Extra.Vector’
    To import instances alone, use: import AtCoder.Extra.Vector()
   |
28 | import qualified AtCoder.Extra.Vector as VE
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:29:1: warning: [GHC-66111] [-Wunused-imports]
    The import of ‘Data.Semigroup’ is redundant
      except perhaps to import instances from ‘Data.Semigroup’
    To import instances alone, use: import Data.Semigroup()
   |
29 | import Data.Semigroup (Sum (..))
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:31:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      readInt :: BS.ByteString -> Int
   |
31 | readInt = fst . fromJust . BS.readInt
   | ^^^^^^^

app/Main.hs:32:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      readIntList :: BS.ByteString -> [Int]
   |
32 | readIntList = map readInt . BS.words
   | ^^^^^^^^^^^

app/Main.hs:33:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: getInt :: IO Int
   |
33 | getInt = readInt <$> BS.getLine
   | ^^^^^^

app/Main.hs:34:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: getIntList :: IO [Int]
   |
34 | getIntList = readIntList <$> BS.getLine
   | ^^^^^^^^^^

app/Main.hs:35:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: strToInt :: String -> Int
   |
35 | strToInt strN = read strN :: Int
   | ^^^^^^^^

app/Main.hs:35:1: warning: [GHC-40910] [-Wunused-top-binds]
    Defined but not used: ‘strToInt’
   |
35 | strToInt strN = read strN :: Int
   | ^^^^^^^^

app/Main.hs:37:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      putStrList :: Show a => [a] -> IO ()
   |
37 | putStrList xs = putStrLn . unwords $ map show xs
   | ^^^^^^^^^^

app/Main.hs:37:1: warning: [GHC-40910] [-Wunused-top-binds]
    Defined but not used: ‘putStrList’
   |
37 | putStrList xs = putStrLn . unwords $ map show xs
   | ^^^^^^^^^^

app/Main.hs:39:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: main :: IO ()
   |
39 | main = do
   | ^^^^
Configuration is affected by the following files:
- cabal.project
- cabal.project.freeze
- cabal.project.local

ジャッジ結果

セット名 Sample All
得点 / 配点 0 / 0 300 / 300
結果
AC × 2
AC × 25
セット名 テストケース
Sample 00-sample-01.txt, 00-sample-02.txt
All 00-sample-01.txt, 00-sample-02.txt, 01-01.txt, 01-02.txt, 01-03.txt, 01-04.txt, 01-05.txt, 01-06.txt, 01-07.txt, 01-08.txt, 01-09.txt, 01-10.txt, 01-11.txt, 01-12.txt, 01-13.txt, 01-14.txt, 01-15.txt, 01-16.txt, 01-17.txt, 01-18.txt, 01-19.txt, 01-20.txt, 01-21.txt, 01-22.txt, 01-23.txt
ケース名 結果 実行時間 メモリ
00-sample-01.txt AC 16 ms 8468 KiB
00-sample-02.txt AC 2 ms 8468 KiB
01-01.txt AC 30 ms 25328 KiB
01-02.txt AC 129 ms 68604 KiB
01-03.txt AC 239 ms 120916 KiB
01-04.txt AC 140 ms 68964 KiB
01-05.txt AC 205 ms 81008 KiB
01-06.txt AC 182 ms 73712 KiB
01-07.txt AC 407 ms 159824 KiB
01-08.txt AC 499 ms 166236 KiB
01-09.txt AC 31 ms 25692 KiB
01-10.txt AC 149 ms 71800 KiB
01-11.txt AC 31 ms 25360 KiB
01-12.txt AC 260 ms 118292 KiB
01-13.txt AC 178 ms 74736 KiB
01-14.txt AC 152 ms 69552 KiB
01-15.txt AC 381 ms 159876 KiB
01-16.txt AC 498 ms 165964 KiB
01-17.txt AC 459 ms 166028 KiB
01-18.txt AC 431 ms 166028 KiB
01-19.txt AC 446 ms 166232 KiB
01-20.txt AC 433 ms 166148 KiB
01-21.txt AC 455 ms 165820 KiB
01-22.txt AC 431 ms 166028 KiB
01-23.txt AC 456 ms 166028 KiB