Submission #891399
Source Code Expand
{-# LANGUAGE ScopedTypeVariables #-} import Control.Applicative import Control.Monad import Control.Monad.State import Control.DeepSeq import Data.Array import Data.Bits import Data.Char import Data.Functor.Identity import Data.List import Data.Maybe import Data.Ord import Data.Tree import Data.Tuple import qualified System.IO import qualified Data.Map as M import qualified Data.Set as S import qualified Data.Sequence as Q import qualified Data.ByteString.Char8 as B main = do n :: Z <- readLn as :: [Z] <- readLnList let bs = listArray (1,n) as print $ (`div`2) . length $ filter (\ i -> bs!(bs!i) == i) [1..n] type Z = Int type Q = Rational type R = Double type S = String fint :: (Integral a, Num b) => a -> b fint = fromIntegral getInt = fst . fromJust . B.readInt <$> B.getLine getIntPair = (\[a,b]->(a,b)) <$> getInts getInts = map (fst . fromJust . B.readInt) . B.words <$> B.getLine getStr = B.unpack <$> B.getLine yesNo :: Bool -> String yesNo True = "YES" yesNo False = "NO" printList :: (Show a) => [a] -> IO () printList = putStrLn . unwords . map show readLnList :: (Read a) => IO [a] readLnList = map read . words <$> getLine ----- Union-find type UnionFindT v m a = StateT (M.Map v (UnionFindVal v)) m a newtype UnionFindVal v = UnionFindVal v runUnionFindT :: (Monad m) => UnionFindT v m a -> m a runUnionFindT = flip evalStateT $ M.empty runUnionFind = runIdentity . runUnionFindT ufFresh :: (Monad m, Ord v) => v -> UnionFindT v m () ufFresh v = modify $ M.insert v (UnionFindVal v) ufClass :: (Monad m, Ord v) => v -> UnionFindT v m v ufClass v = do (UnionFindVal pv) <- gets (M.! v) if v == pv then return v else do c <- ufClass pv modify $ M.insert v (UnionFindVal c) return c ufUnify v w = do cv <- ufClass v cw <- ufClass w modify $ M.insert cw (UnionFindVal cv) return $ cv /= cw
Submission Info
Submission Time | |
---|---|
Task | B - Friendly Rabbits |
User | tos |
Language | Haskell (GHC 7.10.3) |
Score | 200 |
Code Size | 1949 Byte |
Status | AC |
Exec Time | 521 ms |
Memory | 40316 KB |
Judge Result
Set Name | Sample | All | ||||
---|---|---|---|---|---|---|
Score / Max Score | 0 / 0 | 200 / 200 | ||||
Status |
|
|
Set Name | Test Cases |
---|---|
Sample | 0_00.txt, 0_01.txt, 0_02.txt |
All | 0_00.txt, 0_01.txt, 0_02.txt, 1_00.txt, 1_01.txt, 1_02.txt, 1_03.txt, 1_04.txt, 1_05.txt, 1_06.txt, 1_07.txt, 1_08.txt, 1_09.txt, 1_10.txt, 1_11.txt |
Case Name | Status | Exec Time | Memory |
---|---|---|---|
0_00.txt | AC | 3 ms | 508 KB |
0_01.txt | AC | 3 ms | 508 KB |
0_02.txt | AC | 3 ms | 508 KB |
1_00.txt | AC | 3 ms | 508 KB |
1_01.txt | AC | 499 ms | 40316 KB |
1_02.txt | AC | 498 ms | 40316 KB |
1_03.txt | AC | 514 ms | 40316 KB |
1_04.txt | AC | 518 ms | 40316 KB |
1_05.txt | AC | 520 ms | 39932 KB |
1_06.txt | AC | 518 ms | 40316 KB |
1_07.txt | AC | 521 ms | 40316 KB |
1_08.txt | AC | 187 ms | 13692 KB |
1_09.txt | AC | 419 ms | 28028 KB |
1_10.txt | AC | 344 ms | 27004 KB |
1_11.txt | AC | 78 ms | 6524 KB |