跳到主要内容
研究论文

快速逼近秩宽度和clique-width

出版:2008年12月12日出版历史
跳过抽象节

摘要

Oum和Seymour[2006]对等级宽度进行了定义,以调查集团宽度。他们构造了一种算法,要么最多输出宽度的等级分解(f)(k个)对于某些功能(f)或确认等级宽度大于k个及时O(运行)(|V(V)|9日志|V(V)|)对于输入图形G公司= (V(V),E类)和一个固定的k个。我们开发了三种独立的此类算法,运行时间更快。我们构造一个O(运行)(|V(V)|4)-时间算法(f)(k个) = 3k个+1通过为前面的算法构造子程序;我们避免使用通用算法最小化Oum和Seymour使用的子模块函数。另一个是O(运行)(|V(V)|)-时间算法(f)(k个) = 24k个,通过给出从图到二元拟阵的约简来实现;然后我们使用Hliněnߕ的拟阵分支宽度的近似算法。最后,我们构建了一个O(运行)(|V(V)|)-时间算法(f)(k个) = 3k个−1通过结合之前引用的两篇论文的观点。

工具书类

  1. Bouchet,A.,1988年。各向同性系统的图形表示。J.组合理论系列。乙45,1,58--76。谷歌学者谷歌学者数字图书馆数字图书馆
  2. Bouchet,A.1989年。各向同性系统的连通性。《组合数学:第三届国际会议论文集》(1985)。《纽约科学院年鉴》,第555卷。纽约科学院,纽约,81-93。谷歌学者谷歌学者数字图书馆数字图书馆
  3. Bouchet,A.1990年&kappa-转换、局部互补和转换。在周期和射线中(蒙特利尔,PQ,1987)。北约高级科学。仪器序列号。C数学。物理学。科学。,第301卷。Kluwer学院,德国多德雷赫特,41-50。谷歌学者谷歌学者
  4. Bouchet,A.1994年。圈出图形障碍物。J.组合理论系列。B 60,1,107--144。谷歌学者谷歌学者数字图书馆数字图书馆
  5. Corneil,D.G.、Habib,M.、Lanlignel,J.-M、Reed,B.和Rotics,U.2000。剪接宽度≤3的图的多项式时间识别(扩展抽象)。第四届拉丁美洲理论信息学研讨会论文集,乌拉圭埃斯特角。计算机科学讲义,第1776卷。柏林施普林格,126-134。谷歌学者谷歌学者数字图书馆数字图书馆
  6. Courcelle,B.1997年。一元二阶逻辑中图的性质和图的变换的表示。在《图形语法和图形变换计算手册》第1卷。《世界科学》,新泽西州River Edge,313-400。谷歌学者谷歌学者数字图书馆数字图书馆
  7. Courcelle,B.2006年。图XV的一元二阶逻辑:关于D.Seese的一个猜想。J.应用。日志。4, 1, 79--114.谷歌学者谷歌学者交叉引用交叉引用
  8. Courcelle,B.、Makowsky,J.A.和Rotics,U.2000。有界集团宽度图上的线性时间可解优化问题。理论计算。系统。33, 2, 125--150.谷歌学者谷歌学者交叉引用交叉引用
  9. Courcelle,B.和Olariu,S.2000。图的团宽度的上限。离散应用程序。数学。101, 1-3, 77--114.谷歌学者谷歌学者数字图书馆数字图书馆
  10. Courcelle,B.和Oum,S.,2007年。顶点-次数、一元二阶逻辑和Seese的一个猜想。J.组合理论系列。B 97、1、91——126。谷歌学者谷歌学者数字图书馆数字图书馆
  11. Espelle,W.、Gurski,F.和Wanke,E.,2001年。如何在多项式时间内解决剪接宽度有界图上的NP-hard图问题。计算机科学中的图论概念。计算机科学讲义,第2204卷。柏林施普林格,117-128。谷歌学者谷歌学者数字图书馆数字图书馆
  12. Fellows,M.R.、Rosamond,F.A.、Rotics,U.和Szeider,S.,2006年。Clique-Width最小化为NP-hard。第38届ACM计算理论年会论文集。ACM出版社,纽约,354--362。谷歌学者谷歌学者数字图书馆数字图书馆
  13. Geelen,J.F.1995年。匹配,拟阵和幺模矩阵。滑铁卢大学博士论文。谷歌学者谷歌学者
  14. M.U.Gerber和D.Kobler,2003年。固定剪接宽度图上顶点划分问题的算法。理论。计算。科学。299, 1-3, 719--734.谷歌学者谷歌学者数字图书馆数字图书馆
  15. Hicks,I.V.和McMurray Jr.,N.B.,2007年。图的分支宽度及其圈拟阵。J.组合理论系列。B 97,5,681--692。谷歌学者谷歌学者数字图书馆数字图书馆
  16. 林恩,P.2005。拟阵分支宽度的参数化算法。SIAM J.计算。35,2,259--277,松散勘误表(电子版)。谷歌学者谷歌学者数字图书馆数字图书馆
  17. Hliněn଑,P.和Oum,S.2008。寻找分支分解和等级分解。SIAM J.计算。已接受。谷歌学者谷歌学者数字图书馆数字图书馆
  18. 岩田,S.,弗莱舍,L.,和富士芝,S.2001。用于最小化子模函数的组合强多项式算法。美国医学会期刊48,4,761--777。谷歌学者谷歌学者数字图书馆数字图书馆
  19. Kobler,D.和Rotics,U.,2003年。固定剪接宽度图的边控制集和着色。离散应用程序。数学。126, 2-3, 197--221.谷歌学者谷歌学者数字图书馆数字图书馆
  20. Mazoit,F.和Thomassé,S.2005。图形拟阵的分支宽度。手稿。谷歌学者谷歌学者
  21. Oum,S.2005a。有界秩宽度的图。普林斯顿大学博士论文。谷歌学者谷歌学者数字图书馆数字图书馆
  22. Oum,S.2005b。秩-宽度和顶点-次项。J.组合理论系列。B 95,1,79--100。谷歌学者谷歌学者数字图书馆数字图书馆
  23. Oum,S.和Seymour,P.,2006年。近似clique-width和branch-width。J.组合理论系列。B 96,4,514--528。谷歌学者谷歌学者数字图书馆数字图书馆
  24. Oxley,J.G.1992年。拟阵理论。牛津大学出版社,纽约。谷歌学者谷歌学者
  25. Robertson,N.和Seymour,P.1991年。图形子对象。十、树木分解障碍。J.组合理论系列。B 52,2,153--190。谷歌学者谷歌学者数字图书馆数字图书馆
  26. Seese,D.1991年。图的可判定一元理论模型的结构。Ann.纯粹应用。逻辑53,2,169--195。谷歌学者谷歌学者交叉引用交叉引用
  27. Seymour,P.和Thomas,R.1994年。呼叫路由和捕鼠器。组合数学14,2,217--241。谷歌学者谷歌学者交叉引用交叉引用
  28. Wanke,E.1994年。k-NLC图和多项式算法。离散应用程序。数学。54, 2-3, 251--266.谷歌学者谷歌学者数字图书馆数字图书馆

