权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Development of treewidth algorithms based on path-like tree-decompositions

基于类路径树分解的树宽算法的开发

基本信息

批准号：
21K11761
负责人：
玉木久夫
金额：
$ 2.66万
依托单位：
Meiji University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2021
资助国家：
日本
起止时间：
2021-04-01 至 2024-03-31
项目状态：
已结题

项目摘要

昨年度は、グラフ縮約に基づいた木幅下界を順次改良する方法において大きな進展があった。この下界アルゴリズムと上界アルゴリズムを組み合わせることにより、従来法では解くことのできなかった規模のグラフに対して厳密な木幅を計算することが可能になった、今年度は、グラフ縮約に基づいた再帰により木幅を計算する方法を発見することができた。この方法では下界の計算と上界の計算が一体化されている。その考え方を示す。グラフGの木幅をtw(G)で表す。また、Gをその辺eによって縮約してできるグラフをG/eで表す。与えれらたグラフGが従来法で容易に解ける規模であれば、従来法で解く。そうでない場合、Gの辺eを選び、k = tw(G/e)を再帰的に計算する。kはtw(G)の下界隈であり、k+1はtw(G)の上界である。実際、G/eの幅kの木分解をGの木分解に自然に「翻訳」することにより、Gの幅k+1以下の木分解を容易に得ることができる。この翻訳法を工夫することにより、得られた木分解の幅がkである可能性を増すことができるというのが重要な発見である。ひとつの辺に対しての再帰結果からtw(G)を決定できない場合は、複数の辺に対して再帰を行うことにより、成功の可能性をさらに増加させることができる。この方法の詳細を設計し、従来法および昨年度開発した上記のアルゴリズムをはるかに凌駕する性能の木幅アルゴリズムを得ることができた。この方法自体は、研究計画の時点の「パス的木分解に基づく」という構想からは大きく逸脱しているが、実用的に優れた性能の木幅アルゴリズムを開発するという目的は、期待以上に満足するものである。また、この再帰的アルゴリズムの一部で用いている上界改良アルゴリズムはパス的木分解のアイディアを一部使用しており、構想はそういう形で結果に寄与している。

Last year, the method of reducing the base width of the tree was improved. The lower bound of the tree is divided into two parts: the lower bound and the lower bound. The lower bound and the lower bound are divided into two parts: the upper bound and the lower bound. The lower bound and the lower bound are divided into two parts: the lower bound and the lower bound. The lower bound and the lower bound are divided into two parts. The lower bound and the lower bound. The lower bound and the This method is integrated into the calculation of lower bound and the calculation of upper bound. The test is shown. The width of G is tw(G). G/e is the most important part of G/e. It is easy to solve the problem of scale and method. When G is selected, k = tw(G/e) is calculated again. k (G), k+1 (G) In fact, the decomposition of G/e with amplitude k is easy to obtain, and the decomposition of G with amplitude k+1 is easy to obtain. This is the most important thing to do. The probability of success increases when the number of cases is determined. The detailed design of this method is based on the analysis of the performance of the system. The method itself is based on the assumption that the time of the research project is large and the performance of the project is excellent. A part of the solution is to use the upper bound to improve the solution. A part of the solution is to use the upper bound to improve the solution. A part of the solution is to use the upper bound to improve the solution.