Problem:
あみだくじ

問題

あなたは J 君と一緒にあみだくじを使って遊んでいる.あみだくじは n 本の縦棒と
m 本の横棒からなる.縦棒には左から順に 1 から n の番号がついており,縦棒 i の下端には正整数 si が書かれている.

図 3-1 あみだくじの例(n = 4, m = 5, s1 = 20, s2 = 80, s3 = 100, s4 = 50)

縦棒 i の一番上から順に道をたどっていき到達した下端に書かれている整数が, 縦
棒 i を選んだ場合の得点である.例えば,図 3-1 では,縦棒 1 を選ぶと得点は 80 点
であり,縦棒 2 を選ぶと得点は 100 点である.

図 3-2 道のたどり方の例

J 君は縦棒 1 から縦棒 k までの連続した k 本を選ぶことにした.それら k 本の縦棒を選んだときの点数の合計が J 君の得点となる.ただし,あなたはあみだくじ内の
横棒を一本選び,その横棒をあみだくじから削除することができる. (削除しなくてもよい.) もし,あなたが横棒を一本削除した場合は,削除後のあみだくじにおいて,
縦棒 1 から縦棒 k までの連続した k 本の縦棒を選んだときの点数の合計が J 君の得点となる.

入力としてあみだくじの形と J 君の選ぶ縦棒の本数 k が与えられたとき,J 君の得
点の最小値を求めるプログラムを作成せよ.

入力

入力は複数のデータセットからなる．各データセットは以下の形式で与えられる．

1 行目には 4 つの整数 n, m, h, k が空白区切りで書かれている. n (2 ≤ n ≤ 1000) は縦棒の本数を, m (1 ≤ m ≤ 100000) は横棒の本数を, h (2 ≤ h ≤ 1000) は縦棒の長さを,k (1 ≤ k ≤ n) は J 君が選ぶ縦棒の本数を表す.

続く n 行には縦棒の下端に書かれている点数が書かれている. i + 1 行目 (1 ≤ i ≤ n)には正整数 si が書かれている. また, s1 + s2 + ... + sn ≤ 2000000000 = 2 × 109 を満たす.

続く m 行には横棒の位置が書かれている.横棒には 1 から m までの番号がついている.i + n + 1 行目 (1 ≤ i ≤ m) には, 横棒 i の位置を表す 2 つの整数 ai, bi (1 ≤ ai ≤ n - 1, 1 ≤ bi ≤ h - 1) が空白区切りで書かれており,横棒 i が縦棒 ai と縦棒 ai + 1 を結び, 横棒 i の上端からの距離が bi であることを表す. ただし,どの 2 つの横棒も端点を共有することはない.

採点用データのうち,配点の 20 % 分は横棒を削除しない場合に J 君の得点が最少となる.また,配点の 30 % 分は n ≤ 20, m ≤ 30, h ≤ 10 を満たし,配点の 60 % 分は m ≤ 1000 を満たす.

入力の終わりは 4つのゼロを含む行で示される. データセットの数は 10 を超えない．

出力

データセットごとに, J 君の得点の最小値を1 行に出力する.

入出力例

入力例

4 5 7 2
20
80
100
50
1 1
2 6
2 3
1 5
3 1
2 2 5 1
10
20
1 1
1 3
0 0 0 0

出力例

100
10

1つ目の例 は図 3-1 に対応し,あなたが横棒 4 (縦棒 1 と縦棒 2 を上端から距離 5 の場所で結ぶ横棒)を削除したとき,J 君の得点は最小になる.例 2 では,あなたが横棒を削除しない場合に J 君の得点が最小になる. (図3-3 を見よ.)

図 3-3

上記問題文と自動審判に使われるデータは、情報オリンピック日本委員会が作成し公開している問題文と採点用テストデータです。

Solution in C# (judge verdict: Accepted)

using static System.Math;
using System.Linq;
using System.Collections.Generic;
using System;

public class P
{
    public int L { get; set; }
    public int h { get; set; }
    public int[] a { get; set; }
}

public class hello
{
    public static void Main()
    {
        while (true)
        {
            string[] line = Console.ReadLine().Trim().Split(' ');
            var n = int.Parse(line[0]);
            var m = int.Parse(line[1]);
            var k = int.Parse(line[3]);
            if (n == 0 && m == 0 && line[2] == "0" && k == 0) break;
            var d = new Dictionary<int, int>();
            for (int i = 1; i <= n; i++)
                d[i] = int.Parse(Console.ReadLine().Trim());
            var pw = new P[m];
            for (int i = 0; i < m; i++)
            {
                line = Console.ReadLine().Trim().Split(' ');
                var L = int.Parse(line[0]);
                var h = int.Parse(line[1]);
                pw[i] = new P {  L = L, h = h, a = new int[4] };
            }
            var ps = pw.OrderBy(x => x.h).ToArray();
            getData(ps, d, n, m);
            var jdata = getJdata(ps, m, k);
            getAns(ps, jdata, k);
        }
    }
    static void getAns(P[] ps, int[] jdata, int k)
    {
        var jsum = jdata.Sum();
        var ans = jsum;
        foreach (var x in ps)
        {
            var t = jsum;
            var a = x.a[0];
            if (a <= k) t += x.a[2] - jdata[a];
            var b = x.a[1];
            if (b <= k) t += x.a[3] - jdata[b];
            ans = Min(ans, t);
        }
        Console.WriteLine(ans);
    }
    static int[] getJdata(P[] ps, int m, int k)
    {
        var count = 0;
        var j = new int[k + 1];
        foreach (var x in ps)
        {
            var wa0 = x.a[0];
            if (wa0 >= 1 && wa0 <= k)
            {
                var wa3 = x.a[3];
                if (j[wa0] == 0)
                {
                    j[wa0] = wa3;
                    count++;
                    if (count == k) break;
                }
            }
            var wa1 = x.a[1];
            if (wa1 >= 1 && wa1 <= k)
            {
                var wa2 = x.a[2];
                if (j[wa1] == 0)
                {
                    j[wa1] = wa2;
                    count++;
                    if (count == k) break;
                }
            }
        }
        return j;
    }
    static void getData(P[] ps, Dictionary<int, int> d, int n, int m)
    {
        var dt = new Dictionary<int, int>();
        for (int i = 1; i <= n; i++) dt[i] = i;
        for (int i = 0; i < m; i++)
        {
            ps[i].a[0] = dt[ps[i].L];
            ps[i].a[1] = dt[ps[i].L + 1];
            swap(dt, ps[i].L, ps[i].L + 1);
            var ri = m - 1 - i;
            ps[ri].a[2] = d[ps[ri].L];
            ps[ri].a[3] = d[ps[ri].L + 1];
            swap(d, ps[ri].L, ps[ri].L + 1);
        }
    }
    static void swap(Dictionary<int, int> d, int x, int y)
    {
        var t = d[x];
        d[x] = d[y];
        d[y] = t;
    }
}