翻译成整数规划的IP-tableau方法  

IP-tableau Method of Translating to Integer Programs

作　　者：刘全[1] 孙吉贵[2] 

机构地区：[1]苏州大学计算机科学与技术学院,苏州215006 [2]吉林大学计算机科学与技术学院

出　　处：《计算机工程与应用》2005年第11期33-36,76,共5页Computer Engineering and Applications

基　　金：国家自然科学基金(编号:60073039;60273080)资助

摘　　要：由经典命题公式对应着0-1-整数规划的事实,提出将tableau方法与整数规划相结合的IP-tableau方法,并提升到一阶逻辑、多值逻辑以及无穷值逻辑。将tableau转化为IP方法后,可以采用许多提高IP效率的方法。另外在多值逻辑中,随着n值的增加,IP问题不会变得更加复杂。IP-tableau method combines tableau with integer program by the fact of classical prepositional formulas corresponding to certain0-1-IP.The method is lifted to first-order logic,many-valued logic and infinited-valued logic.Many techniques that can improve IP efficiency are used,after tableau is translated to IP.On the other hand,IP can not change more complex with n value is increased in many-valued logic.

关 键 词：整数规划 IP-tableau 一阶逻辑 多值逻辑 无穷值逻辑 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]