Edición de «Final del 27/02/15 (Algoritmos III)»

Final semi-libre tomado en la fecha 27/02/2105 tomado por Javier Marenco. El final constaba de 6 ejercicios a ser resueltos por escrito.


== Ejercicio 1 ==
Sea <math>G = (V,\quad E)</math> un grafo tal que <math>G</math> es isomorfo a <math>G^c</math>. Probar que <math> |V| \equiv 0 \quad \pmod 4 </math> o <math> |V| \equiv 1 \quad \pmod 4 </math>.

Sugerencia: Como son isomorfos <math>m(G) = m(G^c)</math>(Ejercicio 5.19.b) de las prácticas). Además, como son complementarios entre sí, sabemos que <math>m(G) + m(G^c) = \frac{n(n-1)}{2}</math>. Utilizar la primer igualdad en la segunda y ver que debe ocurrir para que la divisón obtenida sea un número natural (que debe serlo ya que tanto <math>m(G)</math> como <math>m(G^c)</math> son números naturales).

== Ejercicio 2 ==
Sea <math>G = (V,\quad E)</math> un grafo conexo y bipartito tal que <math>V_1 \cup V_2 = V</math> y <math>V_1 \cap V_2 = \emptyset </math>. Probar que la bipartición es única.

== Ejercicio 3 ==
Sea <math>G = (V,\quad E)</math> un grafo platónico, es decir un grafo 3-conexo (conexo y que entre todo par de vértices haya, al menos, 3 caminos dijuntos), planar, regular y todas sus regiones con igual cantidad de aristas. Probar que sólo hay 5 grafos platónicos.

Sugerencia: Sin pérdida de generalidad, se puede suponer que el grafo es <math>d</math>-regular y todas las regiones tienen grado <math>k</math>, por definición de grafo platónico. La idea era obtener igualdades a partir de propiedades: fórmula de euler (por ser conexo y planar), 
<math>dn = 2m = kr</math> (sumatoria de grados de los nodos igual a 2m y utilizar que el grafo es regular, sumatoria de grado de las regiones igual a 2m y utilizar que todas las regiones tienen k aristas). Despejar ambos <math>m</math> y <math>n</math> en función de <math>d</math>, <math>k</math> y <math>r</math>, y ponerlas en la ecuación de euler. Despejar <math>r</math> en función de todo lo demás y observar que hay 5 pares <math>(d, k)</math> tales que <math>r</math> es un natural válido. Finalmente, se debería demostrar que para cada par hay un grafo platónico y que es único (que todos son isomorfos a él), pero no era la idea del ejercicio.

== Ejercicio 4 ==
Sea <math>G = (V,\quad E)</math> un grafo y <math>L(G)</math> su grafo de línea. Probar que para cualquier coloreo de <math>L(G)</math>, para todo <math>e \in V(L(G))</math>, a lo sumo hay 2 vecinos de <math>e</math> que tienen el mismo color.

Sugerencia: Por absurdo, asumís que existe <math>e \in V(L(G))</math> tal que, al menos, 3 vecinos utilizan el mismo color en un coloreo válido de <math>L(G)</math>, siendo la función de asignación de colores <math>f</math>. A partir de esto, tomar 3 vecinos de <math>e</math>, <math>e_1,\quad e_2,\quad e_3</math> tales que <math>f(e_1) = f(e_2) = f(e_3)</math>, entonces ninguno de los 3 es vecino entre sí ya que sino no sería un coloreo válido. Aplicando la definición de grafo de línea, se puede ver que algún <math>(e_i, \quad e_j) \in E(L(G))</math>, <math>i \neq j</math> dado que <math>e</math> sólo tiene 2 extremos en <math>G</math> por ser arista del mismo. Con lo cuál se llega a un absurdo y lo contrario a lo asumido debe ser cierto.

== Ejercicio 5 ==
Se pide resolver el siguiente problema con un algoritmo polinomial: se tiene un conjunto de clases y una cantidad de aulas k. Cada clase tiene un horario de inicio y otro de fin, lógicamente no se puede dictar 2 clases en una misma aula si las mismas se superponen en horarios. Se quiere saber si la cantidad de aulas son suficientes para dictar todas las clases en un mismo día.

Sugerencia: Es un problema conocido de scheduling que seguro está mejor explicado en alguna fuente de internet. Cualquiera que quiera aportar una fuente o explicarlo con sus palabras, es más que bienvenido.

== Ejercicio 6 ==
Demostrar que un problema <math>\pi_1</math> era NP-Hard. La idea era proponer un candidato <math>\pi_2</math> perteneciente a NP-Completo o a NP-Hard (seguramente, de los problemas vistos en la materia) tal que <math>\pi_2</math> se reduce polinomialmente a <math>\pi_1</math> y con eso alcanzaba, de acuerdo a la definición de NP-Hard vista en la materia.