Problem Solved

建模:
没什么建模的，题目所求的关系刚好与KM算法的关系一致。
算法:
KM算法。
Debug:
无。