Borrachera 2006
Marina Groshaus
Borrachera 2006
Marina GroshausDirector: Jayme Szwarcfiter
Como organizar “fiestitas ” usando
teoría de grafos……
Somos mucho ue dos
Borrachera 2006
Mini clase de anatomia:Atracción: Definición universal: Fís. La que ejercen entre sí los cuerpos que componen el universo, principalmente los astros, y
que depende de sus masas y distancias respectivas.
Borrachera 2006
Problema
• Había una vez, un grupo de personas. Llamaron a Cupido para armar parejas…
Borrachera 2006
Problema
• Había una vez, un grupo de personas. Llamaron a Cupido para armar parejas…
• Resulta que se equivocaron y enviaron a Diablido
Borrachera 2006
• Maria gustaba de Juan y de Pepe,
• Pepe, quería estar con Maria, Josefa, y Anastasia
• Anastasia,… y si, le gustaban
Borrachera 2006
• Maria gustaba de Juan y de Pepe,
• Pepe, quería estar con Maria, Josefa, y Anastasia
• Anastasia,… y si, le gustaban
Y así es donde entra el tema que nos convoca hoy, “las partuzas”
Borrachera 2006
• Maria gustaba de Juan y de Pepe,
• Pepe, quería estar con Maria, Josefa, y Anastasia
• Anastasia,… y si, le gustaban
Y así es donde entra el tema que nos convoca hoy, “las fiestitas”
Borrachera 2006
• Maria gustaba de Juan y de Pepe,
• Pepe, quería estar con Maria, Josefa, y Anastasia
• Anastasia,… y si, le gustaban
Y así es donde entra el tema que nos convoca hoy, “los grafos”
Borrachera 2006
Lo modelamos con un grafo...
Un grafo es un conjunto de puntos, o vértices, y un conjunto de aristas que unen algunos vértices. Podemos pensar a estas aristas como una “relación “ entre los vértices. Cuando dos vertices se relacionan, decimos que son adyacentes.
Borrachera 2006
Un grafo es un conjunto de puntos, o vértices, y una conjunto de aristas que unen algunos vértices. Podemos pensar a estas aristas como una “relación “ entre los vértices. Cuando dos vértices se relacionan, decimos que son adyacentes.
* Para nuestro modelo, vamos a suponer por un momento, que tenemos un grupo heterosexual.
* Vamos a suponer también, que vivimos en un mundo ideal, en el cual si Maria quiere estar con Juan, Juan quiere estar con Maria!!!
Lo modelamos con un grafo...
Borrachera 2006
Modelo: bipartito =heterosexual
Borrachera 2006
Looser = vértice aislado
No importa, Linux me quiere, he he
Borrachera 2006
… = vértice universal
Pero yo busco el amor…. Pero yo busco el amor….
Borrachera 2006
Condiciones para una “FIESTITA” :
Borrachera 2006
Condiciones para una “FIESTITA” :
• Todos los participantes de distintos sexos “se gustan”
Borrachera 2006
Condiciones para una “FIESTITA” :
• Todos los participantes de distintos sexos “se gustan”
• Cuanto más gente pueda participar mejor !!!!!!!!!!!!!!
Borrachera 2006
“FIESTITA” = BICLIQUE
• Todos los participantes de distintos sexos “se gustan”
Interpretado Interpretado en el grafoen el grafo
• Todos los vértices de distintas particiones “son adyacentes”, es decir, es bipartito completo
Borrachera 2006
“FIESTITA” = BICLIQUE
• Cuanto más gente pueda participar mejor !!!!
Interpretado Interpretado en el grafoen el grafo
• Es un conjunto maximal, en el sentido que al agregar cualquier otro vértice no cumple la condición anterior
Borrachera 2006
“FIESTITA” = BICLIQUE
Una Una bicliquebiclique de un grafo es un de un grafo es un subgrafo subgrafo inducido bipartito inducido bipartito completocompleto
maximal maximal Bipartito CompletoBipartito Completo: : Todos los vértices de distintas particiones “son adyacentes”
MaximalMaximal : Si se agrega otro vértice, no es completo
Borrachera 2006
Ejemplo: Grafo bipartito
Borrachera 2006
Bicliques:Bicliques: Ejemplo:
Borrachera 2006
Bicliques:Bicliques: Ejemplo:
Borrachera 2006
Bicliques:Bicliques: Ejemplo:
Borrachera 2006
Bicliques:Bicliques: Ejemplo:
Borrachera 2006
Ejemplo: Bicliques:Bicliques:
Borrachera 2006
Bicliques:Bicliques: Ejemplo:
Borrachera 2006
Bicliques:Bicliques: Ejemplo:
Borrachera 2006
Preguntas que podemos hacer:
Borrachera 2006
Preguntas que podemos hacer:
** Cuántas “fiestitas” podemos Cuántas “fiestitas” podemos organizar organizar
** Cual es la “fiestita” más Cual es la “fiestita” más grande que podemos organizar grande que podemos organizar
** A cuántas “fiestitas” va Pepe A cuántas “fiestitas” va Pepe
* * Quién es el mas fiesteroQuién es el mas fiestero
Borrachera 2006
Preguntas que podemos hacer:
** Número de bicliques contiene Número de bicliques contiene el grafo el grafo
** Tamaño de la biclique máxima Tamaño de la biclique máxima
** Cantidad de bicliques a las que Cantidad de bicliques a las que pertenece un vértice v: pertenece un vértice v: mmbb (v) (v)
* * Máximo número de bicliques Máximo número de bicliques que tienen un vértice en que tienen un vértice en comúncomún:M:Mbb(G)=(G)= max m max mbb (v) (v) v v
Borrachera 2006
Ejemplo: Bicliques:Bicliques:
Biclique máxima:Biclique máxima:
Borrachera 2006
Ejemplo: Bicliques:Bicliques:
Biclique máxima:Biclique máxima:
MMbb(G), Más fiestero:(G), Más fiestero:
Borrachera 2006
Ejemplo: Bicliques:Bicliques:
Biclique máxima:Biclique máxima:
MMbb(G), Más fiestero:(G), Más fiestero:
Borrachera 2006
Ejemplo: Bicliques:Bicliques:
Biclique máxima:Biclique máxima:
MMbb(G)=3, Más fiestero:(G)=3, Más fiestero:
Borrachera 2006
Problemas en grafos:** Número de bicliques contiene el grafo Número de bicliques contiene el grafo Resultado bipartitos: 2Resultado bipartitos: 2n/2n/2 (Prisner, (Prisner, 2000)2000)
**Tamaño de la biclique máxima: Tamaño de la biclique máxima: Resultado, bipartitos: Polinomial Resultado, bipartitos: Polinomial caso general: NP-completo
* * Cantidad de bicliques a las que Cantidad de bicliques a las que pertenece un vértice v: mb (v). pertenece un vértice v: mb (v). (Polinomial en mb(v))(Polinomial en mb(v)) * * Máximo número de bicliques que Máximo número de bicliques que tienen un vértice en comúntienen un vértice en común:M:Mbb(G)= (G)= max mmax mbb (v) (v) vv
Borrachera 2006
Listo. Ahora, tenemos que llevar a cabo nuestro experimento:
• Cada fiestita se realiza durante todo un día (…sin comentarios…)
Borrachera 2006
Listo. Ahora, tenemos que llevar a cabo nuestro experimento:
• Cada fiestita se realiza durante todo un día (…sin comentarios…)
• Contratamos un lugar, que nos cobra por día
Borrachera 2006
Listo. Ahora, tenemos que llevar a cabo nuestro experimento:
• Cada fiestita se realiza durante todo un día (…sin comentarios…)
• Contratamos un lugar, que nos cobra por día
• El lugar dispone de muuuchos “salones”, es decir, ésta no es una restricción
Borrachera 2006
1) Cuántos días debemos contratar el lugar?
(dos fiestitas que comparten una persona, no pueden desarrollarse a la vez)
2) Hay alguien que está “ocupado” durante TODO el experimento?
Borrachera 2006
1) Partición mínima de bicliques en conjuntos de bicliques independientes Fb(G)
2) Siempre vale que Mb(G) ≤ Fb(G).
Es cierto que Mb(G) = Fb(G) ?
1) Cuantas días debemos contratar el lugar?
(dos fiestitas que comparten una persona, no pueden desarrollarse a la vez)
2) Hay alguien que está “ocupado” durante todo el experimento?
Borrachera 2006
Ejemplo
Borrachera 2006
Todas se intersecan, por lo tanto deben ir a conjuntos diferentes
Borrachera 2006
Todas se intersecan, por lo tanto deben ir a conjuntos diferentes
LuneLuness MartesMartes
MiércolesMiércoles
JuevesJueves
ViernesViernes
FFb=5b=5, M, Mbb = =44
Borrachera 2006
Top Secret • En una de estas reuniones, Pedro, uno de
los participantes, cuenta un secreto propio.
Borrachera 2006
Top Secret • En una de estas reuniones, Pedro, uno de
los participantes, cuenta un secreto propio.
• Al cabo de unos días, este secreto se había esparcido entre todas las personas del grupo !(bueno, no, el looser no lo sabia…)
Borrachera 2006
Top Secret • En una de estas reuniones, Pedro, uno de
los participantes, cuenta un secreto propio.
• Al cabo de unos días, este secreto se había esparcido entre todas las personas del grupo !(bueno, no, el looser no lo sabia…)
Borrachera 2006
Top Secret • En una de estas reuniones, Pedro, uno de
los participantes, cuenta un secreto propio.
• Al cabo de unos días, este secreto se había esparcido entre todas las personas del grupo !(bueno, no, el looser no lo sabia…)
Borrachera 2006
Top Secret • En una de estas reuniones, Pedro, uno de
los participantes, cuenta un secreto propio.
• Al cabo de unas días, este secreto se había esparcido entre todas las personas del grupo !(bueno, no, el looser no lo sabia…)
Borrachera 2006
Top Secret • En una de estas reuniones, Pedro, uno de
los participantes, cuenta un secreto propio.
• Al cabo de unas horas, este secreto se había esparcido entre todas las personas del grupo !(bueno, no, el looser no lo sabia…)
• Queremos que saber si hay soplones, o es el mismo Pedrito que lo anda contando en todas sus fiestitas.
Borrachera 2006
- Todo par de fiestitas, tiene un integrante en común. Esto implica que todas tenían a Pedro?
Borrachera 2006
- Todo par de fiestitas, tiene un integrante en común. Esto implica que todas tenían a Pedro?
Borrachera 2006
- Todo par de fiestitas, tiene un integrante en común. Esto implica que todas tenían a Pedro?
Borrachera 2006
- Todo par de fiestitas, tiene un integrante en común. Esto implica que todas tenían a Pedro?
Borrachera 2006
- Todo par de fiestitas, tiene un integrante en común. Esto implica que todas tenían a Pedrito?
Esta propiedad, es la Esta propiedad, es la propiedad de propiedad de HellyHelly : : Toda subfamilia de conjuntos que se Toda subfamilia de conjuntos que se interseca dos a dos, tiene intersección interseca dos a dos, tiene intersección total no vacía.total no vacía.
Borrachera 2006
Pedrito
Problema: Dado un grafo G, es G biclique-Problema: Dado un grafo G, es G biclique-Helly? Polinomial Helly? Polinomial
- Todo par de fiestitas, tiene un integrante en común. Esto implica que todas tenían a Pedrito?
Borrachera 2006
Grafo de intersección de fiestitas = Grafo Biclique
• Por cada biclique, ponemos un vértice, y decimos que dos bicliques se relacionan si las bicliques tienen un vértice en común:
• Esta construcción genera un grafo que contiene la información de cómo están relacionadas las bicliques, en este caso, las fiestitas, entonces, por ejemplo, podemos buscar “caminos” entre dos fiestitas, para pasar un mensaje:
Borrachera 2006
Grafo Biclique
Borrachera 2006
Grafo Biclique
Shh, no se lo Shh, no se lo digas a digas a nadie..nadie..
Borrachera 2006
Grafo Biclique
Te lo digo a Te lo digo a vos pero a vos pero a nadie másnadie más
Borrachera 2006
Grafo Biclique
Te lo cuento porque confío Te lo cuento porque confío en vos, pero shhen vos, pero shh
Borrachera 2006
Grafo Biclique
Quéeeeee!!!!Quéeeeee!!!!
Borrachera 2006
No está buena?
Borrachera 2006
Mundo Bisexual
Borrachera 2006
Mundo Bisexual
Borrachera 2006
Mundo Bisexual
Borrachera 2006
Mundo Bisexual
Borrachera 2006
Mundo Bisexual
Borrachera 2006
Mundo Bisexual
Borrachera 2006
Las bicliques también aparecen en
• Teoría de autómatas • Teoría de lenguajes• Inteligencia artificial • Biología.
Nos olvidamos de las fiestas por un rato…
Borrachera 2006
• Coloreo• Partición de Cliques (Otra que “fiestita”)• Matching (Armado de parejas)• Camino mínimo
Otros problemas en grafos:
Grafos de interseción: - De intervalos, - de cliques, - de cuerdas en un círculo,
Borrachera 2006
Los nombres/personajes que aparecen en esta presentación son ficticios.
Cualquier similitud con la
realidad, es pura coincidencia
Borrachera 2006
Ventajas de trabajar en grafos…
Borrachera 2006Mi lugar de trabajo