d) There is a Web page that includes links to both Web page A and Web page B.

Similar documents
On the Quark model based on virtual spacetime and the origin of fractional charge

Galileo Galilei ( ) Title page of Galileo's Dialogue concerning the two chief world systems, published in Florence in February 1632.

0 0 = 1 0 = 0 1 = = 1 1 = 0 0 = 1

A proof of the 3x +1 conjecture

Chapter 2 the z-transform. 2.1 definition 2.2 properties of ROC 2.3 the inverse z-transform 2.4 z-transform properties

Riemann s Hypothesis and Conjecture of Birch and Swinnerton-Dyer are False

Type and Propositions

Source mechanism solution

The dynamic N1-methyladenosine methylome in eukaryotic messenger RNA 报告人 : 沈胤

Service Bulletin-04 真空电容的外形尺寸

5. Polymorphism, Selection. and Phylogenetics. 5.1 Population genetics. 5.2 Phylogenetics

Lecture 4-1 Nutrition, Laboratory Culture and Metabolism of Microorganisms

USTC SNST 2014 Autumn Semester Lecture Series

GRE 精确 完整 数学预测机经 发布适用 2015 年 10 月考试

= lim(x + 1) lim x 1 x 1 (x 2 + 1) 2 (for the latter let y = x2 + 1) lim

( 选出不同类别的单词 ) ( 照样子完成填空 ) e.g. one three

三类调度问题的复合派遣算法及其在医疗运营管理中的应用

Design, Development and Application of Northeast Asia Resources and Environment Scientific Expedition Data Platform

Lecture 2. Random variables: discrete and continuous

A Tutorial on Variational Bayes

The preload analysis of screw bolt joints on the first wall graphite tiles in East

Lecture Note on Linear Algebra 14. Linear Independence, Bases and Coordinates

Concurrent Engineering Pdf Ebook Download >>> DOWNLOAD

目錄 Contents. Copyright 2008, FengShui BaZi Centre < 2

2012 AP Calculus BC 模拟试卷

ArcGIS 10.1 for Server OGC 标准支持. Esri 中国信息技术有限公司

生物統計教育訓練 - 課程. Introduction to equivalence, superior, inferior studies in RCT 謝宗成副教授慈濟大學醫學科學研究所. TEL: ext 2015

Integrated Algebra. Simplified Chinese. Problem Solving

There are only 92 stable elements in nature

Effect of lengthening alkyl spacer on hydroformylation performance of tethered phosphine modified Rh/SiO2 catalyst

Linear Regression. Applied Linear Regression Models (Kutner, Nachtsheim, Neter, Li) hsuhl (NUK) SDA Regression 1 / 34

Alternative flat coil design for electromagnetic forming using FEM

澳作生态仪器有限公司 叶绿素荧光测量中的 PAR 测量 植物逆境生理生态研究方法专题系列 8 野外进行荧光测量时, 光照和温度条件变异性非常大 如果不进行光照和温度条件的控制或者精确测量, 那么荧光的测量结果将无法科学解释

Easter Traditions 复活节习俗

Chapter 20 Cell Division Summary

Molecular weights and Sizes

Chapter 1 Linear Regression with One Predictor Variable

Atomic & Molecular Clusters / 原子分子团簇 /

Rigorous back analysis of shear strength parameters of landslide slip

Linear Algebra 18 Orthogonality

A Tableau Algorithm for the Generic Extension of Description Logic

通量数据质量控制的理论与方法 理加联合科技有限公司

Chapter 4. Mobile Radio Propagation Large-Scale Path Loss

Synthesis of PdS Au nanorods with asymmetric tips with improved H2 production efficiency in water splitting and increased photostability

Differential Equations (DE)

Pore structure effects on the kinetics of methanol oxidation over nanocast mesoporous perovskites

素数分布中蒋函数 蒋春暄. 应该是 ν (log N ) k, 不是 ν 2 (log N ) k 他们 66 页论文没有直接讨论素

Z-Factory Physics. Physics for Modernized Z-Factory. Chao-Hsi Chang (Zhao-Xi Zhang) ITP, CAS

Sichuan Earthquake 四川地震

國立中正大學八十一學年度應用數學研究所 碩士班研究生招生考試試題

tan θ(t) = 5 [3 points] And, we are given that d [1 points] Therefore, the velocity of the plane is dx [4 points] (km/min.) [2 points] (The other way)

Synthesis of anisole by vapor phase methylation of phenol with methanol over catalysts supported on activated alumina

Algorithms and Complexity

Enhancement of the activity and durability in CO oxidation over silica supported Au nanoparticle catalyst via CeOx modification

Lecture Note on Linear Algebra 16. Eigenvalues and Eigenvectors

Hebei I.T. (Shanghai) Co., Ltd LED SPECIFICATION

