研究论文

关于决策树和决策表的同构问题

作者:

五、。阿尔文德,

约翰内斯科布勒,

塞巴斯蒂安库纳特,

高拉夫藤条、和

雅杜人瓦苏提夫作者信息和声明

理论计算机科学,体积590,问题C类

页38-54

https://doi.org/10.1016/j.tcs.2015.01.025

出版:2015年7月26日出版历史

摘要

我们研究了由决策树或决策列表表示的布尔函数同构测试的复杂性。我们的结果如下：对于logspace，秩1决策树的同构测试是完全的。对于任意常数r2，秩r决策树的同构检验是多项式时间等价于图同构的。作为约简的结果，我们得到了关于决策树的主要结果：用于n个变量上大小为s的决策树同构测试的2n（logs）O（1）时间算法。决策表的同构问题承认Schaefer型三分法：根据基函数的类别，同构问题要么是在L中，要么是与图同构等价的多项式时间，要么是coNP-hard。

工具书类

[1]

V.Arvind，Bireswar Das，Johannes Köbler，Sebastian Kuhnert，K树的同构问题对于logspace是完全的，Inform。和计算。，217 (2012) 1-11.

数字图书馆

[2]

Manindra Agrawal，Thomas Thierauf，公式同构问题，SIAM J.Compute。，30 (2000) 990-1009.

数字图书馆

[3]

LászlóBabai，Paolo Codenotti，中等指数时间内低秩超图的同构，载于：FOCS，2008，第667-676页。

数字图书馆

[4]

Harry Buhrman、Ronald de Wolf，《复杂性度量和决策树复杂性：调查》，《理论》。计算。科学。，288 (2002) 21-43.

数字图书馆

[5]

塞缪尔·巴斯（Samuel R.Buss）、路易丝·海伊（Louise Hay），《论SAT的真实可还原性》（On truth-table reducibility to SAT），Inform。和计算。，91 (1991) 86-102.

数字图书馆

[6]

Elmar Böhler，Edith Hemaspandra，Steffen Reith，Heribert Vollmer，布尔约束满足的等价和同构，载于：CSL，2002，第881-920页。

[7]

Elmar Böhler，Edith Hemaspaandra，Steffen Reith，Heribert Vollmer，布尔约束同构的复杂性，收录于：STACS，2004年，第164-175页。

[8]

LászlóBabai，Eugene M.Luks，图的规范标记，收录于：STOC，1983年，第171-183页。

数字图书馆

[9]

Avrim Blum，Rank-r决策树是r-decision lists，Inform的一个子类。过程。莱特。，42 (1992) 183-185.

数字图书馆

[10]

Bireswar Das，Jacobo Torán，Fabian Wagner，有界树宽图同构的受限空间算法，Inform。和计算。，217 (2012) 71-83.

数字图书馆

[11]

Andrzej Ehrenfeucht，David Haussler，从随机示例中学习决策树，Inform。和计算。，82 (1989) 231-246.

数字图书馆

[12]

库沙·埃特萨米（Kousha Etessami），《计算量词、后继关系和对数空间》（Counting quantifiers，subservative relations，and logistical space），J.Comput。系统科学。，54 (1997) 400-411.

数字图书馆

[13]

Russell Impagliazzo、Ramamohan Paturi、Francis Zane，哪些问题具有强烈的指数复杂性？，J.计算。系统科学。，63 (2001) 512-530.

数字图书馆

[14]

Birgit Jenner，Johannes Köbler，Pierre McKenzie，Jacobo Torán，图同构的完备性结果，J.Compute。系统科学。，66 (2003) 549-566.

数字图书馆

[15]

Eyal Kushilevitz，Yishay Mansour，使用傅里叶谱学习决策树，SIAM J.Compute。，22 (1993) 1331-1348.

数字图书馆

[16]

Nathan Linial、Yishay Mansour、Noam Nisan，《恒定深度电路、傅里叶变换和可学习性》，J.ACM，40（1993）607-620。

数字图书馆

[17]

Eugene M.Luks，布尔函数的超图同构和结构等价，收录于：STOC，1999年，第652-658页。

数字图书馆

[18]

Omer Reingold，日志空间中的无方向连接，J.ACM，55（2008）17:1-17:24。

数字图书馆

[19]

