余 敏,莫宏敏
(吉首大學(xué)數(shù)學(xué)與統(tǒng)計(jì)學(xué)院,湖南 吉首 416000)
線(xiàn)性互補(bǔ)問(wèn)題是一類(lèi)重要的優(yōu)化問(wèn)題,被廣泛應(yīng)用于眾多實(shí)例中.由于在構(gòu)建線(xiàn)性互補(bǔ)問(wèn)題模型的過(guò)程中,利用不同算法得到的解會(huì)存在一定的誤差,因此如何尋找特殊矩陣線(xiàn)性互補(bǔ)問(wèn)題更小的誤差界變得尤為重要.在矩陣?yán)碚擉w系中,H-矩陣占有重要地位,學(xué)者們[1-2]研究了H-矩陣及其許多子類(lèi)矩陣線(xiàn)性互補(bǔ)問(wèn)題的誤差界.筆者擬在文獻(xiàn)[3]的基礎(chǔ)上,探討H-矩陣的子類(lèi)Dashnic-Zusmanovich+矩陣線(xiàn)性互補(bǔ)問(wèn)題解的誤差界.
文中用Cn×n(Rn×n)表示n×n階復(fù)(實(shí))矩陣集合,并設(shè)
定義1[4]設(shè)M=(mij)∈Rn×n,q∈Rn,尋找解x∈Rn,使其滿(mǎn)足
Mx+q≥0,x≥0,xT(Mx+q)=0.
該問(wèn)題稱(chēng)為線(xiàn)性互補(bǔ)問(wèn)題,記為L(zhǎng)CP(M,q).
定義2[5]設(shè)A=(aij)∈Cn×n,M(A)=(mij),其中mii=|aii|,mij=-|aij|,i≠j,i,j∈N+,則稱(chēng)M(A)為A的比較矩陣.
定義3[5]設(shè)A=(aij)∈Cn×n,若存在i∈N+,使得
|aij|(|ajj|-rj(A)+|aji|)>ri(A)|aji| ?j∈N+,j≠i,
則稱(chēng)矩陣A是Dashnic-Zusmanovich矩陣.
定義4設(shè)A=(aij)∈Cn×n,它是對(duì)角元素為正的Dashnic-Zusmanovich矩陣,則稱(chēng)A為Dashnic-Zusmanovich+矩陣.
引理1[5]若A=(aij)∈Cn×n,它是Dashnic-Zusmanovich矩陣,則它是非奇異H-矩陣.
引理2[6]設(shè)A是H-矩陣,則|A-1|≤(M(A))-1.其中:|A-1|=(|aij|);A≤B指的是aij≤bij,i,j∈N+.
引理3[7]設(shè)M=(mij)∈Cn×n,它是Dashnic-Zusmanovich+矩陣.若A=I-D+DM,其中I是n×n的單位矩陣,D=diag(di),0≤di≤1,i=1,…,n,則A是H-矩陣.
為了方便,引入如下符號(hào):
設(shè)M是Dashnic-Zusmanovich+矩陣,則M是P-矩陣.由文獻(xiàn)[7]可以得到關(guān)于M的不等式
其中:I是n×n的單位矩陣;D=diag(di),0≤di≤1,i=1,…,n;x*是LCP(M,q)的解;r(x)=min{x,Mx+q}.
定理1若M=(mij)∈Cn×n,它是Dashnic-Zusmanovich+矩陣,則
證明根據(jù)Dashnic-Zusmanovich+矩陣的定義,令A(yù)=I-D+DM,其中D=diag(di),0≤di≤1,i=1,…,n,則
(1-di+di|mii|)(1-dj+dj|mjj|-djrj(M)+dj|mji|)>diri(M)dj|mji|.
(1)
由引理3可知A是H-矩陣,由引理2有|A-1|≤(M(A))-1,于是
‖A-1‖∞≤‖(M(A))-1‖∞,(M(A))-1≥O.
(2)
由(1),(2)式可知,
(1-di+di|mii|)yi≤diri(M)yj0+1,
(1-dj0+dj0|mj0j0|-dj0rj0(M)+dj0|mj0i|)yj0≤dj0|mj0i|yi+1,
即
若yi≥yj0,則
若yi 即 可以推出 故有 另一方面, 故有 于是 令矩陣3 實(shí)例