第八讲图论中的匹配与逻辑推理问题.docVIP

第八讲 图论中的匹配与逻辑推理问题 　　先看一个例题.中、日、韩三个足球队进行比赛，已知A不是第一名，B不是韩国队，也不是第二名，第一名不是日本队，中国队第二.问A、B、C各代表哪国队？各是第几名？ 　　一般解这类题都归于逻辑推理类问题. 　　我们先来降低难度.先只要求你判断出中、日、韩各是第几名（不必判断A、B、C）.可以把中、日、韩各用一个点代表，列于上一行.第一、二、三名各用一个点代表，列于下一行，记为： 　　V1=｛中，日，韩｝，V2=｛第1名，第2名，第3名｝. 　　V1中的点与V2中某一个点有肯定关系的，就画一条实线，如和②.否定关系的两点之间画一条虚线，如不是②；不是①.把已知条件不加任何推理地表现于图上.虚线2条，实线1条，共3条线. 　　现在，有两个明显的事实；第一，V1中每点有且只有一条实线与V2中相应点配对，V2中每点有且只有一条实线与V1中相应点配对.V1内部点之间不会有线相联结，V2内部点之间也不会有线相联结.第二，从V1（或V2）中某一个点，例如说a点如发出了一条实线向着V2（或V1）中某一个点，例如说x点，那么a点与V2（或V1）中其他点之间必然只能用虚线联结.（这是逻辑推理中的排它性） 　　由此，我们很容易将中、日、韩的名次判出. 　　这样的问题，抽象起来可归属于图论中称之为“二分图的匹配”问题. 　　图论的名词术语太多，这里不作详细定义，只是描述性