×
克劳斯·米尔；迪特尔·劳滕巴赫

关于有界树和剪接宽度图的OBDD大小。 （英语） Zbl 1177.68100号

离散数学。 309，第4期，843-851（2009）.
参见Lect中对初步版本的审查。注释计算。科学。4169, 72–83 (2006;Zbl 1154.68432号).

引用于7文件

MSC公司：

65年第68季度 算法和问题复杂性分析
05C35号 图论中的极值问题
05C85号 图形算法（图形理论方面）
68兰特 计算机科学中的图论（包括图形绘制）

关键词：

决策图；有序二元决策图；树的宽度；楔形宽度；齿轮描记器

引文：

Zbl 1154.68432号
PDF格式BibTeX公司 XML格式引用
\textit{K.Meer}和\textit{D.Rautenbach}，离散数学。309，第4号，843--851（2009；Zbl 1177.68100）
全文： DOI程序

参考文献：

[1] Arnborg，S。；Lagergren，J。；Seese，D.，《树分解图的简单问题》，《算法杂志》12，308-340（1991）·Zbl 0734.68073号
[2] Bodlaender，H.L.，《小树宽图的NC-算法》，（计算机科学中的图论概念论文集。计算机科学中图论概念的论文集，计算科学讲义，第344卷（1989年），Springer），1-10
[3] 布莱巴特，Y。；亨特，H。；Rosenkrantz，D.，《关于表示布尔函数的二元决策图的大小》，《理论计算机科学》，145，45-69（1995）·Zbl 0874.68283号
[4] Bryant，R.E.，布尔函数操作的基于图形的算法，IEEE计算机事务C-35，8，677-691（1986）·Zbl 0593.94022号
[5] 科内尔·D·G。；Lerchs，H。；Stewart Burlingham，L.，补可约图，离散应用数学，3163-174（1981）·Zbl 0463.05057号
[6] Courcelle，B.，图语法，一元二阶逻辑和图子理论，当代数学，147565-590（1993）·Zbl 0787.05086号
[7] 库塞尔，B。；Makowsky，J.A。；Rotics，U.，有界集团宽度图上的线性时间可解优化问题，计算系统理论，33125-150（2000）·Zbl 1009.68102号
[8] 库塞尔，B。；Mosbah，M.，树可分解图的一元二阶估计，理论计算机科学，109，49-82（1993）·Zbl 0789.68083号
[9] 库塞尔，B。；Olariu，S.，图的线宽上限，离散应用数学，10177-114（2000）·Zbl 0958.05105号
[10] Diestel，R.（图论，图论，Springer数学研究生教材（2000））·Zbl 0945.05002号
[11] Feigenbaum，J。；Kannan，S。；瓦尔迪，M.Y。；Viswanathan，M.，表示为OBDDs的图上问题的复杂性，芝加哥理论计算机科学杂志，1999，1-25（1999）·Zbl 0924.68097号
[12] C.Gavoille，关于图的隐式表示的注释，研究报告RR-1268-01，LaBRI，波尔多大学1，法国，2001年12月；C.Gavoille，关于图的隐式表示的注释，研究报告RR-1268-01，LaBRI，波尔多大学1，法国，2001年12月
[13] Gentilini，R。；C.广场。；Policriti，A.，以线性符号步数计算强连接组件，（SODA 2003（2003），ACM出版社），573-582·Zbl 1092.68716号
[14] Gentilini，R。；Policriti，A.，《符号表示图上的双连通性：线性解》（计算机科学讲义，第2906卷（2003），Springer:Springer-Berlin），554-564·Zbl 1205.05220号
[15] 哈希特尔，G.D。；Somenzi，F.，0-1网络中最大流的符号算法，系统设计中的形式化方法，10207-219（1997）
[16] Kannan，S。；Naor，M。；Rudich，S.，图的隐式表示，SIAM离散数学杂志，5596-603（1992）·Zbl 0768.05082号
[17] 基勒，K。；Westbrook，J.，平面图和地图的简短编码，离散应用数学，58239-252（1995）·Zbl 0833.05025号
[18] 米勒，G。；Reif，J.，平行树收缩及其应用，（Proc.26 Foundations of Computer Science FOCS 1985（1985），IEEE），478-489
[19] Naor，M.，一般无标记图的简洁表示，离散应用数学，28303-307（1990）·Zbl 0725.05048号
[20] 伦克塞尔（Nunkesser，R.）。；Woelfel，P.，《用OBDDs表示图形》，（Deng，X.；Du，D.，《2005年国际会计准则委员会会议录》。ISAAC 2005年会议录，计算机科学讲义，第3827卷（2005），Springer），1132-1142·Zbl 1153.68408号
[21] Sawitzki，D.，通过迭代平方实现隐式流量最大化，（van Emde Boas，P.；Pokorny，J.；Bielikova，M.；Stuller，J.，第30届SOFSEM会议记录。第30届SOFSEM会议记录，计算机科学讲义，第2932卷（2004年），Springer），301-313·Zbl 1202.68288号
[22] Sawitzki，D.，全对最短路径问题的符号方法，（Hromkovic，J.；Nagl，M.；Westfechtel，B.，《计算机科学第30届图论概念论文集》WG 2004。2004年计算机科学第30届图论概念会议录，计算机科学讲义，第3353卷（2004），斯普林格），154-167·Zbl 1112.68431号
[23] 塔拉莫，M。；Vocca，P.，用几乎最优空间隐式表示图形，《离散应用数学》，108，193-210（2001）·Zbl 0991.05092号
[24] Wegener，I.，（分支程序和二进制决策图：理论和应用。分支程序和二元决策图：原理和应用，SIAM离散数学和应用专著（2000），SIAM）·Zbl 0956.68068号
[25] Wegener，I.，BDD——设计、分析、复杂性和应用，《离散应用数学》，138229-251（2004）·Zbl 1045.94023号
[26] Woelfel，P.，用OBDD进行符号拓扑排序，离散算法杂志，4，51-71（2006）·Zbl 1128.68030号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。