This paper surveys some of the work that was inspired by Wagner’s general technique to prove completeness in the levels of the boolean hierarchy over NP and some related results. In particular, we show that it is DP-complete to decide whether or not a given graph can be colored with exactly four colors, where DP is the second level of the boolean hierarchy. This result solves a question raised ...

An extremely simple, linear time algorithm is given for constructing a domatic partition in totally balanced hypergraphs. This simpli es and generalizes previous algorithms for interval and strongly chordal graphs. On the other hand, the domatic number problem is shown to be NP-complete for several families of perfect graphs, including chordal and bipartite graphs.

An {em Italian dominating function} on a digraph $D$ with vertex set $V(D)$ is defined as a function$fcolon V(D)to {0, 1, 2}$ such that every vertex $vin V(D)$ with $f(v)=0$ has at least two in-neighborsassigned 1 under $f$ or one in-neighbor $w$ with $f(w)=2$. A set ${f_1,f_2,ldots,f_d}$ of distinctItalian dominating functions on $D$ with the property that $sum_{i=1}^d f_i(v)le 2$ for each $vi...

Let D be a finite and simple digraph with vertex set V (D), and let f : V (D) → {−1, 1} be a two-valued function. If k ≥ 1 is an integer and x∈N−[v] f(x) ≥ k for each v ∈ V (D), where N−[v] consists of v and all vertices of D from which arcs go into v, then f is a signed k-dominating function on D. A set {f1, f2, . . . , fd} of distinct signed k-dominating functions on D with the property that ...

This paper surveys some of the work that was inspired by Wagner’s general technique to prove completeness in the levels of the boolean hierarchy over NP and some related results. In particular, we show that it is DP-complete to decide whether or not a given graph can be colored with exactly four colors, where DP is the second level of the boolean hierarchy. This result solves a question raised ...

Let D be a finite and simple digraph with the vertex set V (D), and let f : V (D) → {−1, 1} be a two-valued function. If∑ x∈N[v] f(x) ≥ 1 for each v ∈ V (D), where N[v] consists of v and all vertices of D from which arcs go into v, then f is a signed dominating function on D. The sum f(V (D)) is called the weight w(f) of f . The minimum of weights w(f), taken over all signed dominating function...

A subset, D, of the vertex set of a graph G is called a dominating set of G if each vertex of G is either in D or adjacent to some vertex in D. The maximum cardinality of a partition of the vertex set of G into dominating sets is the domatic number of G, denoted d(G). G is said to be domatically critical if the removal of any edge of G decreases the domatic number, and G is domatically full if ...