Sie sind auf Seite 1von 16

t r

tr
t srt rs
r rts s

tr rt sts
r tt

Programa
Resolviendo problemas de recoleccin de residuos urbanos mediante programacin lineal entera, Javier Marenco
5
Stable Partitions in Division Problems, Alejandro Neme

Una nota sobre el juego de asignacin muchos-a-uno con preferencias substituibles y separables, Jorge Oviedo
6
Caracterizaciones de grafos (k)-intervalo, Florencia Fernndez Slezak
Design and Control of Public-Service Contracts and an Application to Public Transportation Systems, Nicols Stier Moses
7
A Branch-and-Cut Algorithm for a Generalized Linear Ordering
Problem, Isabel Mendez-Diaz y Gustavo Vulcano
8
Adversarial Classification Using Signaling Games: An Application
to Phishing Detection, Richard Weber
8
Mathematical Programming as a Tool for Virtual Soccer Coaches:
A Case Study of a Fantasy Sport Game, Guillermo Durn
9
Acerca de la primera clausura de Chvtal del poliedro de recubrimientos asociado a matrices circulantes, Luis Miguel Torres
9
On b-coloring graphs with stability number two, Flavia Bonomo 10
Algoritmos de complejidad O(n) para Problemas de Dominating
Induced Matching, Min Chih Lin
10
Como colorear el cuadrado del grafo de Kneser K(2k + 1, k), Mario
Valencia-Pabon
11
Programacin entera para la planificacin del men semanal de
comidas de un sanatorio de la Provincia de Buenos Aires, Sebastin Guala
11
Optimizacin de la Asignacin Conductores-Viajes en una empresa
de transporte: un algoritmo de mejora basado en un modelo
de Programacin Lineal Entera, Graciela Nasini
11
EPT and equistable graphs, Liliana Alcn

12

EPT graphs: Relationship between the maximum degree h of the


host tree and the length n of the longest chordless cycle (n 4),
Maria Pa Mazzoleni
14
Interseccin de cliques y aristas y caminos en los rboles clique de
los grafos cordales, Pablo de Caria
15

Un Modelo de Programacin Lineal Entera para la Planificacin de


Cursos y Relatores del Programa Construyendo mis Sueos
de la Universidad de Chile, Diego Pinto Valds
15

Resolviendo problemas de recoleccin de residuos


urbanos mediante programacin lineal entera
Javier Marenco 1
Universidad Nacional de General Sarmiento
Los problemas de recoleccin de residuos urbanos estn relacionados con dos
problemas clsicos de optimizacin combinatoria: el problema del viajante de
comercio (TSP) y el problema del cartero chino (CPP). Problemas de recoleccin relacionados con el TSP aparecen cuando los vehculos encargados de la
recoleccin deben pasar por puntos fijos, como contenedores o sitios de concentracin de residuos. Problemas de recoleccin relacionados con el CPP aparecen
cuando los vehculos encargados de la recoleccin deben pasar por los frentes de
todas las viviendas.
El TSP es NP-hard, mientras que el CPP es resoluble en tiempo polinomial.
A pesar de que el TSP es NP-hard, actualmente existe software que permite
resolver en poco tiempo instancias muy grandes, con lo cual se esperara que
los problemas de optimizacin que surgen en el contexto de la planificacin
de la recoleccin de residuos urbanos fueran fciles de resolver. Sin embargo,
esto no siempre es as en la prctica dado que es necesario contemplar otras
restricciones, como por ejemplo el desgaste de los vehculos, su capacidad de
maniobra y las reglas de trnsito, entre otras. Finalmente, la necesidad de
dividir la ciudad en reas razonablemente homogneas agrega una complicacin
adicional al problema.
En esta charla presentaremos este tipo de problemas, las restricciones que
surgen habitualmente, y algunas tcnicas para encarar su resolucin en la prctica.

Stable Partitions in Division Problems


Alejandro Neme 2
Universidad Nacional de San Luis
We study how to partition a set of agents in a stable way when each coalition
in the partition has to share a unit of a perfectly divisible good, and each agent
has symmetric single-peaked preferences on the unit interval of his potential
shares. A rule on the set of preference profiles consists of a partition function
and a solution. Given a preference profile, a partition is selected and as many
units of the good as the number of coalitions in the partition are allocated, where
each unit is shared among all agents belonging to the same coalition according
to the solution. A rule is stable at a preference profile if no agent strictly
prefers to leave his coalition to join another coalition and all members of the
receiving coalition want to admit him. We show that the proportional solution
and all sequential dictator solutions admit stable partition functions. We also
show that stability is a strong requirement that becomes easily incompatible
1 Trabajo conjunto con Flavia Bonomo, Guillermo Durn, Federico Larumbe y Francisco
Wesner. jmarenco@ungs.edu.ar
2 aneme@unsl.edu.ar

