Problem:
会津の埋蔵金

会津には古くから伝わる埋蔵金の伝説があります。あなたは、遂に埋蔵金が埋まっている場所を突き止めました。埋蔵金が埋まっている深さ、掘り進める地層の状態が分かっているので、綿密に計画を立てれば最小費用で埋蔵金まで到達することができます。そこであなたは、地層の状態を読み取って埋蔵金の埋まっている深さまで最小費用で到達するルートを算出するプログラムを作成することにしました。

地層の状態は 2 次元格子状に配置されたセルで表わされ、各セルの位置は座標 (x,y) で表されます。左上を (1,1) とし、x 座標は右に行くにつれて大きくなり、y 座標は下に深くなるにつれて大きくなるものとします。あなたは y 座標の一番小さいセルのうち一つを選んでそこから掘り始め、y 座標の一番大きいセルの一つまで掘り進めます。地層には以下の 2 種類のセルがあります：

土の詰まったセル。掘るのに、セルごとに決められた費用がかかる。

酸素のたまったセル。掘る必要はなく、セルごとに決まった量の酸素を補給できる。一度酸素を補給したセルの酸素はなくなり、再度の補給はできない。また、このセルに辿りついたら必ず酸素の補給をしなければならない。

あるセルから掘ることができるのは左右と下方向のセルのみです。
一度掘ったセルを左右に移動することはできますが、上に移動することはできません。

発掘にあたっては、酸素ボンベを携帯しなければなりません。酸素ボンベの残量が 0 になった瞬間、移動も発掘も酸素の補給もできなくなります。残量はセルを移動するたびに 1 減ります。酸素ボンベの残量が 0 で埋蔵金の埋まっている深さまで到達しても、到達したとみなされません。また、酸素のたまったセルでは酸素を補給することができますが、容量を超えた分は廃棄されます。

地層のサイズ 、発掘費用、酸素ボンベの容量、初期状態で持っている酸素の量、地層の情報を入力とし、一番深いセルまでたどりつくための最小費用を出力するプログラムを作成してください。ただし、最小費用が発掘費用を超えてしまう場合や、どのように掘り進めても埋蔵金にたどりつけない場合は“NA”と出力してください。

Input

複数のデータセットの並びが入力として与えられる。入力の終わりはゼロふたつの行で示される。
各データセットは以下の形式で与えられる。

W H
f m o
c1,1 c2,1 ... cW,1
c1,2 c2,2 ... cW,2
...
c1,H c2,H ... cW,H

１行目に地層の横方向のサイズ W, 縦方向のサイズ H (3 ≤ W, H ≤ 10) が与えられる。 ２行目にあなたの発掘費用を表す整数 f (1 ≤ f ≤ 10000)、酸素ボンベの容量を表す整数 m (3 ≤ m ≤ 50)、初期状態で持っている酸素の量を表す整数 o (o ≤ m) が与えられる。

続く H 行に地層の情報 ci,j が与えられる。ci,j は、座標 (i, j) に対するセルの情報を表し、以下の形式で与えられる：

負の値の場合、土の詰まったセルで、値は費用を表す

正の値の場合、酸素のたまったセルで、値は酸素の量を表す

ただし、酸素のたまったセルは 50 箇所以内である。

データセットの数は50 を超えない。

Output

データセットごとに、最少費用または NA を1行に出力する。

Sample Input

3 3
100 10 10
-100 -20 -100
-100 -20 -100
-100 -20 -100
3 3
100 10 10
-100 -20 -100
-100 -20 -20
-100 -60 -20
3 3
100 10 3
-100 -20 -100
-20 -20 -20
-20 -100 -20
3 3
100 3 3
-100 -20 -30
-100 -20 2
-100 -20 -20
4 5
1500 5 4
-10 -380 -250 -250
-90 2 -80 8
-250 -130 -330 -120
-120 -40 -50 -20
-250 -10 -20 -150
0 0

Output for the Sample Input

60
80
NA
50
390

Solution in C# (judge verdict: Accepted)

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

public class PriorityQueue<T> where T : IComparable
{
	private IComparer<T> _comparer = null;
	private int _type = 0;
	private T[] _heap;
	private int _sz = 0;
	private int _count = 0;
	public PriorityQueue(int maxSize, IComparer<T> comparer)
	{
		_heap = new T[maxSize];
		_comparer = comparer;
	}
	public PriorityQueue(int maxSize, int type = 0)
	{
		_heap = new T[maxSize];
		_type = type;
	}
	private int Compare(T x, T y)
	{
		if (_comparer != null) return _comparer.Compare(x, y);
		return _type == 0 ? x.CompareTo(y) : y.CompareTo(x);
	}
	public void Push(T x)
	{
		_count++;
		var i = _sz++;
		while (i > 0)
		{
			var p = (i - 1) / 2;
			if (Compare(_heap[p], x) <= 0) break;
			_heap[i] = _heap[p];
			i = p;
		}
		_heap[i] = x;
	}
	public T Pop()
	{
		_count--;
		T ret = _heap[0];
		T x = _heap[--_sz];
		int i = 0;
		while (i * 2 + 1 < _sz)
		{
			int a = i * 2 + 1;
			int b = i * 2 + 2;
			if (b < _sz && Compare(_heap[b], _heap[a]) < 0) a = b;
			if (Compare(_heap[a], x) >= 0) break;
			_heap[i] = _heap[a];
			i = a;
		}
		_heap[i] = x;
		return ret;
	}
	public int Count() => _count;
	public T Peek() => _heap[0];
	public bool Contains(T x)
	{
		for (int i = 0; i < _sz; i++) if (x.Equals(_heap[i])) return true;
		return false;
	}
	public void Clear()
	{
		while (this.Count() > 0) this.Pop();
	}
	public IEnumerator<T> GetEnumerator()
	{
		var ret = new List<T>();
		while (this.Count() > 0)
		{
			ret.Add(this.Pop());
		}
		foreach (var r in ret)
		{
			this.Push(r);
			yield return r;
		}
	}
	public T[] ToArray()
	{
		T[] array = new T[_sz];
		int i = 0;
		foreach (var r in this)
		{
			array[i++] = r;
		}
		return array;
	}
}

