結果

問題 No.346 チワワ数え上げ問題
コンテスト
ユーザー pekempey
提出日時 2016-08-03 23:51:21
言語 Haskell
(9.14.1)
コンパイル:
ghc -rtsopts -with-rtsopts=-K1G -o a.out -O2 _filename_
実行:
./a.out
結果
AC  
実行時間 261 ms / 2,000 ms
コード長 1,419 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 5,679 ms
コンパイル使用メモリ 194,176 KB
実行使用メモリ 91,776 KB
最終ジャッジ日時 2026-05-07 06:13:18
合計ジャッジ時間 7,344 ms
ジャッジサーバーID
（参考情報） 		judge3_0 / judge1_1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 23
権限があれば一括ダウンロードができます
コンパイルメッセージ
Loaded package environment from /home/judge/.ghc/x86_64-linux-9.14.1/environments/default
[1 of 2] Compiling Main             ( Main.hs, Main.o )
[2 of 2] Linking a.out

ソースコード

diff #
raw source code 

data Tree = NilNode | Node Integer Tree Tree

segWidth = 2 ^ 17

segVal NilNode = 0
segVal (Node val _ _) = val

segUpdate = f 0 segWidth
    where
        f l r k v NilNode = f l r k v (Node 0 NilNode NilNode)
        f l r k v (Node val left right)
            | r - l == 1      = Node (val + v) NilNode NilNode
            | otherwise       =
                let mid = (l + r) `quot` 2 in
                if k < mid then
                    let newLeft = f l mid k v left in
                        Node (segVal newLeft + segVal right) newLeft right
                else
                    let newRight = f mid r k v right in
                        Node (segVal left + segVal newRight) left newRight

segQuery = f 0 segWidth
    where
        n = 2 ^ 17
        f l r a b NilNode = 0
        f l r a b (Node val left right)
            | r <= a || b <= l = 0
            | a <= l && r <= b = val
            | otherwise        =
                let mid = (l + r) `quot` 2
                    vl = f l mid a b left
                    vr = f mid r a b right in vl + vr

main = getLine >>= print . solve
    
solve = fst . foldr f (0, NilNode) . flip zip [0..]
    where
        f (v, i) (s, tree)
            | v == 'c'  = let num = segQuery (i + 1) segWidth tree in (s + num * (num - 1) `quot` 2, tree)
            | v == 'w'  = (s, segUpdate i 1 tree)
            | otherwise = (s, tree)
0