首页>
外国专利>
Software method for solving systems of linear equations having integer variables
Software method for solving systems of linear equations having integer variables
展开▼
机译:求解具有整数变量的线性方程组的软件方法
展开▼
页面导航
摘要
著录项
相似文献
摘要
This invention describes a software method for computers for solving integer programming problems containing systems of linear equations where part of or all of the variables may take only integer values. Said software method consists of 2 main steps. First, the arithmetic binary decision diagrams associated to the equations of the system are constructed. A solution to any of said equations is determined by finding an allowed path through the associated arithmetic binary decision diagram. Then, solutions common to all equation of the system are determined by searching for common paths between the arithmetic binary decision diagrams of the equations. Searching for common paths between said arithmetic binary decision diagrams is done by determining correspondences between the nodes of said arithmetic binary decision diagrams.
展开▼