HyperAIHyperAI

Command Palette

Search for a command to run...

(1,1)-Édition de Cluster est Résoluble en Temps Polynomial

Gregory Gutin; Anders Yeo

Résumé

Un graphe HHH est un graphe de clique si HHH est une union disjointe de sommets de cliques. Abu-Khzam (2017) a introduit le problème de (a,d)(a,d)(a,d)-{Édition de Cluster}, où pour des nombres naturels fixés a,da,da,d, étant donné un graphe GGG et des poids de sommets a:V(G)0,1,,aa^ : V(G) \rightarrow {0,1,\dots, a}a:V(G)0,1,,a et d:V(G)0,1,,dd^ : V(G) \rightarrow {0,1,\dots, d}d:V(G)0,1,,d, il faut décider si GGG peut être transformé en un graphe de cluster en supprimant au plus d(v)d^(v)d(v) arêtes incidentes à chaque sommet vV(G)v \in V(G)vV(G) et en ajoutant au plus a(v)a^(v)a(v) arêtes incidentes à chaque sommet vV(G)v \in V(G)vV(G). Les résultats de Komusiewicz et Uhlmann (2012) ainsi que ceux d'Abu-Khzam (2017) ont fourni une dichotomie de complexité (en P ou NP-complet) du problème (a,d)(a,d)(a,d)-{Édition de Cluster} pour toutes les paires (a,d)(a,d)(a,d) sauf pour (a=d=1)(a=d=1)(a=d=1). Abu-Khzam (2017) a conjecturé que le problème (1,1)(1,1)(1,1)-{Édition de Cluster} est dans P. Nous résolvons la conjecture d'Abu-Khzam par l'affirmative en (i) proposant une série de cinq réductions polynomiales vers des graphes sans cycle C3C_3C3 ni cycle C4C_4C4 dont le degré maximal est au plus 3, et (ii) en concevant un algorithme polynomial pour résoudre le problème (1,1)(1,1)(1,1)-{Édition de Cluster} sur ces graphes sans cycle C3C_3C3 ni cycle C4C_4C4 dont le degré maximal est au plus 3.


Créer de l'IA avec l'IA

De l'idée au lancement — accélérez votre développement IA avec le co-codage IA gratuit, un environnement prêt à l'emploi et le meilleur prix pour les GPU.

Codage assisté par IA
GPU prêts à l’emploi
Tarifs les plus avantageux

HyperAI Newsletters

Abonnez-vous à nos dernières mises à jour
Nous vous enverrons les dernières mises à jour de la semaine dans votre boîte de réception à neuf heures chaque lundi matin
Propulsé par MailChimp
(1,1)-Édition de Cluster est Résoluble en Temps Polynomial | Articles | HyperAI