結果
問題 | No.462 6日知らずのコンピュータ |
ユーザー |
![]() |
提出日時 | 2016-12-30 01:30:47 |
言語 | Haskell (9.10.1) |
結果 |
AC
|
実行時間 | 2 ms / 2,000 ms |
コード長 | 518 bytes |
コンパイル時間 | 2,163 ms |
コンパイル使用メモリ | 177,864 KB |
実行使用メモリ | 6,820 KB |
最終ジャッジ日時 | 2024-12-15 18:22:09 |
合計ジャッジ時間 | 4,574 ms |
ジャッジサーバーID (参考情報) |
judge5 / judge2 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 3 |
other | AC * 84 |
コンパイルメッセージ
Loaded package environment from /home/judge/.ghc/x86_64-linux-9.8.2/environments/default
[1 of 2] Compiling Main ( Main.hs, Main.o )
Main.hs:14:54: warning: [GHC-63394] [-Wx-partial]
In the use of ‘tail’
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
14 | print product $ zipWith f as' (tail as')
| ^^^^
[2 of 2] Linking a.out
ソースコード
importControl.Applicative(<$>)importData.BitsimportData.Listmain::IO()main = do[n, k] <- map read . words <$> getLine :: IO [Integer]as <- if (k /= 0)then map read . words <$> getLine :: IO [Integer]else return []let as' = nub $ sort (0:2^n-1:as)print $ (`mod`(10^9+7)) $ product $ zipWith f as' (tail as')f::Integer->Integer->Integerf x y| x.&.y == x = fact $ fromIntegral $ popCount $ y-x| otherwise = 0wherefact 0 = 1fact n | n > 0 = n * fact (n-1)