with other desirable properties like efficiency, strategy-proofness, anonymity,


and non-envyness.

Una nota sobre el juego de asignacin muchos-auno con preferencias substituibles y separables
Jorge Oviedo 3
Universidad Nacional de San Luis
Cuando mecanismos estables se usan en modelos de asignacin bilateral
muchos-a-uno emergen preguntas sobre incentivos de ambos lados del mercado.
Sotomayor (2012) mostr en el modelo de asignacin bilateral muchos-a-uno con
preferencias responsiva:
Teorema general de manipulabilidad: si hay mas de una asignacin estable
al menos un agente puede beneficiarse si declara una preferencia diferente
a la verdadera.
Que los resultados de equilibrio de Nash del juego asociado a un modelo
de asignacin bilateral muchos a uno coincide con las asignaciones individualmente racional.
Nosotros generalizamos estos resultados al modelo de asignacin bilateral muchos a uno con preferencias substituibles y separables. Mostramos ejemplos
donde no se puede generalizar los resultados en el modelo con preferencias solo
substituibles.

Caracterizaciones de grafos (k)-intervalo


Florencia Fernndez Slezak 4
Universidad de Buenos Aires
Un grafo de intervalo unitario es un grafo de intervalo con una representacin
cuyos elementos tienen todos la misma longitud. Se sabe que un grafo de intervalo unitario admite un modelo cuyos intervalos son de la misma longitud
y adems poseen extremos enteros. Sea k N0 , diremos que G es un grafo
(k)-intervalo sii G es un grafo de intervalo unitario que admite un modelo de
intervalos abiertos de longitud k con extremos enteros. Anlogamente, definimos
los grafos [k]-intervalo como aquellos grafos de intervalo unitario que admiten
un modelo con las mismas caractersticas pero de intervalos cerrados.
Presentaremos una caracterizacin estructural de los vrtices simpliciales de
un grafo de intervalo unitario sin gemelos, que lleva a una caracterizacin de
los grafos (k)-intervalo cuando k 3, mediante la lista completa de subgrafos
3 joviedo12@gmail.com
4 Trabajo conjunto con Guillermo Durn (Universidad de Buenos Aires), Luciano Grippo
(Universidad Nacional de General Sarmiento), Fabiano Oliveira (Universidade do Estado
do Rio de Janeiro) y Jayme Szwarcfiter (Universidade Federal do Rio de Janeiro). ffslezak@gmail.com

prohibidos minimales as como tambin mediante su grado mximo. Se presentar tambin una caracterizacin de los grafos (k)-intervalo en trminos de
potencias de caminos, continuando los resultados obtenidos por Lin, Rautenbach, Soulignac y Szwarcfiter (2011). Tambin mostraremos familias de grafos
prohibidos para grafos (k)-intervalo cuando k 4.
Adems, se mostrar una equivalencia entre los grafos [k]-intervalo y los (k)intervalo, lo que permite utilizar los resultados hallados hasta el momento para
intervalos abiertos en los grafos con intervalos cerrados.
Finalmente, mostraremos algunos problemas abiertos sobre los que nos encontramos actualmente trabajando.

Design and Control of Public-Service Contracts