索引术语

  1. 快速逼近秩宽度和clique-width

    建议

    评论

    登录选项

    检查您是否可以通过登录凭据或您的机构访问本文。

    登录

    完全访问权限

    • 发布于

      封面图像ACM算法事务
      ACM算法事务 第5卷第1期
      2008年11月
      281页
      国际标准编号:1549-6325
      EISSN公司:1549-6333
      内政部:10.1145/1435375
      期刊目录

      版权所有©2008 ACM

      如果复制品不是为了盈利或商业利益而制作或分发的,并且复制品的第一页载有本通知和完整引文,则允许免费制作本作品的全部或部分数字或硬拷贝以供个人或课堂使用。必须尊重ACM以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布,在服务器上发布或重新发布到列表,需要事先获得特定许可和/或付费。从请求权限[电子邮件保护]

      出版商

      计算机协会

      美国纽约州纽约市

      出版历史

      • 出版:2008年12月12日
      • 认可的:2008年5月1日
      • 修订过的:2008年4月1日
      • 收到时间:2006年2月1日
      发布于滑石第5卷第1期

      权限

      请求有关此文章的权限。

      请求权限

      检查更新

      限定符

      • 研究论文
      • 研究
      • 推荐

    PDF格式

    以PDF文件查看或下载。

    PDF格式

    电子阅读器

    使用eReader联机查看。

    电子阅读器