离散数学A
自反性:(都自指)所有的點自己指向自己【<a,a><b,b>】;
反自反性:(都不自指)所有的點都絕不自己指向自己;
對稱性:但凡指,定互指【<a,b>,<b,a>】;
反對稱性:但凡指,定單指;
傳遞性:間接指向,定直指【<a,b><b,c><a,c>】;
?
【平面圖 】
*|歐拉公式:
1個聯通分支:
頂點數 - 邊數 + 面數 = 1 + 1
推廣到n個聯通分支:
頂點數 - 邊數 + 面數 = 聯通分支數 + 1?
*|握手定理對偶
平面圖所有面的次數和 = 2 x 邊數
?
如果A,就B.?如果A,則B. <=>
A僅當B.<=>A->B
】
只有A,才有B.
除非A,才有B.<=>
B->A
】
除非A,否則B<=>
(┒A)->B
】
A當且僅當B<=>
A<=>B 樹的度數之和 = 2 x 邊數?
例題:
若一棵樹有兩個2 度頂點,一個3度頂點,3個4 度頂點,其余都有是樹葉,則該樹共有 15 個頂點
假設有n個定點,邊數為n-1;則
(4+3+12+n-6)= 2 x(n-1) 取模運算:a % p(或a mod p),表示a除以p的余數。
模p加法:(a + b) % p = (a % p + b % p) % p ,其結果是a+b算術和除以p的余數。
模p減法:(a - b) % p = (a % p - b % p) % p,其結果是a-b算術差除以p的余數。
模p乘法: (a * b) % p = (a % p * b % p) % p,其結果是 a * b算術乘法除以p的余數。?
結合律:
((a+b) % p + c) % p = (a + (b+c) % p) % p?
((a*b) % p * c)% p = (a * (b*c) % p) % p?
交換律:
(a + b) % p = (b+a) % p?
(a * b) % p = (b * a) % p?
分配律:
((a +b)% p * c) % p = ((a * c) % p + (b * c) % p) % p 設G為群,a∈G,
若存在a^(k)=e成立的最小正整數k成為a的階(或周期)記作|a|=k,也稱a為k階元;?
若不存在這種k,則稱a為無限階元;
【】
例題:
設G為群,a,b,cG,證明:|abc|=|bca|=|cab|
證明:
設|abc|=t ; |bca|=n ; |cab|=s ;
(abc)^(n+1)=abc……abc=a (bca)^(n) bc=aebc=abc;
最左與最右同時少abc得
∴(abc)^n=e;
t|n
同理可證n|t ,則t=n
同理可證n=s
∴|abc|=|bca|=|cab| 【歐拉通路】通過所有邊且僅一次行遍所有頂點的通路;
【歐拉回路】通過所有邊且僅一次行遍所有頂點的回路;
【歐拉圖】具有【歐拉回路】的圖;
【半歐拉圖】具有【歐拉通路】而無【歐拉回路】的圖;
1.無向連通圖G是【歐拉圖】<=>G不含奇數度結點(G的所有結點度數為偶數);
&1.1無向圖G是【歐拉圖】<=>G連通的且不含奇數度結點
2.無向連通圖G是【半歐拉圖】<=>G有零個或兩個奇數度的結點;
&2.2無向圖G是【半歐拉圖】<=>G是連通的有零個或兩個奇數度的結點;
&3.有向圖D是【歐拉圖】<=>D圖是強連通的且D中每個結點的【入度=出度】
&4.有向圖D含有【半歐拉圖】<=>D圖為單向連通的且D中除兩個結點外,其余每個結點的入度=出度,且此兩點滿足deg-(u)-deg+(v)=±1。(起始點s的入度=出度-1,結束點t的出度=入度-1 或兩個點的入度=出度)
5.一個非平凡連通圖是歐拉圖當且僅當它的每條邊屬于奇數個環。
&5.5G是非平凡的歐拉圖<=>G是連通的且是若干個邊不重的圈的并。
6.如果圖G是歐拉圖且 H = G - uv,則H有奇數個u,v-跡僅在最后訪問v;同時,在這一序列的u,v-跡中,不是路徑的跡的條數是偶數。(Todia[1973]) S×S={<2,2><2,3>,<2,4>,<3,2>,<3,3>,<3,4>,<4,2>,<4,3>,<4,4>}
<a,b>R<c,d><=>a-d=c-b<=>a+b=c+d,兩個有序對只要兩個元素和相等就具有關系R,所以R很明顯滿足
自反性:<a,b>∈SxS,a+b=a+b<=><a,b>R<a,b>
對稱性:<a,b><c,d>∈SxS,<a,b>R<c,d><=>a+b=c+d<=><c,d>R<a,b>
傳遞性:<a,b><c,d><e,f>∈SxS,,<a,b>R<c,d>∧<c,d>R<e,f><=>a+b=c+d=e+f<=><a,b>R<e,f>
所以R是等價關系。
根據R的定義,只要兩個有序對的兩個元素的和相等,兩個有序對就在同一個等價類中。S×S中的有序對的兩個元素的和只能是4,5,6,7,8。
和為4的有:<2,2>
和為5的有:<2,3>,<3,2>
和為6的有:<2,4>,<3,3>,<4,2>
和為7的有:<3,4>,<4,3>
和為8的有:<4,4>
所以商集A/R={{<2,2>},{<2,3>,<3,2>},{<2,4>,<3,3>,<4,2>},{<3,4>,<4,3>},{<4,4>}} △(G)>n-1一定不可簡單圖化;用于排除
設G為仁義n階無向簡單圖,則△(G)≤n-1; 多重圖-有平行邊
簡單圖-不含平行邊且不含環
G為n階無向【簡單】圖,若G中每個頂點均與其余的n-1個定點相鄰,則成G為n階無向完全圖,簡稱n階完全圖,及作Kn(n≥1)
設D為n階有向【簡單】圖,若D的基圖為n階無向完全圖Kn,則稱D是n階【競賽】圖
設G為n階無向【簡單】圖,若任意點v∈V(G),均有d(v)=k,則稱G為k-正則圖?
G與G‘ ,同時為有(無)向圖 ,
V'包含于V且E'包含于E ,則G‘是G的子圖,G是G’的母圖;
V'真包含于V或E'真包含于E ,則G‘是G的真子圖;
點集V‘=V,G’是G的生成子圖 G=<V,E>,則(非G)=<V,ē>是G的【補圖】
當G≌(非G),則成G是【自補圖】 k(G)點連通度=min{|V'| |V'為G的點割集};
非連通圖k(G)=0;
kk-連通圖k(G)=kk(kk>=1)
λ(G)邊連通度=min{|E'| |E'為G的邊割集}
非連通圖 λ(G)=0;
n-邊連通圖 λ(G)=n(n>=1)
任何無向圖G,有k(G)≤λ(G)≤最小度δ(G) 二部圖(二部圖,二分圖,偶圖)
任意e(e∈E->e的兩個端點v∈V1,v'∈V2)
V1每個頂點均與V2所有頂點相鄰,則G是完全二部圖
記作Kr,s?
r=|V1|;s=|V2|;
n階零圖為二部圖;
n(≥2)j階無向圖G是二部圖<=>G中無奇圈 【平面圖】
完全圖K5(五角星) 和完全二分圖K3,3 是【極小非平面圖】.
【極大平面圖】是【連通】的,并且階數n≥3時,沒有割點和橋
設G是n(n≥3)階【簡單連通】的平面圖,G為【極大平面圖】<=>G的每個面的次數均為3.
一個連通分支:
設G是連通的平面圖,且每個面的次數至少為l (l≥3),則G的邊數m與頂點數n有 m≤l*(n-2)/(l-2)
推廣到k個連通分支:?
m≤l*(n-k-1)/(l-2)
設G是n(≥3)階m條邊的【簡單平面圖】,則 m≤3n-6 (邊數≤3x點數-6)
設G是n(≥3)階m條邊的【極大平面圖】,則m=3n-6 (邊數=3x點數-6)
設G是【簡單平面圖】,則G的最小度δ≤5 任意二部圖r、s,當s≥1+r不是哈密頓圖
完全二部圖Kr,r都是哈密頓圖
完全二部圖Kr,r+1都是半哈密頓圖
?
?
?
?
?
轉載于:https://www.cnblogs.com/xujiayu/p/4875930.html
總結
- 上一篇: 世界hack杂志集合(转)
- 下一篇: 内部存储文件(读)