結果
| 問題 | No.546 オンリー・ワン | 
| コンテスト | |
| ユーザー |  tottoripaper | 
| 提出日時 | 2017-07-28 20:10:19 | 
| 言語 | Haskell (9.10.1) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 5 ms / 2,000 ms | 
| コード長 | 576 bytes | 
| コンパイル時間 | 5,105 ms | 
| コンパイル使用メモリ | 172,800 KB | 
| 実行使用メモリ | 6,820 KB | 
| 最終ジャッジ日時 | 2024-10-10 04:59:07 | 
| 合計ジャッジ時間 | 5,764 ms | 
| ジャッジサーバーID (参考情報) | judge2 / judge1 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 4 | 
| other | AC * 7 | 
コンパイルメッセージ
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
ソースコード
import Control.Monad (filterM, guard)
import Data.List (foldr1)
coefficient :: [a] -> Integer
coefficient l = let s = fromIntegral $ length l
                in s * (-1) ^ (s + 1)
lcms :: [Integer] -> Integer
lcms = foldr1 lcm
count :: Integer -> [Integer] -> Integer
count n cs = sum $ do
  xs <- filterM (const [False, True]) cs
  guard $ xs /= []
  let f = lcms xs
  return $ coefficient xs * (n `div` f)
readMany :: (Read a) => IO [a]
readMany = fmap (map read . words) getLine
main = do
  [n, l, h] <- readMany
  cs <- readMany
  print $ count h cs - count (l-1) cs
            
            
            
        