USACO Canada Tour 解题报告

这道题我之前的想法是搜索，但是超时了。。。看到大神的解题报告：https://www.byvoid.com/blog/usaco-541-canada-tour 才意识到这是个DP的问题。把这个问题转化成从一个点出发到目的地的两条不重叠的路径这点比较好想（在知道之前二维捡苹果题之后），至少也很容易理解。DP的解法为什么不会产生正确，即为什么两条路径不会有重复（除了初始和结尾点）不是很好理解。我也只能是从这道题能够pass反推这一点。严谨一点的证明是：首先，初始时是满足的；其次，每次对新的i,j对，我们只考虑j之前的k，这里假定旧有的i,k对不含重复点（除了初始点），那么新的i,j对也只增加一条从k到j的路径（或者说只增加了一个新的不可能重复的城市j）,那么i,j对也不含重复城市（除了初始点）。上述两点可以保证最终的结果都不会含有重复点（除了初始和结尾点）。但这个想法正着想还是太难想到了。

/* 
ID: thestor1 
LANG: C++ 
TASK: tour 
*/
#include <iostream>
#include <fstream>  
#include <cmath>  
#include <cstdio>  
#include <cstring>  
#include <climits>  
#include <cassert>  
#include <string>  
#include <vector>  
#include <set>
#include <map>  
#include <queue>  
#include <stack>  
#include <algorithm>
#include <cassert>

using namespace std;

int main()
{
	ifstream fin("tour.in");
	ofstream fout("tour.out");

	int V, N;
	fin>>V>>N;
	map<string, int> cities;
	for (int i = 0; i < V; ++i)
	{
		string city;
		fin>>city;
		cities[city] = i;
	}

	// vector<vector<int> > toEast(V, vector<int>());
	// vector<vector<int> > toWest(V, vector<int>());

	std::vector<std::vector<bool> > adj(V, std::vector<bool>(V, false));
	for (int i = 0; i < N; ++i)
	{
		string c1, c2;
		fin>>c1>>c2;
		int n1 = cities[c1], n2 = cities[c2];
		// toEast[min(n1, n2)].push_back(max(n1, n2));
		// toWest[n2].push_back(n1);
		adj[n1][n2] = true;
		adj[n2][n1] = true;
 	}

	// for (int i = 0; i < toEast.size(); ++i)
	// {
// 		sort(toEast[i].begin(), toEast[i].end());
	// }

	// for (int i = 0; i < toEast.size(); ++i)
	// {
	// 	cout<<i<<": ";
	// 	for (int j = 0; j < toEast[i].size(); ++j)
	// 	{
	// 		cout<<toEast[i][j]<<"\t";
	// 	}
	// 	cout<<endl;
	// }

	vector<vector<int> > cnt(V, vector<int>(V, 0));
	cnt[0][0] = 1;

	for (int i = 0; i < V; ++i)
	{
		for (int j = i + 1; j < V; ++j)
		{
			for (int k = 0; k < j; ++k)
			{
				if (adj[k][j] && cnt[i][k] > 0)
				{
					if (cnt[i][k] + 1 > cnt[i][j])
					{
						// cnt[i][k] = adj[i][k] + 1;
						cnt[i][j] = cnt[i][k] + 1;
					}
				}
			}
			cnt[j][i] = cnt[i][j];
		}
	}

	int ans = 1;
	for (int i = 0; i < V; ++i)
	{
		if (adj[i][V - 1] && cnt[i][V - 1] > ans)
		{
			ans = cnt[i][V - 1];
		}
	}
	
	fout<<ans<<endl;

	fin.close();
	fout.close();
	return 0;  
}