擬陣

擬陣

(1)S是一個有窮集合(S 元(1)模糊擬陣中若干問題的研究(3)擬陣約束下的劃分問題的研究

擬陣定義


一個擬陣是滿足下列條件的一個序對 M=(S,L):
(1)S是一個有窮集合(S is a finite set);
(2)L是S的一個非空子集簇,即L是由S的子集作為元素構成的集合,且非空;
(3)如果B∈L,並且A包含於B,則有A屬於L,稱為遺傳性;
(4)如果A∈L,B∈L並且|B|>|A|,則有一定存在一個x∈B,使得集合A並上{x}之後形成的集合仍屬於L,該性質稱為交換性。

相關定理


1、如果G=(V,E)是一個無向圖,那麼M=(S,L)是個擬陣。其中S是圖G的邊集E,而L則是由這樣的E的子集構成的:A是E的子集,並且A是無迴路的,則A屬於L。
2、某一擬陣中的所有最大的獨立子集的大小都是相同的。擬陣M=(S,L)中L的每一個元素都是S的獨立子集。

擬陣來源


“擬陣”這個詞是由Hassler Whitney最早開始使用的。他曾研究矩陣擬陣,其中S是給定矩陣的各個行,如果這些行在通常意義下是線性無關的,則他們是獨立的。

擬陣應用


擬陣可以用來研究貪心演演算法,他是貪心演演算法的數學基礎,可以這麼說,一個問題如果他可以轉換為擬陣,那麼一定可以用貪心演演算法進行求解;但是並不是所有的可用貪心演演算法求解的問題都能轉換為擬陣。
主要是用來求解最優問題。

相關圖書


《擬陣論》
作 者:賴虹建
出 版 社:高等教育出版社圖書發行部(蘭色暢想)
條 形 碼:9787040105636 ; 978-7-04-010563-6
I S B N :7040105632出版時間:2002-7-1
開 本:大32開頁 數:543
定 價:68 元

相關研究


(1)模糊擬陣中若干問題的研究
(2)擬陣與圖
(3)擬陣約束下的劃分問題的研究