毛浪， 楊彥龍

貴州大學(xué) 數(shù)學(xué)與統(tǒng)計(jì)學(xué)院，貴陽(yáng) 550025

博弈論又被稱為對(duì)策論, 是研究決策者在決策過(guò)程中所選擇的策略形成的不同局勢(shì)以及策略的均衡.在經(jīng)典的博弈論理論中, 將博弈分為不完全信息博弈和完全信息博弈.不完全信息博弈是指在不充分了解其他參與人的特征、策略空間以及收益函數(shù)的情況下的博弈.

1965年, Zadeh發(fā)表的《模糊集理論》[1]為之后的模糊數(shù)學(xué)研究提供了系統(tǒng)的理論基礎(chǔ).現(xiàn)如今模糊集理論已經(jīng)應(yīng)用到不動(dòng)點(diǎn)理論、變分不等式和博弈論等許多領(lǐng)域[2-4].

1982年, 波蘭數(shù)學(xué)家Pawlak創(chuàng)立了粗糙集理論[5], 作為刻畫(huà)不完整性和不確定性的數(shù)學(xué)工具, 能有效地分析不精確、不一致、不完整等各種不完備的信息, 還可以對(duì)數(shù)據(jù)進(jìn)行分析和推理, 從中發(fā)現(xiàn)隱含的知識(shí), 揭示潛在的規(guī)律.因此, 粗糙集理論被廣泛使用在機(jī)器學(xué)習(xí)、數(shù)據(jù)挖掘、圖像處理、模式識(shí)別等許多領(lǐng)域.國(guó)內(nèi)外針對(duì)模糊不完全信息的單獨(dú)博弈大都基于模糊集理論[6-9].目前利用粗糙集理論來(lái)解決博弈論中不確定性問(wèn)題的研究相對(duì)較少[10-14].文獻(xiàn)[14]在文獻(xiàn)[11]的基礎(chǔ)上進(jìn)一步分析不完全信息博弈的粗糙均衡并討論了不完全信息古諾博弈的粗糙均衡.本文在以上研究的基礎(chǔ)上給出了不完全信息博弈的粗糙均衡的存在性定理并對(duì)n人古諾博弈的粗糙均衡進(jìn)行了討論.

1 預(yù)備知識(shí)

設(shè)U是論域,R是一等價(jià)關(guān)系, 則(U,R)稱為近似空間.設(shè)X是U的子集,x∈X?U, 則[x]R表示根據(jù)等價(jià)關(guān)系R構(gòu)成的不可分辨元素的集合, 為R-元素集, 所有等價(jià)類集合記為ind(R).用U中所有具有屬性R的元素的集合來(lái)表達(dá)X時(shí), 則有的元素一定屬于X, 而有的元素不一定屬于X.當(dāng)給定近似空間(U,R), 對(duì)于每一個(gè)子集X和一個(gè)等價(jià)關(guān)系R, 可根據(jù)R的基本集合的描述來(lái)劃分集合X, 從而得出下近似和上近似的定義.

定義1[5]設(shè)X?U,R是一個(gè)等價(jià)關(guān)系, 那么當(dāng)X可以由ind(R)中的集合的并表示時(shí), 則X是R可定義的, 否則,X是R不可定義的.

定義2[5]若集合R-(X)={x|x∈U,[x]R?X}, 則稱R-(X)是X(X?U)的R-下近似集.

定義3[5]若R-(X)={x|x∈U,[x]R∩X≠?}, 則稱集合R-(X)是X(X?U)的R-上近似集.

定義4[5]令R-(X)={x|x∈U,[x]R?X}為下近似集,R-(X)={x|x∈U,[x]R∩X≠?}為上近似集.如果R-(X)=R-(X), 則稱X關(guān)于近似空間(U,R)是可定義的, 否則稱X關(guān)于近似空間(U,R)是粗糙的, 簡(jiǎn)稱為粗糙集.

