1,616 research outputs found
Constraint satisfaction problems in clausal form
This is the report-version of a mini-series of two articles on the
foundations of satisfiability of conjunctive normal forms with non-boolean
variables, to appear in Fundamenta Informaticae, 2011. These two parts are here
bundled in one report, each part yielding a chapter.
Generalised conjunctive normal forms are considered, allowing literals of the
form "variable not-equal value". The first part sets the foundations for the
theory of autarkies, with emphasise on matching autarkies. Main results concern
various polynomial time results in dependency on the deficiency. The second
part considers translations to boolean clause-sets and irredundancy as well as
minimal unsatisfiability. Main results concern classification of minimally
unsatisfiable clause-sets and the relations to the hermitian rank of graphs.
Both parts contain also discussions of many open problems.Comment: 91 pages, to appear in Fundamenta Informaticae, 2011, as Constraint
satisfaction problems in clausal form I: Autarkies and deficiency, Constraint
satisfaction problems in clausal form II: Minimal unsatisfiability and
conflict structur
The number of clones determined by disjunctions of unary relations
We consider finitary relations (also known as crosses) that are definable via
finite disjunctions of unary relations, i.e. subsets, taken from a fixed finite
parameter set . We prove that whenever contains at least one
non-empty relation distinct from the full carrier set, there is a countably
infinite number of polymorphism clones determined by relations that are
disjunctively definable from . Finally, we extend our result to
finitely related polymorphism clones and countably infinite sets .Comment: manuscript to be published in Theory of Computing System
Fuzzy Maximum Satisfiability
In this paper, we extend the Maximum Satisfiability (MaxSAT) problem to
{\L}ukasiewicz logic. The MaxSAT problem for a set of formulae {\Phi} is the
problem of finding an assignment to the variables in {\Phi} that satisfies the
maximum number of formulae. Three possible solutions (encodings) are proposed
to the new problem: (1) Disjunctive Linear Relations (DLRs), (2) Mixed Integer
Linear Programming (MILP) and (3) Weighted Constraint Satisfaction Problem
(WCSP). Like its Boolean counterpart, the extended fuzzy MaxSAT will have
numerous applications in optimization problems that involve vagueness.Comment: 10 page
Characterizing and Extending Answer Set Semantics using Possibility Theory
Answer Set Programming (ASP) is a popular framework for modeling
combinatorial problems. However, ASP cannot easily be used for reasoning about
uncertain information. Possibilistic ASP (PASP) is an extension of ASP that
combines possibilistic logic and ASP. In PASP a weight is associated with each
rule, where this weight is interpreted as the certainty with which the
conclusion can be established when the body is known to hold. As such, it
allows us to model and reason about uncertain information in an intuitive way.
In this paper we present new semantics for PASP, in which rules are interpreted
as constraints on possibility distributions. Special models of these
constraints are then identified as possibilistic answer sets. In addition,
since ASP is a special case of PASP in which all the rules are entirely
certain, we obtain a new characterization of ASP in terms of constraints on
possibility distributions. This allows us to uncover a new form of disjunction,
called weak disjunction, that has not been previously considered in the
literature. In addition to introducing and motivating the semantics of weak
disjunction, we also pinpoint its computational complexity. In particular,
while the complexity of most reasoning tasks coincides with standard
disjunctive ASP, we find that brave reasoning for programs with weak
disjunctions is easier.Comment: 39 pages and 16 pages appendix with proofs. This article has been
accepted for publication in Theory and Practice of Logic Programming,
Copyright Cambridge University Pres
Computational Complexity and Phase Transitions
Phase transitions in combinatorial problems have recently been shown to be
useful in locating "hard" instances of combinatorial problems. The connection
between computational complexity and the existence of phase transitions has
been addressed in Statistical Mechanics and Artificial Intelligence, but not
studied rigorously.
We take a step in this direction by investigating the existence of sharp
thresholds for the class of generalized satisfiability problems defined by
Schaefer. In the case when all constraints are clauses we give a complete
characterization of such problems that have a sharp threshold.
While NP-completeness does not imply (even in this restricted case) the
existence of a sharp threshold, it "almost implies" this, since clausal
generalized satisfiability problems that lack a sharp threshold are either
1. polynomial time solvable, or
2. predicted, with success probability lower bounded by some positive
constant by across all the probability range, by a single, trivial procedure.Comment: A (slightly) revised version of the paper submitted to the 15th IEEE
Conference on Computational Complexit
- …