Ronald L.Rivest，学习决策列表，马赫。学习。，2 (1987) 229-246.

数字图书馆

[20]

萨纳斯·拉姆纳特，赵培义，《论表达的同构性》，《信息》。过程。莱特。，74 (2000) 97-102.

数字图书馆

[21]

托马斯·谢弗（Thomas J.Schaefer），可满足性问题的复杂性，收录于：STOC，1978年，第216-226页。

数字图书馆

[22]

托马斯·蒂拉夫，《等价和同构问题的计算复杂性》，施普林格出版社，2000年。

数字图书馆

引用人

洛维特S吴凯（Wu K）张杰(2021)基于轻度随机约束的决策表压缩美国医学会杂志10.1145/348500768:6(1-17)在线发布日期：2021年12月31日
https://dl.acm.org/doi/10.1145/3485007
于L蔡C张杰张Q(2021)一种简单有效的平面运动链同构识别方法软计算——基础、方法和应用的融合2007年10月10日/200500-021-06187-125:21(13263-13276)在线发布日期：2021年11月1日
https://dl.acm.org/doi/10.1007/s00500-021-06187-1
洛维特S吴凯（Wu K）张杰马卡里切夫K马卡里切夫YTulsiani M公司卡马特GChuzhoy J公司(2020)轻度随机限制下的决策列表压缩第52届ACM SIGACT计算理论年会论文集10.1145/3357713.3384241(247-254)在线发布日期：2020年6月22日
https://dl.acm.org/doi/10.1145/3357713.3384241

索引术语

关于决策树和决策表的同构问题
1. 计算数学
  1. 离散数学
    1. 图论
      1. 图形算法
2. 计算理论

索引项已通过自动分类分配给内容。

建议

k树的同构问题对于logspace是完全的

我们证明，对于k常数，通过给出一个O（klogn）空间规范化标记算法，可以在对数空间中确定k树同构。该算法计算一个唯一的树分解，使用颜色对原始结构进行完全编码。。。
阅读更多信息
对数空间中k-树的同构问题是完备的
MFCS’09：2009年第34届计算机科学数学基础国际研讨会论文集

我们证明了这一点k个-通过给出一个对数空间的标准标记算法，可以在对数空间中判定树的同构。这比之前的StUL上限有所改进，并与下限相匹配。因此，同构、自同构。。。
阅读更多信息
关于决策树和决策表的同构问题
FCT’13：第19届国际计算理论基础会议论文集

我们研究了由决策树或决策列表表示的布尔函数同构测试的复杂性。我们的结果包括用于大小决策树同构测试的$2^{\sqrt{s}（\lgs）^{O（1）}}$time算法秒. ...
阅读更多信息

评论

信息和贡献者

问询处

发布于

封面图片理论计算机科学

理论计算机科学第590卷，C期

2015年7月

152页

国际标准编号：0304-3975

版权所有©Elsevier B.V。

出版商

爱思唯尔科学出版有限公司。

大不列颠联合王国

出版历史

出版：2015年7月26日

作者标记

限定符

研究文章

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

三
引文总数
查看引文
0
总下载次数

下载次数（过去12个月）0
下载次数（最近6周）0

其他指标

查看作者指标

引文

引用人

洛维特S吴凯（Wu K）张杰(2021)基于轻度随机约束的决策表压缩美国医学会杂志10.1145/348500768:6(1-17)在线发布日期：2021年12月31日
https://dl.acm.org/doi/10.1145/3485007
于L蔡C张杰张Q(2021)一种简单有效的平面运动链同构识别方法软计算——基础、方法和应用的融合2007年10月10日/200500-021-06187-125:21(13263-13276)在线发布日期：2021年11月1日
https://dl.acm.org/doi/10.1007/s00500-021-06187-1
洛维特S吴凯（Wu K）张杰马卡里切夫K马卡里切夫YTulsiani M公司卡马特GChuzhoy J公司(2020)轻度随机限制下的决策列表压缩第52届ACM SIGACT计算理论年度研讨会论文集10.1145/3357713.3384241(247-254)在线发布日期：2020年6月22日
https://dl.acm.org/doi/10.1145/3357713.3384241

视图选项

查看选项

获取访问权限

登录选项

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

完全访问权限

获取此出版物

媒体

数字

其他

桌子

查看问题目录