1,758 research outputs found
On Approximating Multi-Criteria TSP
We present approximation algorithms for almost all variants of the
multi-criteria traveling salesman problem (TSP).
First, we devise randomized approximation algorithms for multi-criteria
maximum traveling salesman problems (Max-TSP). For multi-criteria Max-STSP,
where the edge weights have to be symmetric, we devise an algorithm with an
approximation ratio of 2/3 - eps. For multi-criteria Max-ATSP, where the edge
weights may be asymmetric, we present an algorithm with a ratio of 1/2 - eps.
Our algorithms work for any fixed number k of objectives. Furthermore, we
present a deterministic algorithm for bi-criteria Max-STSP that achieves an
approximation ratio of 7/27.
Finally, we present a randomized approximation algorithm for the asymmetric
multi-criteria minimum TSP with triangle inequality Min-ATSP. This algorithm
achieves a ratio of log n + eps.Comment: Preliminary version at STACS 2009. This paper is a revised full
version, where some proofs are simplifie
Parameterization Above a Multiplicative Guarantee
Parameterization above a guarantee is a successful paradigm in Parameterized Complexity. To the best of our knowledge, all fixed-parameter tractable problems in this paradigm share an additive form defined as follows. Given an instance (I,k) of some (parameterized) problem ? with a guarantee g(I), decide whether I admits a solution of size at least (at most) k+g(I). Here, g(I) is usually a lower bound (resp. upper bound) on the maximum (resp. minimum) size of a solution. Since its introduction in 1999 for Max SAT and Max Cut (with g(I) being half the number of clauses and half the number of edges, respectively, in the input), analysis of parameterization above a guarantee has become a very active and fruitful topic of research.
We highlight a multiplicative form of parameterization above a guarantee: Given an instance (I,k) of some (parameterized) problem ? with a guarantee g(I), decide whether I admits a solution of size at least (resp. at most) k ? g(I). In particular, we study the Long Cycle problem with a multiplicative parameterization above the girth g(I) of the input graph, and provide a parameterized algorithm for this problem. Apart from being of independent interest, this exemplifies how parameterization above a multiplicative guarantee can arise naturally. We also show that, for any fixed constant ?>0, multiplicative parameterization above g(I)^(1+?) of Long Cycle yields para-NP-hardness, thus our parameterization is tight in this sense. We complement our main result with the design (or refutation of the existence) of algorithms for other problems parameterized multiplicatively above girth
On Temporal Graph Exploration
A temporal graph is a graph in which the edge set can change from step to
step. The temporal graph exploration problem TEXP is the problem of computing a
foremost exploration schedule for a temporal graph, i.e., a temporal walk that
starts at a given start node, visits all nodes of the graph, and has the
smallest arrival time. In the first part of the paper, we consider only
temporal graphs that are connected at each step. For such temporal graphs with
nodes, we show that it is NP-hard to approximate TEXP with ratio
for any . We also provide an explicit
construction of temporal graphs that require steps to be
explored. We then consider TEXP under the assumption that the underlying graph
(i.e. the graph that contains all edges that are present in the temporal graph
in at least one step) belongs to a specific class of graphs. Among other
results, we show that temporal graphs can be explored in steps if the underlying graph has treewidth and in
steps if the underlying graph is a grid. In the second part of the
paper, we replace the connectedness assumption by a weaker assumption and show
that -edge temporal graphs with regularly present edges and with random
edges can always be explored in steps and steps with high
probability, respectively. We finally show that the latter result can be used
to obtain a distributed algorithm for the gossiping problem.Comment: This is an extended version of an ICALP 2015 pape
Ising formulations of many NP problems
We provide Ising formulations for many NP-complete and NP-hard problems,
including all of Karp's 21 NP-complete problems. This collects and extends
mappings to the Ising model from partitioning, covering and satisfiability. In
each case, the required number of spins is at most cubic in the size of the
problem. This work may be useful in designing adiabatic quantum optimization
algorithms.Comment: 27 pages; v2: substantial revision to intro/conclusion, many more
references; v3: substantial revision and extension, to-be-published versio
Efficient Algorithms for Universal Quantum Simulation
A universal quantum simulator would enable efficient simulation of quantum
dynamics by implementing quantum-simulation algorithms on a quantum computer.
Specifically the quantum simulator would efficiently generate qubit-string
states that closely approximate physical states obtained from a broad class of
dynamical evolutions. I provide an overview of theoretical research into
universal quantum simulators and the strategies for minimizing computational
space and time costs. Applications to simulating many-body quantum simulation
and solving linear equations are discussed
Networking - A Statistical Physics Perspective
Efficient networking has a substantial economic and societal impact in a
broad range of areas including transportation systems, wired and wireless
communications and a range of Internet applications. As transportation and
communication networks become increasingly more complex, the ever increasing
demand for congestion control, higher traffic capacity, quality of service,
robustness and reduced energy consumption require new tools and methods to meet
these conflicting requirements. The new methodology should serve for gaining
better understanding of the properties of networking systems at the macroscopic
level, as well as for the development of new principled optimization and
management algorithms at the microscopic level. Methods of statistical physics
seem best placed to provide new approaches as they have been developed
specifically to deal with non-linear large scale systems. This paper aims at
presenting an overview of tools and methods that have been developed within the
statistical physics community and that can be readily applied to address the
emerging problems in networking. These include diffusion processes, methods
from disordered systems and polymer physics, probabilistic inference, which
have direct relevance to network routing, file and frequency distribution, the
exploration of network structures and vulnerability, and various other
practical networking applications.Comment: (Review article) 71 pages, 14 figure
- …