and an Application to Public Transportation Systems
Nicols Stier Moses 5
Columbia University and Universidad Torcuato Di Tella
Until the end of the 20th century it was common that cities organized, financed and managed their own public transportation systems. More recently
in Italy mainly during the last decademany countries liberalized the service
provision of public transportation. Indeed, while offering local public transportation is a political and financial duty of governments, the service provision
is outsourced to a private Operator, while the government retains a control
position, given to a regulatory Agency. This is a common scheme not only in
transportation.
In close collaboration with the public transportation agency of the city of
Bologna, Italy, we designed a methodology to optimize some aspects of the
contractual relationship between that Agency and the bus Operator. We focus
on the fines specified by the contract when the Operator fails to comply with
the service level it has agreed to provide, and on a procedure to measure that
service level. Our approach has the benefit that it aligns the incentives of both
parties in the benefit of bus riders. We model the Agency-Operator relationship
as a multi-stage game and find its equilibrium to establish the best operating
regime. The game theoretic approach provides expressions for the fines that
the Operator should be charged if it does not satisfy the contracted services,
and for the optimal Agencys budget to devote to control activities. Second, to
check the compliance of the Operator to the schedule specified by the contract
in a resource efficient way, we compute how to position the Agencys employees
to verify if buses are running according to the specification in the contract.
This is achieved by counting bus services and checking other quality indicators.
We formulate this NP-hard problem as a Mixed Integer Linear Program, and
propose an algorithm to solve it that is effective in providing itineraries for the
controllers working for the Agency.
5 nstier@utdt.edu

A Branch-and-Cut Algorithm for a Generalized


Linear Ordering Problem
Isabel Mendez-Diaz and Gustavo Vulcano 6
DC, Universidad de Buenos Aires. L.N. Stern School of Business,
New York University
We consider a generalized version of the linear ordering problem, where there
is a reward associated with having a given element in front of a predefined set of
other elements. The objective is to find a linear order that maximizes the sum
of the rewards. The problem arises naturally as a subproblem of the estimation
of a non-parametric, choice-based demand model, which is of current interest
both in the academic and industry practice of retail operations and revenue
management.
We characterize the dimension of the underlying polytope associated with
the MIP formulation, and characterize a set of valid inequalities. Then, these
inequalities are embedded in a branch-and-cut (B&C) algorithm. When comparing the performance of our B&C with that of the standard Cplex, we observe
a significant reduction in the computational burden. We also provide numerical
evidence of the performance of our B&C within the context of the motivating
(master) estimation problem.

Adversarial Classification Using Signaling Games:


An Application to Phishing Detection
Richard Weber 7
Universidad de Chile
Adversarial classification is characterized by the interaction between classifiers and adversaries that can be modeled as a game between two players. It is
natural to model this interaction as a dynamic game of incomplete information,
since the classifier does not know the exact intentions of the different types of
adversaries (senders). For these games, equilibrium strategies can be approximated, and considered as an input for classification models. In this paper, we
show how to model such interactions between players, as well as directions on
how to approximate their mixed strategies. We propose perceptron-like machine
learning approximations as well as adversary-aware online support vector machines (AAO-SVM). Results in a real-world adversarial environment show that
our approach is competitive against benchmark online learning algorithms, and
provides important insights into the complex relation among players.
6 Joint work with Paula Zabala (DC, Universidad de Buenos Aires and CONICET).
imendez@dc.uba.ar, gvulcano@stern.nyu.edu, pzabala@dc.uba.ar.
7 Joint work with Nicolas Figueroa and Gastn LHuillier. rweber@dii.uchile.cl

Mathematical Programming as a Tool for Virtual


Soccer Coaches: A Case Study of a Fantasy Sport
Game
Guillermo Durn 8
Universidad de Buenos Aires, Universidad de Chile
General awareness of the potential of mathematics to support sports decisionmaking has been raised by the movie Moneyball through its portrayal of a
real professional American baseball club that used mathematical tools to improve team performance. This article addresses the same challenge, using as a
test case a fantasy sport game organized by an Argentinian newspaper. Two
mathematical programming models are presented that act as virtual coaches
which choose a virtual team lineup for each round of the real Argentinian soccer league. The a priori design creates a competitive team for the game while
the a posteriori model determines what would have been its optimal lineup once
the season is over and all the results are known. The a priori model was entered
in the fantasy game, achieving results that positioned it among the highestscoring participants. Further development of such models would provide useful
tools for supporting decision-making by coaches or managers of real sports.

Acerca de la primera clausura de Chvtal del poliedro


