結果

問題 No.186 中華風 (Easy)
ユーザー Haar
提出日時 2018-09-27 03:51:03
言語 Haskell
(9.10.1)
結果
AC  
実行時間 2 ms / 2,000 ms
コード長 796 bytes
コンパイル時間 4,459 ms
コンパイル使用メモリ 171,264 KB
実行使用メモリ 5,376 KB
最終ジャッジ日時 2024-07-19 18:32:33
合計ジャッジ時間 5,212 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 23
権限があれば一括ダウンロードができます
コンパイルメッセージ
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

ソースコード

diff # 

import Control.Monad
import Data.List

extendedEuclidean :: Integral a => a -> a -> (a, a, a)
extendedEuclidean a 0 = (a,1,0)
extendedEuclidean a b = (d,p,q-a`div`b*p)
  where (d,q,p) = extendedEuclidean b (a`mod`b)

chineseRemainder :: Integral a => [(a,a)] -> Maybe (a,a)
chineseRemainder xs = foldl aux (Just (0,1)) xs
  where
    aux Nothing _ = Nothing
    aux (Just (b1,m1)) (b2,m2)
      | (b2-b1) `mod` d /= 0 = Nothing
      | otherwise = Just (b1+m1*(((b2-b1)*p`div`d)`mod`(m2`div`d)), m1*m2`div`d)
      where
        (d,p,q) = extendedEuclidean m1 m2

main = do
  c <- do
    chineseRemainder <$> do
      replicateM 3 $ (\[a,b] -> (a,b)) . map read . words <$> getLine :: IO [(Integer,Integer)]

  print $
    case c of
      Just (d,m) -> if d == 0 then m else d
      Nothing -> -1
0