Capacité du puzzle à résolution unique (USP)

13

Dans leur article fondateur Algorithmes théoriques de groupe pour les multiplications matricielles , Cohn, Kleinberg, Szegedy et Umans introduisent le concept de puzzle résolvable de manière unique (défini ci-dessous) et de capacité USP. Ils affirment que Chaudronnier et Winograd, dans leur propre papier révolutionnaire multiplication matrice par des progressions arithmétiques , « implicitement » prouvent que la capacité USP est 3/22/3 . Cette affirmation est réitérée dans plusieurs autres endroits (y compris ici sur cstheory), mais nulle part aucune explication ne peut être trouvée. Voici ma propre compréhension de ce que Coppersmith et Winograd prouvent et pourquoi ce n'est pas suffisant.

Est - il vrai que la capacité USP est 3/22/3 ? Si oui, existe-t-il une référence pour la preuve?

Puzzles résolument solubles

Un casse-tête uniquement résoluble (USP) de longueur n et de largeur k consiste en un sous-ensemble de {1,2,3}k de taille n , que nous considérons également comme trois collections de n "pièces" (correspondant aux endroits où le les vecteurs sont 1 , les endroits où ils sont 2 et les endroits où ils sont 3 ), satisfaisant la propriété suivante. Supposons que nous disposions toutes les pièces 1 en n lignes. Ensuite, il doit y avoir une façon unique de mettre les autres pièces, une de chaque type dans chaque ligne, afin qu'elles "s'emboîtent".

N(k)kc { 1 , 2 , 3 } N ( k ) a + b + c = k min { ( k

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

Exemple (un USP de longueur et de largeur ): Non-exemple de longueur et largeur , où les - et -les pièces peuvent être organisées de deux manières différentes: 444 3323 123

1111213112132233
3323
123132231321312213

Jeu de puzzle Coppersmith-Winograd

Un puzzle Coppersmith-Winograd (CWP) de longueur et de largeur consiste en un sous-ensemble de de taille dans lequel les "pièces" sont uniques - pour deux quelconques et , (Ils le présentent un peu différemment.)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}knunebSc{1,2,3}

{je[k]:uneje=c}{je[k]:bje=c}.

Chaque USP est un CWP (comme nous l'avons commenté ci-dessus), d'où la capacité CWP satisfait . Ci-dessus, nous avons commenté que . Coppersmith et Winograd ont montré, en utilisant un argument sophistiqué, que . Leur argument a été simplifié par Strassen (voir Théorie de la complexité algébrique ). Nous esquissons une simple preuve ci-dessous.λ ≥ la K λ 3 / 2 2 / 3 λ = 3 / 2 2 / 3λλκλ3/22/3λ=3/22/3

Étant donné , soit composé de tous les vecteurs contenant chacun de s, s, s. Pour , soit composé de toutes les paires telles que , et mettez . Chaque ensemble indépendant dans le graphique est un CWP. Il est bien connu que chaque graphique a un ensemble indépendant de taille(preuve: sélectionnez chaque sommet avec la probabilité , et supprimez un sommet de chaque bord survivant). Dans notre cas, 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|=(kk/3)(2k/3k/3),|E|3|E1|=32(kk/3)(2k/3k/3)2.
D'où
|V|24|E|=16(kk/3)λ322/3.
Yuval Filmus
la source
Intéressant, mais y a-t-il une question ici, ou s'agit-il simplement d'une affirmation d'une faille dans la littérature?
David Eppstein
4
La question est de savoir s'il est vrai que la capacité USP est de , et si oui, où peut-on trouver une preuve. 3/22/3
Yuval Filmus

Réponses:

7

Comme beaucoup d'autres questions, la réponse à celle-ci se trouve dans la thèse de Stothers. Un USP local est un CWP dans lequel le seul moyen par lequel une pièce 1, un 2-pièce et une pièce 3 peuvent tenir ensemble est si leur union est dans . De toute évidence, un USP local est un USP, et une construction de [CKSU] montre que la capacité de l'USP est atteinte par les USP locaux (nous allons le montrer de manière constructive).S

Coppersmith et Winograd construisent une distribution indépendante presque sur sur avec les deux propriétés suivantes: (1) , (2) Pour tout tel que le 1 morceau de , le 2 morceau de et le 3 morceau de forment ensemble un vecteur : si alors .S2VPr[XS]=(|V|/2|E|)1-ϵX,y,zVXyzwVX,y,zSwS

Nous choisissons un sous-ensemble aléatoire de fonction de la distribution, et pour chaque arête , nous supprimons les deux sommets . Le nombre attendu de sommets restants est à peu près . L'ensemble résultant est un USP local: s'il y a dans lesquels le 1 morceau de , le 2 morceau de et le 3 morceau de s'ajustent, formant un morceau , alors , et ainsi de l' ensemble de sont retirés de .SV(X,y)EX,y(|V|2/2|E|)1-ϵTX,y,zTXyzwX,y,z,wSX,y,zS

Yuval Filmus
la source