算法设计与分析

StepVegas运行时间/ms正确率1165100 217100 33100 41100 5191 6282 7439 8438 9536 10827 11948 129100 1335100 N=14

当时

StepVegas运行时间/ms正确率11014100 291100 312100 43100 5299 6192 7269 8353

⋃

设图的m 次幂将G 中最大团拷贝为,设 = ,

则任取 ,根据图的m 次幂Gm 的定义，有之间存在一条边，所以是中最大的团，size 是充分性：

反证法，假设G 中最大团的size 为),则根据必要性证明过程可以知道里最大团的size 是，这与已知里最大团的size 是相矛盾，所以假设不成立，故G 中最大团的size 为。证毕G m ,...A 1A 2A m B ⋃m

i =1A i ,∈B v i v j ,v i v j B G m m α

β(β≢αG m m βG m m αα