11,272 research outputs found
Solving MaxSAT and #SAT on structured CNF formulas
In this paper we propose a structural parameter of CNF formulas and use it to
identify instances of weighted MaxSAT and #SAT that can be solved in polynomial
time. Given a CNF formula we say that a set of clauses is precisely satisfiable
if there is some complete assignment satisfying these clauses only. Let the
ps-value of the formula be the number of precisely satisfiable sets of clauses.
Applying the notion of branch decompositions to CNF formulas and using ps-value
as cut function, we define the ps-width of a formula. For a formula given with
a decomposition of polynomial ps-width we show dynamic programming algorithms
solving weighted MaxSAT and #SAT in polynomial time. Combining with results of
'Belmonte and Vatshelle, Graph classes with structured neighborhoods and
algorithmic applications, Theor. Comput. Sci. 511: 54-65 (2013)' we get
polynomial-time algorithms solving weighted MaxSAT and #SAT for some classes of
structured CNF formulas. For example, we get algorithms for
formulas of clauses and variables and size , if has a linear
ordering of the variables and clauses such that for any variable occurring
in clause , if appears before then any variable between them also
occurs in , and if appears before then occurs also in any clause
between them. Note that the class of incidence graphs of such formulas do not
have bounded clique-width
Some Triangulated Surfaces without Balanced Splitting
Let G be the graph of a triangulated surface of genus . A
cycle of G is splitting if it cuts into two components, neither of
which is homeomorphic to a disk. A splitting cycle has type k if the
corresponding components have genera k and g-k. It was conjectured that G
contains a splitting cycle (Barnette '1982). We confirm this conjecture for an
infinite family of triangulations by complete graphs but give counter-examples
to a stronger conjecture (Mohar and Thomassen '2001) claiming that G should
contain splitting cycles of every possible type.Comment: 15 pages, 7 figure
- …