摘要
Karl R.Abrahamson、Norm Dadoun、David G.Kirkpatrick和Teresa M.Przytycka。 1989年，一种简单的并行树收缩算法。 算法杂志10，2，287--302 谷歌学者 
数字图书馆 
埃里克·阿伦德（Eric Allender）、贾娇（Jia Jiao）、米娜·马哈扬（Meena Mahajan）和维奈（V.Vinay）。 非交换算术电路：深度减少和大小下限。 理论计算机科学209，1-2，47-86。 谷歌学者 数字图书馆 大卫·A·M·巴林顿（David A.M.Barrington）、尼尔·伊梅尔曼（Neil Immerman）和霍华德·斯特劳宾（Howard Straubing），1990年。 关于内部的一致性。 计算机与系统科学杂志41，3，274--306。 谷歌学者 数字图书馆 菲利普·比尔（Philip Bille）、英格·李·戈茨（Inge Li Görtz）、加德·兰道（Gad M.Landau）和奥伦·魏曼（Oren Weimann）。 2015年，用顶树压缩树木。 信息与计算243、166--177。 谷歌学者 数字图书馆 玛丽亚·路易莎·博内和塞缪尔·巴斯。 1994年。布尔公式的尺寸-深度权衡。 信息处理信函49，3511-155。 谷歌学者 数字图书馆 理查德·布伦特（Richard P.Brent）。 1974.通用算术表达式的并行计算。 美国医学会杂志21，2，201--206。 谷歌学者 数字图书馆 纳德·H·比肖蒂、理查德·克利夫和韦恩·埃伯利。 1995.代数公式的尺寸-深度权衡。 SIAM计算机杂志24，4，682--705。 谷歌学者 数字图书馆 S.Buss、S.Cook、A.Gupta和V.Ramachandran。 1992年。公式评估的最佳并行算法。 SIAM计算机杂志21，4，755--780。 谷歌学者 数字图书馆 塞缪尔·巴斯。 1987年，布尔公式值问题出现在ALOGTIME中。 在第19届计算机理论年度研讨会（STOC'87）的会议记录中。 美国医学会出版社，123--131。 谷歌学者 数字图书馆 塞缪尔·巴斯。 1993年。布尔公式计算和树收缩算法。 证明理论、复杂性和算术95-115。 谷歌学者 M.Charikar、E.Lehman、A.Lehman，D.Liu、R.Panigrahy、M.Prabhakaran、A.Sahai和A.Shelat。 2005年，最小的语法问题。 IEEE信息理论汇刊51，7，2554--2576。 谷歌学者 数字图书馆 斯蒂芬·库克和皮埃尔·麦肯齐。 1987.确定性对数空间的完整问题。 算法杂志8，3，385--394。 谷歌学者 数字图书馆 Nachum Dershowitz和Jean-Pierre Jouannaud。 1990.改写系统。 《理论计算机科学手册》B卷：形式模型和语义（B）。 爱思唯尔，243--320。 谷歌学者 数字图书馆 巴特洛米耶·杜德克（Bartlomiej Dudek）和帕维尔·加鲁里科斯基（Pawel Gawrychowski）。 2018年。放慢顶层树的速度，以实现更好的最坏情况压缩。 《组合模式匹配年度研讨会论文集》（CPM’18），LIPIcs第105卷。 Dagstuhl-Leibniz-Zentrum für Informatik宫，16:1-16:8。 谷歌学者 迈克尔·埃尔伯菲尔德（Michael Elberfeld）、安德烈亚斯·雅各比（Andreas Jakoby）和蒂尔·坦托（Till Tantau）。 2012.常数和对数深度电路类的算法元定理。 在第29届计算机科学理论方面研讨会论文集，STACS 2012，LIPIcs第14卷。 Dagstuhl-Leibniz-Zentrum für Informatik宫，66-77。 谷歌学者 摩西·加纳迪、丹尼·哈克、阿图尔·杰兹、马库斯·洛伊和埃里克·诺思。 2017.为公式构建小树文法和小回路。 《计算机与系统科学杂志》86，136--158。 谷歌学者 数字图书馆 摩西·加纳迪、丹尼·哈克、丹尼尔·科尼格和马库斯·洛伊。 有限半环上的回路和表达式。 已被美国计算机学会《计算理论汇刊》接受出版。 谷歌学者 数字图书馆 阿德里·加斯科恩、马库斯·洛伊、塞巴斯蒂安·马内斯、卡尔·菲利普·雷赫和库尔特·西伯。 2018.基于语法的未分类树压缩。 《俄罗斯第13届国际计算机科学研讨会论文集》（CSR’18），计算机科学讲义第10846卷。 施普林格，118-131。 谷歌学者 数字图书馆 Hillel Gazit、Gary L.Miller和Shang-Hua Teng。 1988.EREW模型中的最优树收缩。 S.K.Tewksbury、B.W.Dickinson和S.C.Schwartz（编辑）。 并发计算：算法、架构和技术。 纽约，Plenum出版社，139-156。 谷歌学者 赫尔曼·格鲁伯和马库斯·霍尔泽。 有限自动机、有向图连通性和正则表达式大小。 第35届国际自动化、语言和编程学术讨论会论文集，ICALP 2008，第二部分，计算机科学讲稿第5126卷。 施普林格，39比50。 谷歌学者 数字图书馆 威廉·黑塞（William Hesse）、埃里克·阿伦德（Eric Allender）和大卫·米斯·巴林顿（David A.Mix Barrington）。 2002.用于除法和迭代乘法的统一恒深阈值电路。 《计算机与系统科学杂志》65，4965-716。 谷歌学者 数字图书馆 Danny Hucke和Markus Lohrey。 2017.使用基于语法的压缩的通用树源代码编码。 IEEE国际信息理论研讨会论文集，ISIT 2017。 IEEE，1753-1757年。 谷歌学者 交叉引用 
尼尔·伊梅尔曼。 1999.描述性复杂性。 计算机科学研究生课程。 斯普林格。 谷歌学者 阿图尔·杰兹（Artur Jez）和马库斯·洛伊（Markus Lohrey）。 2016.最小线性树语法的近似值。 信息与计算251，215--251。 谷歌学者 数字图书馆 Andreas Krebs、Nutan Limaye和Michael Ludwig。 2018年。将问题置于多对数深度的统一方法。 《第37届IARCS软件技术和理论计算机科学基础年会论文集》，FSTTCS 2017，LIPIcs第93卷。 Dagstuhl-Leibniz-Zentrum für Informatik宫，36:36--36:15。 谷歌学者 马库斯·洛伊。 2001.关于树自动机的并行复杂性。 《第十二届改写技术与应用国际会议论文集》，RTA 2001，计算机科学讲稿第2051卷。 施普林格，201-215。 谷歌学者 数字图书馆 马库斯·洛伊。 2015.基于语法的树压缩。 《第19届语言理论发展国际会议论文集》，DLT 2015，计算机科学讲义第9168卷。 施普林格，46岁至57岁。 谷歌学者 交叉引用 马库斯·洛伊（Markus Lohrey）、塞巴斯蒂安·马内斯（Sebastian Maneth）和罗伊·门尼克（Roy Mennicke）。 2013.使用RePair压缩XML树结构。 信息系统38、8、1150--1167。 谷歌学者 数字图书馆 Gary L.Miller和Shang-Hua Teng。 计算电路的动态并行复杂性。 1987年STOC第19届计算机理论年度研讨会论文集。 ACM出版社，254--263。 谷歌学者 数字图书馆 Gary L.Miller和Shang-Hua Teng。 1997年。基于树的并行算法设计。 算法19，4，369--389。 谷歌学者 交叉引用 迈克·帕特森（Mike Paterson）和莱斯利·瓦莱恩（Leslie G.Valiant）。 1976.电路尺寸深度非线性。 理论计算机科学2，3，397--400。 谷歌学者 交叉引用 沃尔特·卢佐（Walter L.Ruzzo）。 1981.关于均匀电路复杂性。 《计算机与系统科学杂志》22，3，365-383。 谷歌学者 交叉引用 菲利普·斯皮拉（Philip M.Spira）。 1971.布尔函数的时间-硬件复杂性权衡。 第四届夏威夷系统科学国际研讨会论文集。 525--527. 谷歌学者 Leslie G.Valiant、Sven Skyum、S.Berkowitz和Charles Rackoff。 1983年。使用少量处理器快速并行计算多项式。 SIAM计算机杂志12，4，641--644。 谷歌学者 交叉引用 赫里贝特·沃尔默（Heribert Vollmer）。 1999.电路复杂性简介。 斯普林格。 谷歌学者 数字图书馆 沃尔夫冈·韦克勒（Wolfgang Wechler）。 1992年，《计算机科学家通用代数》，EATCS理论计算机科学专著第25卷。 斯普林格。 谷歌学者
建议
算术电路：深度4的裂缝变宽 Agrawal和Vinay在他们关于“深度四的相位”的论文中表明，在m个O（m）度变量中，允许大小为2^O^（^m^）的算术电路的多项式也允许深度四和大小为2*O^的算术电路。 这个定理。。。 并行求树网络的k-树核和k-树中心 树网络的k-tree核心是一棵具有k片叶子的子树，它可以最小化从顶点到子树的总距离。 树网络的k树中心是一个恰好有k个叶子的子树，它使与最远顶点的距离最小化。。。 基于树的遗传规划中的自底向上树评价 ICSI’10：第一届国际蜂群智能进展会议记录——第一卷 在基于树的遗传规划（GP）性能优化中，首要的优化目标是适应度评估过程。这是因为适应度评估在GP中占据了大部分执行时间。。。
