集合代数与布尔代数坐标系及运算.pdfVIP

电工数学进展 =aa丑叁虹竖签也旦Q盟堑M型!塑g鲤鲢 !垡堕 集合代数和布尔代数坐标系及其运算 刘冬颖刘祥南 (厦门大学，厦门361005) 捕要 本文t立●舍代藏和布尔代纛的坐标系统，定义寰示●台和布尔元蠢的—生、：神量■坐标系 ，给出坐标系的性质．以噩运算的数t算法。井蛤出于窑斥愿理的应用． 关■词·●合代羲布尔代披 运算 1 N划分定义 设集族艿=瓯，x：，…，“)，指标 集s=垂，2，…，Ⅳ}，以单位线段表示宇集 。 Q，并对线段作N层次的等划分，第i次划 分对应于第i个集合墨，第i次划分点i的 所有右段元表示集合Z?，所有左段元表示集 合置的补x．，称此划分为l划分，全体N 个集合构成的划分称为N划分． c：墨矸以墨墨F 例，设集族艿=融，置，．L)J=垂，2，3}， 兰寨 其元素的定义如图(1)所示。 2一维坐标 设字集Q中，集族万={Z，五，…，以)， 3 2 3 l 3 2 3 N暑3 L：LJ—L_J—_L—Lj—J-J 指标集s={1，2，…，Ⅳ)．表示集族6之经N划 分单位线段L称为集族6的坐标轴，又称L (2) 为6的一维坐标或N集坐标，如图(2)． 200． 3坐标性质 3．1设占=“，五，…，扎)，s=垂，2，…，Ⅳ)，在表示集族6的N划分的单位线段上，自左至 相对应，三元素的 右的最小交集，其二进制编码的十进制表示和自然数序0，1，2，…，2”一l 集族占=％，也，．k)的最小交集如图(3)所示： 3．2平移对称互补定理 设集族占=阢，五，…，x。}，s=垂，2，…，Ⅳ)，族6的N划分关于第i划分的平移对 o X；n卫；nX；000 矸n霹n五 ooll 矸nx门Folo2 3 2 3 l 3 2 3 1 j i L：L—_J——J——_L——L-J——_L—-|_一 0 1 2 3 4 5 6 7 置nx介埘 1106 蜀nz介五 lll 7 (3) 称的最小交集除仅有该划分集置互补外，其余各因子集皆同，称此为平移对称定理． 证艰在N划分的单位线段中，考虑i。j划分： 1)在ji时，i是在同一j中划分，与j的左右无关． 2)在ji时，在i的两佣以同一方式进行j划分，除了i有左右之别外，j均相同． 证|毕。 3．3平移对称合并定理 设集族艿=佤，五，…，矗}，s=毡2，…，Ⅳ}，关于划分i平移对称的量小交集的并与 尼无关． ， 设平移对称(关于i划分)的最小交集m，，珊^。由互补定理。埘，=置n^t ．2