第卷期计算机学报３ ６Ｖｏｌ．年月２０１ＣＨＩＮＥＳＪＯＵＲＡＬＦＭＰＴｕｎｅ一种于混合策略的彩色编码中南大与工程院长沙摘是求解实际难问兴而技术在应用该时度取决着案模因此小将成衡量劣标准近几犽了许多有意义结果完全散列函产世界上好犗狀确定利组思想针对效文以分治核心并子提出且证明－由可覆盖所集·通过｜犛比较说具更关键词图类号／犇犐犃犿狉狅狏犲犱犆犾犻狋犺犅犪狊犎犫犮狌狆犵狔ＷＧＸＹＺｈｒ犳犈犝ｐｔｑｖｂｙｆｚｋ犓狑收稿日：；最终修改到本课题得国家自然科基金（）、“九七三”重点础研究发展规８７９划项目前专高等校博士和教育部创新团队资助Ｂ５王建，男生授主要领域为法网络优化理论物信息ｍａｉｊｘｗｇ＠杨志彪硕方向参数刘云龙ｃｓｄ陈二复杂性及４书
期王建新混策略从引言取１ 若犼≠随着信息产业和现代工的快速发展，各领域中海量增长许多组合问题利用目前人类具案３有计算资源无法在效时间内解决机存．复杂性理论这些难大属于ＮＰ然而又是程应记作犛不可避免且必须规模子集选择（）学研究值注身并直接ｓｕｂｅｔｌｃｉｏｎ一重要通常被描述成下面形式：给限制定个包含元素全找到满足某特搜索空需狀犝条件所此后犚犽犠都以穷举方指数得行即枚情况构该减已功、Ｃ度为ｙＭｇｋ犗生物蛋白网络查典型ａｈ０上广泛ｆ图整求犌依赖节点简单路径对根据最早提出［８］分确！等２Ａ详细介绍过深入阐明了本质动态划寻基观察年首次彩色９５相实例编码技术４析概率极地降低够较Ｈüｒ思想改颜其将犆｜＝近治小来每使种进假原标正好样也Ｋ同获额外约束虽化便沿文献精结果但义如很高能令｛犲…｝犮造任意犺犻完散列函族表示赋予犳６７犉〈〉犎∈均∪至少则称经覆盖因＞
计机学报年这种着色方案的构造算法即使在较小时也不太犽５实用妨设．犛｜最近，等人大幅改进了确定式Ｃｈｅｎ研究结果提出复杂度为（）具｛｝犗６１狀犻犳∈体过程中采层散列处理来避免冲其返回４２突该记犣→／任因此犮－ＰＨ犼首先核心化将ｒｆｃｔａｓｉｇｍｘ问题多项间内规约到然积后元素个位置上再利另一组函数分别每重新解决已有都总步通对类讨论虽×得很好但际应效尽想成两部直接合思可以全集犝从角∩文献［］彩编码∪非参情况下行深入地覆盖所选择必须枚举颜基于划Ｂｏｄ布表明比ｌ满足显犠更高价值是束条件存＋限制无那么本简单治策略发技术并充现混外当：０ｙｂＡｕ；或析及故模取且易而公性能要意义递推假获 前第目标同特殊只需子面几节介绍便二则变换操作如加连给犎＝归终止根据３〈…〉犺′示和空＜
期王建新混策彩编码７（）当时，每个元素对应一种颜色返回２狀＝犽着方案｛〈…〉｝即可；１所有同３．次调用递归算法数都将减半在经过层后此为直接ｌｏｇ这样以不产生的情况下分析治规模综述４便于面首先给出引理任意正整／ －等人提复杂度Ｃｈｅｎ犗６证明造相比要远大限制且偶取而显然成立简单易实现没忽略及奇关多项系随问题增长假设＋很快节介绍核心化技术削≠弱影响则必其中与矛盾因敏感也从局了范围尽管目前基完全散列函它们论毕础：小参降低仍定和作得到满足｜犛结果表就程带来利只需专注解决该构集合［］如０狉由式ｍａｘ文献通Ｆｒｄ×研究确性是狆＜犣义族犪∈Ν根据狓φ犎·上知均犻那么原预处幅较∑若＞
机学报年０方案，再利用散列函数映射为（）着色；若狀犽２则直接分治算法构造ｎｐｕｔｉｅｒ犝ａｗｈ结合引理与定得到以下论．１Ｏｃｓｍ对任意的正整和且核心ｆ ｛〈…〉｝化产生满足｜犛－·ｌｏｇ／５证明表示←规模７犻ｄ当时由有∪８显然成立及＞节介绍因此幅低复杂均毕相比首先ＰＨ没形式上界但是犗犮实际６４并不能很好地反较小而仅忽略多项系甚至何常准确３犎犃犅犆所言加快终止速度狉改善性关键简单策犪∈犣ψ狆包含等几个条件严重影响了＝［］基于划ＢＣ出现从大程这一情况通过枚举块布优具体参见文献析还指在目前计力可更够覆面我们础预盖全处子问题根据其应提种混Ａ只需元素递归降质要都被之：综返回空集＜样减半调中序描述如ＩＤ图同颜
期王建新等基混彩编码并返回；（）：算法处理，影响才致反３犽狀２ＰＢＣ着色方案减半枚举分布情况４＜递归调用在下显然可以注意我们没．１ＩＤ时根据文献［］中的核心化预程论同样依简单·治策略将问题到更小规模由于量级约仅降性质任何都平经计当上四种之一不超过层ｌｏｇ＞后此结束已达范＝知围远因能构造从ＨＡ而覆盖全集所有元素子证毕犝产生析 犎犃犅犆为了便与比较首先顾相关内容赖参～５数组合需各个目得整对要犪犫狆犗／－序列８６９接其狉犔式及间映射系外满足条件也通具体步骤如①看出复杂度且包括正好来自指部二进制串第段含犼犮余作低阶被忽渐近界表示角考虑这做是允许按照则滤些候选∑实际很多仍必须就符面犜言综应②｜犉∏例０和犻Ｅ狇图展代随值增长趋势尽管终取决定但大无现求解前重果只充两者
须考虑依据，对剩余的计算·（４．Ｃ３犃＞１犚＝犜狆∑综述提供犻′２）其中是不小于最素数而为－犽远目长子串参０前个步所有并求和若能５犅犙被整除则即着色方案规模犎结根６＋％～彩编码解决难新兴重要技术该特确几年这样法产生实际也可ＰＨ研究许多改进好以在成情况下出来图展示果等人文献［］ｈｅｎ①了、狀ＡＢ间证犗及组合比较ＯＭＩＮ犆加基划将应弥补非空白本治础混策机地融点避免它们足经易幅 从看与都且ｌｏＹｕｓｔｒＲＺｗｉｃｋｄｇＪａｆ随值增范围内趋势：９８缓由核心化处理削弱问题复杂ｐｙ度影响因此越大相ｍ优更明显ＬＳｊｚＦｖｂ采用同预使得／７只线性关系无还ＷＸＥ量级约仅一半另外分别ＵＤ表上王建刘云龙陈二元颜界两种到效学报很接近紧面说定Ｋ析功者ＧＴ意义时发现当取或超过论忽略向构造必需限制适
期等混合策略［］，６ＦｒｅｄｍａｎＭｉｃｈｌＬＫｏóｓＪＳｚéＥ．ｔ（）ｇｐｂｗ犗１ｕ：王建新黄元南陈二一种基于彩色编码的序发现算ｆＡＣ９８４３５法软件学报７ＰＴｘｙｖ犽Ｉ０ＢＨＯ２ＺｋＲü／ＵｊＧ犾犱ＷＸＹＮ犠犃犖犌犑犻犪狀犡Ｄ犔犐犝狌犵犆犎犈狉犢犣犺犅狅犮ｑ
