离散数学中的格定义是:设(L,≤)是偏序集,若L中任意两个元素都存在上确界以及下确界,则称(L,≤)是格。
显然这题目中1.2 有最小上界就是1与2 向左或向右的第一个交点(我们分别命名为3,4,最上面的为5) (注意 方向一定确定就不可以改动,也不能逆向)
由于4与5是直接连在一起 故1,2无最大下界 (只要4与5断开就是了)
离散数学中的格定义是:设(L,≤)是偏序集,若L中任意两个元素都存在上确界以及下确界,则称(L,≤)是格。
显然这题目中1.2 有最小上界就是1与2 向左或向右的第一个交点(我们分别命名为3,4,最上面的为5) (注意 方向一定确定就不可以改动,也不能逆向)
由于4与5是直接连在一起 故1,2无最大下界 (只要4与5断开就是了)