43,444 research outputs found
Possible Winners in Noisy Elections
We consider the problem of predicting winners in elections, for the case
where we are given complete knowledge about all possible candidates, all
possible voters (together with their preferences), but where it is uncertain
either which candidates exactly register for the election or which voters cast
their votes. Under reasonable assumptions, our problems reduce to counting
variants of election control problems. We either give polynomial-time
algorithms or prove #P-completeness results for counting variants of control by
adding/deleting candidates/voters for Plurality, k-Approval, Approval,
Condorcet, and Maximin voting rules. We consider both the general case, where
voters' preferences are unrestricted, and the case where voters' preferences
are single-peaked.Comment: 34 page
Complexity of Non-Monotonic Logics
Over the past few decades, non-monotonic reasoning has developed to be one of
the most important topics in computational logic and artificial intelligence.
Different ways to introduce non-monotonic aspects to classical logic have been
considered, e.g., extension with default rules, extension with modal belief
operators, or modification of the semantics. In this survey we consider a
logical formalism from each of the above possibilities, namely Reiter's default
logic, Moore's autoepistemic logic and McCarthy's circumscription.
Additionally, we consider abduction, where one is not interested in inferences
from a given knowledge base but in computing possible explanations for an
observation with respect to a given knowledge base.
Complexity results for different reasoning tasks for propositional variants
of these logics have been studied already in the nineties. In recent years,
however, a renewed interest in complexity issues can be observed. One current
focal approach is to consider parameterized problems and identify reasonable
parameters that allow for FPT algorithms. In another approach, the emphasis
lies on identifying fragments, i.e., restriction of the logical language, that
allow more efficient algorithms for the most important reasoning tasks. In this
survey we focus on this second aspect. We describe complexity results for
fragments of logical languages obtained by either restricting the allowed set
of operators (e.g., forbidding negations one might consider only monotone
formulae) or by considering only formulae in conjunctive normal form but with
generalized clause types.
The algorithmic problems we consider are suitable variants of satisfiability
and implication in each of the logics, but also counting problems, where one is
not only interested in the existence of certain objects (e.g., models of a
formula) but asks for their number.Comment: To appear in Bulletin of the EATC
On the complexity of finding and counting solution-free sets of integers
Given a linear equation , a set of integers is
-free if does not contain any `non-trivial' solutions to
. This notion incorporates many central topics in combinatorial
number theory such as sum-free and progression-free sets. In this paper we
initiate the study of (parameterised) complexity questions involving
-free sets of integers. The main questions we consider involve
deciding whether a finite set of integers has an -free subset
of a given size, and counting all such -free subsets. We also
raise a number of open problems.Comment: 27 page
- …