public class Edge
{
	public int to1 { get; set; }
	public int to2 { get; set; }
	public int d { get; set; }
}
public class Node : IComparable
{
	public int id1 { get; set; }
	public int id2 { get; set; }
	public int d { get; set; }
	public int CompareTo(object obj)
	{
		var x = (Node)obj;
		if (this.d > x.d) return 1;
		else if (this.d == x.d) return 0;
		else return -1;
	}
}

public class hello
{
	public static int w, h, yosan, oxmax, oxstart;
	public static int BIG = 99999999;
	public static void goDijk(List<Edge>[,] aa, int r1, int r2, int[,] mind)
	{
		var pq = new PriorityQueue<Node>(30000, 0);
		pq.Push(new Node { id1 = r1, id2 = r2, d = 0 });
		while (pq.Count() > 0)
		{
			var targ = pq.Pop();
			var nowd = targ.d;
			var nowid1 = targ.id1;
			var nowid2 = targ.id2;
			if (mind[nowid1, nowid2] < nowd) continue;
			mind[nowid1, nowid2] = nowd;
			foreach (var x in aa[nowid1, nowid2])
				if (nowd + x.d < mind[x.to1, x.to2])
				{
					mind[x.to1, x.to2] = nowd + x.d;
					pq.Push(new Node { id1 = x.to1, id2 = x.to2, d = nowd + x.d });
				}
		}
	}

	public static void Main()
	{
		while (true)
		{
			string[] line = Console.ReadLine().Trim().Split(' ');
			w = int.Parse(line[0]);
			h = int.Parse(line[1]);
			if (w == 0 && h == 0) break;
			line = Console.ReadLine().Trim().Split(' ');
			yosan = int.Parse(line[0]);
			oxmax = int.Parse(line[1]);
			oxstart = int.Parse(line[2]);
			var map = new int[h, w];
			for (int i = 0; i < h; i++)
			{
				line = Console.ReadLine().Trim().Split(' ');
				for (int j = 0; j < w; j++) map[i, j] = -int.Parse(line[j]);
			}
			if (oxstart <= 1) { Console.WriteLine("NA"); goto exit; }
			var aa = setEdge(map);
			var ans = BIG;
			for (int i = 0; i < w; i++)
			{
				var mind = new int[(h + 1) * w + 1, oxmax + 1];
				for (int j = 0; j < (h + 1) * w + 1; j++)
					for (int k = 0; k < oxmax + 1; k++) mind[j, k] = BIG;
				goDijk(aa, i, oxstart, mind);
				var t = getAns(mind);
				if (t != -1) ans = Min(ans, t);
			}
			if (ans > yosan) Console.WriteLine("NA");
			else Console.WriteLine(ans);
			exit:;
		}
	}
	static int getAns(int[,] mind)
	{
		var ans = int.MaxValue;
		for (int i = 0; i < w; i++)
		{
			var p = getPanel(h - 1, i);
			for (int j = 0; j < oxmax + 1; j++)
				ans = Min(ans, mind[p, j]);
		}
		return ans == BIG ? -1 : ans;
	}
	static List<Edge>[,] setEdge(int[,] map)
	{
		var dx = new int[] { 0, 1, 0 };
		var dy = new int[] { 1, 0, -1 };
		var aa = new List<Edge>[(h + 1) * w + 1, oxmax + 1];
		for (int i = 0; i < (h + 1) * w + 1; i++)
			for (int j = 0; j < oxmax + 1; j++) aa[i, j] = new List<Edge>();

		for (int i = 0; i < w; i++)
			if (map[0, i] > 0)
				aa[i, oxstart].Add(new Edge { to1 = getPanel(0, i), to2 = oxstart - 1, d = map[0, i] });
			else
			{
				var ox2 = Min(oxmax, oxstart - 1 - map[0, i]);
				aa[i, oxstart].Add(new Edge { to1 = getPanel(0, i), to2 = ox2, d = 0 });
			}

		for (int i = 0; i < h - 1; i++)
			for (int j = 0; j < w; j++)
				for (int k = 0; k < 3; k++)
				{
					var nx = i + dx[k];
					var ny = j + dy[k];
					if (nx >= 0 && nx < h && ny >= 0 && ny < w)
						if (map[nx, ny] > 0)
						{
							for (int L = 2; L <= oxmax; L++)
								aa[getPanel(i, j), L].Add(new Edge { to1 = getPanel(nx, ny), to2 = L - 1, d = map[nx, ny] });
						}
						else
						{
							for (int L = 2; L <= oxmax; L++)
							{
								var ox2 = Min(oxmax, L - 1 - map[nx, ny]);
								aa[getPanel(i, j), L].Add(new Edge { to1 = getPanel(nx, ny), to2 = ox2, d = 0 });
							}
						}
				}
		return aa;
	}
	static int getPanel(int x, int y) => w * x + y + w;
}