NP-exhaustivité d'un problème de coloration de graphe

10

Formulation alternative

Je suis venu avec une formulation alternative au problème ci-dessous. La formulation alternative est en fait un cas particulier du problème ci-dessous et utilise des graphiques bipartites pour décrire le problème. Cependant, je crois que la formulation alternative est toujours NP-difficile. La formulation alternative utilise un ensemble disjoint de nœuds entrants et sortants qui simplifie la définition du problème.

Soit nœuds sortants et nœuds entrants (les nœuds rouge et bleu sur la figure respectivement), et un ensemble de taille de poids de bord entre les sommets sortants et entrants. Le but du problème est de colorer les bords épais de la figure de sorte que pour chaque nœud entrant, une condition soit respectée.n w i j n × nnnwijn×n

Graphique bipartite du problème

Étant donné un ensemble de sommets de sortie, un ensemble de sommets d'entrée, poids entre et pour , et une constante positive , trouver le nombre minimum de couleurs pour les arêtes (arêtes épaisses sur la figure ci-dessus) telles que pour tout ,{ I i{Oi|i=1n}n × n w i j0 O i I j i , j = 1 n β e i i j = 1 n{Ii|i=1n}n×nwij0OiIji,j=1nβeiij=1n

wjj1+c(i)=c(j),ijwijβ

où montre la couleur du bord .e i ic(i)eii


Ancienne formulation

Le problème suivant me semble NP-difficile, mais je ne pouvais pas le montrer. Toute preuve / commentaire pour en montrer la dureté ou la facilité est apprécié.

Supposons que est un graphe orienté pondéré complet avec nœuds et arêtes. Soit le poids du bord et la couleur du bord . Etant donné un sous-ensemble des arêtes et une constante positive le but est: trouver le nombre minimum de couleurs tel que pour chaque :n n ( n - 1 ) w i j0 i j c ( i j ) i j T E β e i jTKn=V,Enn(n1)wij0ijc(ij)ijTEβeijT

c(ij)c(ik)

wij1+c(kl)=c(ij),klijwkjβ.
et
c(ij)c(ik)forjk

Veuillez noter que dans le problème ci-dessus, seuls les bords en doivent être colorés. C'est le problème qui peut être résolu dans .O ( | T | ! )TO(|T|!)

Mettre à jour:

Après le commentaire de Tsuyoshi Ito, j'ai mis à jour le problème. Le dénominateur passe de à . Par conséquent, le dénominateur contient les poids en dehors ainsi. C'est en fait pourquoi j'ai mentionné le graphique complet dans la définition. 1+c ( k l ) = c ( i j ) , k l i j w k j T1+c(kj)=c(ij),ki,ekjTwkj1+c(kl)=c(ij),klijwkjT

J'ai également ajouté une contrainte supplémentaire . Cela signifie que les bords sortants d'un nœud doivent être de couleurs différentes (mais les couleurs entrantes peuvent être les mêmes tant que l'inégalité se maintient). Cela met une limite inférieure intuitive sur le nombre de couleurs, ce qui est le maximum degrés des nœuds .Tc(ij)c(ik)forjkT

Comme Tsuyoshi l'a mentionné, les , et sont des entrées pour le problème et les couleurs des bords sont la sortie. T βwijTβ

Mise à jour 2:

Le problème n'impose pas que les bords et soient de la même couleur. e j ieijeji

Hélium
la source
@Raphael: Normalement, un problème de coloration des bords semble être un bon candidat pour la réduction. Trouver le problème np-hard le plus simple pour la réduction est la partie la plus difficile. L'étape suivante consiste à trouver les poids appropriés pour la cartographie. Je suppose que si un problème de coloration des bords est réduit au problème ci-dessus, les poids devraient être soit comme 0/1, soit nous devons résoudre un système d'inégalités pour trouver les poids.
Hélium
Quelques commentaires sur la formulation du problème: (1) Quel est l'apport? Je suppose que l'entrée est w_ij pour tous les bords, T et β, mais si c'est le cas, vous ne devriez pas définir w_ij et c (ij) comme s'ils étaient donnés de la même manière. (2) Si je comprends bien ce que vous avez écrit, les bords extérieurs à T ne sont jamais mentionnés. Il est donc plus simple de définir le graphe orienté constitué des bords en T au lieu de considérer le graphe orienté complet.
Tsuyoshi Ito
@TsuyoshiIto: Merci pour vos commentaires, j'ai mis à jour la question.
Hélium
1
Soit dit en passant, le problème me semble assez compliqué. Si vous expliquez comment vous avez atteint ce problème (en d'autres termes, pourquoi vous êtes intéressé par ce problème), cela pourrait aider les autres à comprendre le problème.
Tsuyoshi Ito
1
@TsuyoshiIto: 1) Le problème est un cas particulier de planification dans les réseaux sans fil ad-hoc. fait référence à l'ensemble de transmission et les poids représentent les coefficients d'atténuation du signal. La première contrainte fait également référence au rapport signal / interférence plus bruit. 2) «le dénominateur ne contient que les poids des arêtes en T» est supprimé maintenant. T
Hélium

Réponses:

3

Il est assez simple de montrer que la formulation alternative est dure NP. La réduction provient du problème de coloration des sommets. Étant donné un graphe G avec sommets, nous créons une instance du problème ci-dessus avec sommets de sortie et sommets d'entrée. Les poids sont définis comme suit: Pour tout , soit . Pour , s'il y a une arête entre le sommet et le sommet , soit , sinon soit . De plus, laissez .n n i w i i = 1 i j i j w i j = w j i = 1 w i j = w j i = 0 β = 1nnniwii=1ijijwij=wji=1wij=wji=0β=1

C'est assez évident mais difficile de décrire pourquoi la réduction est correcte. Soit montrer l'instance de la coloration du graphe et R montrer l'instance réduite du problème. Pour montrer la réduction ci - dessus donne une solution correcte , nous devons montrer que (1) chaque coloration valable pour R est valable pour C ainsi. (2) la réponse donnée par R est minime pour C .CRRCRC

Si et j sont deux sommets adjacents de C , ils doivent avoir des couleurs différentes dans R . En effet, si i et j sont adjacents et qu'ils ont la même couleur, la fraction w j jijCRij donnerait1wjj1+c(i)=c(j),ijwij , oùXa une valeur positive. Par conséquent, la condition ne tient pas. En outre, chaque valide (mais pas nécessairement minime) coloration pourC, est une coloration valable pourRainsi. Il s'ensuit que dans une coloration valide deC, chaque paire de nœuds adjacents a des couleurs différentes, donc la condition est valable pour toutes les arêtes colorées deRdans la solution. Étant donnéchaque coloration deCest une coloration valable pourR, la solution minimale àRdoit être une solution minimale àC ainsi. Sinon, ce n'est pas un minimum car la solution àC11+XXCRCRCRRCC donne une solution avec un plus petit nombre de couleurs.

Hélium
la source
0

c(ij)=c(ji)T0

G=(V,E)D=(V,A)uvE(u,v)(v,u)AaAwa=1xyE(x,y)(y,x)Awxy=wyx=0β1T=A

0

kNP

NP

Luke Mathieson
la source
Comment imposez-vous que c (ij) = c (ji)? Ce n'est pas nécessairement vrai dans le problème en question, si je le comprends bien.
Tsuyoshi Ito
Bon point. Je vais modifier le message d'origine pour noter le problème.
Luke Mathieson