Problem:
Problem F: Canal: Water Going Up and Down

ACM国には中央を東西に流れる川がある．この川は西の隣国からACM国を通り東の隣国へと流れており，ACM国内の全長は K kmである．この川にいくつかの閘門を設置し，運河として利用することが計画されている．

閘門とは，異なる2つの水位間を船が移動するための仕組みである．閘門は上流側と下流側にそれぞれ水門を持ち，それらの間に閘室と呼ばれる小さな水域を持つ．この閘室に船を入れた後に注水あるいは排水を行い，閘室の水位を上下させることで船も上下させる．以下にその模式図を示す．

図 F-1: 閘門の模式図

この川の川幅はあまり広くないため，西から東へ一方通行の運河となることが決まっている．設計の担当者は，運河を効率良く運用するため，予想される船の航行スケジュールに合わせて閘門の設置場所などを最適にしたいと考えている．

あなたは設計担当者に雇われているプログラマーである．あなたの仕事は，閘門の情報と複数の船の航行スケジュールが与えられたとき，全ての船が川を通過するまでの時間をシミュレーションにより求めるプログラムを書くことである．

各閘門は以下の情報によって表される．

ACM国西端からの距離 X (km)

水位の切り替えに必要な水の容積 L (L)

単位時間あたりの最大注水量 F (L/h)

単位時間あたりの最大排水量 D (L/h)

閘門の西側の水位と東側の水位の上下関係

便宜上，シミュレーションにおいて，川はACM国外においても同様に無限に続いているものとする．

シミュレーションの開始時点において，全ての閘室の水位は東側と西側の水位のうち，低い方にある．また，航行スケジュールに含まれる船は，ACM国の西端を先頭地点として，入力で与えられる順に東から西に向かって1kmおきに並んでいるものとする． 便宜上，先頭の船の初期位置を0km地点とする．

シミュレーション開始とともに船は東に向かって航行を始める．このとき，ある船の前後1km未満に他の船が入ってはならない．
各船にはそれぞれ最大船速 V (km/h)が設定されている．船は一瞬で任意の船速に達し，さらに一瞬で静止することすらできる．基本的に船は最大船速で航行するが，先行する船より後続の船のほうが最大船速が速く，かつ後続の船が先行する船の1km手前に追いついた場合は，後続の船は先行する船と同じ船速で航行する．船及び閘門の大きさは無視できるものとする．

船は，閘門の西側の水位と閘室の水位が等しいときのみ，その閘門に入ることができる．同様に，閘門の東側の水位と閘室の水位が等しいときのみ，その閘門から出ることができる．各閘室の水位は，中に船がいない場合は，その閘門の西側の水位と一致するまで上昇または下降する．また，船がいる場合は，その閘門の東側の水位と一致するまで変位する．閘門の丁度1km先で船が停泊している場合でも，船は閘門から出ることができる．ただし，このとき，船は先行する船が発進するまで閘門から出たところで停泊しなければならない．

船はACM国の東端を通過した後，可能な限りの速度で無限遠まで航行する．全ての船がACM国の東端を通過し終えた時点でシミュレーションは終了する．

Input

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

N M K

X1 L1 F1 D1
UD1

X2 L2 F2 D2
UD2

...

XN LN FN DN
UDN

V1

V2

...

VM

最初の1行は3つの整数 N, M, K からなる． N (1 ≤ N ≤ 100) は閘門の数， M (1 ≤ M ≤ 100) は船の数， K (2 ≤ K ≤ 1000) は川のACM国内における全長をそれぞれ表す．

続く N 行は閘門の情報を表す． 各行は5つの整数 Xi, Li, Fi, Di, UDi からなる． Xi (1 ≤ Xi ≤ K - 1) は閘門 i のACM国西端からの位置(km)， Li (1 ≤ Li ≤ 1000) は閘門 i の水位の切り替えに必要な水の容積(L)， Fi (1 ≤ Fi ≤ 1000) は閘門 i の単位時間あたりの最大注水量(L/h)， Di (1 ≤ Di ≤ 1000) は閘門 i の単位時間あたりの最大排水量(L/h)， UDi (UDi ∈ {0, 1})は閘門 i の西側の水位と東側の水位の上下関係をそれぞれ表す．
UDi が 0 の場合，閘門 i は西側より東側が水位が高いことを表す．一方 UDi が 1 の場合，閘門 i は西側より東側が水位が低いことを表す．

続く M 行には，各行に i 番目の船の最大船速(km/h)を表す整数 Vi (1 ≤ Vi ≤ 1000) が与えられる．

閘門は Xi の値の小さい順で与えられる．また，同一の位置に複数の閘門が設置されることはない．

入力の終りはスペースで区切られた3個のゼロからなる．

Output

各データセットに対し，シミュレーション開始から終了までの時刻を1行で出力せよ．出力する値は10-6以下の誤差を含んでいても構わない．値は小数点以下何桁表示しても構わない．

Sample Input

1 1 100
50 200 20 40 0
1
2 4 100
7 4 1 4 1
19 5 1 4 0
5
3
7
9
1 2 3
1 1 1 1 0
1
3
1 2 10
5 10 1 1 1
2
3
0 0 0

