Ejercicio 3 semana 15

Ejercicio 3 semana 15

de Joaquin Bidegain Osano -
Número de respuestas: 1

Buenas,

Tuvimos la siguiente idea, de la cual tuvimos muchísimas dudas porque nos parecía bastante fácil e intuitivo. Arrancamos a dudar cuando vimos una solución (imagenes), en la cual la construcción del grafo es bastante distinta a la nuestra. Nosotros planteamos lo siguiente:

Modelamos el ejercicio como un grafo G, tal que cada nodo representa a un cliente. 

Creamos una arista (vi, wj) si el cliente vi compró al menos un mismo producto que otro cliente wi. 

De esta forma es bastante trivial demostrar que independent set responde afirmativamente <-> existe un conjunto diverso. (Demostrar si y solo si)

Es correcto?

De la idea anterior, la principal duda que tenemos es, a la hora de la construcción del grafo de la forma en la que lo planteamos, puede tener un tiempo de ejecución bastante alto y por eso lo construyen de la siguiente forma?


En respuesta a Joaquin Bidegain Osano

Re: Ejercicio 3 semana 15

de Federico Andres Aldunate Caramovi -
Buenas,

Primero hay que ver que tenemos que demostrar.
En este ejercicio tenemos la reduccion Independent Set ≤ p Conjunto Diverso.

A grandes rasgos significa que tenemos que usar el problema Conjunto Diverso para resolver Independent Set.

Por lo tanto para demostrar esta reducción:
- Independent Set tiene como entrada un grafo G y un k.
Por lo que se podría utilizar este grafo G para generar una instancia del problema de Conjunto Diverso y con un numero polinomial de llamadas (una sola llamada quizá) resolver el problema.

¿Que recibe Conjunto Diverso? Recibe una tabla A (de clientes y productos) y un k'.
Por lo que una posible solución podría ser transformar el grafo G en una tabla A y decidir cual deberia ser el valor de k' (probablemente en funcion del k de Independent Set).

Luego de demostrar porque el numero de llamadas a la 'caja negra' que resuelve Conjunto Diverso es polinomial y de demostrar porque es polinomial la transformación. Se deberia demostrar que: una instancia (G,k) de Independent Set es una instancia Si ↔ (A,k) es una instancia Si de ConjuntoDiverso.

Cualquier otra duda a las ordenes