简介:AgraphpropertyisasetofgraphssuchthatifthesetcontainssomegraphGthenitalsocontainseachisomorphiccopyofG(withthesamevertexset).AgraphpropoertyPonnverticesissaidtobeelusive,ifeverydecisiontreealgorithmrecognizingPmustexaminealln(n-1)/2parisofverticesintheworstcase.Karpconjecturedthateverynontrivialmonotonegraphpropertyiselusive,Inthispaper,thisconjectureisprovedforsomecases,Especially,itisshownthatiftheabstractsimplicialcomplexofanontrivialmonotonegraphpropertyPhasdimensionnotexceeding5,thenPiselusive.
简介:时间飞逝.一眨眼2003年已经过半。上半年.PalmOS5全面登陆消费市场.接过PalmOS4的接力棒.PalmOS4在光荣的完成历史使命后,慢慢成为了忘却的纪念。我们不会忘记OS4及其前辈为PalmOS攻城掠地的辉煌.我们更期待OS5能将辉煌继续……OS5推出半年多来.以Palm和SONY为强大后盾的PalmOS集团已经推出T8款基于OS5的主机.他们是Palm公司的TungstenT、TungstenC、Zire71.SONY公司的CLIENX70V.CLIETG50、CLIENZ90.以及两款最新上市的NX73V和NX80V.虽然都采用相同的系统,但是这些PDA却依然保持着自己的个性。通过市场销售调查,PalmTT以低廉的价格.强大的功能.独特的外观夺得了第一第二季度销售冠军.而SONYCLIETG50以其时尚的外观.不亚于TT的性能,以及SONY的品牌占据了榜眼的地位。综合这半年多来推出的机型.这次我们选择了8款OS5机型中的6款(除了最新的NX73V和NX80v)进行横向评测.希望我们的评测能对您选择机型有所帮助。