Fast FPT-Approximation of Branchwidth

近似算法 计算机科学 组合数学 数学 算法
作者
Fedor Fomin,Tuukka Korhonen
出处
期刊:SIAM Journal on Computing [Society for Industrial and Applied Mathematics]
卷期号:53 (4): 1085-1131
标识
DOI:10.1137/22m153937x
摘要

.Branchwidth determines how graphs and, more generally, arbitrary connectivity (symmetric and submodular) functions can be decomposed into a tree-like structure by specific cuts. We develop a general framework for designing fixed-parameter tractable 2-approximation algorithms for branchwidth of connectivity functions. The first ingredient of our framework is combinatorial. We prove a structural theorem establishing that either a sequence of particular refinement operations can decrease the width of a branch decomposition or the width of the decomposition is already within a factor of 2 from the optimum. The second ingredient is an efficient implementation of the refinement operations for branch decompositions that support efficient dynamic programming. We present two concrete applications of our general framework. The first is an algorithm that, for a given \(n\) -vertex graph \(G\) and integer \(k\) , in time \(2^{2^{\mathcal{O}(k)}} n^2\) either constructs a rank decomposition of \(G\) of width at most \(2k\) or concludes that the rankwidth of \(G\) is more than \(k\) . It also yields a \((2^{2k+1}-1)\) -approximation algorithm for cliquewidth within the same time complexity, which in turn improves to \(f(k) \cdot n^2\) the running times of various algorithms on graphs of cliquewidth \(k\) . Breaking the "cubic barrier" for rankwidth and cliquewidth was an open problem in the area. The second application is an algorithm that, for a given \(n\) -vertex graph \(G\) and integer \(k\) , in time \(2^{\mathcal{O}(k)} n\) either constructs a branch decomposition of \(G\) of width at most \(2k\) or concludes that the branchwidth of \(G\) is more than \(k\) . This improves over the 3-approximation that follows from the recent treewidth 2-approximation of Korhonen [FOCS 2021].Keywordsbranchwidthrankwidthcliquewidthgraph algorithmsparameterized algorithmsapproximation algorithmsMSC codes68Q2568R1068Q27
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
更新
PDF的下载单位、IP信息已删除 (2025-6-4)

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
Cipher完成签到 ,获得积分10
1秒前
脑洞疼应助LIUYONG采纳,获得10
1秒前
可乐完成签到,获得积分10
1秒前
2秒前
koukousang完成签到,获得积分10
3秒前
乐乐应助张无缺采纳,获得10
4秒前
三三完成签到,获得积分10
4秒前
平常荷花完成签到 ,获得积分10
6秒前
量子星尘发布了新的文献求助10
7秒前
阿胡发布了新的文献求助30
7秒前
水晶李完成签到 ,获得积分10
8秒前
脑洞疼应助静静子采纳,获得100
11秒前
新年好完成签到,获得积分10
12秒前
爆米花应助Michelle采纳,获得10
15秒前
15秒前
LYSM应助晴栀采纳,获得10
16秒前
Bean完成签到,获得积分10
16秒前
16秒前
16秒前
幸福妙柏完成签到 ,获得积分10
17秒前
汕头凯奇完成签到,获得积分10
18秒前
aoba完成签到 ,获得积分10
19秒前
潇洒的平松完成签到,获得积分10
20秒前
qwer完成签到,获得积分10
20秒前
fduqyy发布了新的文献求助10
20秒前
csu_zs完成签到,获得积分10
20秒前
20秒前
LILYpig完成签到 ,获得积分10
21秒前
文静醉易完成签到,获得积分10
21秒前
无聊的翠芙完成签到,获得积分10
22秒前
zhangxuhns完成签到,获得积分10
23秒前
大力哈密瓜完成签到,获得积分10
23秒前
无花果应助碧蓝碧凡采纳,获得10
24秒前
25秒前
26秒前
28秒前
蒋50完成签到,获得积分10
28秒前
不爱喝纯牛奶完成签到,获得积分10
29秒前
29秒前
图图发布了新的文献求助10
29秒前
高分求助中
【提示信息,请勿应助】关于scihub 10000
Les Mantodea de Guyane: Insecta, Polyneoptera [The Mantids of French Guiana] 3000
徐淮辽南地区新元古代叠层石及生物地层 3000
The Mother of All Tableaux: Order, Equivalence, and Geometry in the Large-scale Structure of Optimality Theory 3000
Global Eyelash Assessment scale (GEA) 1000
Picture Books with Same-sex Parented Families: Unintentional Censorship 550
Research on Disturbance Rejection Control Algorithm for Aerial Operation Robots 500
热门求助领域 (近24小时)
化学 材料科学 医学 生物 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 遗传学 基因 物理化学 催化作用 冶金 细胞生物学 免疫学
热门帖子
关注 科研通微信公众号,转发送积分 4038388
求助须知:如何正确求助?哪些是违规求助? 3576106
关于积分的说明 11374447
捐赠科研通 3305798
什么是DOI,文献DOI怎么找? 1819322
邀请新用户注册赠送积分活动 892672
科研通“疑难数据库(出版商)”最低求助积分说明 815029