「.....这是旨在探索p和Np的复杂性类别之间关，在以前的论文[1]中，我们已经证明了satF问题可以多项式化为在一个集合的特殊分解下寻找该集合的特殊覆盖的问题，反之亦然。」
「.....定义1:称G=是加标多级图(beledultistagegraph)，如果满足以下条件:
为顶点集合，V=VUnUVu…UV，VnV=0，0≤ij≤L，i≠j。如果uV，0≤i≤L，称u所在级为i级，也称u是i级的顶点。L称为G的级。
为边的集合，E中的边均为有向边，它用三元组(u，v，l)表示。如果(u，v，l)E，1≤l≤L，则ueV-1vEV。称(u，v，l)为G的第l级的边。
3.和都只包含唯一顶点。称中的唯一顶点为源点，记为S，称，中的唯一顶点为汇点，记为d......」
4........
.......
手中的论文在眼眸中流过，徐川一瞬不瞬的翻阅着每一句话，每一个数学公式，甚至是每一个标点符号。
整数的因数分解是一个易于理解、清楚明白的问题，但它却并不是一个简单的问题。
相对而言，较小整数的因数分解是一个小学算术问题，可一旦充分大的数，例如一个50位的整数的因数分解问题就是一个超级数学难题了。
内容未完，下一页继续阅读