Output for the Sample Input

110
46.6666666667
5
41.6666666667

Solution in JAVA (judge verdict: Accepted)


import java.io.ByteArrayInputStream;
import java.io.IOException;
import java.io.InputStream;
import java.io.PrintWriter;
import java.util.Arrays;

public class Main {
	static InputStream is;
	static PrintWriter out;
	static String INPUT = "";

	public static void main(String[] args) throws Exception {
		new Main().run();
	}

	void solver() {
		while (true) {
			int n = ni();
			int m = ni();
			int k = ni();
			if (n == 0 && m == 0 && k == 0)
				break;
			int[] x = new int[n];
			double[] l = new double[1300];
			double[] f = new double[1300];
			double[] d = new double[1300];
			double[] ud = new double[1300];
			double[] v = new double[m];

			double[] availableTime = new double[1300];

			for (int i = 0; i < n; i++) {
				x[i] = ni() + 100;
				l[x[i]] = ni();
				f[x[i]] = ni();
				d[x[i]] = ni();
				ud[x[i]] = (ni() == 0 ? -1 : 1);
				if (ud[x[i]] == 1) {
					availableTime[x[i]] = l[x[i]] / f[x[i]];
				}
			}
			for (int i = 0; i < m; i++) {
				v[i] = ni();
			}

			double[] inTime = new double[1300];
			double[] outTime = new double[1300];

			for (int i = 0; i < m; i++) {
				for (int pos = 101 - i; pos <= k + 100 + m - i; pos++) {
					inTime[pos] = Math.max(inTime[pos + 1], outTime[pos - 1] + 1 / v[i]);
					inTime[pos] = Math.max(inTime[pos], availableTime[pos]);
					outTime[pos] = Math.max(
							inTime[pos] + (ud[pos] == -1 ? l[pos] / f[pos] : (ud[pos] == 1 ? l[pos] / d[pos] : 0)),
							outTime[pos + 1]);
					availableTime[pos] = (ud[pos] == -1 ? l[pos] / d[pos] : (ud[pos] == 1 ? l[pos] / f[pos] : 0))
							+ outTime[pos];
				}
			}
			out.println(inTime[100 + k]);
		}
	}

	void run() {
		is = INPUT.isEmpty() ? System.in : new ByteArrayInputStream(INPUT.getBytes());
		out = new PrintWriter(System.out);
		solver();
		out.flush();

	}

	static long nl() {
		try {
			long num = 0;
			boolean minus = false;
			while ((num = is.read()) != -1 && !((num >= '0' && num <= '9') || num == '-'))
				;
			if (num == '-') {
				num = 0;
				minus = true;
			} else {
				num -= '0';
			}

			while (true) {
				int b = is.read();
				if (b >= '0' && b <= '9') {
					num = num * 10 + (b - '0');
				} else {
					return minus ? -num : num;
				}
			}
		} catch (IOException e) {
		}
		return -1;
	}

	static char nc() {
		try {
			int b = skip();
			if (b == -1)
				return 0;
			return (char) b;
		} catch (IOException e) {
		}
		return 0;
	}

	static double nd() {
		try {
			return Double.parseDouble(ns());
		} catch (Exception e) {
		}
		return 0;
	}

	static String ns() {
		try {
			int b = skip();
			StringBuilder sb = new StringBuilder();
			if (b == -1)
				return "";
			sb.append((char) b);
			while (true) {
				b = is.read();
				if (b == -1)
					return sb.toString();
				if (b <= ' ')
					return sb.toString();
				sb.append((char) b);
			}
		} catch (IOException e) {
		}
		return "";
	}

	public static char[] ns(int n) {
		char[] buf = new char[n];
		try {
			int b = skip(), p = 0;
			if (b == -1)
				return null;
			buf[p++] = (char) b;
			while (p < n) {
				b = is.read();
				if (b == -1 || b <= ' ')
					break;
				buf[p++] = (char) b;
			}
			return Arrays.copyOf(buf, p);
		} catch (IOException e) {
		}
		return null;
	}

	public static byte[] nse(int n) {
		byte[] buf = new byte[n];
		try {
			int b = skip();
			if (b == -1)
				return null;
			is.read(buf);
			return buf;
		} catch (IOException e) {
		}
		return null;
	}

	static int skip() throws IOException {
		int b;
		while ((b = is.read()) != -1 && !(b >= 33 && b <= 126))
			;
		return b;
	}

	static boolean eof() {
		try {
			is.mark(1000);
			int b = skip();
			is.reset();
			return b == -1;
		} catch (IOException e) {
			return true;
		}
	}

	static int ni() {
		try {
			int num = 0;
			boolean minus = false;
			while ((num = is.read()) != -1 && !((num >= '0' && num <= '9') || num == '-'))
				;
			if (num == '-') {
				num = 0;
				minus = true;
			} else {
				num -= '0';
			}

			while (true) {
				int b = is.read();
				if (b >= '0' && b <= '9') {
					num = num * 10 + (b - '0');
				} else {
					return minus ? -num : num;
				}
			}
		} catch (IOException e) {
		}
		return -1;
	}

	static void tr(Object... o) {
		System.out.println(Arrays.deepToString(o));
	}
}