2,825 research outputs found
The Metric Nearness Problem
Metric nearness refers to the problem of optimally restoring metric properties to
distance measurements that happen to be nonmetric due to measurement errors or otherwise. Metric
data can be important in various settings, for example, in clustering, classification, metric-based
indexing, query processing, and graph theoretic approximation algorithms. This paper formulates
and solves the metric nearness problem: Given a set of pairwise dissimilarities, find a ānearestā set
of distances that satisfy the properties of a metricāprincipally the triangle inequality. For solving
this problem, the paper develops efficient triangle fixing algorithms that are based on an iterative
projection method. An intriguing aspect of the metric nearness problem is that a special case turns
out to be equivalent to the all pairs shortest paths problem. The paper exploits this equivalence and
develops a new algorithm for the latter problem using a primal-dual method. Applications to graph
clustering are provided as an illustration. We include experiments that demonstrate the computational
superiority of triangle fixing over general purpose convex programming software. Finally, we
conclude by suggesting various useful extensions and generalizations to metric nearness
Jointly Optimal Channel and Power Assignment for Dual-Hop Multi-channel Multi-user Relaying
We consider the problem of jointly optimizing channel pairing, channel-user
assignment, and power allocation, to maximize the weighted sum-rate, in a
single-relay cooperative system with multiple channels and multiple users.
Common relaying strategies are considered, and transmission power constraints
are imposed on both individual transmitters and the aggregate over all
transmitters. The joint optimization problem naturally leads to a mixed-integer
program. Despite the general expectation that such problems are intractable, we
construct an efficient algorithm to find an optimal solution, which incurs
computational complexity that is polynomial in the number of channels and the
number of users. We further demonstrate through numerical experiments that the
jointly optimal solution can significantly improve system performance over its
suboptimal alternatives.Comment: This is the full version of a paper to appear in the IEEE Journal on
Selected Areas in Communications, Special Issue on Cooperative Networking -
Challenges and Applications (Part II), October 201
Stable Roommate Problem with Diversity Preferences
In the multidimensional stable roommate problem, agents have to be allocated
to rooms and have preferences over sets of potential roommates. We study the
complexity of finding good allocations of agents to rooms under the assumption
that agents have diversity preferences [Bredereck et al., 2019]: each agent
belongs to one of the two types (e.g., juniors and seniors, artists and
engineers), and agents' preferences over rooms depend solely on the fraction of
agents of their own type among their potential roommates. We consider various
solution concepts for this setting, such as core and exchange stability, Pareto
optimality and envy-freeness. On the negative side, we prove that envy-free,
core stable or (strongly) exchange stable outcomes may fail to exist and that
the associated decision problems are NP-complete. On the positive side, we show
that these problems are in FPT with respect to the room size, which is not the
case for the general stable roommate problem. Moreover, for the classic setting
with rooms of size two, we present a linear-time algorithm that computes an
outcome that is core and exchange stable as well as Pareto optimal. Many of our
results for the stable roommate problem extend to the stable marriage problem.Comment: accepted to IJCAI'2
Optimal Inference in Crowdsourced Classification via Belief Propagation
Crowdsourcing systems are popular for solving large-scale labelling tasks
with low-paid workers. We study the problem of recovering the true labels from
the possibly erroneous crowdsourced labels under the popular Dawid-Skene model.
To address this inference problem, several algorithms have recently been
proposed, but the best known guarantee is still significantly larger than the
fundamental limit. We close this gap by introducing a tighter lower bound on
the fundamental limit and proving that Belief Propagation (BP) exactly matches
this lower bound. The guaranteed optimality of BP is the strongest in the sense
that it is information-theoretically impossible for any other algorithm to
correctly label a larger fraction of the tasks. Experimental results suggest
that BP is close to optimal for all regimes considered and improves upon
competing state-of-the-art algorithms.Comment: This article is partially based on preliminary results published in
the proceeding of the 33rd International Conference on Machine Learning (ICML
2016
On complexity of optimized crossover for binary representations
We consider the computational complexity of producing the best possible
offspring in a crossover, given two solutions of the parents. The crossover
operators are studied on the class of Boolean linear programming problems,
where the Boolean vector of variables is used as the solution representation.
By means of efficient reductions of the optimized gene transmitting crossover
problems (OGTC) we show the polynomial solvability of the OGTC for the maximum
weight set packing problem, the minimum weight set partition problem and for
one of the versions of the simple plant location problem. We study a connection
between the OGTC for linear Boolean programming problem and the maximum weight
independent set problem on 2-colorable hypergraph and prove the NP-hardness of
several special cases of the OGTC problem in Boolean linear programming.Comment: Dagstuhl Seminar 06061 "Theory of Evolutionary Algorithms", 200
- ā¦