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 . 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 ? 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 und der Breite besteht aus einer Teilmenge von der Größe , die wir auch als drei Sammlungen von "Teilen" betrachten (entsprechend den Stellen, an denen die Vektoren sind , die Orte, an denen sie , und die Orte, an denen sie ) sind, und erfüllen die folgende Eigenschaft. Angenommen, wir ordnen alle Teile in 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 die maximale Länge eines USP der Breite . Die USP Kapazität ist
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 123
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 } .
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
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 1 ≤ E 2 ≤ E 3 G =| V | 2 / 4 | E | | V | / 2 | E | | V | = ( k| V| 2