计算机问题求解--论题1-12--偏序关系和格.pptx

计算机问题求解--论题1-12

--偏序关系和格2017年12-21

偏序关系

偏序关系问题1：查词典时，单词的“序”起到了什么作用？单词的“序”是怎么定义的？字母表中字母的序关系积序关系（定义在偏序集之上）词典序关系（定义在全序集合之上）

偏序关系

偏序关系问题2：任意单词的长度有限给定一个序关系，任意两个单词都可以比较“序”，是否意味着单词的“序位置”是唯一的？

全序：一种特殊的偏序关系如果对a,b?A，a?b和b?a中有一个成立，则a,b可比。设R是A上的偏序关系，如果A中的任意两个元素都是可比的，则称R是A上的全序关系（或线序关系）举例（全序）实数集上的“不大于”关系?、基于拉丁字母表的字典顺序

偏序集上的“小于”关系及覆盖?

哈斯图下图中的关系图和哈斯图是等价的吗？abcabc问题3：你能够较为正式（形式化）地阐述“一个哈斯图能够而且仅仅能够表示一个偏序关系”吗？

{a,b,c}?{c}{b}{a}{b,c}{a,c}{a,b}?({a,b,c})上的包含关系

912810115643217{1,2,...,12}上的整除关系

2484623121{1,2,3,4,6,8,12,24}上的整除关系

偏序集中的特殊元素：极大(小)x是偏序集A,?中的极大元iff.对任意y∈A,若x?y,则x=yx是偏序集A,?中的极小元iff.对任意y∈A,若y?x,则x=y有关极大元与极小元的讨论有穷偏序集一定有极大(小)元不一定唯一一个元素可能兼为极大(小)元？没有比它更小(大)的了！

偏序集中的特殊元素：最大(小)x是偏序集A,?中的最大元iff.对任意y∈A,y?xx是偏序集A,?中的最小元iff.对任意y∈A,x?y有关最大元与最小元的讨论最大(小)元最多只有一个可能不存在。它比谁都要小(大)！123624

问题4：如何证明这个定理？???

Topologicalsorting（拓扑排序）abdcgefabdecgfacgdbef哈斯图上构造一种线性序问题5：什么情况下，一个有限偏序集的consistentenumeration不唯一？

偏序集中的特殊元素：上(下)确界上界：对于偏序集A,?和A的子集B，若存在y?A，对B中任意元素x,均有x?y,则y是B的上界。上确界：如果B的上界构成的偏序集有最小元，则该最小元为B的上确界。类似地可以定义下(确)界。有关上(下)界的讨论不一定存在上(下)界不一定唯一，但上(下)确界若存在，必唯一。注意：上(下)确界即某个偏序集的最小(大)元。

从哈斯图看特殊元素最大/极大极小极小子集BB的上界的集合上确界

良序定义：给定集合A上的偏序?，若A的任一非空子集均存在最小元素，则该偏序为良序。良序必为全序对任意a,b?A,{a,b}必有最小元，则a,b一定可比实际上，“反对称性+任一非空子集存在最小元”就能够保证全序性质（偏序性质+任何两个元素均可比）。自反性：对任意a?A,{a}也必有最小元，即a?a传递性：假设a?b,b?c,{a,b,c}的最小元素只能是a,因此a?c任何两个元素可比上面已证明。

关于次序关系的进一步讨论注意：良序结构上可以实施数学归纳法全序是否一定是良序？当A是无穷集合时，全序不一定是良序例如：R，?,任何开区间上没有最小元素良序?全序?偏序偏序/全序/良序的逆关系是否仍为偏序/全序/良序？良序的逆关系不一定是良序例如N，?

问题6：你从TransfiniteInduction中能想到什么？可能有（可数/不可数）无限个

偏序格定义：〈S,?〉是偏序集?x,y?S,存在{x,y}（唯一）的最小上界inf{x,y}?x,y?S,存在{x,y}（唯一）的最大下界sup{x,y}则称S关于?构成格。

格与哈斯图右边两个哈斯图所表示的偏序集不是格inf(a,b)?ab

问题7：以下定义和偏序格的定义是等价的。Why？

问题8：问题第七个问题的钥匙在于以下定义，这又是why？我们从两个角度定义了同一个数学概念：格

格的定义

偏序格的例子〈{1,2,3,4,6,8,12,16,24,48},|〉x?y=gcd(x,y)最大公因子x?y=lcm(x,y)最小公倍数〈?(B),?〉x?y=x?yx?y=x?y〈整数集，?〉x?y=min{x,y}x?y=max{x,y}

格的基本关系式根据“最小上界”和“最大下界”的定义，有如下关系式：a?a?b,b?a?b如果a?c,b?c,则a?b?ca?b?a,a?b?b如果c?a,c?b,则c?a?b

格的同构{2,3,5}{2,3}{5}{3,5}{2,5}{3}{2}?306515103