1 votos

Formulación de programación entera para este problema particular de enrutamiento de arcos

Espero que me puedan ayudar con esto. Estoy atascado con una formulación de programación entera para el llamado Problema del Cartero Chino No Dirigido.

Consideremos un grafo no dirigido $G=(V,E)$ , donde $V$ es el conjunto de vértices y E es el conjunto de $edges$ . Sea $E(S)=\{(i,j) : i\in S, j\in V\setminus S\text{, or } i\in V\setminus S, j\in S\}$ sea un subconjunto de vértices de grado impar, $S \subseteq V$ se dice que es impar si es un conjunto formado por un número impar de vértices de grado impar"

Este último impar es la condición con la que estoy luchando.

La formulación es la siguiente: \begin{align} \min \ &\sum_{(i,j)\in E}c_{ij}x_{ij} \\ \text{Subj to }&\sum_{(i,j)\in E(S)} x_{ij}\geq 1,\quad S\subset V,S\text{ odd} \\ &x_{ij}\geq 0,\quad (i,j)\in E \\ &x_{ij}\in \mathbb{Z},\quad (i,j)\in E \end{align}

Según la primera restricción, ¿significa que si tenemos un grafo con un número par de vértices de grado impar no podemos resolver el CPP? o lo estoy entendiendo totalmente mal?

Considere este gráfico en particular . ¿Cómo sería la formulación para este caso? Sería muy útil que explicaras la formulación para la restricción 1. Gracias.

0voto

prubin Puntos 51

En el gráfico representado, los vértices con número impar tienen grado par y los vértices con número par tienen grado impar. Por tanto, los conjuntos $S$ sobre los que se itera la primera restricción consisten en los subconjuntos de impar-cardinalidad de $\{2, 4, 6, 8\}$ . Hay ocho conjuntos de este tipo, cuatro unipersonales y cuatro con cardinalidad tres.

La propia restricción dice que hay que elegir al menos una copia de al menos una arista que tenga un punto final en $S$ y uno no en $S$ . Como todas las aristas van entre un nodo par y un nodo impar, cada arista incidente en un nodo de $S$ califica.

Así que para $S=\{2\}$ la restricción es $x_{(1,2)}+x_{(2,3)}+x_{(2,9)} \ge 1$ . Para $S=\{2, 6, 8\}$ el lado izquierdo de la restricción contiene nueve de los doce $x$ variables, omitiendo $x_{(3, 4)}$ , $x_{(4,5)}$ y $x_{(4,9)}$ .

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X