Problem:
Problem E: The Two Men of the Japanese Alps

Two experienced climbers are planning a first-ever attempt: they start at two points of the equal altitudes on a mountain range, move back and forth on a single route keeping their altitudes equal, and finally meet with each other at a point on the route. A wise man told them that if a route has no point lower than the start points (of the equal altitudes) there is at least a way to achieve the attempt. This is the reason why the two climbers dare to start planning this fancy attempt.

The two climbers already obtained altimeters (devices that indicate altitude) and communication devices that are needed for keeping their altitudes equal. They also picked up a candidate route for the attempt: the route consists of consequent line segments without branches; the two starting points are at the two ends of the route; there is no point lower than the two starting points of the equal altitudes. An illustration of the route is given in Figure E.1 (this figure corresponds to the first dataset of the sample input).

Figure E.1: An illustration of a route

The attempt should be possible for the route as the wise man said. The two climbers, however, could not find a pair of move sequences to achieve the attempt, because they cannot keep their altitudes equal without a complex combination of both forward and backward moves. For example, for the route illustrated above: a climber starting at p1 (say A) moves to s, and the other climber (say B) moves from p6 to p5; then A moves back to t while B moves to p4; finally A arrives at p3 and at the same time B also arrives at p3. Things can be much more complicated and thus they asked you to write a program to find a pair of move sequences for them.

There may exist more than one possible pair of move sequences, and thus you are requested to find the pair of move sequences with the shortest length sum. Here, we measure the length along the route surface, i.e., an uphill path from (0, 0) to (3, 4) has the length of 5.

Input

The input is a sequence of datasets.

The first line of each dataset has an integer indicating the number of points N (2 ≤ N ≤ 100) on the route. Each of the following N lines has the coordinates (xi, yi) (i = 1, 2, ... , N) of the points: the two start points are (x1, y1) and (xN, yN); the line segments of the route connect (xi, yi) and (xi+1, yi+1) for i = 1, 2, ... , N - 1. Here, xi is the horizontal distance along the route from the start point x1, and yi is the altitude relative to the start point y1. All the coordinates are non-negative integers smaller than 1000, and inequality xi < xi+1 holds for i = 1, 2, .. , N - 1, and 0 = y1 = yN ≤ yi for i = 2, 3, ... , N - 1.

The end of the input is indicated by a line containing a zero.

Output

For each dataset, output the minimum sum of lengths (along the route) of move sequences until the two climbers meet with each other at a point on the route. Each output value may not have an error greater than 0.01.

Sample Input

6
0 0
3 4
9 12
17 6
21 9
33 0
5
0 0
10 0
20 0
30 0
40 0
10
0 0
1 2
3 0
6 3
9 0
11 2
13 0
15 2
16 2
18 0
7
0 0
150 997
300 1
450 999
600 2
750 998
900 0
0

Output for the Sample Input

52.5
40.0
30.3356209304689
10078.072814085803

Solution in C++11 (judge verdict: Memory Limit Exceeded)

#include "bits/stdc++.h"
#include<unordered_map>
#include<unordered_set>
#pragma warning(disable:4996)
using namespace std;
using ld = float;
template<class T>
using Table = vector<vector<T>>;

const ld eps = 1e-9;
struct aa {
	int l;
	int r;
	ld time;
};
class Compare {
public:
	//aa?????????????????¶
	bool operator()(const aa&l, const aa&r) {
		return l.time> r.time;
	}
};
ld gettime(vector<pair<ld, int>>&ps,int from,int to) {
	if (from > to)swap(from, to);
	else if (from == to)return 0;
	pair<ld, int>f(ps[from]);
	pair<ld, int>t(ps[from + 1]);
	return sqrt((f.first - t.first)*(f.first - t.first) + (f.second - t.second)*(f.second - t.second));
}