下近似表示根據(jù)等價(jià)分類R判斷一些元素(具有不可分辨性)組成的集合一定屬于X, 即[x]R中的元素根據(jù)等價(jià)分類R一定屬于X.上近似表示通過(guò)R, 一些元素組成的集合與X的交集非空, 即根據(jù)R其中有的元素可能屬于X, 有的元素可能不屬于X.上近似集和下近似集之差被稱為X的R-邊界集, 記為BNR(X)=R-(X)-R-(X).由于存在邊界區(qū)域, 集合中的某些元素既不能在全域的某個(gè)子集上被分類, 也不能在它的補(bǔ)集上被分類, 這就產(chǎn)生了不確定性.集合的邊界區(qū)域越大, 則精確度越低.

2 模型和Nash均衡的存在

下面先給出文獻(xiàn)[17]中經(jīng)典的n人靜態(tài)貝葉斯博弈模型.記-i=N{i}為除了局中人i以外其他n-1個(gè)局中人.

古諾雙寡頭競(jìng)爭(zhēng)經(jīng)濟(jì)模型是不完全信息博弈的一個(gè)經(jīng)典例子.在古諾雙寡頭競(jìng)爭(zhēng)經(jīng)濟(jì)模型中, 假設(shè)企業(yè)不知道其它企業(yè)是低成本還是高成本的, 但是假定一個(gè)企業(yè)知道其他企業(yè)類型的概率分布.為了更貼近現(xiàn)實(shí)情況, 假設(shè)Pi是不容易得到的, 因此, 在這種情況下, 貝葉斯博弈模型不再是合適的分析工具.粗糙集理論是建立在分類機(jī)制的基礎(chǔ)上的, 它將分類理解為在特定空間上的等價(jià)關(guān)系, 而等價(jià)關(guān)系構(gòu)成了對(duì)該空間的劃分.基于粗糙集對(duì)于信息的分類作用并根據(jù)已知信息便能夠推斷出局中人類型(或是屬性)上的近似精確度.例如可以從公司的財(cái)務(wù)報(bào)表知道成本、盈利等信息, 并根據(jù)這些信息推斷出這個(gè)公司是成本低還是高)和是否是盈利型的.建立博弈模型如下:

定義6若存在策略組合x(chóng)*∈X滿足

則稱x*是博弈G的一個(gè)粗糙Nash均衡,

定理5設(shè)G={X1, …,Xn;Θ1, …,Θn;d1, …,dn;u1, …,un;Y1, …,Yn}是一個(gè)滿足以下條件的粗糙非合作博弈: 設(shè)?i∈N

(i)Xi是局部凸Hausdorff拓?fù)渚€性空間中的非空凸緊集,

則G有一個(gè)Nash均衡.

推論1當(dāng)di(Y-i)=1時(shí), 定理5與Nash均衡定理4是等價(jià)的, 此時(shí)為完全信息靜態(tài)博弈.

3 算例

當(dāng)企業(yè)i是低成本時(shí)有

當(dāng)企業(yè)i是高成本時(shí)有

當(dāng)企業(yè)j是高成本時(shí)有

值得注意的是, 本文中僅討論了固定其他n-2個(gè)企業(yè)都是低成本的情況, 當(dāng)然也可以假設(shè)其他n-2個(gè)企業(yè)的類型不相同或都為高成本, 這正好符合現(xiàn)實(shí)經(jīng)濟(jì)的復(fù)雜性和變動(dòng)性.

4 結(jié)論

本文研究了基于粗糙集上的不完全信息非合作博弈.證明了粗糙Nash均衡的存在定理.模型(B)是對(duì)模型(A)的一種擴(kuò)展, 極大地保留了原始信息的客觀性, 具有更強(qiáng)的實(shí)用性和理論價(jià)值.本文僅研究了模型(B)的均衡解存在性問(wèn)題, 對(duì)于其均衡解的穩(wěn)定性研究將是下一步的工作.