作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

›› 1983, Vol. 9 ›› Issue (04): 17-18.

• 论文 • 上一篇    下一篇

分配格充要条件的一个证明

刘永才   

  1. 上海科学技术大学
  • 发布日期:1983-08-25
  • Published:1983-08-25

摘要: <正> 给定编序集,如果L中任两个元素a,b都有唯一的最小上界和最大下界,称该编序集为格,avb,ab分别表示元素a和b的最小上界和最大下界。如果运算V,A互相满足分配律,称该格为分配格。如果格中每一元素都有补元,称该格为有补格。有补分配格所对应的代数系统称为布尔代数,它是计算机领域中开关(布尔)代数的推广。判别格是否构成布尔代数其计算量主要在判别该格是否为分配格。如果从分配格的定义出发,其计