Kapazität des einzigartig lösbaren Puzzles (USP)

13

Cohn, Kleinberg, Szegedy und Umans stellen in ihrer bahnbrechenden Arbeit Gruppentheoretische Algorithmen für Matrixmultiplikationen das Konzept des einzigartig lösbaren Puzzles (unten definiert) und der USP-Kapazität vor. Sie behaupten , dass Copper und Winograd, in ihrem eigenen wegweisenden Papiermatrixmultiplikation über arithmetische Progressionen „implizit“ beweisen , dass die USP Kapazität 3/22/3 . Diese Behauptung wird an mehreren anderen Stellen wiederholt (einschließlich hier auf cstheory), aber nirgends ist eine Erklärung zu finden. Unten ist mein eigenes Verständnis darüber, was Kupferschmied und Winograd beweisen und warum es nicht genug ist.

Ist es wahr , dass die USP Kapazität 3/22/3 ? Wenn ja, gibt es eine Referenz für den Beweis?

Einzigartig lösbare Rätsel

Ein eindeutig lösbares Puzzle (USP) mit der Länge n und der Breite k besteht aus einer Teilmenge von {1,2,3}k der Größe n , die wir auch als drei Sammlungen von n "Teilen" betrachten (entsprechend den Stellen, an denen die Vektoren sind 1 , die Orte, an denen sie 2 , und die Orte, an denen sie 3 ) sind, und erfüllen die folgende Eigenschaft. Angenommen, wir ordnen alle 1 Teile in n Zeilen an. Dann muss es eine einzigartige Möglichkeit geben, die anderen Teile eines jeden Typs in jede Zeile zu setzen, damit sie "passen".

Sei N(k) die maximale Länge eines USP der Breite k . Die USP Kapazität ist

κ=supkN(k)1/k.
In einem USP muss jedes Stück ein Unikat sein - das bedeutet, dass keine zwei Zeilen an genau der gleichen Stelle ein Symbol c{1,2,3} . Dies zeigt (nach einem kurzen Argument), dass und so weiter& kgr;3/22/3
N(k)a+b+c=kmin{(ka),(kb),(kc)}(k+22)(kk/3),
κ3/22/3 .

Beispiel (ein USP mit Länge und Breite ): Nichtbeispiel für Länge und Breite , wobei - und -Stücke können auf zwei verschiedene Arten angeordnet werden: 4 1111 2131 1213 2233 3 3 2 3 12344

1111213112132233
3323
123132231321312213

Kupferschmied-Winograd-Rätsel

Ein Kupferschmied-Winograd-Puzzle (CWP) der Länge und der Breite besteht aus einer Teilmenge von der Größe in der die "Teile" eindeutig sind - für zwei beliebige und , (Sie präsentieren es etwas anders.)k S { 1 , 2 , 3 } k n a b S c { 1 , 2 , 3 } { i [ k ] : a i = c } { i [ k ] : b i = c } .nkS{1,2,3}knabSc{1,2,3}

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

Jeder USP ist ein CWP (wie oben erwähnt), daher erfüllt die CWP-Kapazität . Oben haben wir kommentiert . Kupferschmied und Winograd zeigten mit einem raffinierten Argument, dass . Ihre Argumentation wurde von Strassen vereinfacht (siehe Algebraische Komplexitätstheorie ). Wir skizzieren unten einen einfachen Beweis.λ & kgr; λ 3 / 2 2 / 3 λ = 3 / 2 2 / 3λλκλ3/22/3λ=3/22/3

Bei gegebenem besteht aus allen Vektoren, die jeweils von s, s, s enthalten. Für soll aus allen Paaren so dass und setze . Jede unabhängige Menge im Graphen ist eine CWP. Es ist bekannt, dass jeder Graph eine unabhängige Menge von Größen(Beweis: Wählen Sie jeden Scheitelpunkt mit der Wahrscheinlichkeit und entfernen Sie einen Scheitelpunkt von jeder überlebenden Kante). In unserem Fall, V k / 3 1 2 3 c { 1 , 2 , 3 } E c a , b V { i [ k ] : a i = c } = { i [ k ] : b i = c } E = E 1E 2E 3 G =kVk/3123c{1,2,3}Eca,bV{i[k]:ai=c}={i[k]:bi=c}E=E1E2E3| V | 2 / 4 | E | | V | / 2 | E | | V | = ( kG=(V,E)|V|2/4|E||V|/2|E|| V| 2

|V|=(kk/3)(2k/3k/3),|E|3|E1|=32(kk/3)(2k/3k/3)2.
Daher
|V|24|E|=16(kk/3)λ322/3.
Yuval Filmus
quelle
Interessant, aber gibt es hier eine Frage oder ist dies nur eine Behauptung eines Fehlers in der Literatur?
David Eppstein
4
Die Frage ist, ob es stimmt, dass die USP-Kapazität 3/2 beträgt , und wenn ja, wo ein Beweis gefunden werden kann. 3/22/3
Yuval Filmus

Antworten:

7

Die Antwort auf diese Frage findet sich, wie bei vielen anderen, in der These von Stothers. Eine lokale USP ist eine CWP, bei der nur dann ein 1-teiliges, ein 2-teiliges und ein 3-teiliges Teil zusammenpassen können, wenn sich ihre Verbindung in . Offensichtlich ist ein lokaler USP ein USP, und eine Konstruktion von [CKSU] zeigt, dass die USP-Kapazität von lokalen USPs erreicht wird (wir werden dies konstruktiv zeigen).S

Coppersmith und Winograd konstruieren eine nahezu 2-weise unabhängige Verteilung auf mit den folgenden zwei Eigenschaften: (1) , (2) Für jedes so dass das 1-teilige von , das 2-teilige von und das 3-teilige von zusammen einen Vektor : wenn dann .S2VPr[xS]=(|V|/2|E|)1ϵx,y,zVxyzwVx,y,zSwS

Wir wählen eine zufällige Teilmenge von entsprechend der Verteilung und entfernen für jede Kante beide Eckpunkte . Die erwartete Anzahl der verbleibenden Eckpunkte ist ungefähr . Die resultierende Menge ist eine lokale USP: Wenn es in die das 1-teilige von , das 2-teilige von und das 3-teilige von passen und ein Stück , dann , und so werden alle von aus .SV(x,y)Ex,y(|V|2/2|E|)1ϵTx,y,zTxyzwx,y,z,wSx,y,zS

Yuval Filmus
quelle