12.4 利用一一对应的匹配性质转化问题的实验范例