15,035 research outputs found
Convex Combinatorial Optimization
We introduce the convex combinatorial optimization problem, a far reaching
generalization of the standard linear combinatorial optimization problem. We
show that it is strongly polynomial time solvable over any edge-guaranteed
family, and discuss several applications
A tree-decomposed transfer matrix for computing exact Potts model partition functions for arbitrary graphs, with applications to planar graph colourings
Combining tree decomposition and transfer matrix techniques provides a very
general algorithm for computing exact partition functions of statistical models
defined on arbitrary graphs. The algorithm is particularly efficient in the
case of planar graphs. We illustrate it by computing the Potts model partition
functions and chromatic polynomials (the number of proper vertex colourings
using Q colours) for large samples of random planar graphs with up to N=100
vertices. In the latter case, our algorithm yields a sub-exponential average
running time of ~ exp(1.516 sqrt(N)), a substantial improvement over the
exponential running time ~ exp(0.245 N) provided by the hitherto best known
algorithm. We study the statistics of chromatic roots of random planar graphs
in some detail, comparing the findings with results for finite pieces of a
regular lattice.Comment: 5 pages, 3 figures. Version 2 has been substantially expanded.
Version 3 shows that the worst-case running time is sub-exponential in the
number of vertice
Convex Matroid Optimization
We consider a problem of optimizing convex functionals over matroid bases. It
is richly expressive and captures certain quadratic assignment and clustering
problems. While generally NP-hard, we show it is polynomial time solvable when
a suitable parameter is restricted
The Unreasonable Success of Local Search: Geometric Optimization
What is the effectiveness of local search algorithms for geometric problems
in the plane? We prove that local search with neighborhoods of magnitude
is an approximation scheme for the following problems in the
Euclidian plane: TSP with random inputs, Steiner tree with random inputs,
facility location (with worst case inputs), and bicriteria -median (also
with worst case inputs). The randomness assumption is necessary for TSP
Conjunctive Query Answering for the Description Logic SHIQ
Conjunctive queries play an important role as an expressive query language
for Description Logics (DLs). Although modern DLs usually provide for
transitive roles, conjunctive query answering over DL knowledge bases is only
poorly understood if transitive roles are admitted in the query. In this paper,
we consider unions of conjunctive queries over knowledge bases formulated in
the prominent DL SHIQ and allow transitive roles in both the query and the
knowledge base. We show decidability of query answering in this setting and
establish two tight complexity bounds: regarding combined complexity, we prove
that there is a deterministic algorithm for query answering that needs time
single exponential in the size of the KB and double exponential in the size of
the query, which is optimal. Regarding data complexity, we prove containment in
co-NP
Recommended from our members
Subquadratic nonobtuse triangulation of convex polygons
A convex polygon with n sides can be triangulated by O(n^1.85) triangles, without any obtuse angles. The construction uses a novel form of geometric divide and conquer
The weighted stable matching problem
We study the stable matching problem in non-bipartite graphs with incomplete
but strict preference lists, where the edges have weights and the goal is to
compute a stable matching of minimum or maximum weight. This problem is known
to be NP-hard in general. Our contribution is two fold: a polyhedral
characterization and an approximation algorithm. Previously Chen et al. have
shown that the stable matching polytope is integral if and only if the subgraph
obtained after running phase one of Irving's algorithm is bipartite. We improve
upon this result by showing that there are instances where this subgraph might
not be bipartite but one can further eliminate some edges and arrive at a
bipartite subgraph. Our elimination procedure ensures that the set of stable
matchings remains the same, and thus the stable matching polytope of the final
subgraph contains the incidence vectors of all stable matchings of our original
graph. This allows us to characterize a larger class of instances for which the
weighted stable matching problem is polynomial-time solvable. We also show that
our edge elimination procedure is best possible, meaning that if the subgraph
we arrive at is not bipartite, then there is no bipartite subgraph that has the
same set of stable matchings as the original graph. We complement these results
with a -approximation algorithm for the minimum weight stable matching
problem for instances where each agent has at most two possible partners in any
stable matching. This is the first approximation result for any class of
instances with general weights.Comment: This is an extended version of a paper to appear at the The Fourth
International Workshop on Matching Under Preferences (MATCH-UP 2017
The Complexity of Online Manipulation of Sequential Elections
Most work on manipulation assumes that all preferences are known to the
manipulators. However, in many settings elections are open and sequential, and
manipulators may know the already cast votes but may not know the future votes.
We introduce a framework, in which manipulators can see the past votes but not
the future ones, to model online coalitional manipulation of sequential
elections, and we show that in this setting manipulation can be extremely
complex even for election systems with simple winner problems. Yet we also show
that for some of the most important election systems such manipulation is
simple in certain settings. This suggests that when using sequential voting,
one should pay great attention to the details of the setting in choosing one's
voting rule. Among the highlights of our classifications are: We show that,
depending on the size of the manipulative coalition, the online manipulation
problem can be complete for each level of the polynomial hierarchy or even for
PSPACE. We obtain the most dramatic contrast to date between the
nonunique-winner and unique-winner models: Online weighted manipulation for
plurality is in P in the nonunique-winner model, yet is coNP-hard (constructive
case) and NP-hard (destructive case) in the unique-winner model. And we obtain
what to the best of our knowledge are the first P^NP[1]-completeness and
P^NP-completeness results in the field of computational social choice, in
particular proving such completeness for, respectively, the complexity of
3-candidate and 4-candidate (and unlimited-candidate) online weighted coalition
manipulation of veto elections.Comment: 24 page
- …