Ini adalah jawaban parsial (afirmatif) dalam kasus ketika kita memiliki batas atas pada jumlah nol di setiap baris atau di setiap kolom.
Sebuah persegi panjang adalah matriks boolean yang terdiri dari satu semua-1 submatrix dan memiliki nol di tempat lain. OR-rank r k ( A ) dari matriks boolean adalah jumlah terkecil r persegi panjang sehingga A dapat ditulis sebagai (componentwise) OR persegi panjang ini. Yaitu, setiap 1 entri dari A adalah entri 1 di setidaknya satu dari persegi panjang, dan setiap 0 entri dari A adalah entri 0 di semua persegi panjang. Perhatikan bahwa log r k ( A ) adalah persis kompleksitas komunikasi nondeterministic dari matriks Ark(A)rAAAlogrk(A)A(Di mana Alice mendapat baris, dan kolom Bob). Seperti yang ditulis OP, setiap boolean m × n matriks A = ( a i , j ) mendefinisikan pemetaan y = A x , di mana y i = ⋁ n j = 1 a i , j x j untuk i = 1 , … , m . Yaitu, kami mengambil produk matriks-vektor di atas semiring boolean.
m×nA=(ai,j)y=Axyi=⋁nj=1ai,jxji=1,…,m
Lemma berikut adalah karena Pudlák dan Rödl; lihat Proposisi 10.1 dalam makalah ini
atau Lemma 2.5 dalam buku ini untuk konstruksi langsung.
Lemma 1: Untuk setiap boolean n × n matriks A , pemetaan y = A x dapat dihitung oleh terbatas fanin OR-sirkuit kedalaman-3 menggunakan paling O ( r k ( A ) ⋅ n / log n ) kabel.
n×nAy=AxO(rk(A)⋅n/logn)
Kami juga memiliki batas atas berikut pada OR-rank dari matriks padat. Argumen ini adalah variasi sederhana dari yang digunakan oleh Alon dalam tulisan ini .
Lemma 2: Jika setiap kolom atau setiap baris dari matriks boolean A berisi paling banyak d nol, maka r k ( A ) = O ( d ln | A | ) , di mana | A | adalah jumlah 1 s di A .
Adrk(A)=O(dln|A|)|A|1A
Bukti:
Membangun acak semua- 1 submatrix R dengan memilih setiap baris secara independen dengan probabilitas yang sama p = 1 / ( d + 1 ) . Biarkan saya menjadi subset acak yang diperoleh. Lalu biarkan R = I × J , di mana J adalah himpunan semua kolom dari A yang tidak memiliki angka nol dalam baris dalam saya .
1Rp=1/(d+1)IR=I×JJAI
A 1 -entry ( i , j ) dari A ditutupi oleh R jika saya terpilih dalam
I dan tidak ada (paling d ) baris dengan 0 di j kolom -th dipilih di saya . Karenanya, entri ( i , j ) ditutupi dengan probabilitas setidaknya p ( 1 - p ) d ≥ p e - p d - p 2 d ≥1(i,j)ARiId0jI(i,j)p / e . Jika kita menerapkan prosedur ini r kali untuk mendapatkan r persegi panjang, maka probabilitas bahwa ( i , j ) tidak tercakup oleh persegi panjang ini tidak melebihi ( 1 - p / e ) r ≤ e - r p / e . Dengan ikatan serikat, probabilitas bahwa beberapaentri- 1 dari A tetap terbuka paling banyak
| A | ⋅ e - r p / ep(1−p)d≥pe−pd−p2d≥p/err(i,j)(1−p/e)r≤e−rp/e1A|A|⋅e−rp/e, yang lebih kecil dari 1 untuk r = O ( d ln | A | ) .
◻1r=O(dln|A|)□
Akibat wajar: Jika setiap kolom atau setiap baris dari matriks boolean A mengandung paling d nol, maka pemetaan y = A x dapat dihitung oleh fanin tak terbatas OR-sirkuit kedalaman-3 menggunakan
O ( d n ) kabel.
Ady=AxO(dn)
Saya kira batas atas yang sama seperti pada Lemma 2 juga harus berlaku ketika d adalah angka rata-rata 1 dalam kolom (atau berturut-turut). Akan menarik untuk menunjukkan ini.d1
Keterangan: (ditambahkan 04.01.2018) Sebuah analog r k ( A ) = O ( d 2 log n ) dari Lemma 2 juga berlaku ketika d adalah jumlah rata-rata maksimum nol dalam submatrix A , di mana jumlah rata - rata nol dalam sebuah r × s matriks adalah jumlah total angka nol dibagi dengan s + r . Ini mengikuti dari Teorema 2 dalam N. Eaton dan V. Rödl ;, Grafik dimensi kecil, Combinatorica 16 (1) (1996) 59-85 . Batas atas yang sedikit lebih burukrk(A)=O(d2logn)dAr×ss+rr k ( A ) = O ( d 2 ln 2 n ) dapat diturunkan langsung dari Lemma 2 sebagai berikut.rk(A)=O(d2ln2n)
Lemma 3: Biarkan d ≥ 1 . Jika setiap subgraf spanning dari grafik bipartit G memiliki derajat rata-rata ≤ d , maka G dapat ditulis sebagai gabungan G = G 1 ∪ G 2 , di mana derajat kiri maksimum G 1 dan derajat kanan maksimum G 2 adalah ≤ d .
d≥1G≤dGG=G1∪G2G1G2≤d
Bukti: Induksi pada jumlah n simpul. Kasus dasar n = 1 dan n = 2 jelas. Untuk langkah induksi, kita akan mewarnai tepian dengan warna biru dan merah sehingga derajat maksimum dalam subgraf biru dan merah adalah ≤ d . Ambil sudut u derajat ≤ d ; simpul semacam itu harus ada karena juga derajat rata-rata seluruh grafik harus ≤ d . Jika Anda milik bagian kiri, maka warnai semua tepi dengan u dengan warna biru, jika tidak, warnai semua tepi ini dengan warna merah. Jika kita menghapus simpul unn=1n=2≤du≤d≤duuumaka derajat rata-rata dari grafik G yang dihasilkan juga paling banyak d , dan kita dapat mewarnai tepi grafik ini dengan hipotesis induksi. ◻Gd□
Lemma 4: Biarkan d ≥ 1 . Jika jumlah rata-rata maksimum nol dalam boolean n × n matriks A = ( a i , j ) adalah paling d , maka r k ( A ) = O ( d 2 ln 2 n ) .
d≥1n×nA=(ai,j)drk(A)=O(d2ln2n)
Bukti: Perhatikan bipartit n × n graph G dengan ( i , j ) menjadi keunggulan IFF sebuah i , j = 0 . Maka tingkat rata-rata maksimum G paling banyak adalah d . Dengan Lemma 3, kita dapat menulis G = G 1 ∪ G 2 , di mana derajat maksimum simpul di bagian kiri G 1 , dan derajat maksimum simpul di bagian kanan G 2 adalah ≤ d . Membiarkann×nG(i,j)ai,j=0GdG=G1∪G2G1G2≤dA 1 dan A 2 menjadi pelengkap dari matriks kedekatan G 1 dan G 2 . Karenanya, A = A 1 ∧ A 2 adalah komponen DAN dari matriks-matriks ini. Jumlah maksimum nol di setiap baris A 1 dan di setiap kolom A 2 paling banyak d . Sejak r k ( A ) ≤ r k ( A 1 ) ⋅ r k ( A 2 )A1A2G1G2A=A1∧A2A1A2drk(A)≤rk(A1)⋅rk(A2), Lemma 2 hasil r k ( A ) = O ( d 2 ln 2 n ) . ◻rk(A)=O(d2ln2n)□
NB Contoh sederhana berikut (ditunjukkan oleh Igor Sergeev) menunjukkan bahwa "tebakan" saya di akhir jawaban benar-benar salah: jika kita menganggap d = d ( A ) menjadi jumlah rata-rata nol di seluruh matriks A (tidak maksimum rata-rata di atas semua pendaftar), maka Lemma 2 bisa gagal total. Biarkan m = √d=d(A)An , dan menempatkan identitasm×mmatriks di, mengatakan sudut kiri atasA, dan mengisi entri yang tersisa oleh orang-orang. Kemudiand(A)≤m2/2n<1tapirk(A)≥m, yangsecara eksponensiallebih besar dariln| A| . Perhatikan, bagaimanapun, bahwa kompleksitas OR dari matriks ini sangat kecil, adalahO(n). Jadi,argumenlangsung(bukan via peringkat)m=n−−√m×mAd(A)≤m2/2n<1rk(A)≥mln|A|O(n)dapat menghasilkan batas atas yang lebih baik pada ATAU kompleksitas matriks padat.