A Structure-Exploiting Tool in Algebraic Modeling Languages
提出一种新概念,通过结构传递接口(SPI)从代数建模语言构建的匿名数学程序中提取结构,传递给结构利用求解器(SES),使代数建模语言能利用需要问题结构的大量算法技术。
A new concept is proposed for linking algebraic modeling languages with structure-exploiting solvers. SPI (Structure-Passing Interface) is a program that retrieves structure from an anonymous mathematical program built by an algebraic modeling language. SPI passes the special structure of the problem to an SES (Structure-Exploiting Solver). An integration of SPI and SES leads to SET (Structure-Exploiting Tool) and can be used with any algebraic modeling language. This approach relies on the idea that most exploitable block structures can be easily detected from the algebraic formulation of models. It should enable algebraic modeling languages to access the large body of algorithmic techniques which require problem structure.