飞行员配对方案问题
第二次世界大战时期，英国皇家空军从沦陷国征募了大量外籍飞行员。由皇家空军派出的每一架飞机都需要配备在航行技能和语言上能互相配合的2名飞行员，其中1名是英国飞行员，另1名是外籍飞行员。在众多的飞行员中，每一名外籍飞行员都可以与其他若干名英国飞行员很好地配合。如何选择配对飞行的飞行员才能使一次派出最多的飞机。对于给定的外籍飞行员与英国飞行员的配合情况，试设计一个算法找出最佳飞行员配对方案，使皇家空军一次能派出最多的飞机。
编程任务：
对于给定的外籍飞行员与英国飞行员的配合情况，编程找出一个最佳飞行员配对方案，使皇家空军一次能派出最多的飞机。
数据输入：
由文件input.txt提供输入数据。文件第1行有2个正整数m和n。n是皇家空军的飞行员总数(n<100)；m是外籍飞行员数。外籍飞行员编号为1~m；英国飞行员编号为m+1~n。
接下来每行有2个正整数i 和j，表示外籍飞行员i 可以和英国飞行员j 配合。文件最后以2个-1结束。
结果输出:
程序运行结束时，将最佳飞行员配对方案输出到文件output.txt中。第1行是最佳飞行员配对方案一次能派出的最多的飞机数M。接下来M行是最佳飞行员配对方案。每行有2个正整数i 和j，表示在最佳飞行员配对方案中，飞行员i 和飞行员j 配对。 如果所求的最佳飞行员配对方案不存在，则输出‘No Solution!’。
输入文件示例
5 10
1 7
1 8
2 6
2 9
2 10
3 7
3 8
4 7
4 8
5 10
-1 -1
输出文件示例
1 7
2 9
3 8
5 10
-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
解决方案：
1. 问题分析：
基础的二分图最大匹配问题。
2. 建模方法：
在二分图的基础上增加源S和汇T。
(1): S向X集合中每个顶点连一条容量为1的有向边。
(2): Y集合中每个顶点向T连一条容量为1的有向边。
(3): XY集合之间的边都设为从A集合中的点到B集合之中的点，容量为1的有向边。
求网络最大流，流量就是匹配数，所有满流边是一组可行解。
可行解的输出：枚举所以边< u , v >，如果u∈X，v∈Y，并且< u , v >满流，那么当前边为可行解的一组匹配。
3. 建模分析：
基本的二分图最大匹配，可以直接用匈牙利算法或Hopcroft_Karp算法解决，更一般的方法是网络最大流。