Kapasitas Uniquely Solvable Puzzle (USP)


13

Dalam makalah seminal mereka, algoritma Group-theoretic untuk perkalian matriks , Cohn, Kleinberg, Szegedy dan Umans memperkenalkan konsep puzzle yang dapat dipecahkan secara unik (didefinisikan di bawah) dan kapasitas USP. Mereka mengklaim bahwa Coppersmith dan Winograd, di sendiri kertas terobosan mereka Matrix perkalian melalui deret aritmetika , "implisit" membuktikan bahwa kapasitas USP adalah 3/22/3 . Klaim ini diulangi di beberapa tempat lain (termasuk di sini pada sejarah), namun tidak ada penjelasan yang dapat ditemukan. Di bawah ini adalah pemahaman saya sendiri tentang apa yang Coppersmith dan Winograd buktikan, dan mengapa itu tidak cukup.

Apakah benar bahwa kapasitas USP adalah 3/22/3 ? Jika demikian, apakah ada referensi untuk buktinya?

Teka-teki unik yang dapat dipecahkan

Teka-teki yang dapat dipecahkan secara unik (USP) dengan panjang n dan lebar k terdiri dari himpunan bagian {1,2,3}k dengan ukuran n , yang juga kita anggap sebagai tiga koleksi n "keping" (sesuai dengan tempat di mana vektor adalah 1 , tempat di mana mereka adalah 2 , dan tempat-tempat di mana mereka berada 3 ), memuaskan properti berikut. Misalkan kita mengatur semua 1 buah dalam n baris. Maka harus ada cara unik untuk meletakkan potongan-potongan lainnya, satu dari setiap jenis di setiap baris, sehingga mereka "pas".

Biarkan menjadi panjang maksimum USP lebar k . The kapasitas USP adalah κ = sup k N (N(k)k Dalam USP, masing-masing bagian harus unik - artinya tidak ada dua garis yang mengandung simbol c { 1 , 2 , 3 } di tempat yang persis sama. Ini menunjukkan (setelah argumen singkat) bahwa N ( k ) Σ a + b + c =

κ=supkN(k)1/k.
c{1,2,3} danκ3/22/3.
N(k)a+b+c=kmin{(ka),(kb),(kc)}(k+22)(kk/3),
κ3/22/3

Contoh (USP panjang dan lebar 4 ): 1111 2131 1213 2233 Non-contoh panjang 3 dan lebar 3 , di mana potongan 2 - dan 3 dapat disusun dengan dua cara berbeda: 12344

1111213112132233
3323
123132231321312213

Teka-teki Coppersmith-Winograd

Teka-teki Coppersmith-Winograd (CWP) dengan panjang dan lebar k terdiri dari subset S dari { 1 , 2 , 3 } k dengan ukuran n di mana "keping" itu unik - untuk dua a b S dan cnkS{1,2,3}knabS , { i [ k ] : a i = c } { i [c{1,2,3} (Mereka menyajikannya agak berbeda.)

{i[k]:ai=c}{i[k]:bi=c}.

Setiap USP adalah CWP (seperti yang kami komentari di atas), maka kapasitas CWP memenuhi λ κ . Di atas kita berkomentar bahwa λ 3 / 2 2 / 3 . Tembaga dan Winograd menunjukkan, menggunakan argumen yang canggih, yang λ = 3 / 2 2 / 3 . Argumen mereka disederhanakan oleh Strassen (lihat teori kompleksitas aljabar ). Kami membuat sketsa bukti sederhana di bawah ini.λλκλ3/22/3λ=3/22/3

Diberikan , misalkan V terdiri dari semua vektor yang mengandung k / 3 masing-masing dari 1 s, 2 s, 3 s. Untuk c { 1 , 2 , 3 } , misalkan E c terdiri dari semua pasangan a , b V sehingga { i [ k ] : a i = c } = { i [ k ] :kVk/3123c{1,2,3}Eca,bV , dan letakkan E = E 1E 2E 3 . Setiap set independen dalam grafik G = ( V , E ) adalah CWP. Sudah diketahui bahwa setiap grafik memiliki ukuran ukuran yang independen | V | 2 / 4 | E | (bukti: pilih setiap simpul dengan probabilitas | V | / 2 | E | , dan hapus satu simpul dari masing-masing tepi yang bertahan). Dalam kasus kami, |{i[k]:ai=c}={i[k]:bi=c}E=E1E2E3G=(V,E)|V|2/4|E||V|/2|E| Oleh karena itu | V| 2

|V|=(kk/3)(2k/3k/3),|E|3|E1|=32(kk/3)(2k/3k/3)2.
|V|24|E|=16(kk/3)λ322/3.

Menarik, tetapi apakah ada pertanyaan di sini, atau ini hanya pernyataan cacat dalam literatur?
David Eppstein

4
Pertanyaannya adalah apakah benar bahwa kapasitas USP adalah , dan jika demikian, di mana dapat bukti ditemukan.3/22/3
Yuval Filmus

Jawaban:


7

S

Coppersmith dan Winograd membangun distribusi independen hampir 2-bijaksana pada 2 V dengan dua properti berikut: (1) Pr [ x S ] = ( | V | / 2 | E | ) 1 - ϵS2VPr[xS]=(|V|/2|E|)1ϵx,y,zVxyzwVx,y,zSwS

SV(x,y)Ex,y(|V|2/2|E|)1ϵTx,y,zTxyzwx,y,z,wSx,y,zS .

Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.