《应用离散数学》方景龙版-5.2 格.docVIP

习题5.2 1. 确定具有下面图5.11所示哈斯图的偏序集是否为格， 图5.11 习题1的图 解 图(a)是格，图(b)是格，图(c)是格。 2. 在一个公司里用信息流的格模型控制敏感信息，公司的每个部门都具有由有序对表示的安全类别，其中是权限级别，是种类。这里，权限级别可以是0（非私有的），1（私有的），2（受限制的）或3（注册的）。种类是集合{猎豹，黑鹰，美洲狮}的子集（在公司里常常使用动物的名字作为项目的代码名字）。试问 （1）信息允许从（私有的，{猎豹，美洲狮}）流向（受限制的，{美洲狮}）吗？ （2）信息允许从（受限制的，{猎豹}）流向（注册的，{猎豹，黑鹰}）吗？ （3）信息从（私有的，{猎豹，美洲狮}）允许流向哪些安全类？ （4）信息允许从那些安全类流向（受限制的，{黑鹰，美洲狮}）？ 解 略 3. 证明每个有限格都有一个最小元素和一个最大元素。 解 略 4. 给出一个无限格的例子，使得 （1）既没有最小元素也没有最大元素。 （2）有最小元素但没有最大元素。 （3）有最大元素但没有最小元素。 （4）有最小元素也有最大元素。 解 略 5. 设是格，其哈斯图如图5.12所示，取 图5.12 习题5的图 ，，，。 试问，，，中哪些是格，哪些是的子格，这里关系，。 解 略 6. 设和是两个格，其中，，“|”是数的整除关