Theory of Water-Proton Spin Relaxation in Complex Biological Systems

Cooling rate of water

Explainable Recommendation: Theory and Applications

复合功能 VZθ 执行器篇 Multi-Functional VZθActuator

Coating Pd/Al2O3 catalysts with FeOx enhances both activity and selectivity in 1,3 butadiene hydrogenation

偏微分方程及其应用国际会议在数学科学学院举行

Numerical Analysis in Geotechnical Engineering

Microbiology. Zhao Liping 赵立平 Chen Feng. School of Life Science and Technology, Shanghai Jiao Tong University

Basic& ClinicalMedicine March2017 Vol.37 No.3 : (2017) 研究论文,-./ )89:;/Ⅱ,,,,,,!,"#$,%&' ("# <= 9>? B,"# 400

One step synthesis of graphitic carbon nitride nanosheets for efficient catalysis of phenol removal under visible light

Elementary Number Theory An Algebraic Apporach

2. The lattice Boltzmann for porous flow and transport

NiFe layered double hydroxide nanoparticles for efficiently enhancing performance of BiVO4 photoanode in

SiO2 supported Au Ni bimetallic catalyst for the selective hydrogenation of acetylene

Photo induced self formation of dual cocatalysts on semiconductor surface

Hydrothermal synthesis of nanosized ZSM 22 and their use in the catalytic conversion of methanol

2004 Journal of Software 软件学报

Magnetic Co/Al2O3 catalyst derived from hydrotalcite for hydrogenation of levulinic acid to γ-valerolactone

Discrete Mathematics

Proton gradient transfer acid complexes and their catalytic performance for the synthesis of geranyl acetate

NANOMATERIALES DE CARBONO

available at journal homepage:

Day 5. A Gem of Combinatorics 組合わせ論の宝石. Proof of Dilworth s theorem Some Young diagram combinatorics ヤング図形の組合せ論

STUDIES ON CLITICS OF CHINESE - THE GRAMMATICALIZATION APPROACH

2015 年度研究活動報告理工学術院 先進理工 応用物理学科小澤徹 Department of Applied Physics, Waseda University

Water oxidation catalytic ability of polypyridine complex containing a μ OH, μ O2 dicobalt(iii) core

Definition: Arenes are hydrocarbons based on the benzene ring as a structural unit.

Halloween 万圣节. Do you believe in ghosts? 你相信有鬼吗? Read the text below and do the activity that follows. 阅读下面的短文, 然后完成练习 :

2NA. MAYFLOWER SECONDARY SCHOOL 2018 SEMESTER ONE EXAMINATION Format Topics Comments. Exam Duration. Number. Conducted during lesson time

Increasing the range of non noble metal single atom catalysts

Chapter 10 ALCOHOLS, PHENOLS, AND ETHERS

Synthesis of Ag/AgCl/Fe S plasmonic catalyst for bisphenol A degradation in heterogeneous photo Fenton system under visible light irradiation

ASSESSING THE QUALITY OF OPEN ACCESS JOURNALS

Seed induced synthesis of small crystal TS 1 using ammonia as alkali source

台灣大學開放式課程 有機化學乙 蔡蘊明教授 本著作除另有註明, 作者皆為蔡蘊明教授, 所有內容皆採用創用 CC 姓名標示 - 非商業使用 - 相同方式分享 3.0 台灣授權條款釋出

Nature 2018 A. Banino, Caswell Barry et.al 唐姝炅 _

Effect of promoters on the selective hydrogenolysis of glycerol over Pt/W containing catalysts

论文摘要 我们生活在一个快速城镇化的世界上, 据联合国统计,2014 年, 世界人口的 54% 生活在城市里, 而目前世界人口的六分之一左右处于贫困中 这种情况说明在全球化的环境当中,

Finite-Difference Methods (FDM)

Principia and Design of Heat Exchanger Device 热交换器原理与设计

Influence of surface strain on activity and selectivity of Pd based catalysts for the hydrogenation of acetylene: A DFT study

Market Opening Highest Bid Lowest Bid Closing Price Previous Closing Price

能源化学工程专业培养方案. Undergraduate Program for Specialty in Energy Chemical Engineering 专业负责人 : 何平分管院长 : 廖其龙院学术委员会主任 : 李玉香

Transcription:

