1,516 research outputs found
-SAT problem and its applications in dominating set problems
The satisfiability problem is known to be -complete in general
and for many restricted cases. One way to restrict instances of -SAT is to
limit the number of times a variable can be occurred. It was shown that for an
instance of 4-SAT with the property that every variable appears in exactly 4
clauses (2 times negated and 2 times not negated), determining whether there is
an assignment for variables such that every clause contains exactly two true
variables and two false variables is -complete. In this work, we
show that deciding the satisfiability of 3-SAT with the property that every
variable appears in exactly four clauses (two times negated and two times not
negated), and each clause contains at least two distinct variables is -complete. We call this problem -SAT. For an -regular
graph with , it was asked in [Discrete Appl. Math.,
160(15):2142--2146, 2012] to determine whether for a given independent set
there is an independent dominating set that dominates such that ? As an application of -SAT problem we show that
for every , this problem is -complete. Among other
results, we study the relationship between 1-perfect codes and the incidence
coloring of graphs and as another application of our complexity results, we
prove that for a given cubic graph deciding whether is 4-incidence
colorable is -complete
The Parameterised Complexity of List Problems on Graphs of Bounded Treewidth
We consider the parameterised complexity of several list problems on graphs,
with parameter treewidth or pathwidth. In particular, we show that List Edge
Chromatic Number and List Total Chromatic Number are fixed parameter tractable,
parameterised by treewidth, whereas List Hamilton Path is W[1]-hard, even
parameterised by pathwidth. These results resolve two open questions of
Fellows, Fomin, Lokshtanov, Rosamond, Saurabh, Szeider and Thomassen (2011).Comment: Author final version, to appear in Information and Computation.
Changes from previous version include improved literature references and
restructured proof in Section
On vertex coloring without monochromatic triangles
We study a certain relaxation of the classic vertex coloring problem, namely,
a coloring of vertices of undirected, simple graphs, such that there are no
monochromatic triangles. We give the first classification of the problem in
terms of classic and parametrized algorithms. Several computational complexity
results are also presented, which improve on the previous results found in the
literature. We propose the new structural parameter for undirected, simple
graphs -- the triangle-free chromatic number . We bound by
other known structural parameters. We also present two classes of graphs with
interesting coloring properties, that play pivotal role in proving useful
observation about our problem. We give/ask several conjectures/questions
throughout this paper to encourage new research in the area of graph coloring.Comment: Extended abstrac
- …