随着计算机应用的不断扩展及计算机处理的问题中涉及的变元的个数的增大,算法设计人员面临着一个非常头痛的问题NP-hard问题。由于解决这类问题所需时间随着变元的数目按指数递增,以致在变元数目增大时,即使一个大型计算机也无法胜任。本文中,我们指出了网络协议软件测试中的一个NP-hard问题,并且提出了一个有效的办法去解决它。此方法可用于International Standard Organization(ISO)Open System (?)nterconnection(OSI)传送层第二类网络协议软件的测试。
