Est-il nécessaire d'appeler la multiplication matricielle

Une griffe est un $K_{1,3}$ . Un algorithme trivial détectera une griffe en temps $O(n^4)$ . Cela peut être fait dans $O(n^{\omega+1})$ , où $\omega$ est l'exposant de la multiplication matricielle rapide, comme suit: prendre le sous-graphe induit par $N[v]$ pour chaque sommet $v$ , et trouvez un triangle dans son complément.

$o(n^{\omega+1})$ $O(n^c)$ $O(n^{\max{(c,2)}})$ $\Omega(n^\omega)$ comme une borne inférieure.

Question:

Y a-t-il des progrès à ce sujet. Ou tout progrès pour montrer que c'est impossible?
Y a-t-il d'autres problèmes naturels avec les algorithmes $O(n^{\omega+1})$ qui sont les meilleurs?

Remarque:

Je demande explicitement la détection d'une griffe, au lieu de la reconnaissance de graphiques sans griffe. Bien qu'un algorithme résout généralement les deux, il existe quelques exceptions.
Il est affirmé dans Handbook of Algorithms and Theoretical Computer Science qu'il peut être trouvé en temps linéaire, mais ce n'était qu'une faute de frappe (voir "Représentations de graphes efficaces").

graph-theory graph-algorithms graph-classes Yixin Cao
la source

Vous pouvez utiliser la méthode d' Alon et al. Pour trouver un triangle dans

O (| E |^{1.41})

$O(|E|^{1.41})$ , pour chaque nœud qui se retrouve à un

O (| V | \cdot | E |^{1.41})

$O(|V|\cdot |E|^{1.41})$ qui est meilleur que

| V |^{ω + 1}

$|V|^{\omega+1}$ si le graphique n'est pas trop dense.

@RB, merci de l'avoir signalé. L'idée de base est toujours d'exécuter l'algorithme de détection de triangle quel que soit

fois, ce que je veux éviter.

n

$n$

Yixin Cao

Comment pouvons-nous nous attendre à trouver un algorithme qui n'est pas lié à la recherche de triangle? Parce que quel que soit l'algorithme, il faut vérifier les voisins de chaque sommet. Je veux dire que la propriété est une propriété très locale, sauf avec une différence de facteur constante, chaque sommet doit être vu. (Ou je ne peux imaginer aucun algorithme naturel qui évite cette localité). Avez-vous une idée encore vague?

Saeed

Peut-être qu'il est bon de mentionner que si nous pouvons trouver une griffe en temps f (n), nous pouvons également trouver un triangle en temps f (n + 1) (il suffit de prendre le complément du graphique et d'ajouter un sommet de plus connecté à tout le monde ), il ne faut donc pas espérer trouver mieux que

n^{ω}

$n^\omega$

domotorp

@domotorp, semble que la partie est claire, l'inverse n'est pas clair, je veux dire pourquoi nous avons besoin d'une recherche linéaire. Comme Yixin l'a également souligné, il existe peut-être un autre algorithme qui n'utilise pas d'algorithme de recherche de triangle et résout le problème dans

, ce qui, à mon avis, est difficile à trouver un tel algorithme et il est probablement plus facile de montrer que tout L'algorithme utilise la recherche de triangle comme sous-programme (ou peut être converti) avec une recherche linéaire dessus.

o (n^{ω + 1})

$o(n^{\omega +1})$

Saeed

Réponses:

Je pense que nous pouvons faire un peu mieux que pour les graphes denses, en utilisant la multiplication matricielle rectangulaire. Une idée similaire a été utilisée par Eisenbrand et Grandoni («Sur la complexité de la clique à paramètres fixes et de l'ensemble dominant», Theoretical Computer Science Volume 326 (2004) 57–67) pour la détection à 4 cliques. $O(n^{1+\omega})$

Soit le graphe dans lequel on veut détecter l'existence d'une griffe. Soit l'ensemble des (ordonnée) des paires de sommets dans . Considérons la matrice booléenne de taille : chaque ligne est indexée par certains , chaque colonne est indexée par certains , et l'entrée correspondante est une si et seulement si $G=(V,E)$ $A$ $V$ $M$ $|V|\times |A|$ $u\in V$ $(v,w)\in A$ , et . Considérons le produit dematrice booléenne et sa transposée . Le graphe a une griffe si et seulement s'il existe tel que l'entrée de dans la ligne indexée par et la colonne indexée par soit un. $\{u,v\}\in E$ $\{v,w\}\in E$ $\{u,w\}\notin E$ $M$ $M^T$ $G$ $\{u,v\}\notin E$ $MM^T$ $u$ $v$

La complexité de cet algorithme est essentiellement la complexité du calcul du produit booléen d'une matrice par une matrice , où désigne le nombre de sommets dans le graphe. On sait qu'un tel produit matriciel peut être calculé dans le temps , ce qui est meilleur que pour la borne supérieure la plus connue sur . Bien sûr, si (comme conjecturé) alors les deux approches donnent la même complexité $n\times n^2$ $n^2\times n$ $n$ $O(n^{3.3})$ $O(n^{1+\omega})$ $\omega$ $\omega=2$ . $O(n^3)$

François Le Gall
la source

Génial! C'est exactement ce que je veux pour ma première question: un seul appel de multiplication matricielle, bien qu'un plus grand. J'attendrai d'autres commentaires ou réponses sur ma deuxième question avant de la prendre comme réponse.

Yixin Cao

Je ne sais pas comment éviter de faire multiplications matricielles, mais vous pouvez l'analyser de telle sorte que le temps soit effectivement celui d'un plus petit nombre d'entre elles. Cette astuce vient de $n$

Kloks, Ton; Kratsch, Dieter; Müller, Haiko (2000), «Trouver et compter efficacement les petits sous-graphes induits», Information Processing Letters 74 (3-4): 115-121, doi: 10.1016 / S0020-0190 (00) 00047-8, MR 1761552.

La première observation est que, lorsque vous allez multiplier les matrices, les matrices ne sont pas vraiment , mais où est le degré de chaque sommet, parce que ce que vous recherchez est un co-triangle dans le voisinage de chaque sommet. $n\times n$ $d\times d$ $d$

Deuxièmement, dans un graphique sans griffes, chaque sommet doit avoir voisins. Car sinon, l'ensemble des voisins aurait trop peu d'arêtes pour éviter d'avoir un triangle dans le complément. Donc, quand vous faites des multiplications matricielles, il vous suffit de le faire sur des matrices de taille $O(\sqrt m)$ plutôt que. $O(\sqrt m)$ $n$

De plus, chaque arête peut contribuer à la taille du problème de multiplication matricielle pour seulement deux sommets, ses extrémités. Le pire des cas se produit lorsque les de la taille totale de ces problèmes de multiplication matricielle sont répartis en $2m$ sous-problèmes de taille $O(\sqrt m)$ chacun, ce qui donne une limite de temps totale de, une amélioration pour les graphes clairsemés par rapport à lalimite dementionnée par R B. $O(\sqrt m)$ $O(m^{(1+\omega)/2})$ $O(nm^{\omega/2})$

David Eppstein
la source

Wow, c'est une idée intelligente, je me demandais s'il était possible de faire une recherche sublinéaire (réfutant en fait cela) et je n'ai même pas pensé aux propriétés intrinsèques du problème.

Saeed

Merci David. Je la laisse ouverte un instant car ma deuxième question semble ne pas être encore remarquée.

Yixin Cao