×

使用OBDD进行符号拓扑排序。 (英语) Zbl 1128.68030号

摘要:我们提出了一种用于拓扑排序的符号OBDD算法,该算法需要O((log^{2}|V|)OBDD操作。然后我们分析了有向网格图的真实运行时,并显示了\(O(\log^{4}|V|\cdot\log\log|V|\))的上界。这是对基本图形问题的符号OBDD算法进行的第一次真正的运行时分析,它证明了人们可以希望该算法对于足够结构化的输入表现良好。

MSC公司:

68页第10页 搜索和排序
65年第68季度 算法和问题复杂性分析
2005年第68季度 计算模型(图灵机等)(MSC2010)
68瓦40 算法分析
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 布莱巴特,Y。;亨特·H·B。;Rosenkrantz,D.J.,关于表示布尔函数的二元决策图的大小,Theoret。计算。科学。,145, 45-69 (1995) ·Zbl 0874.68283号
[2] Bryant,R.E.,布尔函数操作的基于图形的算法,IEEE Trans。计算。,C-35777-691(1986年)·Zbl 0593.94022号
[3] Burch,J.R。;克拉克,E.M。;McMillan,K.L。;Dill,D.L。;Hwang,L.J.,符号模型检查:(10^{20})状态及其以外,Inform。和计算。,98, 142-170 (1992) ·Zbl 0753.68066号
[4] Cho,H。;Hachtel,G。;郑,S.-W。;Plessier,B。;施瓦兹,E。;Somenzi,F.,FSM验证的ATPG方面,(IEEE/ACM计算机辅助设计国际会议(ICCAD)(1990)论文集),134-137
[5] Cho,H。;郑,S.-W。;萨默齐,F。;Pixley,C.,测试生成中的同步序列和符号遍历技术,J.电子测试:理论与应用,4,19-31(1993)
[6] Coudert,O.,《将两级逻辑最小化速度提高100倍》(第六届ACM-SIAM离散算法研讨会论文集(1995)),112-121·Zbl 0858.94035号
[7] Drechsler,R.,对称函数的伪Kronecker表达式,IEEE Trans。计算。,48, 987-990 (1999) ·Zbl 1391.94910号
[8] Feigenbaum,J。;Kannan,S。;瓦尔迪,M.Y。;Viswanathan,M.,表示为OBDDs的图上问题的复杂性,(第15届计算机科学理论方面年度研讨会(STACS)论文集(1998)),216-226
[9] 哈希特尔,G.D。;Somenzi,F.,0-1网络中最大流的符号算法,系统设计中的形式化方法,10207-219(1997)
[10] S.Jukna,《整数乘法图对可读k次网络来说很难》,《技术报告95-10》,特里尔大学,1995年;S.Jukna,整数乘法图对于可读k次网络来说很难,《技术报告95-10》,特里尔大学,1995年
[11] Lai,Y.T。;Vrudhula,S.B.K。;Pedram,M.,基于EVBDD的线性整数规划算法,谱变换和函数分解,IEEE Trans。计算机辅助设计,13959-975(1994)
[12] Rudell,R.,有序二元决策图的动态变量排序,(IEEE/ACM计算机辅助设计国际会议论文集(1993)),42-47
[13] D.Sawitzki,Implizite Algorithmen für Graphprobleme,多特蒙德大学文凭论文,2002年;D.Sawitzki,Implizite Algorithmen für Graphprobleme,多特蒙德大学文凭论文,2002年
[14] Sawitzki,D.,通过迭代平方实现隐式流最大化,(第30届信息学理论和实践当前趋势会议,第30届信息化理论和实践趋势会议,计算机科学讲义,第2932卷(2004)),301-313·Zbl 1202.68288号
[15] Wegener,I.,分支程序和二进制决策图——理论和应用(2000),SIAM·Zbl 0956.68068号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。