これは、すべての行またはすべての列のゼロの数に上限がある場合の部分的な(肯定的な)回答です。
矩形は 1全1部分行列からなり、他の場所のゼロを有するブール行列です。ブール行列のORランクは、がこれらの長方形の(コンポーネント単位の)ORとして記述できるように、長方形の最小数です。つまり、 1エントリはすべて、少なくとも1つの長方形の1エントリであり、の0エントリはすべての長方形の0エントリです。は、マトリックス(アリスが行を取得し、ボブの列を取得正確な非決定的な通信の複雑さであることに注意してください。OPが書いたように、すべてのブール行列はマッピングを定義しますRのK (A )R A A A ログのR K (A )A M × N A = (I 、J)Y = A 、X 、Y 、I = ⋁ N J = 1、I 、J、X jの iは= 1 、... 、mrk(A)rAAAlogrk(A)Am×nA=(ai,j)y=Ax、 ため。つまり、ブール半環上の行列とベクトルの積を取ります。
yi=⋁nj=1ai,jxji=1,…,m
次の補題は、PudlakとRödlによるものです。で命題10.1を参照してください。この論文
でまたは補題2.5 この本の直接の建設のために。
補題1:すべてのブール行列について、マッピングは、最大でワイヤを使用して、深さ3の無制限のファンインOR回路によって計算できます。
N × N Y = A X O (R K (A )⋅ N /ログN )n×nAy=AxO(rk(A)⋅n/logn)
また、密行列のORランクには次の上限があります。議論はこの論文でアロンによって使用されたそれの簡単な変化です。
補題2:ブール行列すべての列またはすべての行が最大でゼロを含む場合、、ここで| A | Aの1の数です。
A d r k (A )= O (d ln | A |)Adrk(A)=O(dln|A|)|A|1A
証明:同じ確率p = 1 /(d + 1 )で各行を個別に選択することにより
、ランダムなall- 1部分行列Rを構築します。してみましょう私は、行の取得ランダムなサブセットです。次に、R = I × Jとします。ここで、Jは、Iの行にゼロがないAのすべての列のセットです。
1Rp=1/(d+1)IR=I×JJAI
1つの -entry (I 、J )のAは、で覆われているR場合iは、で選択された
Iおよび(せいぜいのいずれDを有する)行0でJ番目の列がで選択されなかったI。従って、エントリ(I 、Jは)少なくとも確率で覆われたp (1 - P )D ≥ P E - P D - P 2 D ≥1(i,j)ARiId0jI(i,j)P / E。私たちは、この手順を適用した場合のR得るために時間を Rの長方形をし、確率という(I 、jを)超えていないこれらの長方形のどれで覆われている(1 - P / E )R ≤ E - R P / E。ユニオンの境界により、 Aの1エントリが発見される可能性は最大で
| A | ⋅ 電子- RのP / Ep(1−p)d≥pe−pd−p2d≥p/err(i,j)(1−p/e)r≤e−rp/e1A|A|⋅e−rp/e、未満である1ため、R = O (D LN | A |)。
◻1r=O(dln|A|)□
結果:ブール行列Aのすべての列またはすべての行に最大でd個のゼロが含まれる場合、マッピングy = A xは、O (d n )ワイヤを使用して深さ3の無制限のファンインOR回路によって計算できます
。
Ady=AxO(dn)
dが列(または行)の1の平均数である場合、補題2と同様の上限も保持されると思います。これを見せることは面白いでしょう。d1
備考:(2018年4月1日に追加された)アナログのR K (A )= O (D 2ログN )とき補題2はまた、保持dはある最大平均数の部分行列におけるゼロのA、平均数でゼロのR × S行列は、で割ったゼロの総数であり、S + R。これは、N。EatonおよびV.Rödlの定理2、小さな次元のグラフ、Combinatorica 16(1)(1996)59-85から得られます。わずかに悪い上限rk(A)=O(d2logn)dAr×ss+rr k (A )= O (d 2 ln 2 n )は、次のように補題2から直接導出できます。rk(A)=O(d2ln2n)
補題3:レッツのD ≥ 1。二部グラフのすべてのスパニングサブグラフ場合Gは平均次数有する≤ dは、次にGは、組合のように書くことができるG = G 1 ∪ G 2の最大左度、G 1との最大右度G 2がある≤ D。
d≥1G≤dGG=G1∪G2G1G2≤d
証明:頂点の数nの帰納。基本ケースn = 1およびn = 2は明らかです。誘導ステップのために、我々は、青と赤の両方の部分グラフの最大程度であることを青と赤のように縁を着色します≤ D。頂点取りのu度のを≤ D ; また、グラフ全体の平均程度がなければならないので、このような頂点マストが存在≤ D。場合uは左側の部分に属し、その後にすべてのエッジの入射を着色U赤、青、他の色のすべてのこれらのエッジを。頂点uを削除した場合nn=1n=2≤du≤d≤duuu結果のグラフGの平均次数も最大でdであり、帰納法の仮説によってこのグラフのエッジに色を付けることができます。◻Gd□
補題4:レッツのD ≥ 1。ブールn × n行列A = (a i 、j)のゼロの最大平均数が最大でdである場合、r k (A )= O (d 2 ln 2 n )です。
d≥1n×nA=(ai,j)drk(A)=O(d2ln2n)
証明:a i 、j = 0の場合、(i 、j )がエッジである2部構成のn × nグラフGを考えます。この場合、Gの最大平均次数は最大でdです。補題3によって、我々は、書くことができるG = G 1 ∪ G 2の左側部分に、頂点の最大次数をG 1、及び右部分に頂点の最大次数G 2がある≤ D。させてn×nG(i,j)ai,j=0GdG=G1∪G2G1G2≤dA 1および A 2は、 G 1および G 2の隣接行列の補数です。したがって、 A = A 1 ∧ A 2は、要素ごと、これらの行列です。A 1のすべての行および A 2のすべての列のゼロの最大数は、最大で dです。以降のR K (A )≤ R K (A 1)⋅ R K (A 2)A1A2G1G2A=A1∧A2A1、補題2はr k (A )= O (d 2 ln 2 n )を生成します。◻
NBザ・答えの最後に、私の「推測」は完全に間違っていたという単純な例(イゴール・セルゲーエフが指す)を示し、以下:私たちが取る場合D = D (Aの)にゼロの平均数であるように、全体行列A(ではありませんすべての部分行列の平均の最大値)、補題2はひどく失敗する可能性があります。してみましょうメートル= √n、およびAの左上隅に恒等m×m行列を配置し、残りのエントリを1で埋めます。次に、D(A)≤M2/2N<1が、RのK(A)≥Mであり、指数関数よりも大きいLN| A| 。ただし、この行列のORの複雑さは非常に小さく、O(n)です。したがって、直接の引数(ランク経由ではありません)密行列のOR複雑度の上限を大幅に改善できます。