基于素数性质的布尔函数约简算法.pdfVIP

第 29卷第 6期 长 春 工 业 大 学 学 报 (自然科学版) Vo1．29，No．6 2008年 12月 JournalofChangchunUniversityofTechonology(NaturalScienceEdition) Dec．2008 基于素数性质的布尔函数约简算法 李 军 ， 刘 辉 ， 董元方。， 彭 轩 (1．长春理工大学 理学院，吉林 长春 130022；2．吉林大学 计算机科学技术学院，吉林 长春 180012； 3．长春理工大学 经济管理学院。吉林 长春 130022；4．长春税务学院 应用数学系，吉林 长春 130117) 摘 要：提 出了基于素数性质 的布尔函数约简算法，其主要思想是用素数表示布 尔变量，以素 数乘积有序对表示合取式，用算术运算取代原有的逻辑运算。将基于素数性质的布尔函数约 简算法运用于粗糙集中，结果表明，该算法能够节省存储空间，提高运算效率，约简算法行之 有效。 关键词 ：布尔函数；算法；约简；素数 中图分类号 ：TP301 文献标识码 ：A 文章编号 ：1674—1374(2008)06—0607—04 A reductionalgorithm forBooleanfunctionsbasedonprimes IIJun ， LIU Hui。， DONG Yuan-fang。， PENG Xuan (1．SchoolofSciences，ChangchunUniversityofScienceandTechnology，Changchun 130022，China； 2．CollegeofComputerScienceandTechnology，JilinUniversity，Changchun130012，China； 3．SchoolofEconomicsandManagement。ChangchunUniversityofScienceandTechnology，Changchun 130022，China 4．DepartmentofAppliedM athematics．ChangchunTaxationCollege，Changchun 130117，China) Abstract：A reductionalgorithm forBooleanfunctionsbasedonprimesisintroducedhere，wherethe Booleanvariablesarerepresentedbyprimes，andabasicconjunctionisdenotedwithanorderedpairof integers，andtheoriginalloglecalculationisreplacedwitharithmeticmanipulation．Thealgorithm is appliedto rough setand the results show thatthe memory space is saved and the efficiency is improved，soitiseffective． Keywords：Booleanfunction；algorithm ；reduction；prime． 提出了卡诺 图法 ]。二元判决图(BDDs)E43是一 O 引 言 种表示布尔函数 中变量关系的数据结构，经 Bry— 粗糙集理论 中的属性约简是基于区分矩阵 ant完善后的有序二元判决图(OBDDs)应用更为 的，约简算法的时间复杂度主要是 由区分函数化 广泛 。Bryant同时提出了基于 OBDDs的约简方 简引起的，该区分函数化简最终可以归结为布尔 法，虽然用 OBDDs表示布尔函数非常有效 ，但是 函数约简 。因此，在粗糙集的属性约简中，布