P403-406 5. Determine whether the relation R on the set of all eb pages is reflexive( 自反 ), symmetric( 对 称 ), antisymmetric( 反对称 ), and/or transitive( 传递 ), where (a, b) R if and only if a) Everyone who has visited eb page A has also visited eb page B. Reflexive( 自反 ), transitive( 传递 ) b) There are no common links found on both eb page A and eb page B. Symmetric( 对称 ) c) There is at least one common link on eb page A and eb page B. Symmetric( 对称 ) d) There is a eb page that includes links to both eb page A and eb page B. Symmetric( 对称 ) 47. Find the error in the proof of the following theorem. Theorem : Let R be a relation on a set A that is symmetric and transitive. Then R is reflexive. Proof : Let a A. Take an element b A such that (a, b) R. Because R is symmetric, we also have (b, a) R. Now using the transitive property, we can conclude that (a, a) R because (a, b) R and (b, a) R. There may be no such b(b 不存在 ) 55. Let R be a reflexive relation on a set A. Show that R n is reflexive for all positive integers n. Use mathematical induction. The result is trivial for n = 1. Assume R n is reflexive. Then (a, a) R n for all a A and (a, a) R. Thus (a, a) R n R = R n+1 for all a A. 56. Let R be a symmetric relation. Show that R n is symmetric for all positive integers n. 使用数学归纳法 : R 对称, 所以对于 (a, c) R, (c, a) R.

假设 R n 对称, 则 (b, d) R n, (b, d) R n. 对于 (x, y) R n+1 = R n R, c, (x, c) R, (c, y) R n. 因为 R 和 R n 对称, 所以 (y, c) R n, (c, x) R. 因为 (y, x) R R n = R n+1 P.415-417 14. Let R1 and R2 be relations on a set A represented by the matrices M R1 = 1 1 1 and M R2 = 0 1 1 1 0 0 1 1 1 Find the matrices that represent a) R 1 R 2 = 1 1 1 1 1 1 b) R 1 R 2 = 0 1 1 1 0 0 0 1 1 c) R 2 R 1 = 1 1 1 1 1 1 d) R 1 R 1 = 1 1 1 0 0 0 e) R 2 R 1 = 1 0 0 0 1 1 32. Determine whether the relations represented by the directed graphs shown in Exercises 26 28 are reflexive, irreflexive, symmetric, antisymmetric, asymmetric, and/or transitive. 自反的

对称的, 非传递的 [ 反例 :(c, d), (b, a), (a, c). 没有 (c, c)] 自反, 对称, 传递 34. Let R be a relation on a set A. Explain how to use the directed graph representing R to obtain the directed graph representing the complementary relation R. (x, y) R, 去掉 (x, y) (x, y) R, 添加 (x, y) ( 假设 x y) (x, x) R, 去掉 (x, x) (x, x) R, 添加 (x, x) P424 23. Suppose that the relation R is symmetric. Show that R is symmetric. RR nn 是对称的 The result follows from (R ) 1 = ( n=1 RR nn ) 1 = n=1 (RR nn ) 1 = n=1 RR nn = R. 28. Use arshall s algorithm to find the transitive closures of the relations in Exercise 26. a) {(a, c), (b, d), (c, a), (d, b), (e, d)} aa 0 0 aa 1 0 0 = bb 0 0 cc 1 0 0 0 0 5 = bb 1 0 cc 1 0 dd 0 0 dd 1 0 ee 0 0 ee 1 0 b) {(b, c), (b, e), (c, e), (d, a), (e, b), (e, c)}

aa 0 0 0 0 0 aa 0 0 0 0 0 0 = bb 0 1 cc 0 0 0 0 1 5 = bb 0 1 1 0 1 cc 0 1 1 0 1 dd 1 0 0 0 0 dd 1 0 0 0 0 ee 0 1 1 0 0 ee 0 1 1 0 1 c) {(a, b), (a, c), (a, e), (b, a), (b, c), (c, a), (c, b), (d, a), (e, d)} aa 0 1 1 0 1 aa 1 1 1 1 1 0 = bb 1 0 cc 1 1 0 0 0 5 = bb 1 1 1 1 1 cc 1 1 1 1 1 dd 1 0 0 0 0 dd 1 1 1 1 1 ee 0 0 ee 1 1 1 1 1 d) {(a, e), (b, a), (b, d), (c,d), (d,a), (d, c), (e,a), (e,b), (e, c), (e, e)} aa 0 0 0 0 1 aa 1 1 1 1 1 0 = bb 1 0 cc 0 0 5 = bb 1 1 1 1 1 cc 1 1 1 1 1 dd 1 0 dd 1 1 1 1 1 ee 1 1 1 0 1 ee 1 1 1 1 1 P430 15. Let R be the relation on the set of ordered pairs of positive integers such that ((a, b), (c, d)) R if and only if a + d = b + c. Show that R is an equivalence relation. For reflexivity, ((a, b), (a, b)) R because a +b = b + a. For symmetry, if ((a, b), (c, d)) R, then a + d = b + c, so c + b = d + a, so ((c, d), (a, b)) R. For transitivity, if ((a, b), (c, d)) R and ((c, d), (e, f )) R, then a + d = b + c and c + e = d + f, so a + d + c + e = b + c + d + f, so a + e = b + f, so ((a, b), (e, f )) R. 20. Let R be the relation on the set of all people who have visited a particular eb page such that x Ry if and only if person x and person y have followed the same set of links starting at this eb page (going from eb page to eb page until they stop using the eb). Show that R is an equivalence relation. 对于自反, 用户自己的浏览轨迹相同 对于对称,x 与 y 的浏览轨迹相同, 那么 y 与 x 的浏览轨迹也相同 对于传递,x 与 y 的浏览轨迹相同,y 与则 z 的浏览轨迹相同, 那么 x 与 z 的浏览轨迹也相同 35. hat is the congruence class [n] 5 (that is, the equivalence class of n with respect to congruence modulo 5) when n is a) 2? [2] 5 = {i i 2 (mod 5)} = {..., 8, 3, 2, 7, 12,...}

