9,390 research outputs found
The Swap Matching Problem Revisited
In this paper, we revisit the much studied problem of Pattern Matching with
Swaps (Swap Matching problem, for short). We first present a graph-theoretic
model, which opens a new and so far unexplored avenue to solve the problem.
Then, using the model, we devise two efficient algorithms to solve the swap
matching problem. The resulting algorithms are adaptations of the classic
shift-and algorithm. For patterns having length similar to the word-size of the
target machine, both the algorithms run in linear time considering a fixed
alphabet.Comment: 23 pages, 3 Figures and 17 Table
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
Unification and Logarithmic Space
We present an algebraic characterization of the complexity classes Logspace
and NLogspace, using an algebra with a composition law based on unification.
This new bridge between unification and complexity classes is inspired from
proof theory and more specifically linear logic and Geometry of Interaction.
We show how unification can be used to build a model of computation by means
of specific subalgebras associated to finite permutations groups. We then prove
that whether an observation (the algebraic counterpart of a program) accepts a
word can be decided within logarithmic space. We also show that the
construction can naturally represent pointer machines, an intuitive way of
understanding logarithmic space computing
- …