Abstract
An ISK4 in a graph G is an induced subgraph of G that is isomorphic to a subdivision of \(K_4\) (the complete graph on four vertices). A wheel is a graph that consists of a chordless cycle, together with a vertex that has at least three neighbors in the cycle. A graph is {ISK4,wheel}free if it has no ISK4 and does not contain a wheel as an induced subgraph. We give an \(O(V(G)^7)\)time algorithm to compute the maximum weight of a stable set in an input weighted {ISK4,wheel}free graph G with nonnegative integer weights.
Introduction
All graphs in this paper are finite and simple. An ISK4 in a graph G is an induced subgraph of G that is isomorphic to a subdivision of \(K_4\) (the complete graph on four vertices). An ISK4free graph is a graph G that contains no ISK4 (that is, no induced subgraph of G is isomorphic to a subdivision of \(K_4\)). The class of ISK4free graphs contains all series–parallel graphs, and also all line graphs of graphs of maximum degree at most three.
Lévêque, Maffray, and Trotignon [11] proved a decomposition theorem for ISK4free graphs, but gave no algorithmic applications. In particular, no polynomialtime algorithms and no hardness proofs are known for the following problems in the class of ISK4free graphs: recognition, maximum stable set, and coloring. (Finding a maximum clique in an ISK4free graph is of course trivial because every clique in such a graph is of size at most three).
A wheel is a graph that consists of a chordless cycle, together with a vertex (called the center of the wheel) that has at least three neighbors in the cycle. A graph is wheelfree if none of its induced subgraphs is a wheel. Wheelfree graphs have a number of structural properties (see for instance [1, 2, 8]). However, the maximum stable set problem is easily seen to remain NPhard even when restricted to the class of wheelfree graphs. To see this, denote by \(\alpha (G)\) the stability number (i.e., the maximum size of a stable set) of a graph G, and consider the operation of subdividing every edge of G twice. This yields a graph \(G'\) that is wheelfree (because every vertex of degree at least three in \(G'\) has only neighbors of degree two, and so it cannot be the center of a wheel). As observed by Poljak [13], \(\alpha (G') = \alpha (G) + E(G)\), and so computing the stability number of a wheelfree graph is as hard as computing it in a general graph.
A graph is {ISK4,wheel}free if it is ISK4free and wheelfree. In [11], a decomposition theorem is given for {ISK4,wheel}free graphs. (This theorem was obtained as a corollary of the decomposition theorem for ISK4free graphs from [11].) The theorem for {ISK4,wheel}free graphs is stronger than the one for ISK4free graphs in the sense that the former theorem can be used to solve the recognition and the coloring problems for {ISK4,wheel}free graphs in polynomial time. However, no other algorithmic application has previously been reported.
In this paper, we investigate the maximum weight stable set problem restricted to {ISK4,wheel}free graphs. Let us be precise. First, by a weighted graph, we mean an ordered pair (G, w), where G is a graph and w is a function (called a weight function for G) that assigns to each vertex v of G a nonnegative integer weight w(v). The weight of a set of vertices is the sum of the weights of its elements. The stability number of a weighted graph (G, w), denoted by \(\alpha (G,w)\), is the maximum weight of a stable set of G, and a maximum weighted stable set of (G, w) is a stable set whose weight is precisely \(\alpha (G,w)\). (If (G, w) is a weighted graph and H is an induced subgraph of G, then we will also write \(\alpha (H,w)\) for the stability number of the weighted graph \((H,w')\) where \(w'\) is the restriction of w to V(H).) The maximum weight stable set problem for a given class \(\mathcal {G}\) of graphs is the problem of finding a maximum weight stable set in a given weighted graph (G, w) such that \(G \in \mathcal {G}\). A hereditary class is a class of graphs that is closed under isomorphism and induced subgraphs (clearly, the class of {ISK4,wheel}free graphs is a hereditary class). The following is wellknown.
Proposition 1.1
(Folklore) Let \(\mathcal {G}\) be a hereditary class. Suppose that \(\mathcal {A}\) is an algorithm that computes the stability number of any weighted graph (G, w) such that \(G \in \mathcal {G}\) in \(O(V(G)^k)\) time. Then there is an algorithm \(\mathcal {B}\) that computes a maximum weight stable set of any graph (G, w) such that \(G \in \mathcal {G}\) in \(O(V(G)^{\max \{k+1,3\}})\) time.
Proof
Let (G, w) be an input graph with \(G \in \mathcal {G}\), and set \(n = V(G)\). If G is the null graph, then the algorithm returns \(\emptyset \) and stops. Otherwise, we choose a vertex \(v \in V(G)\), we compute the graph \(G {\smallsetminus } N[v]\) in \(O(n^2)\) time (where N[v] is the set consisting of v and all its neighbors in G), and using the algorithm \(\mathcal {A}\), we compute \(\alpha (G,w)\) and \(\alpha (G {\smallsetminus } N[v],w)\) in \(O(n^k)\) time. Clearly, \(w(v)+\alpha (G {\smallsetminus } N[v],w) \le \alpha (G,w)\). If \(w(v)+\alpha (G {\smallsetminus } N[v],w) = \alpha (G,w)\), then we recursively compute a maximum weight stable set S of \((G {\smallsetminus } N[v],w)\), and the algorithm returns \(\{v\} \cup S\) and stops. On the other hand, if \(w(v)+\alpha (G {\smallsetminus } N[v],w) < \alpha (G,w)\), then we see that no maximum weight stable set of (G, w) contains v. In this case, we compute \(G {\smallsetminus } v\) in \(O(n^2)\) time, we recursively compute a maximum weight stable set S of \((G {\smallsetminus } v,w)\), and the algorithm returns S and stops.
It is clear that the algorithm is correct. We make O(n) recursive calls to the algorithm, and it follows that the total running time of the algorithm is \(O(n^{\max \{k+1,3\}})\).
\(\square \)
In view of Proposition 1.1, from now on, we focus on constructing a polynomialtime algorithm that computes the stability number of weighted {ISK4,wheel}free graphs.
The decomposition theorem for {ISK4,wheel}free graphs from [11] states (roughly) that every such graph is either “basic” or admits a “decomposition” (that is, a way to break it up into smaller pieces). The basic classes are all fairly easy to handle and the main difficulty is posed by the decompositions. One of the decompositions, namely the cliquecutset (that is, a clique whose deletion yields a disconnected graph), is easy to handle, but the other one is not: the “proper 2cutset.” A proper 2cutset of a graph G is a pair of nonadjacent vertices, say a and b, such that \(V(G) {\smallsetminus } \{a,b\}\) can be partitioned into two nonempty sets X and Y so that there is no edge between X and Y, and neither \(G[X \cup \{a,b\}]\) nor \(G[Y \cup \{a,b\}]\) is a path between a and b.
The problem with a proper 2cutset \(\{a, b\}\) of a graph G is that a maximum stable set of G may contain a (but not b), or b (but not a), or neither a nor b, or both a and b. This phenomenon also occurs in any induced subgraph of G that contains a and b, and in particular in any reasonable subgraph built for the purposes of a recursive algorithm. So, any naive attempt to build an algorithm for the maximum stable set problem relying on proper 2cutsets should lead one to consider an exponential number of cases. In fact, the situation is even worse for proper 2cutsets as shown by a hardness result that we explain now. Let G be a graph. A 2extension of G is any graph obtained from G by first deleting a vertex v of degree two, with nonadjacent neighbors a and b, then adding four vertices of degree two forming a path \(ax_1x_2x_3x_4b\), and finally adding a vertex x adjacent to \(x_1\), \(x_2\), \(x_3\) and \(x_4\). An extended bipartite graph is any graph obtained from a bipartite graph by repeatedly applying 2extensions. Trivially, extended bipartite graphs have a decomposition theorem: if G is an extended bipartite graph, then either G is bipartite, or G was obtained from an even cycle by performing exactly one 2extension, or G has a proper 2cutset. It is wellknown that one can find the stability number of a (weighted) bipartite graph in polynomial time (see for instance [9]). It is also clear that the stability number of a (weighted) graph obtained from an even cycle by performing exactly one 2extension can be found in polynomial time (indeed, if G is obtained from an even cycle by performing exactly one 2extension, and \(x,x_1,x_2,x_3,x_4\) are as in the definition of a 2extension, then every stable set of G is also a stable set of at least one of \(G {\smallsetminus } \{x_2,x_3\}\), \(G {\smallsetminus } \{x,x_1\}\), and \(G {\smallsetminus } \{x,x_2\}\), and each of these three induced subgraphs of G is either a path or an even cycle, and is therefore bipartite). So, if proper 2cutsets were a good tool for solving the maximum stable set problem, there should be a polynomialtime algorithm for solving this problem in extended bipartite graphs. However, it was shown in [16] that the maximum stable set problem is NPhard when restricted to extended bipartite graphs. The result is stated differently in [16], and so we reproduce it here for the sake of completeness.
Proposition 1.2
The problem of computing the stability number of an input extended bipartite graph is NPhard.
Proof
Suppose there is a polynomialtime algorithm \(\mathcal A\) for our problem. We prove the theorem by using \(\mathcal A\) as a subroutine to solve the problem of computing the stability number of a general graph G in polynomial time. First build B by subdividing every edge of G once. Let X be the set of vertices of degree two in B that arise from the subdivisions. Note that B is bipartite, and \((X, V(B) {\smallsetminus } X)\) is a bipartition of B. Now build a graph H from B by applying a 2extension to every vertex of X. By construction, H is an extended bipartite graph, and it is easy to check that \(\alpha (H) = \alpha (G) + 2 E(G)\). Thus, \(\mathcal A\) indeed allows one to compute the stability number of a general graph in polynomial time.
Despite this negative result, we can use (a variant of) a proper 2cutset in the special case of {ISK4,wheel}free graphs, mainly because the basic classes are very restricted. We rely on what is called a “trigraph,” which is a graph where some edges are left “undecided” (the notion is from [6, 7], and formal definitions are given in Sect. 2). The idea is as follows. When G is a graph, a and b are nonadjacent vertices of G whose deletion yields a disconnected graph, and \(V(G) {\smallsetminus } \{a,b\}\) is partitioned into nonempty sets X and Y such that there are no edges between X and Y, we build a (tri)graph on the vertex set \(X \cup \{a,b\}\)by keeping the edges of G, and by leaving the adjacency between a and b undecided. We give weights to a and b, and we also give weights specific to the pair \(\{a,b\}\). Roughly speaking, the weights associated with the vertices a and b and the pair \(\{a,b\}\) “encode” the maximum weight of a stable set in graphs G[Y], \(G[Y \cup \{a\}]\), \(G[Y \cup \{b\}]\), and \(G[Y \cup \{a,b\}]\). We therefore need weights, undecided adjacencies, and a way to handle the notion of the weight of a stable set in this context. All this is captured in the notion of weighted trigraph (we postpone the formal definition to Sect. 3). We remark that a similar idea was previously used in [15] in the context of bullfree graphs. However, the definition of a weighted trigraph was simpler in [15] than in the present paper, as was the definition of the weight of a stable set in a weighted trigraph. The reason for this is that the decompositions that appear in the context of bullfree graphs are more convenient than proper 2cutsets for the purposes of computing the stability number.
We complete the introduction by giving an outline of the paper. In Sect. 2, we define trigraphs and introduce some basic trigraphrelated terminology that we need. In Sect. 3, we define weighted trigraphs, explain how to compute the weight of a set of vertices in a weighted trigraph, and prove several results about weighted stable sets in weighted trigraphs. These properties are more complicated than one might expect because of the weights associated with the undecided adjacencies. Because of these weights, the weight of a set is not a monotone function (one could increase the weight of a set by taking a subset). For this reason, all proofs need to be written very carefully. In Sect. 4, we state a decomposition theorem for {ISK4,wheel}free trigraphs (see Theorem 4.1). Since the proof of this theorem is very similar to that of the decomposition theorem for ISK4free graphs from [11], we omit the proof of Theorem 4.1 in the present paper. The interested reader can find a detailed proof in [12]. Interestingly, the fact that our theorem concerns trigraphs rather than graphs does not substantially complicate the proof, even though our theorem is formally stronger than the corresponding one for graphs. On the other hand, the fact that we restrict our attention to the wheelfree case significantly simplifies our proof. We complete Sect. 4 by using Theorem 4.1 to prove an “extreme” decomposition theorem for {ISK4,wheel}free trigraphs (see Theorem 4.8 and Corollary 4.9). Roughly speaking, our extreme decomposition theorem states that every {ISK4,wheel}free trigraph is either basic or admits a decomposition such that one block of decomposition is basic. In Sect. 5, we give a transformation from a weighted trigraph to a weighted graph that preserves the stability number. In Sect. 6, we use this transformation to compute the stability number in our basic trigraphs. Again, the proofs have to be done carefully, because as proven at the very end of the paper (see Theorem 8.1), it is NPhard to compute the stability number of weighted bipartite trigraphs, and so one should be suspicious of “simple” classes of trigraphs in our context. In Sect. 7, we prove our main technical result: there is an \(O(V(G)^7)\)time algorithm to compute the stability number of an input weighted {ISK4,wheel}free trigraph (G, w) (see Theorem 7.1). Since every weighted {ISK4,wheel}free graph can be seen as a weighted {ISK4,wheel}free trigraph, the algorithm from Theorem 7.1 can also be applied to {ISK4,wheel}free graphs. Together with Proposition 1.1, this yields an \(O(V(G)^8)\)time algorithm that finds a maximum weight stable set of an input weighted {ISK4,wheel}free graph (see Corollary 7.2). In Sect. 8, we prove the abovementioned Theorem 8.1, which states that it is NPhard to compute the stability number of a weighted bipartite trigraph.
Trigraphs
Given a set S, we denote by \({S \atopwithdelims ()2}\) the set of all subsets of S of size two. A trigraph is an ordered pair \(G = (V(G),\theta _G)\), where V(G) is a finite set, called the vertex set of G (members of V(G) are called vertices of G), and \(\theta _G:{V(G) \atopwithdelims ()2} \rightarrow \{1,0,1\}\) is a function, called the adjacency function of G. The null trigraph is the trigraph whose vertex set is empty; a nonnull trigraph is any trigraph whose vertex set is nonempty. If G is a trigraph and \(u,v \in V(G)\) are distinct, we usually write uv instead of \(\{u,v\}\) (note that this means that \(uv = vu\)), and furthermore:

if \(\theta _G(uv) = 1\), we say that uv is a strongly adjacent pair of G, or that u and v are strongly adjacent in G, or that u is strongly adjacent to v in G, or that v is a strong neighbor of u in G, or that u and v are the endpoints of a strongly adjacent pair of G;

if \(\theta _G(uv) = 0\), we say that uv is a semiadjacent pair of G, or that u and v are semiadjacent in G, or that u is semiadjacent to v in G, or that v is a weak neighbor of u in G, or that u and v are the endpoints of a semiadjacent pair of G;

if \(\theta _G(uv) = 1\), we say that uv is a strongly antiadjacent pair of G, or that u and v are strongly antiadjacent in G, or that u is strongly antiadjacent to v in G, or that v is a strong antineighbor of u in G, or that u and v are the endpoints of a strongly antiadjacent pair of G;

if \(\theta _G(uv) \ge 0\), we say that uv is an adjacent pair of G, or that u and v are adjacent in G, or that u is adjacent to v in G, or that v is a neighbor of u in G, or that u and v are the endpoints of an adjacent pair of G;

if \(\theta _G(uv) \le 0\), we say that uv is an antiadjacent pair of G, or that u and v are antiadjacent in G, or that u is antiadjacent to v in G, or that v is an antineighbor of u in G, or that u and v are the endpoints of an antiadjacent pair of G.
Note that a semiadjacent pair is simultaneously an adjacent pair and an antiadjacent pair. One can think of strongly adjacent pairs as “edges,” of strongly antiadjacent pairs as “nonedges,” and of semiadjacent pairs as “optional edges.” Clearly, any graph can be thought of as a trigraph: a graph is simply a trigraph with no semiadjacent pairs, that is, the adjacency function of a graph G is a mapping from \({V(G) \atopwithdelims ()2}\) to the set \(\{1,1\}\).
Given a trigraph G, a vertex \(u \in V(G)\), and a set \(X \subseteq V(G) {\smallsetminus } \{u\}\), we say that u is complete (respectively: strongly complete, anticomplete, strongly anticomplete) to X in G provided that u is adjacent (respectively: strongly adjacent, antiadjacent, strongly antiadjacent) to every vertex of X in G. Given a trigraph G and disjoint sets \(X,Y \subseteq V(G)\), we say that X is complete (respectively: strongly complete, anticomplete, strongly anticomplete) to Y in G provided that every vertex of X is complete (respectively: strongly complete, anticomplete, strongly anticomplete) to Y in G.
Isomorphism between trigraphs is defined in the natural way. The complement of a trigraph \(G = (V(G),\theta _G)\) is the trigraph \(\overline{G} = (V(\overline{G}),\theta _{\overline{G}})\) such that \(V(\overline{G}) = V(G)\) and \(\theta _{\overline{G}} = \theta _G\). Thus, \(\overline{G}\) is obtained from G by turning all strongly adjacent pairs of G into strongly antiadjacent pairs, and turning all strongly antiadjacent pairs of G into strongly adjacent pairs; semiadjacent pairs of G remain semiadjacent in \(\overline{G}\).
Given trigraphs G and \(\widetilde{G}\), we say that \(\widetilde{G}\) is a semirealization of G provided that \(V(\widetilde{G}) = V(G)\) and for all distinct \(u,v \in V(\widetilde{G}) = V(G)\), we have that if \(\theta _G(uv) = 1\) then \(\theta _{\widetilde{G}}(uv) = 1\), and if \(\theta _G(uv) = 1\) then \(\theta _{\widetilde{G}}(uv) = 1\). Thus, a semirealization of a trigraph G is any trigraph that can be obtained from G by “deciding” the adjacency of some semiadjacent pairs of G, that is, by possibly turning some semiadjacent pairs of G into strongly adjacent or strongly antiadjacent pairs. (In particular, every trigraph is a semirealization of itself.) A realization of a trigraph G is a graph that is a semirealization of G. Thus, a realization of a trigraph G is any graph that can be obtained by “deciding” the adjacency of all semiadjacent pairs of G, that is, by turning each semiadjacent pair of G into an edge or a nonedge. Clearly, if a trigraph G has m semiadjacent pairs, then G has \(3^m\) semirealizations and \(2^m\) realizations. The full realization of a trigraph G is the graph obtained from G by turning all semiadjacent pairs of G into strongly adjacent pairs (i.e., edges), and the null realization of G is the graph obtained from G by turning all semiadjacent pairs of G into strongly antiadjacent pairs (i.e., nonedges).
A clique (respectively: strong clique, stable set, strongly stable set) of a trigraph G is a set of pairwise adjacent (respectively: strongly adjacent, antiadjacent, strongly antiadjacent) vertices of G. Note that any subset of V(G) of size at most one is both a strong clique and a strongly stable set of G. Note also that if \(S \subseteq V(G)\), then S is a (strong) clique of G if and only if S is a (strongly) stable set of \(\overline{G}\). Note furthermore that if K is a strong clique and S is a stable set of G, then \(K \cap S \le 1\); similarly, if K is a clique and S is a strongly stable set of G, then \(K \cap S \le 1\). However, if K is a clique and S is a stable set of G, then we are only guaranteed that vertices in \(K \cap S\) are pairwise semiadjacent to each other, and it is possible that \(K \cap S \ge 2\). A triangle (respectively: strong triangle) is a clique (respectively: strong clique) of size three.
Given a trigraph G and a set \(X \subseteq V(G)\), the subtrigraph of G induced by X, denoted by G[X], is the trigraph with vertex set X and adjacency function \(\theta _G \upharpoonright {X \atopwithdelims ()2}\), where for a function \(f:A\rightarrow B\) and a set \(A'\subseteq A\), we denote by \(f\upharpoonright A'\) the restriction of f to \(A'\). If \(H = G[X]\) for some \(X \subseteq V(G)\), we also say that H is an induced subtrigraph of G; when convenient, we relax this definition and say that H is an induced subtrigraph of G provided that there is some set \(X \subseteq V(G)\) such that H is isomorphic to G[X]. If \(v_1,\ldots ,v_k\) are vertices of a trigraph G, we often write \(G[v_1,\ldots ,v_k]\) instead of \(G[\{v_1,\ldots ,v_k\}]\). Further, for a trigraph G and a set \(X \subseteq V(G)\), we set \(G {\smallsetminus } X = G[V(G) {\smallsetminus } X]\); for \(v \in V(G)\), we often write \(G {\smallsetminus } v\) instead of \(G {\smallsetminus } \{v\}\). The trigraph \(G {\smallsetminus } X\) (respectively: \(G {\smallsetminus } v\)) is called the subtrigraph of G obtained by deleting X (respectively: by deleting v).
If H is a graph, we say that a trigraph G is an H trigraph if some realization of G is (isomorphic to) H. Further, if H is a graph and G a trigraph, we say that G is H free provided that all realizations of G are Hfree (equivalently: provided that no induced subtrigraph of G is an Htrigraph). If \(\mathcal {H}\) is a family of graphs, we say that a trigraph G is \(\mathcal {H}\) free provided that G is Hfree for all graphs \(H \in \mathcal {H}\). In particular, a trigraph is ISK4free (respectively: wheelfree, {ISK4,wheel}free) if all its realizations are ISK4free (respectively: wheelfree, {ISK4,wheel}free).
A trigraph is connected if its full realization is a connected graph. A trigraph is disconnected if it is not connected. A component of a nonnull trigraph G is any (inclusionwise) vertexmaximal connected induced subtrigraph of G. Clearly, if H is an induced subtrigraph of a nonnull trigraph G, then we have that H is a component of G if and only if the full realization of H is a component of the full realization of G.
A trigraph is a path if at least one of its realizations is a path. A trigraph is a narrow path if its full realization is a path. We often denote a path P by \(v_0v_1\cdots v_k\) (with \(k \ge 0\)), where \(v_0,v_1,\ldots ,v_k\) are the vertices of P that appear in that order in some realization \(\widetilde{P}\) of P such that \(\widetilde{P}\) is a path. The endpoints of a narrow path are the endpoints of its full realization; if a and b are the endpoints of a narrow path P, then we also say that P is a narrow path between a and b. A path (respectively: narrow path) in a trigraph G is an induced subtrigraph P of G such that P is a path (respectively: narrow path).
Note that if G is a connected trigraph, then for all vertices \(a,b \in V(G)\), there exists a narrow path between a and b in G. (To see this, consider the full realization \(\widetilde{G}\) of G. \(\widetilde{G}\) is connected, and so there is a path in \(\widetilde{G}\) between a and b; let P be a shortest such path in \(\widetilde{G}\). The minimality of P guarantees that P is an induced path of \(\widetilde{G}\). But now G[V(P)] is a narrow path of G between a and b).
A hole of a trigraph G is an induced subtrigraph C of G such that some realization of C is a chordless cycle of length at least four. We often denote a hole C of G by \(v_0v_1\cdots v_{k1}v_0\) (with \(k \ge 4\) and indices in \(\mathbb {Z}_k\)), where \(v_0,v_1,\ldots ,v_{k1}\) are the vertices of C that appear in that order in some realization \(\widetilde{C}\) of C such that \(\widetilde{C}\) is a chordless cycle of length at least four.
A cutset of a trigraph G is a (possibly empty) set \(C \subseteq V(G)\) such that \(G {\smallsetminus } C\) is disconnected. A cutpartition of a trigraph G is a partition (A, B, C) of V(G) such that A and B are nonempty (C may possibly be empty), and A is strongly anticomplete to B. Note that if (A, B, C) is a cutpartition of G, then C is a cutset of G. Conversely, every cutset of G induces at least one cutpartition of G. A cliquecutset of a trigraph G is a (possibly empty) strong clique C of G such that \(G {\smallsetminus } C\) is disconnected. A cutvertex of a trigraph G is a vertex \(v \in V(G)\) such that \(G {\smallsetminus } v\) is disconnected. Note that if v is a cutvertex of G, then \(\{v\}\) is a cliquecutset of G. A stable 2cutset of a trigraph G is cutset of G that is a stable set of size two. We remark that if C is a cutset of a trigraph G such that \(C \le 2\), then C is either a cliquecutset or a stable 2cutset of G.
A graph is series–parallel if it does not contain any subdivision of \(K_4\) as a (not necessarily induced) subgraph. A trigraph is series–parallel if its full realization is series–parallel (equivalently: if all its realizations are series–parallel).
A bipartite trigraph is a trigraph G whose vertex set can be partitioned into two (possibly empty) strongly stable sets, A and B; under these circumstances, (A, B) is said to be a bipartition of the bipartite trigraph G. If, in addition, the two strongly stable sets A and B forming a bipartition are strongly complete to each other, G is said to be a complete bipartite trigraph. Note that nonnull complete bipartite trigraphs have precisely two bipartitions: if (A, B) is a bipartition of a complete bipartite trigraph G, then so is (B, A), and G has no other bipartitions. Furthermore, note that bipartite trigraphs may have semiadjacent pairs, but complete bipartite trigraphs cannot. Thus, complete bipartite trigraphs are in fact complete bipartite graphs.
The line graph of a graph H, denoted by L(H), is the graph whose vertices are the edges of H, and in which two vertices (i.e., edges of H) are adjacent if they share an endpoint in H. A line trigraph of a graph H is a trigraph G whose full realization is (isomorphic to) L(H), and all of whose triangles are strong. A trigraph G is said to be a line trigraph provided there is a graph H such that G is a line trigraph of H.
Stable Sets in Weighted Trigraphs
In what follows, \(\mathbb {N}\) is the set of nonnegative integers. Given a trigraph G, we define
A weight function for a trigraph G is any function \(w:D(G) \rightarrow \mathbb {N}\) that satisfies the following two properties:

for all distinct \(u,v \in V(G)\), if uv is not a semiadjacent pair of G, then \(w(u,v) = w(v,u) = w(uv) = 0\);

all distinct \(u,v \in V(G)\) satisfy \(w(u,v)\le w(uv)\).
A weighted trigraph is an ordered pair (G, w) where G is a trigraph and w is a weight function for G.
Essentially, a weight function w assigns a nonnegative integer weight w(u) to each vertex u of the trigraph G, and for each semiadjacent pair uv, there are three nonnegative integer weights associated with it, namely w(u, v), w(v, u), and w(uv), and these weights must satisfy \(\max \{w(u,v),w(v,u)\} \le w(uv)\). If uv is a strongly adjacent or strongly antiadjacent pair, then we have \(w(u,v) = w(v,u) = w(uv) = 0\). (Zero weights are assigned to strongly adjacent and strongly antiadjacent pairs for the purposes of making calculations notationally simpler, but only vertices and semiadjacent pairs actually “count.”)
Note that if a trigraph G is a semirealization of a trigraph \(G'\), then every weight function for G is also a weight function for \(G'\) (however, a weight function for \(G'\) need not be a weight function for G).
If (G, w) is a weighted trigraph, and H is an induced subtrigraph of G, then clearly, \((H,w \upharpoonright D(H))\) is also a weighted trigraph; to simplify notation, we often write (H, w) instead of \((H,w \upharpoonright D(H))\).
Given a weighted trigraph (G, w) and a set \(S \subseteq V(G)\), the weight of S with respect to (G, w), denoted by \(\llbracket S \rrbracket _{(G,w)}\), is defined to be
Note that if (G, w) is a weighted trigraph such that G has no semiadjacent pairs (that is, such that G is a graph), then for all \(S \subseteq V(G)\), we have that \(\llbracket S \rrbracket _{(G,w)} = \sum \nolimits _{u \in S} w(u)\). Thus, our definition of a weight of a set of vertices in a weighted trigraph indeed generalizes the usual notion of the weight of a set in a weighted graph.
It is easy to see that for all weighted trigraphs (G, w), all induced subtrigraphs H of G, and all sets \(S \subseteq V(H)\), we have that \(\llbracket S \rrbracket _{(H,w)} \le \llbracket S \rrbracket _{(G,w)}\). Strict inequality may hold because the weight of a set in a weighted trigraph depends not only on what is in the set, but also on what is outside of it. Furthermore, if (G, w) is a weighted trigraph and \(S_1 \subsetneqq S_2 \subseteq V(G)\), there is in general no relationship between \(\llbracket S_1 \rrbracket _{(G,w)}\) and \(\llbracket S_2 \rrbracket _{(G,w)}\), that is, any one of the following is possible: \(\llbracket S_1 \rrbracket _{(G,w)} < \llbracket S_2 \rrbracket _{(G,w)}\), \(\llbracket S_1 \rrbracket _{(G,w)} = \llbracket S_2 \rrbracket _{(G,w)}\), and \(\llbracket S_1 \rrbracket _{(G,w)} > \llbracket S_2 \rrbracket _{(G,w)}\).
The stability number of a weighted trigraph (G, w), denoted by \(\alpha (G,w)\), is defined to be
A zerovertex of a weighted trigraph (G, w) is any vertex \(u \in V(G)\) such that \(w(u) = 0\).
Proposition 3.1
Let (G, w) be a weighted trigraph, and let \(Z,S \subseteq V(G)\). Then \(\llbracket S \rrbracket _{(G,w)} \le \llbracket S {\smallsetminus } Z \rrbracket _{(G,w)}+\sum \nolimits _{u \in Z} w(u)\).
Proof
Since \(w(u) \ge 0\) for all \(u \in V(G)\), we may assume that \(Z \subseteq S\). Using the definition of \(\llbracket S \rrbracket _{(G,w)}\) and \(\llbracket S {\smallsetminus } Z \rrbracket _{(G,w)}\), we obtain the following:
By the definition of a weight function, we have that \(w(uv) \ge w(u,v) \ge 0\) for all distinct \(u,v \in V(G)\). The calculation above now implies that \(\llbracket S \rrbracket _{(G,w)} \le \llbracket S {\smallsetminus } Z \rrbracket _{(G,w)}+\sum \nolimits _{u \in Z} w(u)\), which is what we needed. \(\square \)
Proposition 3.2
For all weighted trigraphs (G, w), there exists a stable set S of G such that S contains no zerovertices of (G, w) and \(\llbracket S \rrbracket _{(G,w)} = \alpha (G,w)\).
Proof
Fix a weighted trigraph (G, w) and a stable set S of G such that \(\llbracket S \rrbracket _{(G,w)} = \alpha (G,w)\). Let Z be the set of all zerovertices of G. Then \(S {\smallsetminus } Z\) is a stable set of G that contains no zero vertices of G, and clearly, we have that \(\llbracket S {\smallsetminus } Z \rrbracket _{(G,w)} \le \alpha (G,w)\). On the other hand, Proposition 3.1 implies that \(\alpha (G,w) = \llbracket S \rrbracket _{(G,w)} \le \llbracket S {\smallsetminus } Z \rrbracket _{(G,w)}+\sum \nolimits _{u \in Z} w(u) = \llbracket S {\smallsetminus } Z \rrbracket _{(G,w)}\). It follows that \(\llbracket S {\smallsetminus } Z \rrbracket _{(G,w)} = \alpha (G,w)\), and so \(S {\smallsetminus } Z\) is the stable set that we needed. \(\square \)
The next two propositions (Propositions 3.3 and 3.4) are easy consequences of the appropriate definitions, and we leave their proofs as exercises for the reader.
Proposition 3.3
Let (G, w) be a weighted trigraph, let (A, B, C) be a cutpartition of G, and let \(S \subseteq V(G)\). Then \(\llbracket S \cap (A \cup C) \rrbracket _{(G[A \cup C],w)}+\llbracket S \cap (B \cup C) \rrbracket _{(G[B \cup C],w)} = \llbracket S \rrbracket _{(G,w)}+\llbracket S \cap C \rrbracket _{(G[C],w)}\).
Proposition 3.4
Let (G, w) and \((G',w')\) be weighted trigraphs such that \(V(G) = V(G')\). Let \(C \subseteq V(G)\), and assume that \(\theta _G \upharpoonright ({V(G) \atopwithdelims ()2} {\smallsetminus } {C \atopwithdelims ()2}) = \theta _{G'} \upharpoonright ({V(G) \atopwithdelims ()2} {\smallsetminus } {C \atopwithdelims ()2})\) and \(w \upharpoonright (D(G) {\smallsetminus } D(G[C])) = w' \upharpoonright (D(G') {\smallsetminus } D(G'[C]))\) (that is, adjacency and weights in (G, w) and \((G',w')\) are the same except possibly within C). Let \(S \subseteq V(G)\). Then \(\llbracket S \rrbracket _{(G,w)}\llbracket S \cap C \rrbracket _{(G[C],w)} = \llbracket S \rrbracket _{(G',w')}\llbracket S \cap C \rrbracket _{(G'[C],w')}\).
We now need a couple of definitions. If (G, w) is a weighted trigraph and \(R \subseteq V(G)\), the reduction of (G, w) to R, denoted by \(\mathrm{Red}[G,w;R]\), is defined to be the weighted trigraph \((G[R],w')\), where \(w':D(G[R]) \rightarrow \mathbb {N}\) is given by:

for all \(u \in R\), \(w'(u) = \max \left\{ w(u)\sum \nolimits _{v \in V(G) {\smallsetminus } R} (w(uv)w(u,v)),0\right\} \);

for all distinct \(u,v \in R\), \(w'(u,v) = w(u,v)\);

for all \(uv \in {R \atopwithdelims ()2}\), \(w'(uv) = w(uv)\).
Further, we define the exterior weight of R with respect to (G, w), denoted by \(\mathrm{Ext}[G,w;R]\), to be
We remark that for all weighted trigraphs (G, w), we have that \(\mathrm{Red}[G,w;V(G)] = (G,w)\) and \(\mathrm{Ext}[G,w;V(G)] = 0\), and consequently, \(\alpha (G,w) = \alpha (\mathrm{Red}[G,w;V(G)])+\mathrm{Ext}[G,w;V(G)]\).
Proposition 3.5
There is an algorithm with the following specifications:

Input: a weighted trigraph (G, w) and a set \(R \subseteq V(G)\);

Output: \(\mathrm{Red}[G,w;R]\) and \(\mathrm{Ext}[G,w;R]\);

Running time: \(O(n^2)\), where \(n = V(G)\).
Proof
Clearly, the trigraph G[R] can be computed in time \(O(n^2)\). Similarly, the quantity \(\sum _{uv \in {V(G) {\smallsetminus } R \atopwithdelims ()2}} w(uv)\) can be found in time \(O(n^2)\). Further, for each vertex \(u \in R\), the quantities \(\sum _{v \in V(G) {\smallsetminus } R} w(uv)\) and \(\max \{w(u)\sum _{v \in V(G) {\smallsetminus } R} (w(uv)w(u,v)),0\}\) can be found in O(n) time. Since R contains at most n vertices, the result follows. \(\square \)
Proposition 3.6
Let (G, w) be a weighted trigraph, and let \(S \subseteq R \subseteq V(G)\). Then \(\llbracket S \rrbracket _{(G,w)} \le \llbracket S \rrbracket _{\mathrm{Red}[G,w;R]}+\mathrm{Ext}[G,w;R]\). Furthermore, if S contains no zerovertices of \(\mathrm{Red}[G,w;R]\), then equality holds, that is, \(\llbracket S \rrbracket _{(G,w)} = \llbracket S \rrbracket _{\mathrm{Red}[G,w;R]}+\mathrm{Ext}[G,w;R]\).
Proof
Set \(w':D(G[R]) \rightarrow \mathbb {N}\) so that \((G[R],w') = \mathrm{Red}[G,w;R]\). By definition, for all \(u \in S\), \(w'(u) \ge w(u)\sum _{v \in V(G) {\smallsetminus } R} (w(uv)w(u,v))\) (and if u is not a zerovertex of \(\mathrm{Red}[G,w;R]\), then equality holds). Consequently,
This proves that \(\llbracket S \rrbracket _{(G,w)} \le \llbracket S \rrbracket _{\mathrm{Red}[G,w;R]}+\mathrm{Ext}[G,w;R]\). Furthermore, if S contains no zero vertices of \(\mathrm{Red}[G,w;R]\) (and so \(w'(u) = w(u)\sum \nolimits _{v \in V(G) {\smallsetminus } R} (w(uv)w(u,v))\) for all \(u \in S\)), the computation above yields \(\llbracket S \rrbracket _{(G,w)} = \llbracket S \rrbracket _{\mathrm{Red}[G,w;R]}+\mathrm{Ext}[G,w;R]\). \(\square \)
Proposition 3.7
Let (G, w) be a weighted trigraph, let \(S \subseteq R \subseteq V(G)\), and assume that S is a stable set of G. Then \(\sum \nolimits _{u \in S} w(u) \le \alpha (\mathrm{Red}[G,w;R])+\mathrm{Ext}[G,w;R]\).
Proof
By the definition of \(\llbracket S \rrbracket _{(G,w)}\), we have that \(\sum \nolimits _{u \in S} w(u) \le \llbracket S \rrbracket _{(G,w)}\). We now compute:
Thus, \(\sum \nolimits _{u \in S} w(u) \le \alpha (\mathrm{Red}[G,w;R])+\mathrm{Ext}[G,w;R]\). This completes the argument. \(\square \)
Proposition 3.8
Let (G, w) be a weighted trigraph, and let \(R_1,R_2 \subseteq V(G)\) be disjoint sets. Set \(\alpha _{R_1} = \alpha (\mathrm{Red}[G,w;R_1])+\mathrm{Ext}[G,w;R_1]\) and \(\alpha _{R_1 \cup R_2} = \alpha (\mathrm{Red}[G,w;R_1 \cup R_2])+\mathrm{Ext}[G,w;R_1 \cup R_2]\). Then \(\alpha _{R_1} \le \alpha _{R_1 \cup R_2} \le \alpha _{R_1}+\sum \nolimits _{u \in R_2} w(u)\).
Proof
We first show that \(\alpha _{R_1} \le \alpha _{R_1 \cup R_2}\). Using Proposition 3.2, we fix a stable set \(S \subseteq R_1\) of G that contains no zerovertices of \(\mathrm{Red}[G,w;R_1]\) and satisfies \(\llbracket S \rrbracket _{\mathrm{Red}[G,w;R_1]} = \alpha (\mathrm{Red}[G,w;R_1])\). Then
Thus, \(\alpha _{R_1} \le \alpha _{R_1 \cup R_2}\).
It remains to show that \(\alpha _{R_1 \cup R_2} \le \alpha _{R_1}+\sum \nolimits _{u \in R_2} w(u)\). Using Proposition 3.2, we fix a stable set \(S \subseteq R_1 \cup R_2\) that contains no zerovertices of \(\mathrm{Red}[G,w;R_1 \cup R_2]\) and satisfies \(\llbracket S \rrbracket _{\mathrm{Red}[G,w;R_1 \cup R_2]} = \alpha (\mathrm{Red}[G,w;R_1 \cup R_2])\). We then have the following:
Thus, \(\alpha _{R_1 \cup R_2} \le \alpha _{R_1}+\sum \nolimits _{u \in R_2} w(u)\). This completes the argument. \(\square \)
Before stating our next proposition, we remind the reader that if G is a semirealization of a trigraph \(G'\), then every weight function for G is also a weight function for \(G'\). In particular, if (G, w) is a weighted trigraph, and \(G'\) is a trigraph obtained from G by possibly turning some strongly antiadjacent pairs of G into semiadjacent pairs, then \((G',w)\) is also a weighted trigraph.
Proposition 3.9
Let (G, w) be a weighted trigraph, and let (A, B, C) be a cutpartition of G. For each \(X \in \{A,B\}\), let \(G_X\) be a trigraph obtained from \(G[X \cup C]\) by possibly turning some strongly antiadjacent pairs of \(G[X \cup C]\) into semiadjacent pairs. For all \(C' \subseteq C\), set \(\alpha _{A \cup C'} = \alpha (\mathrm{Red}[G_A,w;A \cup C'])+\mathrm{Ext}[G_A,w;A \cup C']\). Let \(k \in \mathbb {N}\) and let \(w_B\) be a weight function for \(G_B\) that satisfies all of the following:

for all \(u \in B\), \(w_B(u) = w(u)\);

for all \(uv \in {B \cup C \atopwithdelims ()2} {\smallsetminus } {C \atopwithdelims ()2}\), \(w_B(u,v) = w(u,v)\) and \(w_B(uv) = w(uv)\);

for all \(S_C \subseteq C\) such that \(S_C\) is a stable set of \(G_B\), we have that \(\llbracket S_C \rrbracket _{(G_B[C],w_B)} = \alpha _{A \cup S_C}k\).
Then \(\alpha (G,w) = k+\alpha (G_B,w_B)\).
Proof
We begin by observing that for all \(X \in \{A,B\}\) and \(S \subseteq X \cup C\), we have that S is a stable set of \(G_X\) if and only if S is a stable set of \(G[X \cup C]\), and furthermore, for all \(Y \subseteq X \cup C\), we have that \(\llbracket S \cap Y \rrbracket _{(G_X[Y],w)} = \llbracket S \cap Y \rrbracket _{(G[Y],w)}\).
Let us first show that \(\alpha (G,w) \le k+\alpha (G_B,w_B)\). Fix a stable set S of G such that \(\llbracket S \rrbracket _{(G,w)} = \alpha (G,w)\). Set \(S_A = S \cap (A \cup C)\), \(S_B = S \cap (B \cup C)\), and \(S_C = S \cap C\). We then have the following:
This proves that \(\alpha (G,w) \le k+\alpha (G_B,w_B)\).
It remains to show that \(k+\alpha (G_B,w_B) \le \alpha (G,w)\). Using Proposition 3.2, we fix a stable set \(S_B\) of \(G_B\) that contains no zerovertices of \(G_B\) and satisfies \(\llbracket S_B \rrbracket _{(G_B,w_B)} = \alpha (G_B,w_B)\); we may assume that \(S_B\) was chosen inclusionminimal with this property, that is, that for all \(S_B' \subsetneqq S_B\), we have that \(\llbracket S_B' \rrbracket _{(G_B,w_B)} < \alpha (G_B,w_B)\). Set \(S_C = S_B \cap C\).
Let us first check that for all \(S_C' \subsetneqq S_C\), we have that \(\alpha _{A \cup S_C'} < \alpha _{A \cup S_C}\). Fix \(S_C' \subsetneqq S_C\), and set \(S_B' = (S_B {\smallsetminus } C) \cup S_C'\). By the minimality of \(S_B\), we have that \(\llbracket S_B' \rrbracket _{(G_B,w_B)} < \llbracket S_B \rrbracket _{(G_B,w_B)}\). Since \(w_B\) is a weight function for \(G_B\), we know that \(w_B(u,v) \le w_B(uv)\) for all \(uv \in {B \cup C \atopwithdelims ()2}\). We now have that
and consequently, \(\alpha _{A\cup S_C'} < \alpha _{A\cup S_C}\), as we had claimed.
Now, using Proposition 3.2, we fix a stable set \(S_A \subseteq A \cup S_C\) of \(G_A\) that contains no zerovertices of \(G_A\) and satisfies \(\llbracket S_A \rrbracket _{(\mathrm{Red}[G_A,w;A \cup S_C])} = \alpha (\mathrm{Red}[G_A,w;A \cup S_C])\). By Proposition 3.6, we have that
Next, note the following:
Thus, \(\alpha _{A \cup S_C} \le \alpha _{A \cup (S_A \cap C)}\). Now, recall that for all \(S_C' \subsetneqq S_C\), we have that \(\alpha _{A \cup S_C'} < \alpha _{A \cup S_C}\); since (by the construction of \(S_A\)) we have that \(S_A \cap C \subseteq S_C\), this implies that \(S_C = S_A \cap C\).
Set \(S = S_A \cup S_B\); since \(S_A \cap C = S_C = S_B \cap C\), and since (A, B, C) is a cutpartition of G, we readily deduce that S is a stable set of G. We now compute:
This completes the argument. \(\square \)
Lemma 3.10
Let (G, w) be a weighted trigraph, let C be a cliquecutset of G, and let (A, B, C) be an associated cutpartition of G. Set \(G_A = G[A \cup C]\) and \(G_B = G[B \cup C]\). For each \(C' \subseteq C\), set \(\alpha _{A \cup C'} = \alpha (\mathrm{Red}[G_A,w;A \cup C'])+\mathrm{Ext}[G_A,w;A \cup C']\). Define \(w_B:D(G_B) \rightarrow \mathbb {N}\) by setting \(w_B(c) = \alpha _{A \cup \{c\}}\alpha _A\) for all \(c \in C\), and \(w_B \upharpoonright (D(G_B) {\smallsetminus } C) = w \upharpoonright (D(G_B) {\smallsetminus } C)\). Then \(w_B\) is a weight function for \(G_B\), and \(\alpha (G,w) = \alpha _A+\alpha (G_B,w_B)\).
Proof
By Proposition 3.8, we have that \(w_B(c) \ge 0\) for all \(c \in C\), and it follows immediately that \(w_B\) is a weight function for \(G_B\). Now, set \(k = \alpha _A\). Using the fact that C is a strong clique of \(G_B\), we observe that the weight function \(w_B\) for \(G_B\) satisfies the hypotheses of Proposition 3.9, and we deduce that \(\alpha (G,w) = \alpha _A+\alpha (G_B,w_B)\). \(\square \)
Lemma 3.11
Let (G, w) be a weighted trigraph and let (A, B, C) be a cutpartition of G such that C is a stable set of size two of G. Set \(C = \{c_1,c_2\}\). For each \(X \in \{A,B\}\), let \(G_X\) be the trigraph on the vertex set \(X \cup C\) in which \(c_1c_2\) is a semiadjacent pair and all other adjacencies are inherited from \(G[X \cup C]\). For each \(C' \subseteq C\), set \(\alpha _{A \cup C'} = \alpha (\mathrm{Red}[G_A,w;A \cup C'])+\mathrm{Ext}[G_A,w;A \cup C']\). Define \(w_B:D(G_B) \rightarrow \mathbb {N}\) as follows:

\(w_B(c_1) = \alpha _{A \cup C}w(c_2)\);

\(w_B(c_2) = w(c_2)\);

\(w_B(c_1,c_2) = \alpha _{A \cup \{c_1\}}\alpha _{A \cup C}+w(c_2)\);

\(w_B(c_2,c_1) = \alpha _{A \cup \{c_2\}}w(c_2)\);

\(w_B(c_1c_2) = \alpha _A\);

\(w_B \upharpoonright \Big (D(G_B) {\smallsetminus } D(G_B[C])\Big ) = w \upharpoonright \Big (D(G_B) {\smallsetminus } D(G_B[C])\Big )\).
Then \(w_B\) is a weight function for \(G_B\), and \(\alpha (G_B,w_B) = \alpha (G,w)\).
Proof
We first show that \(w_B\) is a weight function for \(G_B\). It suffices to show that \(w_B(c_1),w_B(c_1,c_2),w_B(c_2,c_1) \ge 0\) and that \(w_B(c_1,c_2),w_B(c_2,c_1) \le w_B(c_1c_2)\), for \(w_B\) clearly satisfies all the other conditions from the definition of a weight function. The fact that \(w_B(c_1),w_B(c_2,c_1) \ge 0\) follows immediately from Proposition 3.7. Next, Proposition 3.8 guarantees that \(\alpha _{A \cup C} \le \alpha _{A \cup \{c_1\}}+w(c_2)\), which immediately implies that \(w_B(c_1,c_2) \ge 0\). Similarly, Proposition 3.8 guarantees that \(\alpha _{A \cup \{c_2\}} \le \alpha _A+w(c_2)\), which implies that \(w_B(c_2,c_1) \le w_B(c_1c_2)\). Finally, to show that \(w_B(c_1,c_2) \le w_B(c_1c_2)\), we observe that:
This proves that \(w_B\) is indeed a weight function for \(G_B\).
Now, set \(k = 0\). We see by inspection that \(w_B\) satisfies the hypotheses of Proposition 3.9, and we deduce that \(\alpha (G_B,w_B) = \alpha (G,w)\). This completes the argument. \(\square \)
Decomposition Theorem
In this section, we state a decomposition theorem for {ISK4,wheel}free trigraphs (see Theorem 4.1 below), and then we derive an “extreme” decomposition theorem for this class of graphs, which states (roughly) that every {ISK4,wheel}free trigraph is either “basic” or admits a “decomposition” such that one of the “blocks of decomposition” is basic (see Theorem 4.8 and Corollary 4.9). Here, we state Theorem 4.1 without proof, but the interested reader can find a complete proof in [12]. As explained in the Introduction, the proof of Theorem 4.1 closely follows the proof of the decomposition theorem for ISK4free graphs from [11], but the proof of our theorem is easier because we restrict ourselves to the wheelfree case. Interestingly, the fact that we work with trigraphs rather than graphs does not make the proof significantly harder.
Theorem 4.1
[12] Let G be an {ISK4,wheel}free trigraph. Then at least one of the following holds:

G is a series–parallel trigraph;

G is a complete bipartite trigraph;

G is a line trigraph;

G admits a cliquecutset;

G admits a stable 2cutset.
We remark that Lévêque, Maffray, and Trotignon [11] proved a graph analogue of Theorem 4.1. Their theorem had an additional outcome, namely, that G is a “long rich square.” In fact, long rich squares are not wheelfree, and so this outcome is unnecessary (see [12] for details). Furthermore, the last outcome of the decomposition theorem for {ISK4,wheel}free graphs from [11] is that the graph admits a proper 2cutset. In the trigraph context, we work with stable 2cutsets instead.
Let us say that G is a basic trigraph if G is either a series–parallel trigraph, a complete bipartite trigraph, or a line trigraph. Note that all induced subtrigraphs of a basic trigraph are basic trigraphs.
A good cutpartition of a trigraph G is a cutpartition (A, B, C) of G such that either

C is a cliquecutset of G such that \(C \le 3\) (in this case, (A, B, C) is said to be a good cutpartition of type clique), or

C is a stable 2cutset of G, and each of \(G[A \cup C]\) and \(G[B \cup C]\) contains a narrow path between the two vertices of C (in this case, (A, B, C) is said to be a good cutpartition of type stable).
Proposition 4.2
Let G be an {ISK4,wheel}free trigraph. Then the following are equivalent:

(a)
G admits a cliquecutset or a stable 2cutset;

(b)
G admits a good cutpartition.
Proof
Clearly, (b) implies (a). For the reverse, we suppose that G admits a cliquecutset or a stable 2cutset, and we show that G admits a good cutpartition. If G admits a cliquecutset, then let C be a cliquecutset of G, and otherwise, let C be a stable 2cutset of G. Let (A, B, C) be any cutpartition of G induced by C. If C is a cliquecutset, then since G is ISK4free, we see that \(C \le 3\), and it follows that (A, B, C) is a good cutpartition of G of type clique. So assume that C is a stable 2cutset. (Note that this means that G admits no cliquecutset, and in particular, G is connected and contains no cutvertices.) Set \(C = \{c_1,c_2\}\). We claim that (A, B, C) is a good cutpartition of G of type stable. To prove this, we must only show that each of \(G[A \cup C]\) and \(G[B \cup C]\) contains a narrow path between \(c_1\) and \(c_2\). By symmetry, it suffices to show that \(G[A \cup C]\) contains a narrow path between \(c_1\) and \(c_2\). Let \(A_1\) be the vertex set of a component of G[A]. Vertex \(c_1\) must have a neighbor in \(A_1\), for otherwise, \(c_2\) would be a cutvertex of G; similarly, vertex \(c_2\) has a neighbor in \(A_1\). Thus, \(G[A_1 \cup \{c_1,c_2\}]\) is connected, and it follows that \(G[A_1 \cup \{c_1,c_2\}]\) (and consequently \(G[A \cup C]\) as well) contains a narrow path between \(c_1\) and \(c_2\). Thus, (A, B, C) is a good cutpartition of G of type stable. This completes the argument. \(\square \)
Theorem 4.1 and Proposition 4.2 immediately imply the following.
Corollary 4.3
Let G be an {ISK4,wheel}free trigraph. Then either G is a basic trigraph, or G admits a good cutpartition.
Our goal for the remainder of the section is to derive an “extreme decomposition theorem” from Corollary 4.3 (see Theorem 4.8 and Corollary 4.9).
Given a good cutpartition (A, B, C) of a trigraph G, and given \(X \in \{A,B\}\), we define the X block of G with respect to (A, B, C) as follows:

if (A, B, C) is of type clique, then \(G_X = G[X \cup C]\);

if (A, B, C) is of type stable, then \(G_X\) is the trigraph obtained from \(G[X \cup C]\) by making the two vertices of C semiadjacent.
We remark that \(G_X\) is welldefined because every good cutpartition is either of type clique or of type stable, but not both. We also remark that if (A, B, C) is of type stable and the two vertices of C are semiadjacent in G, then \(G_X = G[X \cup C]\).
Proposition 4.4
Let (A, B, C) be a good cutpartition of an {ISK4,wheel}free trigraph G, and for each \(X \in \{A,B\}\), let \(G_X\) be the Xblock of G with respect to (A, B, C). Then \(G_A\) and \(G_B\) are {ISK4,wheel}free.
Proof
By symmetry, it suffices to show that \(G_A\) is {ISK4,wheel}free. We may assume that \(G_A \ne G[A \cup C]\), for otherwise, we are done. It now follows from the construction of \(G_A\) that (A, B, C) is of type stable, and that the two vertices of C (call them \(c_1\) and \(c_2\)) are strongly antiadjacent in G. Furthermore, \(G_A\) is obtained from \(G[A \cup C]\) by turning the strongly antiadjacent pair \(c_1c_2\) into a semiadjacent pair. Let \(\widetilde{G}_A\) be some realization of \(G_A\); we must show that \(\widetilde{G}_A\) is {ISK4,wheel}free. If \(c_1c_2\) is a nonedge of \(\widetilde{G}_A\), then \(\widetilde{G}_A\) is an induced subgraph of some realization of \(G[A \cup C]\), and since G is {ISK4,wheel}free, so is \(\widetilde{G}_A\). So assume that \(c_1c_2\) is an edge of \(\widetilde{G}_A\). Since (A, B, C) is a good cutpartition of G of type stable, we know that \(G[B \cup C]\) contains a narrow path P between \(c_1\) and \(c_2\). Then some realization H of \(G[A \cup V(P)]\) is a subdivision of \(\widetilde{G}_A\). Since G is {ISK4,wheel}free, so is H. Note that every subdivision of an ISK4 is an ISK4, and that every subdivision of a wheel contains either an induced wheel or an ISK4. Thus, if \(\widetilde{G}_A\) contained an ISK4 or an induced wheel, then all its subdivisions would also contain an ISK4 or an induced wheel. Since the {ISK4,wheel}free graph H is a subdivision of \(\widetilde{G}_A\), it follows that \(\widetilde{G}_A\) is an {ISK4,wheel}free graph. This completes the argument. \(\square \)
Proposition 4.5
There is an algorithm with the following specifications:

Input: a trigraph G;

Output: exactly one of the following:

a good cutpartition (A, B, C) of G of type clique, together with the true statement “(A, B, C) is a good cutpartition of G of type clique”;

a good cutpartition (A, B, C) of G of type stable, together with the true statement “(A, B, C) is a good cutpartition of G of type stable, and G does not admit a good cutpartition of type clique”;

the true statement “G does not admit a good cutpartition”;


Running time: \(O(n^5)\), where \(n = V(G)\).
Proof
Let \(G_f\) be the full realization of G; clearly, \(G_f\) can be constructed in \(O(n^2)\) time. We first form a list \(C_1,\ldots ,C_k\) of all (possibly empty) strong cliques of G of size at most three; there are at most \({n \atopwithdelims ()0}+{n \atopwithdelims ()1}+{n \atopwithdelims ()2}+{n \atopwithdelims ()3}\) such cliques, and the list \(C_1,\ldots ,C_k\) can be found in time \(O(n^3)\). For each \(i \in \{1,\ldots ,k\}\), we can determine in time \(O(n^2)\) whether \(C_i\) is a cutset of \(G_f\); since we are testing \(O(n^3)\) cliques, we can determine whether G has a cliquecutset of size at most three in \(O(n^5)\) time. If we determined that some \(C_i\) from the list is a cutset of \(G_f\) (and therefore of G), then we can find the components \(A_1,\ldots ,A_t\) (\(t \ge 2\)) of \(G {\smallsetminus } C_i\) in time \(O(n^2)\). In this case, \((V(A_1),\bigcup _{j=2}^t V(A_j),C_i)\) is a good cutpartition of G type clique, and the algorithm returns this cutpartition and stops. So assume that the algorithm determined that G contains no cliquecutsets of size at most three, and consequently, G admits no good cutpartition of type clique. (In particular, G is connected and contains no cutvertices.)
We then form a list \(S_1,\ldots ,S_\ell \) of all (not necessarily strong) stable sets of size two of G. There are at most \({n \atopwithdelims ()2}\) such stable sets, and so this list can be formed in \(O(n^2)\) time. For each \(i \in \{1,\ldots ,\ell \}\), we can determine in time \(O(n^2)\) whether \(S_i\) is a cutset of \(G_f\); since there are \(O(n^2)\) sets in our list, testing the whole list takes \(O(n^4)\) time. If none of \(S_1,\ldots ,S_\ell \) is a cutset of \(G_f\), then G contains no stable 2cutsets; in this case, by Proposition 4.2, the algorithm returns the true statement that G admits no good cutpartition and stops. So assume that the algorithm determined that some \(S_i\) from the list is a cutset of \(G_f\) (and therefore of G); clearly, \(S_i\) is a stable 2cutset of G. We now find the components \(A_1,\ldots ,A_t\) (\(t \ge 2\)) of \(G_f {\smallsetminus } S_i\), and using the fact that G is connected and admits no cutvertex, we deduce that \((V(A_1),\bigcup _{j=2}^t V(A_j),S_i)\) is a good cutpartition of G of type stable. The algorithm now returns this cutpartition and stops.
It is clear that the algorithm is correct, and that its running time is \(O(n^5)\). \(\square \)
Lemma 4.6
There is an algorithm with the following specifications:

Input: a trigraph G and a good cutpartition (A, B, C) of G;

Output: either the true statement “the Ablock of G with respect to (A, B, C) does not admit a good cutpartition,” or a good cutpartition \((A',B',C')\) of G such that \(A' \cup C' \subsetneqq A \cup C\);

Running time: \(O(n^5)\), where \(n = V(G)\).
Proof
We first form \(G_A\), the Ablock of G with respect to (A, B, C); this takes \(O(n^2)\) time. We then apply the algorithm from Proposition 4.5 to \(G_A\); this takes \(O(n^5)\) time. If the algorithm from Proposition 4.5 returns the answer that \(G_A\) admits no good cutpartition, then we are done. So assume that the algorithm from Proposition 4.5 returned a good cutpartition \((A_1,B_1,C_1)\) of \(G_A\). By the construction of \(G_A\), we know that C is a clique of \(G_A\) (indeed, C is either a strong clique of size at most three of \(G_A\), or a set of two semiadjacent vertices of \(G_A\)), and consequently, either \(C \subseteq A_1 \cup C_1\) or \(C \subseteq B_1 \cup C_1\). By symmetry, we may assume that \(C \subseteq B_1 \cup C_1\). Now \((A_1,B \cup B_1,C_1)\) is a cutpartition of G, and clearly \(A_1 \cup C_1 \subsetneqq A \cup C\). The algorithm now returns the cutpartition \((A_1,B \cup B_1,C_1)\) and stops.
It is clear that the running time of the algorithm is \(O(n^5)\). To show that the algorithm is correct, we must show that \((A_1,B \cup B_1,C_1)\) is a good cutpartition of G. If \(G_A = G[A \cup C]\), or if the good cutpartition \((A_1,B_1,C_1)\) of \(G_A\) is of type clique, then it is clear that \((A_1,B \cup B_1,C_1)\) is a good cutpartition of G, and furthermore, the good cutpartition \((A_1,B \cup B_1,C_1)\) of G is of the same type (type clique or type stable) as the good cutpartition \((A_1,B_1,C_1)\) of \(G_A\). So assume that \(G_A \ne G[A \cup C]\) and that the good cutpartition \((A_1,B_1,C_1)\) of \(G_A\) is of type stable. We now claim that \((A_1,B \cup B_1,C_1)\) is a good cutpartition of G of type stable.
Since \(G_A \ne G[A \cup C]\), we deduce from the construction of \(G_A\) that (A, B, C) is a good cutpartition of G of type stable, and furthermore, that the two vertices of C (call them c and \(c'\)) are strongly antiadjacent in G and semiadjacent in \(G_A\). Since \((A_1,B_1,C_1)\) is a good cutpartition of \(G_A\) of type stable, we know that \(C_1\) is a stable set of \(G_A\) (and consequently, a stable set of G) of size two; set \(C_1 = \{c_1,c_1'\}\). Furthermore, the specifications of the algorithm from Proposition 4.5 guarantee that \(G_A\) does not admit a good cutpartition of type clique (for otherwise, the algorithm from Proposition 4.5 would have returned such a cutpartition), and consequently, \(G_A\) is connected and contains no cutvertices. We also note that since \(C \subseteq B_1 \cup C_1\), we have either that \(G_A[A_1 \cup C_1] = G[A_1 \cup C_1]\), or that \(C = C_1\) and \(G_A[A_1 \cup C_1]\) is obtained from \(G[A_1 \cup C_1]\) by turning the strongly antiadjacent pair \(cc' = c_1c_1'\) into a semiadjacent pair.
Now, to show that \((A_1,B \cup B_1,C_1)\) is a good cutpartition of G of type stable, we need only show that each of \(G[A_1 \cup C_1]\) and \(G[B \cup B_1 \cup C_1]\) contains a narrow path between \(c_1\) and \(c_1'\). Let us first show that \(G[A_1 \cup C_1]\) contains a narrow path between \(c_1\) and \(c_1'\). Let \(A_1'\) be the vertex set of some component of \(G_A[A_1] = G[A_1]\). Since \(G_A\) contains no cutvertices, we know that each of \(c_1\) and \(c_1'\) has a neighbor in \(A_1'\) in \(G_A\); consequently, each of \(c_1\) and \(c_1'\) has a neighbor in \(A_1'\) in G. Thus, \(G[A_1' \cup \{c_1,c_1'\}]\) is connected, and it follows that \(G[A_1' \cup \{c_1,c_1'\}]\) (and consequently \(G[A_1 \cup C_1]\) as well) contains a narrow path between \(c_1\) and \(c_1'\).
It remains to show that \(G[B \cup B_1 \cup C_1]\) contains a narrow path between \(c_1\) and \(c_1'\). Since \((A_1,B_1,C_1)\) is a good cutpartition of \(G_A\) of type stable, we know that there is a narrow path P between \(c_1\) and \(c_1'\) in \(G_A[B_1 \cup C_1]\). Further, since (A, B, C) is a good cutpartition of G of type stable, we know that there is a narrow path Q between c and \(c'\) in \(G[B \cup C]\). Now, we know that \(G_A[B_1 \cup C_1]\) is the trigraph obtained from \(G[B_1 \cup C_1]\) by turning the strongly antiadjacent pair \(cc'\) into a semiadjacent pair. Thus, if P contains at most one of c and \(c'\), then the narrow path P between c and \(c'\) is an induced subtrigraph of \(G[B \cup B_1 \cup C_1]\), and if P contains both c and \(c'\), then \(G[V(P) \cup V(Q)]\) is a narrow path in \(G[B \cup B_1 \cup C_1]\) between \(c_1\) and \(c_1'\) (essentially, \(G[V(P) \cup V(Q)]\) is the narrow path obtained from P by replacing the semiadjacent pair \(cc'\) by the narrow path Q). This completes the argument. \(\square \)
Lemma 4.7
There exists an algorithm with the following specifications:

Input: a trigraph G;

Output: exactly one of the following:

the true statement “G admits no good cutpartition”;

a good cutpartition (A, B, C) of G, and the true statement “the Ablock of G with respect to (A, B, C) admits no good cutpartition”;


Running time: \(O(n^6)\), where \(n = V(G)\).
Proof
Step 1. We first call the algorithm from Proposition 4.5 with input G; the running time of that algorithm is \(O(n^5)\). If the algorithm from Proposition 4.5 returns the answer that G admits no good cutpartition, then we are done. So assume that the algorithm from Proposition 4.5 returned a good cutpartition (A, B, C) of G. We now go to Step 2.
Step 2. We call the algorithm from Lemma 4.6 with input G and (A, B, C). If the algorithm from Lemma 4.6 returns the answer that the Ablock of G with respect to (A, B, C) does not admit a good cutpartition, then we are done. So assume that the algorithm from Lemma 4.6 returned a good cutpartition \((A',B',C')\) of G such that \(A' \cup C' \subsetneqq A \cup C\). We now set \((A,B,C) := (A',B',C')\), and we go back to Step 2.
Since the size of \(A \cup C\) decreases after each call of Step 2, we make at most n recursive calls to Step 2 (and in particular, the algorithm terminates). Since the running time of the algorithm from Lemma 4.6 is \(O(n^5)\), we conclude that the running time of our algorithm is \(O(n^6)\). \(\square \)
Theorem 4.8
There exists an algorithm with the following specifications:

Input: an {ISK4,wheel}free trigraph G;

Output: exactly one of the following:

the true statement “G is a basic trigraph”;

a good cutpartition (A, B, C) of G, and the true statement “the Ablock of G with respect to (A, B, C) is a basic trigraph”;


Running time: \(O(n^6)\), where \(n = V(G)\).
Proof
We call the algorithm from Lemma 4.7 with input G. If that algorithm returns the answer that G admits no good cutpartition, then our algorithm returns the answer that G is a basic trigraph and stops. On the other hand, if the algorithm from Lemma 4.7 returns a good cutpartition (A, B, C) of G and the statement that the Ablock of G with respect to (A, B, C) admits no good cutpartition, then our algorithm stops and returns the good cutpartition (A, B, C) of G and the statement that the Ablock of G with respect to (A, B, C) is a basic trigraph.
Since the running time of the algorithm from Lemma 4.7 is \(O(n^6)\), the running time of our algorithm is also \(O(n^6)\). The correctness of our algorithm follows immediately from Corollary 4.3 and Proposition 4.4. \(\square \)
The following “extreme decomposition theorem” for {ISK4,wheel}free trigraphs is an immediate corollary of Theorem 4.8.
Corollary 4.9
Let G be an {ISK4,wheel}free trigraph. Then either G is a basic trigraph, or G admits a good cutpartition (A, B, C) such that the Ablock of G with respect to (A, B, C) is a basic trigraph.
A Stability Preserving Transformation
We now describe a transformation on a weighted trigraph that preserves the stability number, while decreasing the number of semiadjacent pairs. It is based on the gem, a graph G with five vertices such that one of them, say v, is adjacent to all the others and \(G {\smallsetminus } v\) is isomorphic to the fourvertex path \(P_4\).
Let (G, w) be a weighted trigraph and let uv be a semiadjacent pair in G. The weighted trigraph obtained from (G, w) by replacing uv with a gem is the weighted trigraph \((G',w')\) defined as follows:

The vertex set is \(V(G') = V(G)\cup \{x_{uv},x_{v,u},x_{u,v}\}\), where \(x_{uv},x_{v,u},x_{u,v}\) are pairwise distinct and do not belong to V(G).

The adjacency function is \(\theta _{G'}:{V(G')\atopwithdelims ()2}\rightarrow \{1,0,1\}\), defined as follows:

\(\theta _{G'}\upharpoonright ({V(G)\atopwithdelims ()2}{\smallsetminus }\{uv\})= \theta _{G}\upharpoonright ({V(G)\atopwithdelims ()2}{\smallsetminus }\{uv\})\,\)

\(\theta _{G'}(e) = 1\) for all \(e\in \{ux_{v,u},\, x_{v,u}x_{u,v},\, x_{u,v}v,\, x_{uv}u,\, x_{uv}x_{v,u},\,\) \(x_{uv}x_{u,v},\, x_{uv}v\}\),

\(\theta _{G'}(e) = 1\) for all other \(e\in {V(G')\atopwithdelims ()2}\).

(In particular, \(G'[u,x_{v,u},x_{u,v},v,x_{uv}]\) is a graph isomorphic to a gem.)

The weight function \(w':D(G')\rightarrow \mathbb {N}\) is defined as follows:

\(w'\upharpoonright (D(G){\smallsetminus } \{uv,(v,u),(u,v)\})= w\upharpoonright (D(G){\smallsetminus } \{uv,(v,u),(u,v)\})\),

\(w'(x_{uv}) = w(uv)\), \(w'(x_{v,u}) = w(v,u)\), \(w'(x_{u,v}) = w(u,v)\), and

\(w'(p) = 0\) for all other \(p\in D(G')\,.\)

It is immediate to see that \((G',w')\) is indeed a weighted trigraph, that is, that \(w'\) is a weight function of \(G'\). The importance of the above transformation stems from the fact that it preserves the stability number, a fact which we now prove.
Proposition 5.1
Let uv be a semiadjacent pair in a weighted trigraph (G, w) and let \((G',w')\) be the weighted trigraph obtained from (G, w) by replacing uv with a gem. Then, \(\alpha (G',w') = \alpha (G,w)\).
Proof
Let \(x_{uv},x_{v,u},x_{u,v}\) be the three vertices in \(V(G'){\smallsetminus } V(G)\) labeled as in the definition of the operation of replacing a semiadjacent pair with a gem.
We split the proof of the equality \(\alpha (G',w') = \alpha (G,w)\) into two parts. First, we show that \(\alpha (G,w) \le \alpha (G',w')\). Let \(S\in V(G)\) be a stable set of G such that \(\llbracket S\rrbracket _{(G,w)} = \alpha (G,w)\). We consider three cases depending on the number of vertices in \(S\cap \{u,v\}\). In each case, we exhibit a stable set \(S'\) of \(G'\) such that \(\llbracket S' \rrbracket _{(G',w')} = \llbracket S \rrbracket _{(G,w)}\). This is enough, for then we obtain that \(\alpha (G,w) = \llbracket S\rrbracket _{(G,w)} = \llbracket S'\rrbracket _{(G',w')} \le \alpha (G',w')\), which is what we need.
If \(S\cap \{u,v\} = 0\), then the set \(S' = S\cup \{x_{uv}\}\) is a stable set of \(G'\). Its weight with respect to \((G',w')\) is
If \(S\cap \{u,v\} = 1\), then we may assume without loss of generality that \(S\cap \{u,v\} = \{u\}\). The set \(S' = S\cup \{x_{u,v}\}\) is a stable set of \(G'\). Its weight with respect to \((G',w')\) is
Finally, suppose that \(S\cap \{u,v\} = 2\), that is, \(\{u,v\}\subseteq S\). In this case, \(S'=S\) itself is a stable set of \(G'\). It is immediate to verify that its weight with respect to \((G',w')\) is the same as its weight with respect to (G, w).
We now prove the reverse inequality, that is, we show that \(\alpha (G',w') \le \alpha (G,w)\). Let \(S' \subseteq V(G')\) be a stable set of \(G'\) such that \(\llbracket S'\rrbracket _{(G',w')} = \alpha (G',w')\).
Up to symmetry, it suffices to analyze four cases depending on the intersection of \(S'\) with the vertex set of the gem, that is, depending on the set \(X = S'\cap \{u,v,x_{uv},x_{v,u},x_{u,v}\}\). These four cases are:
Indeed, if \(X = \emptyset \), then we can replace \(S'\) with \(S'\cup \{x_{uv}\}\) to obtain a set with \(\llbracket S'\cup \{x_{uv}\}\rrbracket _{(G',w')} \ge \llbracket S'\rrbracket _{(G',w')}\). If \(X = \{u\}\), then we can replace \(S'\) with \(S'\cup \{x_{u,v}\}\) to obtain a set with \(\llbracket S'\cup \{x_{u,v}\}\rrbracket _{(G',w')} \ge \llbracket S'\rrbracket _{(G',w')}\). Each of the remaining cases for X either results in a nonstable set, or is symmetric to one of the four cases above. In each case, we exhibit a stable set S of G such that \(\llbracket S\rrbracket _{(G,w)} = \llbracket S'\rrbracket _{(G',w')}\). This is enough because we then obtain \(\alpha (G',w') = \llbracket S'\rrbracket _{(G',w')} = \llbracket S\rrbracket _{(G,w)} \le \alpha (G,w)\), which is what we need.
Case 1. \(X = \{x_{uv}\}\).
The set \(S = S'{\smallsetminus }\{x_{uv}\}\) is a stable set of G. Its weight with respect to (G, w) is
Case 2. \(X = \{x_{v,u}\}\).
In this case, the set \(S'' = (S'{\smallsetminus } \{x_{v,u}\})\cup \{x_{uv}\}\) is also a stable set of \(G'\). Since \(w(uv)\ge w(v,u)\), and since neither \(x_{uv}\) nor \(x_{v,u}\) is an endpoint of a semiadjacent pair of \(G'\), we have that
This implies that \(\alpha (G',w') = \llbracket S'\rrbracket _{(G',w')} \le \llbracket S''\rrbracket _{(G',w')}\le \alpha (G',w')\), and consequently \(\llbracket S''\rrbracket _{(G',w')}= \alpha (G',w')\). Therefore, this case reduces to Case 1.
Case 3. \(X = \{u,x_{u,v}\}\).
The set \(S = S'{\smallsetminus }\{x_{u,v}\}\) is a stable set of G. Its weight with respect to (G, w) is
Case 4. \(X = \{u,v\}\).
The set \(S = S'\) itself is a stable set of G. It is immediate to verify that its weight with respect to (G, w) is the same as its weight with respect to \((G',w')\).
This completes the argument. \(\square \)
Computing the Stability Number of Basic Weighted Trigraphs
We remind the reader that a basic trigraph is a trigraph G that is either a series–parallel trigraph, a complete bipartite trigraph, or a line trigraph.
Theorem 6.1
There exists an algorithm with the following specifications:

Input: a weighted basic trigraph (G, w);

Output: \(\alpha (G,w)\);

Running time: \(O(n^4\log n)\) where \(n = V(G)\).
Proof
Let (G, w) be a weighted basic trigraph. Then, G is either (i) a series–parallel trigraph, (ii) a complete bipartite trigraph, or (iii) a line trigraph.
Testing (i) can be done by computing in \(O(n^2)\) time the full realization \(G_f\) of G, and testing whether \(G_f\) is series–parallel, which can be done in time \(O(V(G_f)+E(G_f)) = O(n^2)\) [17].
Testing (ii) can be done in time \(O(n^2)\) by first testing if G is a graph (that is, if its adjacency function only takes values 1 and \(1\)), and then testing in \(O(n^2)\) time (for example, using breadthfirst search) if G is a complete bipartite graph.
Thus, it can be determined in time \(O(n^2)\) whether (i), (ii), or neither of these two cases occurs. If neither (i) nor (ii) occurs, then (iii) must occur.
We now discuss how to compute the stability number of (G, w) in each of the three cases.
Case 1. G is a series–parallel trigraph.
Let \((G',w')\) be the weighted trigraph obtained from (G, w) by replacing each semiadjacent pair of G (in any order) with a gem. By Proposition 5.1, we have that \(\alpha (G,w) = \alpha (G',w')\). Since each replacement of a semiadjacent pair with a gem removes one semiadjacent pair and produces no new ones, the resulting trigraph \(G'\) has no semiadjacent pairs, that is, it is a graph. Clearly, \(V(G') = O(n^2)\). Moreover, since \(G'\) has exactly one edge for each strongly adjacent pair of G, exactly seven edges for each semiadjacent pair of G, and no other edges, we also have that \(E(G') = O(n^2)\).
Since G is a series–parallel trigraph, its full realization \(G_f\) is a series–parallel graph. Note that \(G'\) is isomorphic to the graph \(G''\) obtained from \(G_f\) by replacing each edge \(uv\in E(G_f)\) that forms a semiadjacent pair in G with a gem with vertex set \(\{u,x_{v,u},x_{u,v},v,x_{uv}\}\) and edge set
For a graph H, let us denote by \(\mathrm{tw}(H)\) its treewidth. We claim that the treewidth of \(G''\) (and consequently that of \(G'\)) is at most three. To this end, it suffices to prove the following.
Claim
Let H be a graph and let \(H_1\) be a graph obtained from H by replacing an edge \(uv\in E(H)\) with a gem with vertex set \(\{u,x_{v,u},x_{u,v},v,x_{uv}\}\) and edge set \(\{ux_{v,u},x_{v,u}x_{u,v},x_{u,v}v,x_{uv}u,x_{uv}x_{v,u},x_{uv}x_{u,v},x_{uv}v\}\). Then, \(\mathrm{tw}(H_1) \le \max \{\mathrm{tw}(H),3\}\).
This is indeed enough. Since series–parallel graphs are of treewidth at most two [5], \(G_f\) is of treewidth at most two. Applying the claim repeatedly to each of the graphs in the sequence of graphs transforming \(G_f\) to \(G''\) (by replacing one edge at a time with a gem) implies that \(\text {tw}(G') \le \max \{\text {tw}(G_f),3\} = 3\).
Proof of Claim
Recall that a graph \(K=(V,E)\) is chordal if every cycle in it of length at least four has a chord, and that \(\omega (K)\) denotes the clique number of K, that is, the maximum size of a clique in K. Moreover, the treewidth of K equals the minimum value of \(\omega (K')1\) over all chordal graphs of the form \(K' = (V,E')\) where \(E\subseteq E'\) (see, e.g., [5, Theorem 11.1.4]).
Let \(H'\) be a chordal supergraph of H such that \(\text {tw}(H) = \omega (H')1\). Then, the graph \(H_1'\) defined as \(V(H_1') = V(H_1)\) and \(E(H_1') = E(H')\cup E(H_1)\cup \{uv, ux_{u,v}\}\) is a chordal supergraph of \(H_1\) with \(\omega (H_1') = \max \{\omega (H'),4\}\). Therefore, \(\text {tw}(H_1)\le \omega (H_1')1 = \max \{\omega (H')1,3\} = \max \{\text {tw}(H),3\}\). \(\square \)
We have shown that the treewidth of \(G'\) is at most three. It follows that the stability number of \((G',w')\), and hence that of (G, w), can be computed in time \(O(V(G')) = O(n^2)\), e.g., by first computing a treedecomposition of \(G'\) of width at most three [4] and then applying a dynamic programming algorithm along the tree decomposition [3].
Case 2. G is a complete bipartite trigraph.
In this case, G is a graph and all nonzero weights \(w(p)>0\) for \(p\in D(G)\) appear on its vertices. Thus, if (A, B) is a bipartition of G, we have that \(\alpha (G,w) = \max \bigg \{\sum \nolimits _{a \in A}w(a),\sum \nolimits _{b \in B}w(b)\bigg \}\). It follows that in this case the stability number can be computed in time O(n) (to compute A and B, choose \(v\in V(G)\) arbitrarily, and take \(A = N(v)\) and \(B = V(G){\smallsetminus } A\), where N(v) is the set of all neighbors of v in G).
Case 3. G is a line trigraph.
We apply a transformation similar to the one from Case 1. Namely, let \((G',w')\) be the weighted trigraph obtained from (G, w) by replacing each semiadjacent pair of G (in any order) with a gem. Again, we have that the resulting trigraph \(G'\) has no semiadjacent pairs, that is, that \(G'\) is a graph, and that \(V(G') = E(G') = O(n^2)\).
Claim
Let (H, w) be a weighted line trigraph, let uv be a semiadjacent pair in H, and let \((H',w')\) be the trigraph obtained from (H, w) by replacing uv with a gem. Then, \(H'\) is also a line trigraph.
Proof of Claim
Suppose that H is a line trigraph of a graph K. This means that the full realization \(H_f\) of H is the line graph of K and all the triangles of H are strong. Vertices u and v are adjacent in \(H_f\), and so they correspond to a pair of adjacent edges, say ab and bc, respectively, in K. Since every triangle in H is strong, the edge \(uv\in E(H_f)\) is not part of any triangle in \(H_f\). This implies that b is a vertex of degree two in K, and \(ac\not \in E(K)\). Let \(K'\) be the graph defined as follows: \(V(K') = (V(K){\smallsetminus }\{b\})\cup \{d,e,f\}\) and \(E(K') = (E(K){\smallsetminus }\{ab,bc\})\cup \{ad,de,ec,df,ef\}\). Then, the line graph of \(K'\) is isomorphic to the full realization of \(H'\). Moreover, all the triangles of \(H'\) are strong. Therefore, \(H'\) is a line trigraph. \(\square \)
Applying the above claim repeatedly to each of the trigraphs in the sequence of trigraphs transforming (G, w) to \((G',w')\) implies that \(G'\) is a line trigraph. Since \(G'\) is in fact a graph, it is a line graph. Since the operation of replacing a semiadjacent pair with a gem preserves the stability number (by Proposition 5.1), we have that \(\alpha (G,w) = \alpha (G',w')\).
It is therefore enough to compute the stability number of the weighted line graph \((G',w')\). This can be done as follows. First, compute a graph \(H'\) such that \(G' = L(H')\); this can be done in time \(O(V(G')+E(G')) = O(n^2)\) [14]. Second, solve the instance of the maximum weight matching problem on \(H'\) with edge weights corresponding to vertex weights in \(G'\). This can be done in time \(O(V(H')(E(H')+V(H')\log V(H')))\) using the algorithm by Gabow [10].
The time complexity of the whole algorithm in Case 3 is dominated by the term \(O(V(H')(E(H')+V(H')\log V(H')))\), which, since \(V(H') = O(V(G')) = O(n^2)\) and \(E(H') = O(V(G')) = O(n^2)\), is of order \(O(n^4\log n)\). This completes the description of the algorithm for Case 3.
The running time \(O(n^4\log n)\) of Case 3 dominates the running time of each of the other steps of the algorithm. This completes the proof. \(\square \)
Computing the Stability Number of {ISK4,wheel}Free Weighted Trigraphs
We now derive the main result of the paper: a polynomialtime algorithm that finds the stability number of a weighted {ISK4,wheel}free trigraph. We remark that since every weighted {ISK4,wheel}free graph (with nonnegative integer weights) is a weighted {ISK4,wheel}free trigraph, this algorithm can be used to compute the stability number of a weighted {ISK4,wheel}free graph (and this is, in fact, the main purpose of our algorithm).
Theorem 7.1
There exists an algorithm with the following specifications:

Input: a weighted {ISK4,wheel}free trigraph (G, w);

Output: \(\alpha (G,w)\);

Running time: \(O(n^7)\) where \(n = V(G)\).
Proof
Let (G, w) be the input {ISK4,wheel}free trigraph with \(n = V(G)\). We first call the \(O(n^6)\) time algorithm from Theorem 4.8 with input G. This algorithm either returns the statement that G is a basic trigraph, or returns a good cutpartition (A, B, C) of G such that the Ablock of G with respect to (A, B, C) is a basic trigraph.
If the algorithm returns the statement that G is a basic trigraph, then we apply Theorem 6.1 and compute \(\alpha (G,w)\) in time \(O(n^4\log n)\).
Suppose now that the algorithm returned a good cutpartition (A, B, C) of G such that the Ablock of G with respect to (A, B, C) is a basic trigraph. For \(X\in \{A,B\}\), let \(G_X\) be the Xblock of G with respect to (A, B, C). Since (A, B, C) is a good cutpartition of G, we know that \(C \le 3\), and so it can be determined in O(1) time whether (A, B, C) is of type clique or of type stable. Clearly, we can compute the trigraphs \(G_A\) and \(G_B\) in \(O(n^2)\) time: if (A, B, C) is of type clique, then we have \(G_X = G[X\cup C]\) for \(X\in \{A,B\}\), and if (A, B, C) is of type stable, then \(G_X\) (for \(X\in \{A,B\}\)) is the trigraph obtained from \(G[X\cup C]\) by making the two vertices of C semiadjacent. Now, for each of the \(2^{C} = O(1)\) sets of the form \(C'\subseteq C\), compute the weighted trigraph \(\mathrm{Red}[G_A,w;A\cup C']\) and the quantity \(\text {Ext}[G_A,w;A\cup C']\). By Proposition 3.5, this can be done in time \(O(n^2)\). Note that each of the reductions \(\mathrm{Red}[G_A,w;A\cup C']\) is a weighted induced subtrigraph of the basic trigraph \(G_A\) (with an appropriate weight function); since the class of basic trigraphs is closed under taking induced subtrigraphs, it follows that each reduction \(\mathrm{Red}[G_A,w;A\cup C']\) is a weighted basic trigraph. Therefore, by Theorem 6.1, for each \(C'\subseteq C\), the stability number of \(\mathrm{Red}[G_A,w;A\cup C']\) can be computed in time \(O(n^4\log n)\). For each \(C'\subseteq C\), set
Now, if (A, B, C) is of type clique, then we define \(w_B:D(G_B) \rightarrow \mathbb {N}\) as in Lemma 3.10, we recursively compute \(\alpha (G_B,w_B)\), and we remark that by Lemma 3.10, we have that \(\alpha (G,w) = \alpha _A+\alpha (G_B,w_B)\). On the other hand, if (A, B, C) is of type stable, then we define \(w_B:D(G_B)\rightarrow \mathbb {N}\) as in Lemma 3.11, we recursively compute \(\alpha (G_B,w_B)\), and we observe that by Lemma 3.11, we have that \(\alpha (G,w) = \alpha (G_B,w_B)\). This completes the description of the algorithm.
As there are at most \(n1\) recursive calls and the remaining computations take \(O(n^6)\) time, the overall running time of the algorithm is \(O(n^7)\). \(\square \)
As an immediate corollary of Theorem 7.1 and Proposition 1.1, we obtain the following result.
Corollary 7.2
There exists an algorithm with the following specifications:

Input: a weighted {ISK4,wheel}free graph (G, w) with nonnegative integer weights;

Output: a maximum weight stable set S of (G, w);

Running time: \(O(n^8)\) where \(n = V(G)\).
We remark that the algorithm from Corollary 7.2 cannot readily be generalized to trigraphs. One reason for this is that in the graph case, one can always find a maximum weight stable set that is also an inclusionwise maximal stable set (and this fact is implicitly used in the proof of Proposition 1.1), whereas this is not the case for trigraphs. We believe that one could use techniques similar to the ones from Sect. 3 in order to generalize Corollary 7.2 to trigraphs. However, our main interest here is in graphs, and we used trigraphs only as a tool for obtaining algorithms for graphs; for this reason, we did not attempt to construct an algorithm for trigraphs analogous to the one given by Corollary 7.2. It may also be worth pointing out that, while we have not attempted to construct a recognition algorithm for {ISK4,wheel}free trigraphs, it was shown in [11] that {ISK4,wheel}free graphs can be recognized in \(O(n^2m)\) time (where n is the number of vertices and m the number of edges of the input graph).
Bipartite Trigraphs
As stated in the Introduction, computing the stability number of a weighted bipartite trigraph is NPhard. We now prove this result.
Theorem 8.1
The problem of computing the stability number of a weighted bipartite trigraph is NPhard.
Proof
Suppose there is a polynomialtime algorithm \(\mathcal A\) for the problem. We prove the theorem by using \(\mathcal A\) as a subroutine to compute the stability number of a general graph in polynomial time.
Let H be an arbitrary graph, and let \(n = V(H)\) and \(m = E(H)\). The idea is as follows. We build a bipartite trigraph G by first subdividing each edge of H once, and then turning all edges of the resulting graph into semiadjacent pairs. (Thus, \(V(G) = n+m\).) We construct a weight function w for G such that \(\alpha (G,w) = \alpha (H)+2m\). We can use \(\mathcal A\) to find \(\alpha (G,w)\), and because \(\alpha (G,w) = \alpha (H)+2m\), we deduce that \(\alpha (H)\) can be found in polynomial time. Now, describing the weight function w is bit complicated because if uv is an edge of H, the weights assigned to the two semiadjacent pairs of G that correspond to uv are not symmetric between u and v. So, in order to properly define the weight function w, we must first introduce some more notation.
First, let \(\vec {H} = (V(\vec {H}),A(\vec {H}))\) be any orientation of H (in other words, \(\vec {H}\) is a digraph that satisfies \(V(\vec {H}) = V(H)\), for each edge \(uv \in E(H)\), exactly one of the arcs \(\vec {uv}\) and \(\vec {vu}\) belongs to \(A(\vec {H})\), and \(A(\vec {H})\) contains no other arcs). For each \(\vec {uv} \in A(\vec {H})\), we introduce a new vertex \(x_{\vec {uv}}\), and we set \(X = \{x_{\vec {uv}} \mid \vec {uv} \in A(\vec {H})\}\). We now let G be the bipartite trigraph with bipartition (X, V(H)) in which for all \(\vec {uv} \in A(H)\), vertex \(x_{\vec {uv}}\) is semiadjacent to u and v and strongly antiadjacent to all other vertices of V(H). (Thus, each arc \(\vec {uv}\) of \(\vec {H}\) effectively gets replaced by a narrow path \(ux_{\vec {uv}}v\).) We remark that G contains no strongly adjacent pairs, and so all subsets of V(G) are stable sets of G.
We now define a function \(w:D(G) \rightarrow \mathbb {N}\) as follows:

\(w(v) = 1\) for all \(v \in V(G)\);

\(w(ux_{\vec {uv}}) = w(x_{\vec {uv}}v) = w(x_{\vec {uv}},v) = w(v,x_{\vec {uv}}) = 1\) for all \(\vec {uv} \in A(\vec {H})\);

\(w(e) = 0\) for all other \(e \in D(G)\).
Clearly, w is a weight function for G, and by assumption, we can find \(\alpha (G,w)\) in polynomial time. (Since \(V(G) = n+m\), the running time is in fact polynomial in n.) We claim that \(\alpha (G,w) = \alpha (H)+2m\). This is enough, for then we can clearly compute \(\alpha (H)\) in polynomial time.
We now need some more notation. For each \(\vec {uv} \in A(\vec {H})\) and \(S \subseteq V(G)\), set
We refer to \(\mathrm{cont}({\vec {uv}};S)\) as the contribution of the arc \(\vec {uv}\) to the weight of S with respect to (G, w). Clearly, for all \(S \subseteq V(G)\), we have that
Furthermore, we see by inspection that for all \(\vec {uv} \in A(H)\) and \(S \subseteq V(G)\), we have that
In particular, \(1 \le \mathrm{cont}(\vec {uv};S) \le 2\) for all \(\vec {uv} \in A(\vec {H})\) and \(S \subseteq V(H)\).
We can now show that \(\alpha (H)+2m \le \alpha (G,w)\). Let \(S_H\) be a stable set of H such that \(S_H = \alpha (H)\). Since \(S_H\) is a stable set of H, we know that \(S_H \cap \{u,v\} \le 1\) for all \(\vec {uv} \in A(\vec {H})\). Now, let \(Y = \{x_{\vec {uv}} \mid \vec {uv} \in A(\vec {H}), u \in S_H\}\), and set \(S_G = S_H \cup Y\). By construction, for all \(\vec {uv} \in A(\vec {H})\), we have that \(S_G \cap \{u,x_{\vec {uv}},v\} \in \{\{u,x_{\vec {uv}}\},\{v\},\emptyset \}\), and consequently, \(\mathrm{cont}(\vec {uv};S_G) = 2\). Since \(A(\vec {H}) = m\), and since \(S_G\) is a stable set of G (because G contains no strongly adjacent pairs), it now follows that
It remains to show that \(\alpha (G,w) \le \alpha (H)+2m\). Recall that all subsets of V(G) are stable sets of G. Now, among all subsets \(S_G\) of V(G) that satisfy \(\llbracket S_G \rrbracket _{(G,w)} = \alpha (G,w)\), choose one for which the size of the set \(\{\vec {uv} \in A(\vec {H}) \mid u,v \in S_G\}\) is as small as possible. We need to show that \(\llbracket S_G \rrbracket _{(G,w)} \le \alpha (H)+2m\). Since \(\mathrm{cont}(\vec {uv};S) \le 2\) for all \(\vec {uv} \in A(\vec {H})\), and since \(A(\vec {H}) = m\), we see that \(\sum \nolimits _{\vec {uv} \in A(\vec {H})} \mathrm{cont}(\vec {uv};S_G) \le 2m\), and consequently,
Thus, it only remains to show that \(S_G \cap V(H) \le \alpha (H)\). To prove this, we need only show that \(S_G \cap V(H)\) is a stable set of H. Suppose otherwise, and choose an arc \(\vec {u_0v_0} \in A(\vec {H})\) such that \(u_0,v_0 \in S_G\). Our goal is to construct a set \(S_G' \subseteq V(G)\) such that \(\llbracket S_G' \rrbracket _{(G,w)} = \alpha (G,w)\) and such that \(\{\vec {uv} \in A(\vec {H}) \mid u,v \in S_G'\} < \{\vec {uv} \in A(\vec {H}) \mid u,v \in S_G\}\). This will contradict the minimality of \(S_G\), which is all we need.
Let \(S_G'\) be the subset of V(G) defined as follows:

\(S_G' \cap V(H) = (S_G \cap V(H)) {\smallsetminus } \{u_0\}\);

for all \(\vec {uv} \in A(\vec {H})\),

if \(u_0 \notin \{u,v\}\), then we set \(x_{\vec {uv}} \in S_G'\) if and only if \(x_{\vec {uv}} \in S_G\);

if \(u_0 = u\), then we set \(x_{\vec {u_0v}} \notin S_G'\);

if \(u_0 = v\), then we set \(x_{\vec {u_0v}} \in S_G'\).

Because of the arc \(\vec {u_0v_0}\), we see that \(\{\vec {uv} \in A(\vec {H}) \mid u,v \in S_G'\} < \{\vec {uv} \in A(\vec {H}) \mid u,v \in S_G\}\). In order to verify that \(S_G'\) contradicts the minimality of \(S_G\), it remains to show that \(\llbracket S_G' \rrbracket _{(G,w)} = \alpha (G,w)\). By construction, \(S_G' \cap V(H) = S_G \cap V(H)1\). Next, for all \(\vec {uv} \in A(\vec {H})\) such that \(u_0 \in \{u,v\}\), we have that \(\mathrm{cont}(\vec {uv};S_G') = 2\), and consequently, \(\mathrm{cont}(\vec {uv};S_G') \ge \mathrm{cont}(\vec {uv};S_G)\). Furthermore, \(\mathrm{cont}(\vec {u_0v_0};S_G) = 1\), and so \(\mathrm{cont}(\vec {uv};S_G') = 1+\mathrm{cont}(\vec {uv};S_G)\). On the other hand, for all \(\vec {uv} \in A(\vec {H})\) such that \(u_0 \notin \{u,v\}\), we have that \(\mathrm{cont}(\vec {uv};S_G') = \mathrm{cont}(\vec {uv};S_G)\). Thus,
and it follows that
Since \(S_G'\) is a stable set of G (because G contains no strongly adjacent pairs), we deduce that \(\llbracket S_G' \rrbracket _{(G,w)} = \alpha (G,w)\). Thus, \(S_G'\) indeed contradicts the minimality of \(S_G\). This completes the argument. \(\square \)
References
 1.
Aboulker, P., Charbit, P., Trotignon, N., Vušković, K.: Vertex elimination orderings for hereditary graph classes. Discrete Math. 338, 825–834 (2015)
 2.
Aboulker, P., Chudnovsky, M., Seymour, P., Trotignon, N.: Wheelfree planar graphs. Eur. J. Comb. 49, 57–67 (2015)
 3.
Arnborg, S., Proskurowski, A.: Linear time algorithms for NPhard problems restricted to partial \(k\)trees. Discrete Appl. Math. 23(1), 11–24 (1989)
 4.
Bodlaender, H.L.: A lineartime algorithm for finding treedecompositions of small treewidth. SIAM J. Comput. 25(6), 1305–1317 (1996)
 5.
Brandstädt, A., Le, V.B., Spinrad, J.P.: Graph Classes: A Survey. SIAM Monographs on Discrete Mathematics and Applications. Society for Industrial and Applied Mathematics (SIAM), Philadelphia (1999)
 6.
Chudnovsky, M.: Berge trigraphs and their applications. PhD Thesis, Princeton University (2003)
 7.
Chudnovsky, M.: Berge trigraphs. J. Graph Theory 53(1), 1–55 (2006)
 8.
Diot, E., Radovanović, M., Trotignon, N., Vušković, K.: On graphs that do not contain a theta nor a wheel Part I: two subclasses. arXiv:1504.01862 (2015)
 9.
Faigle, U., Frahling, G.: A combinatorial algorithm for weighted stable sets in bipartite graphs. Discrete Appl. Math. 154, 1380–1391 (2006)
 10.
Gabow, H.N.: Data structures for weighted matching and nearest common ancestors with linking. In: Proceedings of the First Annual ACMSIAM Symposium on Discrete Algorithms, 22–24 January 1990, San Francisco, California, pp. 434–443 (1990)
 11.
Lévêque, B., Maffray, F., Trotignon, N.: On graphs with no induced subdivision of \(K_4\). J. Comb. Theory Ser. B 102(4), 924–947 (2012)
 12.
Milanič, M., Penev, I., Trotignon, N.: A decomposition theorem for ISK4,wheelfree graphs. arXiv:1602.02406 (2016)
 13.
Poljak, S.: A note on the stable sets and coloring of graphs. Commentationes Math. Univ. Carol. 15, 307–309 (1974)
 14.
Roussopoulos, N.D.: A \(\max \{m, n\}\) algorithm for determining the graph \(H\) from its line graph \(G\). Inf. Process. Lett. 2, 108–112 (1973)
 15.
Thomassé, S., Trotignon, N., Vušković, K.: A polynomial Turingkernel for weighted independent set in bullfree graphs. Algorithmica (2015). doi:10.1007/s004530150083x
 16.
Trotignon, N., Vušković, K.: Combinatorial optimization with 2joins. J. Comb. Theory Ser. B 102(1), 153–185 (2012)
 17.
Valdes, J., Tarjan, R.E., Lawler, E.L.: The recognition of series parallel digraphs. SIAM J. Comput. 11(2), 298–313 (1982)
Acknowledgements
We would like to thank Frédéric Maffray for his help with the proof of Theorem 8.1.
Author information
Affiliations
Corresponding author
Additional information
M. Milanič: Partially supported by the Slovenian Research Agency (I00035, Research Program P10285 and Research Projects N10032, J15433, J16720, J16743, and J17051).
I. Penev: Partially supported by the ANR Project Stint under Contract ANR13BS020007, by the LABEX MILYON (ANR10LABX0070) of Université de Lyon, within the program Investissements d’Avenir (ANR11IDEX0007) operated by the French National Research Agency (ANR), and by the ERC Advanced Grant GRACOL, Project No. 320812. This research was conducted while the author was at the LIP, ENS de Lyon, Université de Lyon (Lyon, France), and at the Technical University of Denmark (Lyngby, Denmark).
N. Trotignon: Partially supported by ANR project Stint under reference ANR13BS020007 and by the LABEX MILYON (ANR10LABX0070) of Université de Lyon, within the program Investissements d’Avenir (ANR11IDEX0007) operated by the French National Research Agency (ANR).
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Milanič, M., Penev, I. & Trotignon, N. Stable Sets in {ISK4,wheel}Free Graphs. Algorithmica 80, 415–447 (2018). https://doi.org/10.1007/s0045301602553
Received:
Accepted:
Published:
Issue Date:
Keywords
 Stable Set
 Chordless Cycle
 Trigraph
 Strong Cliques
 Stable Number