de recubrimientos asociado a matrices circulantes
Luis Miguel Torres 9
Escuela Politcnica Nacional, Quito, Ecuador
El problema de recubrimiento (set covering problem) es uno de los problemas clsicos de optimizacin combinatoria, y ha sido ampliamente investigado
desde el punto de vista de la teora poliedral. En particular, trabajos recientes
se han ocupado del estudio del poliedro de recubrimiento asociado a matrices
circulantes. Bianchi et al. introdujeron la clase de "desigualdades de menores" y
caracterizaron condiciones para que las mismas definan facetas. Asimismo, demostraron que para ciertas matrices circulantes, las desigualdades de menores,
conjuntamente con las condiciones de no negatividad y la desigualdad de rango
proveen una descripcin lineal completa del poliedro de recubrimiento.
Todas las desigualdades de menores tienen rango de Chvtal igual a uno
con respecto a la relajacin fraccionaria del poliedro, y no se conocen hasta el
momento facetas del poliedro de recubrimiento asociado a matrices circulantes
que tengan un rango mayor. El objetivo del presente trabajo es avanzar un
poco ms en la comprensin de la primera clausura de Chvtal de la relajacin
fraccionaria de este poliedro. Conseguimos generalizar la clase de desigualdades
de menores y obtener nuevas facetas del poliedro de recubrimiento, cuyo rango
de Chvtal se mantiene igual a uno.
8 Joint

work with F. Bonomo and J. Marenco. g_a_duran@yahoo.com

9 luis.torres@epn.edu.ec

On b-coloring graphs with stability number two


Flavia Bonomo 10
Universidad de Buenos Aires
A b-coloring of a graph is a proper coloring such that every color class
contains a vertex that is adjacent to all other color classes. The b-chromatic
number of a graph G, denoted by b (G), is the maximum number t such that G
admits a b-coloring with t colors. A graph G is called b-continuous if it admits
a b-coloring with t colors, for every t = (G), ..., b (G), and b-monotonic if
b (H1 ) is at most b (H2 ) for every induced subgraph H1 of G, and every induced
subgraph H2 ofH1 .
We investigate the b-chromatic number of graphs with stability number two.
These are exactly the complements of triangle-free graphs, thus including all
complements of bipartite graphs. The main results of this work are the following:
We characterize the b-colorings of a graph with stability number two in
terms of matchings with no augmenting paths of length one or three.
We derive that graphs with stability number two are b-continuous and
b-monotonic.
We prove that it is NP-complete to decide whether the b-chromatic number of a co-bipartite graph is at most a given threshold.
We describe a polynomial time dynamic programming algorithm to compute the b-chromatic number of co-trees.
Extending several previous results, we show that there is a polynomial time
dynamic programming algorithm for computing the b-chromatic number
of tree-cographs. Moreover, we show that tree-cographs are b-continuous
and b-monotonic.

Algoritmos de complejidad O(n) para Problemas


de Dominating Induced Matching
Min Chih Lin 11
Universidad de Buenos Aires
Describimos algoritmos de tiempo O(n) for encontrar dominating induced
matching de peso mnimo para grafos cordales, grafos dualmente cordales, grafos
biconvexos, y grafos claw-free. Para las primeras 3 clases, probamos cotas superiores ajustadas de valor O(n) para el nmero mximo de aristas que un grafo
que posee algun dominating induced matching. Aplicando estas cotas, contar
las aristas y utilizando algoritmos existentes de tiempo O(n + m) se reduce la
complejidad a O(n). Para grafos claw-free, desarrollamos un algoritmo basado
en un algoritmo de Cardoso, Koperlainen y Lozin que resuelve la versin sin
peso del problema, esta modificacin reduce la compledad de O(n2 ) a O(n),
adems permite resolver la versin con peso.
10 Joint
work with Oliver Schaudt, Maya Stein and Mario Valencia-Pabon.
fbonomo@dc.uba.ar
11 Trabajo conjunto con Michel Mizrahi (Universidad de Buenos Aires), Jayme L. Szwarcfiter
(Universidade Federal do Rio de Janeiro). minchihlin@gmail.com

10

Como colorear el cuadrado del grafo de Kneser


K(2k + 1, k)
Mario Valencia-Pabon 12
Laboratoire dInformatique de Paris Nord
En esta charla, se discutir un mtodo algebraico simple y elegante para
obtener una cota superior al nmero cromtico del cuadrado del grafo de Kneser
K(2k + 1, k). La charla esta basada en el ltimo resultado de S. Kim y Boram
Park, Discr. Math. 2014 (por aparecer).

Programacin entera para la planificacin del men


semanal de comidas de un sanatorio de la Provincia de Buenos Aires
Sebastin Guala 13
Instituto de Ciencias, Universidad Nacional de General Sarmiento
La programacin de comidas en centros de salud siempre ha sido un rea
compleja que involucra varios factores: estndares alimentarios, variedad, costos
y aspectos culturales. En este trabajo presentamos el desarrollo de un modelo de
programacin entera para la planificacin de un men semanal de comidas para
un sanatorio de la Provincia de Buenos Aires. En este contexto, la programacin
del men contempla los almuerzos y las cenas, y cada comida se compone de
entrada, plato principal ms guarnicin y postre. El objetivo de la planificacin
es proponer un men semanal que minimice los costos respetando las exigencias de variedad de platos que se ajusten al gusto local. Dentro del marco de
los estndares alimentarios se plantearon dos escenarios: uno restringido a los
estndares recomendados por organismos internacionales y otro ms cercano a
las caractersticas culturales de los pacientes. Los resultados muestran mejoras
de un 20% a un 25% comparados con los costos obtenidos por los mtodos manuales utilizados actualmente.
Palabras clave: planificacin semanal, comidas, programacin lineal entera

Optimizacin de la Asignacin Conductores-Viajes


en una empresa de transporte: un algoritmo de
mejora basado en un modelo de Programacin
Lineal Entera
Graciela Nasini

14

12 valencia@lipn.univ-paris13.fr
13 Trabajo

conjunto con Javier Marenco. sguala@ungs.edu.ar, jmarenco@ungs.edu.ar


conjunto con Daniel Severin (UNR-CONICET) y Mara Eugenia Alvarado
(UNR). nasini@fceia.unr.edu.ar
14 Trabajo

11

Universidad Nacional de Rosario, CONICET


Una empresa de transporte interurbano de la Provincia de Buenos Aires debe
garantizar unos 700 viajes diarios correspondientes a los distintos ramales de dos
lneas a su cargo, las cuales coinciden en una de sus puntas . Para ello cuenta
con una planta de 200 conductores y 95 coches en dos depsitos ubicados en las
puntas de una de las lneas. La asignacin de conductores-viajes, o equivalentemente la diagramacin de la jornada laboral de cada uno de sus empleados, es
determinante en los costos de la empresa, principalmente lo referido al pago de
horas extras. Originalmente, la planificacin se haca asignando a cada conductor viajes de una nica lnea. Es sencillo observar que permitiendo combinar
viajes de las dos lneas en una jornada laboral, las mismas tienden a uniformarse
en su duracin y los costos disminuyen significativamente. Sin embargo, la tarea
de asignacin conductores-viajes resulta mucho ms compleja y casi imposible
de realizar manualmente. As, la empresa adquiere una herramienta informtica
comercial, de reconocido prestigio internacional. Sin embargo, esta herramienta
no permite parametrizar la totalidad de los acuerdos laborales especficos de la
empresa con sus trabajadores y, por lo tanto, las soluciones que provee muchas
veces no son factibles de implementar. Por otro lado, estas soluciones tampoco
son siempre ptimas en trminos de costos. La tarea de disminuir las infactibilidades y mejorar los costos de las soluciones realizando ciertos intercambios entre
los viajes asignados a dos o ms conductores insume actualmente un da de trabajo de dos empleados del rea de planificacin. En este trabajo se propone
un modelo de Programacin Lineal Entera que optimiza los costos teniendo en
cuenta la totalidad de los acuerdos laborales. Mientras que la resolucin del
modelo considerando la totalidad de los viajes es prohibitiva por la gran dimensin del problema, el mismo se resuelve en menos de un segundo cuando la
cantidad de viajes es del orden de 20. Esto ltimo permiti disear un algoritmo
de mejora que reemplaza la tarea manual que realizan los empleados del rea
de planificacin y provee mejores soluciones en pocas horas de ejecucin.

EPT and equistable graphs


Liliana Alcn 15
Universidad Nacional de La Plata
In 1977, Chvtal and Hammer introduced threshold graphs as those graphs
G = (V, E) for which there exists a positive integer t and a weight function
w : V N such that a subset S V is a stable set of G if and only if
vS w(v) t. In 1980, Payan introduced equistable graphs as a generalization
of threshold graphs: A graph G = (V, E) is called equistable if and only if there
exists a positive integer t and a weight function w : V N on the vertices of G
such that a subset S V is an (inclusion-wise) maximal stable set of G if and
only if vS w(v) = t.
Threshold graphs are well understood, admitting several characterizations,
efficient recognition algorithms, and efficient algorithms for many optimization
problems. This is not the case for equistable graphs: the complexity status
of recognizing equistable graphs is open, and no combinatorial characterization
15 Joint

work with M. Gutierrez, I. Kovacs and M. Milanic. liliana@mate.unlp.edu.ar

12

of equistable graphs is known. It is not even known whether recognizing an


equistable graph is in NP.
Moreover, verifying whether a given weight function on the vertices of a
graph G is an equistable weight function of G is co-NP-complete, indicating
that any polynomial time recognition algorithm of equistable graphs (if there
is one) would most probably have to rely on the structural properties of equistable graphs. Although no combinatorial characterization of equistable graphs
is known, there are some necessary and sufficient conditions of a combinatorial flavor for a graph to be equistable. Mahadev et al. showed the following
necessary condition, expressed in terms of induced 4-vertex paths and maximal
stable sets. We say that an induced 4-vertex path P4 (a, b, c, d) in a graph G is
bad if there exists a maximal stable set S in G containing a and d such that no
vertex from S is adjacent both to b and c.
Theorem 1. If G is equistable, then G contains no bad P4 .
In the same paper, Mahadev et al. also introduced a subclass of equistable
graphs, the so-called strongly equistable graphs. For a graph G, we denote by
S(G) the set of all maximal stable sets of G, and by T (G) the set of all other
nonempty subsets of V (G). A graph G = (V, E) is said to be strongly equistable
if for each T T (G) and each 1 there exists a function : V R+ such
that (S) = 1 for all S S(G), and (T ) = . Mahadev et al. showed that
every strongly equistable graph is equistable, and conjectured that the converse
assertion is valid.
Theorem 2 (Mahadev-Peled-Sun). All strongly equistable graphs are equistable.
Conjecture 1 (Mahadev-Peled-Sun). All equistable graphs are strongly equistable.
The conjecture is still open. Equistable and strongly equistable graphs are
related to two other combinatorially defined graph classes, the so-called general
partition graphs and the triangle graphs. A graph G = (V, E) is a general
partition graph if there exists a set U and an assignment of non-empty subsets
Ux U to the vertices of G such that two vertices x and y are adjacent if
and only if Ux Uy = , and for every maximal stable set S of G, the set
{Ux : x S} is a partition of U .
A graphs G satisfies the triangle condition if for every maximal stable set
S in G = (V, E) and every edge uv in G S there is a vertex s S such that
{u, v, s} induces a triangle in G.
The triangle condition was introduced by McAvaney et al., who proved that
all general partition graphs satisfy the triangle condition.
A strong clique in a graph G as a clique that meets all maximal stable sets.
The following characterization of general partition graphs might be useful for
proving that a graph is a general partition graph:
Theorem 3. Let G be a graph. The following are equivalent:
(i) G is a general partition graph.
(ii) Every edge of G is contained in a strong clique.
The following lemma is due to Jim Orlin.
13

Lemma 4. All general partition graphs are equistable.


Theorem 5 (Mahadev, N. V. R. and Peled, Uri N. and Sun, Feng). All general
partition graphs are strongly equistable.
The following conjecture due to Jim Orlin states that the converse of the
previous theorem is valid.
Conjecture 2. All equistable graphs are general partition graphs.
Conjectures 2 and 1 have been solved in the class of chordal graphs and
in the class of line graphs. In this talk, I will present some advances in the
study of equistable graphs in the class of EP T graphs. EPT graphs are the
edge intersection graphs of undirected paths in an undirected tree. They were
introduced by Monma and Wei, and generalize interval graphs, and line graphs
(which are edge intersection graphs of undirected paths in a star). Recognizing
EPT graphs was proved to be NP-complete by Golumbic and Jamison.

EPT graphs: Relationship between the maximum


degree h of the host tree and the length n of the
longest chordless cycle (n 4)
Maria Pa Mazzoleni 16
Departamento de Matemtica, Universidad Nacional de La Plata
and CONICET
An (h, s, t)-representation of a graph G consists of a collection of subtrees
of a tree T , where each subtree corresponds to a vertex in G, such that (i) the
maximum degree of T is at most h, (ii) every subtree has maximum degree at
most s, (iii) there is an edge between two vertices in the graph G if and only
if the corresponding subtrees have at least t vertex in common in T . The class
of graphs that have an (h, s, t)-representation is denoted by [h, s, t]. It is known
that [, 2, 2] = EP T , [3, 2, 2] = EP T chordal and [4, 2, 2] = EP T weakly
chordal.
It was an open question17 to know the relationship between the maximum
degree h of the host tree and the length n of the longest chordless cycle (n 4).
It is known that if G [h, 2, 2], then G has no chordless cycle Cn for n h + 1,
since there is a unique EP T representation of Cn as a pie with n slices. The
converse is true for h = 3, since G must be chordal. The converse is false for
h = 4, since the graph C6 has no chordless cycle greater than 4 and C6
/ [4, 2, 2].
It was an open question to know if the converse is true for h 5. We prove that
the converse is false for h 5. That is, we find a family Fi,j,k , with i, j, k 1,
such that if i + j + k + 2 = h, then Fi,j,k [h, 2, 2] [h 1, 2, 2] and Fi,j,k is
{Cn , n h}-free.
16 Joint work with Liliana Alcn (Departamento de Matemtica, UNLP) and Marisa Gutierrez (Departamento de Matemtica, UNLP and CONICET). pia@mate.unlp.edu.ar
17 Equivalences and the complete hierarchy of intersection graphs of paths in a tree, Discrete
Applied Mathematics. 156 (2008) 3203-3215.

14

Interseccin de cliques y aristas y caminos en los


rboles clique de los grafos cordales
Pablo de Caria 18
Universidad Nacional de La Plata
Los grafos cordales, aquellos sin ciclos inducidos de longitud mayor a tres,
pueden caracterizarse por la existencia de un rbol clique. Un rbol clique T de
un grafo cordal G posee a los cliques de G como vrtices y, para todo vrtice v
de G, el conjunto de cliques que tienen a v como elemento induce un subrbol en
T . De esta definicin se infiere que todo rbol clique de G es un rbol generador
del grafo clique de G, por lo que sus aristas tienen como extremos a cliques
de G con interseccin no vaca. Sin embargo, no es necesariamente cierto que
cualquier par de cliques de G con interseccin no vaca aparezca como arista de
algn rbol clique de G. En esta exposicin se estudiarn los grafos cordales en
los que s toda arista del grafo clique es arista de algn rbol clique. Ms aun,
tambin se considerarn a los grafos cordales en los que todo camino del rbol
clique es camino de algn rbol clique. Se mostrar que estos grafos pueden
caracterizarse a travs de subgrafos prohibidos minimales y, en base a ello, se
obtendrn propiedades adicionales acerca de los rboles clique de estos grafos.

Un Modelo de Programacin Lineal Entera para


la Planificacin de Cursos y Relatores del Programa Construyendo mis Sueos de la Universidad de Chile
Diego Pinto Valds 19
Universidad de Chile
El programa de capacitacin a microempresarios "Construyendo Mis Sueos",
dependiente de la Universidad de Chile, desarrolla una serie de cursos con el
aporte voluntario de un conjunto de relatores. Todos los semestres se planifica
el dictado de los cursos, determinando el cronograma de clases de cada uno y
los relatores asignados a cada clase. Se trata de un problema de muy difcil
tratamiento manual y de mltiples restricciones que dan lugar a una separacin
del problema en dos, en orden de reflejar la realidad de la mejor manera posible.
El diagnstico que da lugar al problema incluye lo siguiente:
- Baja estandarizacin de procesos de coordinacin.
- Calendario de cursos/relatores asignado segn disponibilidad inmediata y
no a mediano o largo plazo.
- Calendario extremadamente operacional (por necesidad de cursos), realizado prcticamente da a da.
- Baja estandarizacin en los procesos de aviso de clases a los relatores.
-Distribucin a corto plazo de tiempos destinados a Construyendo Mis
Sueos de los relatores.
18 pablodc72@hotmail.com
19 diegopintovaldes@gmail.com

15

- Baja o nula priorizacin de calidad para la asignacin de relatores a cursos,


lo que se traduce muchas veces en baja calidad de las clases.
En este trabajo se presenta un modelo de programacin lineal entera para
realizar esta tarea automticamente, el cual pretende maximizar la calidad total
de los cursos, adems de reducir la distancia total que recorren los relatores desde
sus hogares a los lugares de ejecucin de las clases y maximizar la coincidencia de
relatores a clases del mismo curso. El modelo permite resolver instancias reales
en pocos minutos, y est en instancias de implementacin en Construyendo Mis
Sueos. Se espera utilizarlo para la programacin de los cursos del semestre
otoo 2014.

16

Das könnte Ihnen auch gefallen