729 research outputs found
Computing largest circles separating two sets of segments
A circle separates two planar sets if it encloses one of the sets and its
open interior disk does not meet the other set. A separating circle is a
largest one if it cannot be locally increased while still separating the two
given sets. An Theta(n log n) optimal algorithm is proposed to find all largest
circles separating two given sets of line segments when line segments are
allowed to meet only at their endpoints. In the general case, when line
segments may intersect times, our algorithm can be adapted to
work in O(n alpha(n) log n) time and O(n \alpha(n)) space, where alpha(n)
represents the extremely slowly growing inverse of the Ackermann function.Comment: 14 pages, 3 figures, abstract presented at 8th Canadian Conference on
Computational Geometry, 199
New models for the location of controversial facilities: A bilevel programming approach
Motivated by recent real-life applications in Location Theory in which the location decisions generate controversy, we propose a novel bilevel location
model in which, on the one hand, there is a leader that chooses among a number of fixed potential locations which ones to establish. Next, on the second hand, there is one or several followers that, once the leader location facilities have been set, chooses his location points in a continuous framework. The leaderâs goal is to maximize some proxy to the weighted distance to the followerâs location points, while the follower(s) aim is to locate his location points as close as possible to the leader ones. We develop the bilevel location model for one follower and for any polyhedral distance, and we extend it for several followers and any âp-norm, p â Q, p â„ 1. We prove the NP-hardness of the problem and propose different mixed integer linear programming formulations. Moreover, we develop alternative Benders decomposition algorithms for the problem. Finally, we report some computational results comparing the formulations and the Benders decompositions on a set of instances.Fonds de la Recherche Scientique - FNRSMinisterio de EconomĂa y CompetitividadFondo Europeo de Desarrollo Regiona
Positive reduction from spectra
We study the problem of whether all bipartite quantum states having a
prescribed spectrum remain positive under the reduction map applied to one
subsystem. We provide necessary and sufficient conditions, in the form of a
family of linear inequalities, which the spectrum has to verify. Our conditions
become explicit when one of the two subsystems is a qubit, as well as for
further sets of states. Finally, we introduce a family of simple entanglement
criteria for spectra, closely related to the reduction and positive partial
transpose criteria, which also provide new insight into the set of spectra that
guarantee separability or positivity of the partial transpose.Comment: Linear Algebra and its Applications (2015
Separable and Low-Rank Continuous Games
In this paper, we study nonzero-sum separable games, which are continuous
games whose payoffs take a sum-of-products form. Included in this subclass are
all finite games and polynomial games. We investigate the structure of
equilibria in separable games. We show that these games admit finitely
supported Nash equilibria. Motivated by the bounds on the supports of mixed
equilibria in two-player finite games in terms of the ranks of the payoff
matrices, we define the notion of the rank of an n-player continuous game and
use this to provide bounds on the cardinality of the support of equilibrium
strategies. We present a general characterization theorem that states that a
continuous game has finite rank if and only if it is separable. Using our rank
results, we present an efficient algorithm for computing approximate equilibria
of two-player separable games with fixed strategy spaces in time polynomial in
the rank of the game
- âŠ