vector<vector<ld>>dp(3998, vector<ld>(3998, 1e9));
int main() {
	while (1) {
		int N; cin >> N;
		if (!N)break;
		vector<pair<int, int>>coors;
		set<int>ys;
		for (int i = 0; i < N; ++i) {
			int x, y; cin >> x >> y;
			coors.emplace_back(x, y);
			ys.emplace(y);
		}
		vector<pair<ld, int>>nodes;
		for (int i = 0; i < N-1; ++i) {
			for (auto y : ys) {
				
				if ((coors[i].second + eps < y&&y < coors[i + 1].second - eps)||(coors[i].second- eps>y&&coors[i+1].second+ eps<y)) {
					nodes.emplace_back(coors[i].first + ld(coors[i+1].first - coors[i].first)*ld(y - coors[i].second) / ld(coors[i+1].second - coors[i].second),(y));
				}
			}
		}
		for (int i = 0; i < N; ++i) {
			nodes.emplace_back(ld(coors[i].first), (coors[i].second));
		}
		sort(nodes.begin(), nodes.end());

		const int start = 0;
		const int goal = nodes.size() - 1;

		for (int i = 0; i < nodes.size(); ++i) {
			for (int j = 0; j < nodes.size(); ++j) {
				dp[i][j] = 1e9;
			}
		}
		dp[0][goal] = 0;
		priority_queue<aa, vector<aa>, Compare>que;
		que.push(aa{ 0,goal,0 });
		ld ans = 1e9;
		while (!que.empty()) {
			aa atop(que.top());
			que.pop();
			int nowl = atop.l;
			int nowr = atop.r;
			ld nowtime = atop.time;
			if (nowl == nowr) {
				ans = nowtime;
				break;
			}
			else if (nowl + 1 == nowr) {
				ans = nowtime + gettime(nodes,nowl, nowr);
				break;
			}

			bool lldown = nowl&&nodes[nowl - 1].second < nodes[nowl].second;
			bool llup = nowl&&nodes[nowl - 1].second > nodes[nowl].second;
			bool lrdown= nodes[nowl ].second > nodes[nowl+1].second;
			bool lrup = nodes[nowl].second < nodes[nowl + 1].second;
			bool rldown = nodes[nowr-1].second < nodes[nowr].second;
			bool rlup = nodes[nowr - 1].second > nodes[nowr].second;
			bool rrdown = nowr < nodes.size() - 1 && nodes[nowr].second> nodes[nowr+1].second;
			bool rrup = nowr < nodes.size() - 1 && nodes[nowr].second < nodes[nowr+1].second;
			if (nowl&&!lldown&&!llup) {
				const int nextl = nowl - 1;
				const int nextr = nowr;
				ld nexttime = nowtime + gettime(nodes, nowl, nextl) + gettime(nodes, nowr, nextr);
				if (nexttime < dp[nextl][nextr]) {
					dp[nextl][nextr] = nexttime;
					que.push(aa{ nextl,nextr,nexttime });
				}
			}
			if (!lrdown&&!lrup) {
				const int nextl = nowl + 1;
				const int nextr = nowr;
				ld nexttime = nowtime + gettime(nodes, nowl, nextl) + gettime(nodes, nowr, nextr);
				if (nexttime < dp[nextl][nextr]) {
					dp[nextl][nextr] = nexttime;
					que.push(aa{ nextl,nextr,nexttime });
				}
			}
			if (nowr < nodes.size() - 1 && !rrdown&&!rrup) {
				const int nextl = nowl;
				const int nextr = nowr+1;
				ld nexttime = nowtime + gettime(nodes, nowl, nextl) + gettime(nodes, nowr, nextr);
				if (nexttime < dp[nextl][nextr]) {
					dp[nextl][nextr] = nexttime;
					que.push(aa{ nextl,nextr,nexttime });
				}
			}
			if ( !rldown&&!rlup) {
				const int nextl = nowl;
				const int nextr = nowr - 1;
				ld nexttime = nowtime + gettime(nodes, nowl, nextl) + gettime(nodes, nowr, nextr);
				if (nexttime < dp[nextl][nextr]) {
					dp[nextl][nextr] = nexttime;
					que.push(aa{ nextl,nextr,nexttime });
				}
			}
			if (lldown) {	
				const int nextl = nowl - 1;
				if (rldown) {
					const int nextr = nowr - 1;
					ld nexttime =nowtime+ gettime(nodes, nowl,nextl) + gettime(nodes, nowr,nextr);
					if (nexttime < dp[nextl][nextr]) {
						dp[nextl][nextr] = nexttime;
						que.push(aa{ nextl,nextr,nexttime });
					}
				}
				if (rrdown) {
					const int nextr = nowr + 1;
					ld nexttime = nowtime + gettime(nodes, nowl, nextl) + gettime(nodes, nowr, nextr);
					if (nexttime < dp[nextl][nextr]) {
						dp[nextl][nextr] = nexttime;
						que.push(aa{ nextl,nextr,nexttime });
					}
				}
			}
			if (lrdown) {
				const int nextl = nowl + 1;
				if (rldown) {
					const int nextr = nowr - 1;
					ld nexttime = nowtime + gettime(nodes, nowl, nextl) + gettime(nodes, nowr, nextr);
					if (nexttime < dp[nextl][nextr]) {
						dp[nextl][nextr] = nexttime;
						que.push(aa{ nextl,nextr,nexttime });
					}
				}
				if (rrdown) {
					const int nextr = nowr + 1;
					ld nexttime = nowtime + gettime(nodes, nowl, nextl) + gettime(nodes, nowr, nextr);
					if (nexttime < dp[nextl][nextr]) {
						dp[nextl][nextr] = nexttime;
						que.push(aa{ nextl,nextr,nexttime });
					}
				}
			}
			if (llup) {
				const int nextl = nowl - 1;
				if (rlup) {
					const int nextr = nowr - 1;
					ld nexttime = nowtime + gettime(nodes, nowl, nextl) + gettime(nodes, nowr, nextr);
					if (nexttime < dp[nextl][nextr]) {
						dp[nextl][nextr] = nexttime;
						que.push(aa{ nextl,nextr,nexttime });
					}
				}
				if (rrup) {
					const int nextr = nowr + 1;
					ld nexttime = nowtime + gettime(nodes, nowl, nextl) + gettime(nodes, nowr, nextr);
					if (nexttime < dp[nextl][nextr]) {
						dp[nextl][nextr] = nexttime;
						que.push(aa{ nextl,nextr,nexttime });
					}
				}
			}
			if (lrup) {
				const int nextl = nowl + 1;
				if (rlup) {
					const int nextr = nowr - 1;
					ld nexttime = nowtime + gettime(nodes, nowl, nextl) + gettime(nodes, nowr, nextr);
					if (nexttime < dp[nextl][nextr]) {
						dp[nextl][nextr] = nexttime;
						que.push(aa{ nextl,nextr,nexttime });
					}
				}
				if (rrup) {
					const int nextr = nowr + 1;
					ld nexttime = nowtime + gettime(nodes, nowl, nextl) + gettime(nodes, nowr, nextr);
					if (nexttime < dp[nextl][nextr]) {
						dp[nextl][nextr] = nexttime;
						que.push(aa{ nextl,nextr,nexttime });
					}
				}
			}
		}
		cout <<fixed<<setprecision(22)<< ans << endl;
	}
	
	return 0;
}