\section{Introduccin} \section{Explicacin del problema} El problema del Conjunto Independiente de Peso Mximo (CIPM) plantea la situacin en la que, dado

un grafo con pesos asignados a sus vrtices, se necesita encontrar un subconjunto de vrtices de peso mximo, con la condicin de que stos no sean adyacentes de a pares. Vale mencionar que el problema del Conjunto Independiente Mximo (CIM) es un caso particular de CIPM: basta asignar a todos los vrtices el mismo peso. En este caso, el conjunto independiente de peso mximo encontrado ser tambin el conjunto independiente mximo. Otra observacin importante es la siguiente: como un conjunto independiente es una clique (subgrafo inducido completo) en el complemento del grafo, este problema es equivalente a buscar la clique de peso mximo en el complemento de un grafo. Est demostrado que no se conocen algoritmos de complejidad polinomial que resuelvan este problema para cualquier clase de grafo. Primero observamos que verificar si un conjunto es independiente o no es trivial, se recorren las adyacencias de cada vrtice del conjunto. Tambin se puede encontrar un conjunto independiente maximal facilmente, si los vrtices que quedan no pueden ser agregados al conjunto, entonces es maximal. Sin embargo, para obtener el conjunto independiente mximo, la situacin es diferente. Intuitivamente, vimos que la existencia de un vrtice en el conjunto puede \emph{obstruir} el ingreso de ms de un nodo, y a su vez, estos pueden tener \emph{conflicto} con otros que estn en el conjunto y otros que no. \subsection{Aplicaciones} Es posible aplicar este problema a una situacin que pueden ser modelada como un grafo pesado en los vrtices cuyos ejes representan conflictos, es decir, dos vrtices son adyacentes s y slo s no pueden ser \emph{seleccionados} al mismo tiempo. Adems el peso representa el \emph{beneficio} obtenido al seleccionar los vrtices. El objectivo en estas situaciones es buscar el mayor beneficio mientras no se generen conflictos, y esto equivale, en nuestro modelo, a buscar el CIPM. \subsubsection{Aplicacin 1} Se desea hacer una encuesta a usuarios populares de una red social para promocionar en una nueva versin de un producto. Se seleccion una muestra de usuarios candidatos que cumplen ciertos requisitos, y se quiere seleccionar a usuarios de la muestra para que promuevan el producto a la mayor cantidad de amigos posibles, sin que ocurra que dos personas seleccionadas se conozcan entre s en la red para que no interacten entre s para la promocin. Este problema se modelara con nodos representando a las personas seleccionadas para la muestra, con los pesos indicando la cantidad de amigos que tiene cada usuario en la red social, y las adyacencias indicando una relacin de conocimiento entre dos personas. Como se quiere maximizar a la cantidad de personas a las que llega la campaa sin que los promotores se conozcan, se busca el conjunto independiente de peso mximo. \subsubsection{Aplicacin 2} Una empresa que provee servicios de Internet desea instalar centrales en una zona. La zona est dividida en barrios, y en cada barrio se puede instalar una central, aunque por la infraestructura de cada uno, una central instalada en un barrio puede tener una capacidad mxima de ancho de banda. Una central instalada en un barrio puede cubrir a los barrios

adyacentes. Se quiere seleccionar el conjunto de barrios donde se construirn las centrales tales que la capacidad de ancho de banda en la zona sea mxima, sin tener ms centrales de lo necesario, o sea, sin tener dos centrales instaladas en barrios adyacentes. Para este problema, cada nodo representa un barrio, cada nodo tiene un peso correspondiente al ancho de banda que puede proveer, y una arista representa una adyacencia entre barrios donde la central en un barrio puede proveer a otro. \subsubsection{Generalidad de aplicacin} El problema de \textbf{CIPM} sirve para modelar problemas en la vida real en que hayan objetos donde, por motivos externos, solo se puede seleccionar uno de los dos que comparten una relacin, y el objetivo es seleccionar los objetos de que provean mayor valor. En ambos ejemplos citamos casos donde se tiene una red de distribucin donde se puede seleccionar ciertos candidatos bajo un criterio restrictivo de relacin, y se quiere maximizar el valor obtenido.

WIKIPEDIA
En teora de grafos, un conjunto independiente o estable es un conjunto de vrtices en un grafo tal que ninguno es adyacente a otro. Es decir, es un conjunto V de vrtices tal que para ningn par de ellos existe alguna arista que los conecten. En otras palabras, cada arista en el grafo contiene a lo ms un vrtice en V. El tamao de un conjunto independiente es el nmero de vrtices que contiene. Un conjunto independiente maximal es un conjunto independiente tal que aadiendo cualquier otro vrtice al conjunto, ste deja de ser independiente.

El (inesperadamente asimtrico) conjunto de 9 vrtices azules es unconjunto independiente maximal para este grafo de 24 vrtices.

Definicin formal[editar editar fuente]

Dado un grafo G, un subconjunto de vrtices H V(G) se llama conjunto idependiente si no hay dos vrtices en S que sean adyacentes. El nmero de independencia de G es el tamao de un conjunto independiente ms grande, y se denota por (G).1

Computabilidad[editar editar fuente]

El conjunto independiente mximo corresponde al mayor conjunto independiente definible sobre un grafo dado. El problema de encontrar un conjunto con estas caractersticas se llama problema del mximo conjunto independiente y es NP-completo, por lo cual es poco probable que exista un algoritmo que lo resuelva eficientemente. El problema de decidir si un grafo dado tiene un conjunto independiente de un tamao particular es el Problema del conjunto independiente, el cual es computacionalmente equivalente a decidir si un grafo tiene un clique de un tamao particular. Esto porque, si un grafo tiene un conjunto independiente de tamao k, luego su grafo complemento tendr un clique de tamao k. El problema de decisin del conjunto independiente (al igual que el problema del clique) tambin es NP-completo.

Aclaraciones conceptuales[editar editar fuente]

Conjunto independiente maximal no debe confundirse con el mximo conjunto independiente. El primero es un conjunto independiente que no est contenido en ningn otro conjunto independiente mayor que l. En efecto, el problema de encontrar un conjunto independiente maximal puede resolverse en tiempo polinomial mediante un simple algoritmo voraz.