这是按照算法导论Johnson算法写出的程序