1樓:zzllrr小樂
哈斯圖是
覆蓋關係:
12覆蓋4、6
4、6覆蓋2
6覆蓋2、3
2、3覆蓋1
最大相容類,是針對相容關係(自反、對稱),取得的最大集合(集合內元素,都是相容關係,而且不能新增另外的元素了,否則就不相容了)
離散數學題設a={1,2,4,6,8,12,24}在a上定義整除關係r。 (1)證明r是a上
2樓:zzllrr小樂
hasse圖:
b={4,6,12}的最大元12
最小元不存在
離散數學 偏序關係
3樓:zzllrr小樂
偏序,只需證明滿足自反性、反對稱性、傳遞性即可。
自反性,是顯然的(把定義中的u,v分別換成x, y,即可得證)反對稱性,
由下面兩個式子同時成立:
≼⇔x≼1u∨(x=u∧y≼2v)
≼⇔u≼1x∨(u=x∧v≼2y)
可以知道,下面4種情況至少有1個成立
x≼1u 且 u≼1x
x≼1u 且 u=x∧v≼2y
x=u∧y≼2v 且 u≼1x
x=u∧y≼2v 且 u=x∧v≼2y
即x=u
x=u 且 v≼2y
x=u 且 y≼2v
x=u 且 y=v
4種情況至少有1個成立
從而x=u必然成立
y=v不一定成立(這一點,需確認一下題目是否有誤)傳遞性,
由≼⇔x≼1u∨(x=u∧y≼2v)
≼⇔u≼1a∨(u=a∧v≼2b)
得到,下面4種情況至少有1個成立
x≼1u 且 u≼1a
x≼1u 且 u=a∧v≼2b
x=u∧y≼2v 且 u≼1a
x=u∧y≼2v 且 u=a∧v≼2b
則x≼1a
x≼1a 且 u=a 且 v≼2b
x≼1a 且 x=u 且 y≼2v
x≼1a 且 x=u=a 且 y≼2v 且 v≼2b4種情況至少有1個成立
從而x≼1a∨(x=a∧y≼2b)必然成立根據≼⇔x≼1a∨(x=a∧y≼2b),傳遞性立即得證。
簡單的離散數學問題
4樓:數論_高數
s²子集個數為16個,所以二元關係也有16個。
偏序關係因為要求有自反性,所以(1,1),(2,2)必在其中,而反對稱性要求(1,2),(2,1)不同在其中,因此偏序關係有:
,,三個。
有限集到自身的滿射也必定是單射,因此是一一對映。4個元素的集合到自身的一一對映共4!=24個.
x的每一個不同的劃分(不重,不漏,不交的若干個子集)對應一個等價關係,x中有3個元素,設x=,不同的劃分有5個:;,;
,;,;
,,.相應的等價關係當然也是有5個。
離散數學(偏序集)問題
5樓:匿名使用者
設是一個偏序集,b 包含於a
①最大元:a∈b∧(∀x)(x∈b→ x≤a)②最小元:a∈b∧(∀x)(x∈b→ a≤x)③極大元:
a∈b∧┐(∃x)(x∈b ∧ a≤x)④極小元: a∈b∧┐(∃x)(x∈b ∧ x≤a)最大最小是比所有的都大或都小
極大極小是沒有比我大或者比我小的
離散數學,關係圖,哈斯圖問題 如圖1是關係圖,求它的哈斯圖,謝謝
6樓:zzllrr小樂
對這4個節點,分別編號為
1 23 4
則點集合上的關係是
不是偏序關係,因此無法畫哈斯圖
幾道離散數學題
7樓:匿名使用者
1.不清楚
2.自反性很簡單;反對稱性:<,>∈r而<,>∈r;因為不屬於r1(r1是偏序)同理也不屬於r2(r2是偏序);傳遞性:
設<,>∈r且<,>∈r,由r的定義可知∈r1∧∈r2,∈r1∧∈r2再由r1和r2都是偏序滿足傳遞性∈r1且∈r1
於是<,>∈r,證畢。
3.什麼是3元集?
8樓:匿名使用者
敢問這是幾年級數學題?
離散數學題求解,離散數學問題求解
2 集合a a上關係,既不具有對稱性,又不具有反對稱性3 設a a上的所有關係 空關係,4 設a a上一共有2 3 2 2 9 512個不同的關係。假設小王不是文科生 如果小王不是文科生則他一定是理科生 得出小王是理科生 又小王是理科生則他的數學成績一定很好 因為小王數學成績不好,所以假設與條件矛盾...
離散數學命題問題,離散數學 一個命題問題
這個是個悖論,假設這句話是真的,然後從這句話為真來推論出這句話是假的,從而與假設矛盾。得到 真值是假 這個結論不是從 這句話是真的 這個假設得來的,而是從話裡的內容。若p為真即 我正在說假話 是真的,則我正在說真話 這說明我說的確實是假話 因而p的真值應該為假 這句話本身就是個悖論。我正在說假話,若...
離散數學問題,哈斯圖求解問題,求解,謝謝
寫出r的集合表示復 先去掉所有的制 形式的元素。再破壞傳遞性 若,a,c 都在r中,則去掉。最後把剩下的元素畫圖,對應的邊的始點a在下,終點b在上。這樣得到的圖就是哈斯圖。大致就是這個樣子,你可以畫得更好看些。極大元 24。極小元 1 最大元 24。最小元 1是格。離散數學問題,哈密頓圖求解問題,求...