Submission #495129

---

Source Code Expand

import Data.List
import Data.Ord



-- 時刻はそのまま整数と見なして扱う



rational :: Integer -> Rational
rational = fromIntegral



parseDuration :: String -> (Integer, Integer)
parseDuration line = (read begin, read end)
    where
        (begin, dash_end) = splitAt 4 line
        end = drop 1 dash_end



roundDnTime t = floor   ((rational t) / 5) * 5
roundUpTime t = t''
    where
        t' = ceiling ((rational t) / 5) * 5
        (h,m) = t' `divMod` 100
        t''
            | m == 60   = (h+1)*100        -- 1360 -> 1400 etc.
            | otherwise = t'

roundDuration :: (Integer, Integer) -> (Integer, Integer)
roundDuration (begin, end) = (roundDnTime begin, roundUpTime end)



mergeAndSortDurations :: [(Integer, Integer)] -> [(Integer, Integer)]
mergeAndSortDurations durs = merge $ sortBy (comparing fst) durs
    where
        merge :: [(Integer, Integer)] -> [(Integer, Integer)]
        merge [] = []
        merge [d] = [d]
        merge ((b1,e1):(b2,e2):ds)
            | e1 >= b2  = merge ((b1,max e1 e2):ds)
            | otherwise = (b1,e1): merge ((b2,e2):ds)



showDuration (begin,end) = show04d begin ++ "-" ++ show04d end
    where
        show04d n = last 4 $ "0000" ++ show n
        last n xs = drop (length xs - n) xs



main = do
    getLine
    ls <- fmap lines $ getContents
    let durs = map parseDuration ls
    
    let durs'  = map roundDuration durs
    let durs'' = mergeAndSortDurations durs'
    
    putStr $ unlines $ map showDuration $ durs''

Submission Info

Judge Result