难在证明。如果把命题一般化,也需要快速算法定行程表。

来源: 2008-09-23 10:15:38 [旧帖] [给我悄悄话] 本文已被阅读: