DSpace Collection:
http://hdl.handle.net/2117/3199
2014-12-23T04:25:57ZOn perfect and quasiperfect dominations in graphs
http://hdl.handle.net/2117/24831
Title: On perfect and quasiperfect dominations in graphs
Authors: Cáceres, José; Hernando Martín, María del Carmen; Mora Giné, Mercè; Pelayo Melero, Ignacio Manuel; Puertas, M. Luz2014-11-25T10:36:52ZLD-graphs and global location-domination in bipartite graphs
http://hdl.handle.net/2117/24830
Title: LD-graphs and global location-domination in bipartite graphs
Authors: Hernando Martín, María del Carmen; Mora Giné, Mercè; Pelayo Melero, Ignacio Manuel
Abstract: A dominating setS of a graph G is a locating-dominating-set, LD-set for short, if every vertex v not in S is uniquely determined by the set of neighbors of v belonging to S. Locating-dominating sets of minimum cardinality are called LD - codes
and the cardinality of an LD-code is the
location-domination number
,
¿
(
G
).
An LD-set
S
of a graph
G
is
global
if it is an LD-set for both
G
and its complement,
G
. One of the main contributions of this work is the definition of the
LD-graph
,an
edge-labeled graph associated to an LD-set, that will be very helpful to deduce some
properties of location-domination in graphs. Concretely, we use LD-graphs to study
the relation between the location-domination number in a bipartite graph and its
complement2014-11-25T10:34:30ZThe graph distance game and some graph operations
http://hdl.handle.net/2117/24796
Title: The graph distance game and some graph operations
Authors: Cáceres, José; Hernando Martín, María del Carmen; Mora Giné, Mercè; Pelayo Melero, Ignacio Manuel; Puertas, M. Luz
Abstract: In the graph distance game, two players alternate in constructing a max-
imal path. The objective function is the distance between the two endpoints of the
path, which one player tries to maximize and the other tries to minimize. In this paper
we examine the distance game for various graph operations: the join, the corona and
the lexicographic product of graphs. We provide general bounds and exact results for
special graphs2014-11-21T12:24:49ZOn k-enclosing objects in a coloured point set
http://hdl.handle.net/2117/24559
Title: On k-enclosing objects in a coloured point set
Authors: Barba, Luis; Durocher, Stephane; Fraser, Robert; Hurtado Díaz, Fernando Alfredo; Mehrabi, Saeed; Mondal, Debajyoti; Morrison, Jason Morrison; Skala, Matthew; Wahid, Mohammad Abdul
Abstract: We introduce the exact coloured
k
-enclosing object
problem: given a set
P
of
n
points in
R
2
, each of
which has an associated colour in
f
1
;:::;t
g
, and a vec-
tor
c
= (
c
1
;:::;c
t
), where
c
i
2
Z
+
for each 1
i
t
,
nd a region that contains exactly
c
i
points of
P
of
colour
i
for each
i
. We examine the problems of nd-
ing exact coloured
k
-enclosing axis-aligned rectangles,
squares, discs, and two-sided dominating regions in a
t
-coloured point set2014-11-04T19:07:20ZCell-paths in mono- and bichromatic line arrangements in the plane
http://hdl.handle.net/2117/24536
Title: Cell-paths in mono- and bichromatic line arrangements in the plane
Authors: Aichholzer, Oswin; Cardinal, Jean; Hackl, Thomas; Hurtado Díaz, Fernando Alfredo; Korman Cozzetti, Matias; Pilz, Alexander; Silveira, Rodrigo Ignacio; Uehara, Ryuhei; Vogtenhuber, Birgit; Welzl, Emo
Abstract: We show that in every arrangement of n red and blue lines | in general position and not all of the same color | there is a path through a linear number of cells where red and blue lines are crossed alternatingly (and
no cell is revisited). When all lines have the same color, and hence the preceding alternating constraint is dropped, we prove that the dual graph of the arrangement always contains a path of length (n2).2014-10-31T18:38:08ZSoftware for discussing parametric polynomial systems : the Gröbner cover
http://hdl.handle.net/2117/24349
Title: Software for discussing parametric polynomial systems : the Gröbner cover
Authors: Montes Lozano, Antonio; Wibmer, Michael
Abstract: We present the canonical Gröbner Cover method for discussing parametric polynomial systems of equations. Its objective is to decompose the parameter space into subsets (segments) for which it exists a generalized reduced Gröbner basis in the whole segment with fixed set of leading power products on it. Wibmer's Theorem guarantees its existence. The Gröbner Cover is designed in a joint paper of the authors, and the Singular grobcov.lib library [15] implementing it, is developed by Montes. The algorithm is canonic and groups the solutions having the same kind of properties into different disjoint segments. Even if the algorithms involved have high complexity, we show how in practice it is effective in many applications of medium difficulty. An interesting application to automatic deduction of geometric theorems is roughly described here, and another one to provide a taxonomy for exact geometrical loci computations, that is experimentally implemented in a web based application using the dynamic geometry software Geogebra, is explained in another session.2014-10-11T15:23:46ZSoftware using the Gröbner cover for geometrical loci computation and classification
http://hdl.handle.net/2117/24171
Title: Software using the Gröbner cover for geometrical loci computation and classification
Authors: Abanades, Miguel A.; Botan, Francisco; Montes Lozano, Antonio; Recio Muñiz, Tomás
Abstract: We describe here a properly recent application of the Gröbner Cover algorithm (GC) providing an algebraic support to Dynamic Geometry computations of geometrical loci. It provides a complete algebraic solution of locus computation as well as a suitable taxonomy allowing to distinguish the nature of the different components. We included a new algorithm Locus into the Singular grobcov.lib library for this purpose. A web prototype has been implemented using it in Geogebra.2014-09-26T08:32:28ZThe degree-diameter problem in maximal bipartite planar graphs
http://hdl.handle.net/2117/24097
Title: The degree-diameter problem in maximal bipartite planar graphs
Authors: Dalfó Simó, Cristina; Huemer, Clemens; Salas, Julian
Abstract: The (A ,D) (degree/diameter) problem consists of finding the largest possible number of vertices n among all the graphs with maximum degree and diameter D. We consider the (A ,D) problem for maximal planar bipartite graphs, that are simple planar graphs in which every face is a quadrangle. We obtain that for the ( , 2) problem, the number of vertices is n = + 2; and for the ( , 3) problem, n = 3 -1 if is odd and n = 3 -2 if is even. Then, we study the general case ( A ,D) and obtain that an upper bound on n is approximately 3(2D+1)( -2)bD/2c,
and another one is C( - 2)bD/2c if D and C is a sufficiently large constant.
Our upper bounds improve for our kind of graphs the one given by Fellows, Hell and Seyffarth for general planar graphs. We also give a lower bound on n for maximal planar bipartite graphs, which is approximately ( - 2)k if D = 2k, and 3( - 3)k if D = 2k + 1, for and D sufficiently large in both cases.2014-09-18T10:55:22ZColored spanning graphs for set visualization
http://hdl.handle.net/2117/23314
Title: Colored spanning graphs for set visualization
Authors: Hurtado Díaz, Fernando Alfredo; Korman Cozzetti, Matias; Van Kreveld, Matias; Löffler, Maarten; Sacristán Adinolfi, Vera; Silveira, Rodrigo Ignacio; Speckmann, Bettina
Abstract: We study an algorithmic problem that is motivated by ink minimization for sparse set visualizations. Our input is a set of points in the plane which are either blue, red, or purple. Blue points belong exclusively to the blue set, red
points belong exclusively to the red set, and purple points belong to both sets.
A red-blue-purple spanning graph (RBP spanning graph) is a set of edges connecting the points such that the subgraph induced by the red and purple points is connected, and the subgraph induced by the blue and purple points is connected.
We study the geometric properties of minimum RBP spanning graphs and the algorithmic problems associated with computing them. Specifically, we show that the general problem is NP-hard. Hence we give an (1/2¿+1)-approximation, where ¿ is the Steiner ratio. We also present efficient exact solutions if the points are located on a line or a circle. Finally we consider extensions to more than two sets.2014-06-26T17:02:39ZAn open-source toolbox for motion analysis of closed-chain mechanisms
http://hdl.handle.net/2117/23201
Title: An open-source toolbox for motion analysis of closed-chain mechanisms
Authors: Porta Pleite, Josep Maria; Ros Giralt, Lluís; Bohigas Nadal, Oriol; Manubens Ferriol, Montserrat; Rosales Gallegos, Carlos; Jaillet, Leonard Georges
Abstract: Many situations in Robotics require an effective analysis of the motions of a closed-chain mechanism. Despite appearing very often in practice (e.g. in parallel manipulators, reconfigurable robots, or molecular compounds), there is a lack of general tools to effectively analyze the complex configuration spaces of such systems. This paper describes the CUIK suite, an open-source toolbox for motion analysis of general closed-chain mechanisms. The package can determine the motion range of the whole mechanism or of some of its parts, detect singular configurations leading to control or dexterity issues, or find collision- and singularity-free paths between given configurations. The toolbox is the result of several years of research and development within the Kinematics and Robot Design group at IRI, Barcelona, and is available under GPLv3 license from http://www.iri.upc.edu/cuik.2014-06-11T15:57:37ZStabbing simplices of point sets with k-flats
http://hdl.handle.net/2117/22736
Title: Stabbing simplices of point sets with k-flats
Authors: Cano, Javier; Hurtado Díaz, Fernando Alfredo; Urrutia Galicia, Jorge
Abstract: Let S be a set of n points inRdin general position.A set H of k-flats is called an mk-stabber of S if the relative interior of anym-simplex with vertices in S is intersected by at least one element of H. In thispaper we give lower and upper bounds on the size of mínimum mk-stabbers of point sets in Rd. We study mainly mk-stabbers in the plane and in R32014-04-28T16:17:42ZWitness bar visibility graphs
http://hdl.handle.net/2117/22337
Title: Witness bar visibility graphs
Authors: Cortés, Carmen; Hurtado Díaz, Fernando Alfredo; Márquez, Alberto; Valenzuela, Jesús
Abstract: Bar visibility graphs were introduced in the seventies as a model for some VLSI layout problems.
They have been also studied since then by the graph drawing community, and recently several
generalizations and restricted versions have been proposed.
We introduce a generalization, witness-bar visibility graphs, and we prove that this class encom-
passes all the bar-visibility variations considered so far. In addition, we show that many classes of graphs are contained in this family, including in particular all planar graphs, interval graphs, circular arc graphs and permutation graphs2014-03-21T16:03:37ZStabbing Segments with Rectilinear Objects
http://hdl.handle.net/2117/21700
Title: Stabbing Segments with Rectilinear Objects
Authors: Claverol Aguas, Mercè; Seara Ojea, Carlos; Garijo, Delia; Korman, M.; Silveira, Rodrigo Ignacio
Abstract: Given a set of n line segments in the plane, we say that a region R of the plane is a stabber if R contains exactly one end point of each segment of the set. In this paper we provide efficient algorithms for determining wheter or not a stabber exists for several shapes of stabbers. Specially, we consider the case in which the stabber can be described as the intersecction of isothetic halfplanes (thus the stabbers are halfplanes, strips, quadrants, 3-sided rectangles, or rectangles). We provided efficient algorithms reporting all combinatorially different stabbers of the shape. The algorithms run in O(n) time (for the halfplane case), O(n logn) time (for strips and quadrants), O(n^2) (for 3-sided rectangles), or O(n^3) time (for rectangles).2014-02-21T17:24:50ZThe alternating path problem revisited
http://hdl.handle.net/2117/21369
Title: The alternating path problem revisited
Authors: Claverol Aguas, Mercè; Garijo, Delia; Hurtado Díaz, Fernando Alfredo; Lara Cuevas, María Dolores; Seara Ojea, Carlos
Abstract: It is well known that, given "n" red points and "n" blue points on acircle, it is not always possible to find a plane geometric. Hamiltonian alternating path. In this work we prove that if we relax the constraint on the path from being plane to being 1-plane, then the problem always has a solution, and even a Hamiltonian alternating cycle can be obtained on all instances. we also extend this kind of result to other configurations and provide remarks on similar problems.2014-01-27T11:06:21ZNew results on stabbing segments with a polygon
http://hdl.handle.net/2117/20930
Title: New results on stabbing segments with a polygon
Authors: Díaz Bañez, José Miguel; Korman Cozzetti, Matías; Pérez Lantero, Pablo; Pilz, Alexander; Seara Ojea, Carlos; Silveira, Rodrigo Ignacio
Abstract: We consider a natural variation of the concept of stabbing a segment by a simple polygon: a segment is stabbed by a simple polygon P if at least one of its two endpoints is contained in P. A segment set S is stabbed by P if every segment of S is stabbed by P. We show that if S is a set of pairwise disjoint segments, the problem of computing the minimum perimeter polygon stabbing S can be solved in polynomial time. We also prove that for general segments the problem is NP-hard. Further, an adaptation of our polynomial-time algorithm solves an open problem posed by Löffler and van Kreveld [Algorithmica 56(2), 236-269 (2010)] about finding a maximum perimeter convex hull for a set of imprecise points modeled as line segments.2013-12-05T14:38:36Z