結果

問題 No.798 コレクション
コンテスト
ユーザー 👑 tttmmmyyyy
提出日時 2026-11-07 22:45:36
言語 Fix
(1.6.0 + cp-library + minilib)
コンパイル:
fix_c _filename_
実行:
./a.out
結果
AC  
実行時間 10 ms / 2,000 ms
+ 789µs
コード長 1,569 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 13,620 ms
コンパイル使用メモリ 671,728 KB
実行使用メモリ 11,776 KB
最終ジャッジ日時 2026-11-07 22:45:58
合計ジャッジ時間 16,439 ms
ジャッジサーバーID
（参考情報） 		judge4_0 / judge3_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 23
権限があれば一括ダウンロードができます
コンパイルメッセージ
make: 'lib.o' は更新済みです.

ソースコード

diff #
raw source code 

module Main;

import CPLib.IO;
// import BinaryHeap;
// import BoolArray;
// import CPLib.Arithmetic;
// import CPLib.Bipartite;
// import CPLib.Bits;
// import CPLib.Convolution;
// import CPLib.DSegtree;
// import CPLib.Graph;
// import CPLib.LDSegtree;
// import CPLib.LSegtree;
// import CPLib.MaxFlow;
// import CPLib.Memoize;
// import CPLib.MinCostFlow;
// import CPLib.Misc;
// import CPLib.Monoid;
// import CPLib.Segtree;
// import CPLib.String;
// import CPLib.Trait;
// import CPLib.TwoSat;
// import CPLib.UnionFind;
// import CPLib.ZP;
// import HashMap;
// import HashSet;

main : IO () = (
    let iN = *read_i;
    let iabs = *range(0, iN).fold_m([], |_, iabs|
        let a = *read_i;
        let b = *read_i;
        iabs.push_back((a, b)).pure
    );
    let iabs = iabs.sort_by(|(lhs, rhs)|
        lhs.@1 > rhs.@1
    );
    let free_cnt = iN / 3;
    let dp = fill(iN+1, fill(free_cnt + 1, I64::maximum / 2));
    let dp = range(0, iN+1).fold(dp, |n, dp|
        range(0, free_cnt+1).fold(dp, |m, dp|
            let v = (
                if m > n { I64::maximum / 2 };
                if n == m { 0 };
                // freeでもらった場合
                let v0 = if m > 0 { dp[n-1][m-1].iget } else { I64::maximum / 2 };
                // かう場合
                let w = n - m - 1;
                let v1 = dp[n-1][m].iget + w * iabs.@(n-1).@1 + iabs.@(n-1).@0;
                min(v0, v1)
            );
            dp[n][m].iset(v)
        )
    );
    let ans = dp[iN][free_cnt].iget;
    ans.to_string.println;;
    pure()
);
0