b) 3? [3] 5 = {i i 3 (mod 5)} = {..., 7, 2, 3, 8, 13,...} c) 6? [6] 5 = {i i 6 (mod 5)} = {..., 9, 4, 1, 6, 11,...} d) 3? [ 3] 5 = {i i 3 (mod 5)} = {..., 8, 3, 2, 7, 12,...} 41. hich of these collections of subsets are partitions of {1, 2, 3, 4, 5, 6}? a) {1, 2}, {2, 3, 4}, {4, 5, 6} No b) {1}, {2, 3, 6}, {4}, {5} Yes c) {2, 4, 6}, {1, 3, 5} Yes d) {1, 4, 5}, {2, 6} No P450 13. Show that the reflexive closure of the symmetric closure of a relation is the same as the symmetric closure of its reflexive closure. 1 (R 1 R) = 1 R 1 R = 1 R 1 R = ( R) 1 ( R) P443 29. hat is the covering relation of the partial ordering {(A, B) A B} on the power set of S, where S = {a, b, c}? (, {a}), (, {b}), (, {c}), ({a}, {a, b}), ({a}, {a, c}), ({b}, {a, b}), ({b}, {b, c}), ({c}, {a, c}), ({c}, {b, c}), ({a, b}, {a, b, c}), ({a, c}, {a, b, c})({b, c}, {a, b, c}) 31. Show that a finite poset can be reconstructed from its covering relation. [Hint: Show that the poset is the reflexive transitive closure of its covering relation.] 设 (S, ) 是一个有穷偏序集 我们的目标是验证这个有穷偏序集合时它的覆盖关系的传递闭包 那么我们需要证明两件事,1 对于(S, ) 中的 (a, b) 它的覆盖关系的自反传递闭包 ;2 对于覆盖关系的传递闭包中的 (a, b) (S, ) 首先我们证明 1, (a, b) (S, ), 则 a = b, 则 (a, a) 它的覆盖关系自反传递闭包 ; 或 a b 且! z a z b, 则 (a, a) 它的覆盖关系 ; 或 a 1, a 2,... a n 使得 a a 1 a 2 a n b 且 a a 1 它的覆盖关系 则 (a, b) 它的覆盖关系自反传递闭包 对于 (S, ) 中的 (a, b) 它的覆盖关系的自反传递闭包 现在证明 2, (a, b) 覆盖关系的自反传递闭包, 则 a=b, (a, a) (S, ); 或 a b, (a, b) (S, ); 或者 a a 1 a 2 a n b, 因为 是传递的, 所以 (a, b) (S, ) 43. Determine whether the posets with these Hasse diagrams are lattices.

a)yes b)no c)yes 45. Show that every nonempty finite subset of a lattice has a least upper bound and a greatest lower bound. Use mathematical induction. 基本情况 :{x} 显然成立,lub({x}) = x, glb({x}) = x. 递归步骤 : 设对于一个格中的 k 个元素的集合, 存在最小上界和最大下界 现在证明 k+1 个元素的集合成立, 假设 S = S {x}, S 中含有 k 个元素 因为 k 个元素的集合成立,lub(S ) = a, glb(s ) = b. 因为 a, x 均为格中元素, 则存在 m = lub(a, x), 则 a m, 则 w S,w m 则 m 为 S 的上界 现在证明 m 是 S 的最小上界, 假设存在一个元素 n,n m, 且 n 是 S 的最小上界 因为 a 为 S 的最小上界, 那么 a n,x n,m n; 所以 m = n. 所以 m 是最小上界 同理 t = glb(b, x) 为最大下界 综上可得一个格中的每个有限非空子集有最小上界和最大下界 51. Show that every finite lattice has a least element and a greatest element. By Exercise 45 there is a least upper bound and a greatest lower bound for the entire finite lattice. By definition these elements are the greatest and least elements, respectively. 60. Show that a finite nonempty poset has a maximal element. a is maximal in the poset (S, ) if there is no b S such that a b. 反证, 假设没有最大, 那么 b, a 比它大, 所以集合必然无穷 但是集合有穷, 所以矛盾