托马斯·科尔曼。;熊、辛;徐伟 使用有向边分离器提高通过自动微分确定雅可比矩阵的效率。 (英文) Zbl 1252.65054号 Forth,Shaun(编辑)等人,算法微分的最新进展。根据2012年7月23日至27日在美国科罗拉多州柯林斯堡举行的第六届自动分化国际会议(AD2012)上的演示文稿选出的论文。柏林:施普林格出版社(ISBN 978-3-642-30022-6/hbk;978-3-442-30023-3/电子书)。计算科学与工程课堂讲稿87,209-219(2012)。 摘要:每个数值函数求值都可以表示为一个有向无环图(DAG),从初始输入变量设置开始,到输出或相应的函数值结束。自动微分(AD)的“反向模式”生成一个“磁带”,它是这种底层DAG的表示。在这项工作中,我们说明了此基础DAG中的定向边分离器可以在应用AD时获得空间和时间效率增益。其他作者建议使用定向边分离器以不同于此处建议的方式来提高AD效率[C.H.比肖夫和M.R.Haghiat先生,in:计算差异化:技术、应用程序和工具。第二届计算微分国际研讨会论文集,1996年2月12日至14日。宾夕法尼亚州费城:SIAM。83–94 (1996;Zbl 0874.65012号);H.M.Bücker先生和A.拉什,AACM变速器。数学。柔和。29,第4期,440-457(2003年;Zbl 1072.65026号)]. 与之前的作品相比,我们的重点主要是空间。此外,我们探索了两个简单的算法来找到好的有向边缘分离器,并展示了如何递归地应用这些思想以获得巨大优势。给出了初步的数值实验。关于整个系列,请参见[Zbl 1247.65002号]. MSC公司: 65D25个 数值微分 关键词:自动微分;反向模式;伴随法;有向无圈图;计算图形;边缘分离器;雅可比矩阵;Ford-Fulkerson算法;最小割集;牛顿步长 引文:Zbl 0874.65012号;Zbl 1072.65026号 软件:ADMAT公司 PDF格式BibTeX公司 XML格式引用 \textit{T.F.Coleman}等人,Lect。注释计算。科学。工程87,209--219(2012;Zbl 1252.65054) 全文: 内政部