Multi-criteria optimization problems can be of interest for several reasons, including theoretical insights their study provides or potential practical applications. The selection of the parameters to be simultaneously optimized is dictated by those and can lead to challenging research questions. Our selection is motivated in two ways. First, the choice of the parameters themselves is made according to their importance in graph theory and algorithm design. Second, we paired the parameters according to a potential application that we describe in detail. The first pair of parameters that we minimize is the pathwidth and profile, which can be viewed as computations of linear graph layouts of certain characteristics. The second pair is the treewidth and fill-in, which is a tree-like graph layout counterpart of the former.
1.1 Related work
We point out several optimization problems in which pathwidth or treewidth is paired with another parameter or with additional conditions that need to be satisfied. For an example consider a problem of computing a path decomposition with restricted width and length (defined as the number of bags in the path decomposition). It has been first studied in  as a problem motivated by an industrial application and called the partner unit problem but finds applications also in scheduling a register allocation  or graph searching games .
The treewidth counterpart of the ‘length’ minimization problem can be defined two-fold. It can be seen as minimizing, besides of the width of a tree decomposition, the number of its bags . On the other hand, minimization of width and the diameter of the underlying tree-structure of the decomposition has been studied in [6, 9].
Pathwidth or treewidth parameters have been also studied with additional constraints which can be most generally stated as requiring certain connectivity structures to be induced by the bags. These include the parameter of connected pathwidth introduced in  in the context of graph searching games and studied further e.g. in [3, 12]. Another examples are connected treewidth , or bounded diameter tree decompositions [7, 10].
This work mostly deals with simultaneous minimization of width-like (namely pathwidth and treewidth) and fill-like (namely profile and fill-in) graph parameters. In order to state our results for pathwidth and profile formally, we introduce the necessary notation in Section 2. For pathwidth and profile we give an upper bound (to be precise, a class of upper bounds that results in a tradeoff between the two parameters) in Section 3 (Theorem 1) and, in Section 4, an example that shows that the two cannot be simultaneously minimized in general (Theorem 2). The latter example also is valid for the tradeoffs between the two corresponding parameters, treewidth and fill-in and for this reason we introduce the two in Section 5 and state this result as a corollary (Corollary 1). Section 6 recalls two classical graph searching problems which serve as an example that illustrates a case in which it is natural to optimize the two selected pairs of parameters. These connections are summarized there in Theorems 5 and 8. Thus, this part of the work serves as an additional motivation for this research.
We start with recalling some basic graph-theoretic terms used in this work. For a graph , we write and to denote the sets of its vertices and edges, respectively. We say that a graph is a subgraph of a graph (and in such case is a supergraph of ) if and . Moreover, is a subgraph of induced by and denoted (or is an induced subgraph of for short) if and . A clique is a graph in which any two vertices are adjacent. For a vertex of a graph , is the set of neighbors of in .
We now recall the graph parameters studied in this work. For a a permutation of the vertices of , define
Informally, can be interpreted as the maximum distance, according to the permutation , between and its neighbors appearing in the permutation prior to (if all neighbors of are ordered in after , then this difference is by definition zero). Then, a profile of a graph , denoted by , is defined as
A path decomposition of a simple graph is a sequence , where for each , and
for each there exists such that ,
for each , it holds .
The width of equals , and the pathwidth of , denoted by , is the smallest width of all path decompositions of .
2.1 Interval graphs
A graph is an interval graph if and only if for each there exists an interval such that for each edge it holds: if and only if . The collection is called an interval representation of . An interval representation of is said to be canonical if the endpoints of are integers for each and . This in particular implies that the left endpoints are pairwise different. Denote by the set of all canonical interval representations of . We will write for a graph that is not an interval graph to denote the set , where is the set of all interval supergraphs of with the same vertex set as . If is an interval representation of an interval graph and , then denotes the interval in that corresponds to . For any interval , we write and to denote its left and right endpoint, respectively. Note that we consider without loss of generality only open intervals in the interval representations.
Let be an interval graph. Given an interval representation of and an integer , define
to be the cardinality of the set of all intervals that contain the point . Let be the intervals in . Then, let , where , . In other words, is the number of intervals in containing the point . (Note that and hence does not contribute to the value of .)
Given a canonical interval representation of an interval graph , define the interval cost of as
It turns out that equals the number of edges of the interval graph with interval representation (see e.g. ). For a graph , we define its interval cost as
Let be any graph and let be an integer. The following inequalities are equivalent:
, where is an interval supergraph of having the minimum number of edges,
Let be an interval graph and let . We define the width of as . The interval width of any simple graph is then
Let be any graph and let be an integer. The following inequalities are equivalent:
2.2 Problem formulation
For the purposes of this work we need an ‘uniform’ formulation of the two graph-theoretic problems that we study, namely pathwidth and profile, in order to be able to formally apply the two optimization criteria to a single solution to a problem instance. In view of Propositions 1 and 2, we can state the optimization version of our problem as follows:
Problem PPM (Pathwidth & Profile Minimization):
a graph , integers and .
does there exist an interval supergraph of such that and ?
3 Pathwidth and profile tradeoffs
In this section we prove that for an arbitrary graph there exists its interval supergraph with width at most and the number of edges at most for each . This is achieved by providing a procedure that finds a desired interval supergraph (the procedure returns an interval representation of this supergraph). Since the goal is to prove an upper bound and not to provide an efficient algorithm, this procedure relies on optimal algorithms for finding a minimum width and minimum cost interval supergraph of a given graph. (The latter problems are NP-complete, see [20, 26] and [18, 33].) Therefore, the running time of this procedure is exponential.
We first give some intuitions on our method. We start by computing a ‘profile-optimal’ (canonical) interval representation of some interval supergraph of , that is, . Then, in the main loop of the procedure this initial interval representation is iteratively refined. Each refinement targets an interval selected in such a way that the width of exceeds at each point in , i.e., for each and are taken so that the interval is maximum with respect to this condition. The refinement on in is done as follows (see the pseudocode below for detail and Figure 1 for an example):
intervals that cover entirely or have an empty intersection with it do not change (see Case (i) in Figure 1),
intervals that contain one of or will be extended to cover entire interval, except that we ensure that they have pairwise different left endpoints as required in canonical representations (Cases (ii) and (iii) in Figure 1),
for the intervals that originally are contained in , we recompute the interval representation; while doing so we take care of the following: first, the neighborhood relation in the initial graph is respected so that the new interval representation provides an interval supergraph of , and second, the width of the new interval representation inside is minimal (Case (iv) in Figure 1).
The above refinement is performed for each interval that satisfies given conditions. Each refinement potentially increases the interval cost of but narrows down its width appropriately in the interval for which the refinement is done.
we estimate the width and interval cost of. See Figure 1 for an example that illustrates the transition from the to in an iteration of the procedure.
Let be any graph and let . Procedure IC for the given and returns a canonical interval representation of some interval supergraph of .
Let be the canonical interval representation of some interval supergraph of computed at the beginning of Procedure IC. We proceed by induction on the number of iterations of the main loop of Procedure IC, namely, we prove that the interval representation obtained in the -th iteration is a canonical interval representation of some interval supergraph of . For the purpose of the proof, we use the symbol to denote the interval representation obtained in the -th iteration, taking .
For the base case of we have that and the claim follows. Hence, let . Since consists of intervals, is an interval representation of an interval graph on vertices. We need to prove that is a subgraph of and that is canonical.
By the induction hypothesis, there exists an interval supergraph of and . Note that .
To prove that is a subgraph of , we argue that for each . Denote
where and have values as in the -th iteration. Also, refers to the subgraph computed in the -th iteration. For we have that and hence, since is a supergraph of , gives the claim. If , then
Thus, for we also have as required. If , then
Now we argue that is canonical. Since both endpoints of each interval in are clearly integers, it is sufficient to prove that for each there exists exactly one interval whose left endpoint equals . If , then the claim follows from
i.e., the interval representations and are identical ‘outside’ of the interval . For each the claim holds, since . Finally, let . Since, is canonical, . This implies that because is canonical. Thus, there exists such that . By the construction of , as required. ∎
Let be any graph and let be an integer. There exists an interval supergraph of and such that and .
Suppose that Procedure IC is executed for the input and . Let be the canonical interval representation of some interval supergraph of computed at the beginning of Procedure IC. Moreover, take such an that satisfies . Let be the number of iterations performed by the main loop. Let and , , be the graph and its interval representation, respectively, computed in the -th iteration of the main loop. Also, let be the interval used to select , i.e., is the subgraph of induced by all vertices such that for each .
Note that Procedure IC does not specify how is selected for each and therefore for the purpose of this proof of upper bounds we may assume that the interval representation satisfies
By Lemma 1, returned by Procedure IC is a canonical representation of some interval supergraph of . By construction,
Since is a subgraph of , for each and hence by (2) we obtain . By the choice of and , we have and . Hence, we obtain
4 Pathwidth and profile are ‘orthogonal’
In this section we prove that the two optimization criteria studied in this work cannot be minimized simultaneously for some graphs. In other words, we prove by example, that there exist graphs such that any interval supergraph of that has the minimum number of edges (i.e., ) cannot have minimum width (i.e., ) and vice versa. The example that we construct will be also used in the next section and for this reason we present it here in terms of chordal graphs, which is a class of graphs that generalizes interval graphs. For that we need some additional definitions.
We say that is an induced cycle of length in a graph if is a subgraph of and , i.e., the only edges in between vertices in are the ones in . A graph is chordal if there is no induced cycle of length greater than in . Any edge that does not belong to a cycle and connects two vertices of is called a chord of .
In this section we consider a graph with vertex set and edges placed in such a way that , , and form cliques. In our construction we take any sets that satisfy
We have the following observation.
If is a minimal chordal supergraph of , then each of the subgraphs or is either a clique or an union of two disconnected cliques.
We prove that the subgraph of induced by is either a clique or is disconnected and the proof for is identical due to the symmetry. If induces a clique, then the claim follows so suppose that there exist two vertices and that are not adjacent in . Without loss of generality let and — this is due to the fact that and are cliques. Take any two vertices and . Since is chordal, the cycle induced by and has a chord in . Thus, there is an edge between and in . Since and are selected arbitrarily, is a clique. Note that a supergraph of that has no edge between any vertex in and any vertex in and in which induces a clique is chordal. Thus, by the minimality of , consists of two cliques and with no edges between them, as required. ∎
There exists a graph such that no interval supergraph of satisfies and .
Consider the graph constructed at the beginning of this section. For any minimal chordal supergraph of , we say that it is -connected (-connected) if is a clique ( is a clique, respectively). Denote by (respectively, ) the minimal chordal supergraph of that is -connected (-connected, respectively) but has no edge joining a vertex in (respectively ) with a vertex in (respectively ).
Each interval graph is also chordal. On the other hand, both and are interval graphs.
Consider a minimal chordal supergraph of . By Lemma 2, is -connected, -connected, both - and -connected or neither - and -connected. Since it is minimal, it is not - and -connected simultaneously. Also, it must be - or -connected for otherwise it is not chordal. This implies that equals either to or . We have that is an interval graph and hence, by (6), we obtain
We conclude by noting that it is enough to consider minimal interval supergraphs when minimizing interval cost or interval width. ∎
5 Treewidth and fill-in
We refer the reader e.g. to [1, 18, 29, 32] for definitions of the NP-complete problems of treewidth and fill-in. The treewidth for a given graph , denoted by , can be defined as the the minimum such that there exists a chordal supergraph of such that the maximum clique of has size at most . The fill-in of is the minimum such that there exists a chordal supergraph of that can be constructed by adding edges to . Hence, our corresponding combinatorial problem can be stated as follows:
Problem TFM (Treewidth & Fill-in Minimization):
a graph , integers and .
does there exist a chordal supergraph of such that and ?
By the same proof as in Theorem 2, we obtain that for some graphs there is no solution to Problem TFM in which and .
There exists a graph such that no chordal supergraph of satisfies and . ∎
6 Applications to graph searching
6.1 A Short Introduction to Graph Searching
The problem of graph searching can be informally stated as one in which an agent called the fugitive is moving around the graph with the goal to escape a group of agents called guards or searchers. There are various statements of this problem specifying behavior of fugitive and searchers, phase restrictions, speeds of both parties or their other capabilities like visibility, radius of capture etc. Numerous optimization criteria have been studied for these games. However, the tradeoffs between different optimization parameters have not yet been throughly analyzed. In this work we refer to one of the two classical formulations of the graph searching problem, namely the node search; see a formal definition below.
In the original statement of the problem the fugitive is considered invisible (i.e., the searchers can deduce its potential locations only based on the history of their moves) and active, i.e., constantly moving with unbounded speed to counter the searchers’ strategy. It turns out that the minimum number of searchers sufficient to guarantee the capture of the fugitive corresponds to the pathwidth of the underlying graph . Later on, the lazy, also referred to as inert, fugitive variant has been defined in which the fugitive only moves when the searchers are one move apart from catching it. The latter version was first introduced in  where the authors show that minimizing the number of searchers precisely corresponds to finding the treewidth of the input graph. Seymour and Thomas proposed in  a variant of the game in which the fugitive was visible and active. In the same paper they prove that the visible active variant of the problem is equivalent to the invisible inert variant.
All previously mentioned problems considered the number of searchers used by a strategy to be the optimization criterion. In , the authors analyzed the cost defined (informally) as the sum of the guard counts over all steps of the strategy. This graph searching parameter is the one that corresponds to the profile minimization.
Not much is known in terms of two-criteria optimization in the graph searching games. To mention some, examples, there is an analysis of simultaneous minimization of time (number of ‘parallel’ steps) and the number of searchers for the visible variant  and for the inert one  of the node search. Also, some results on tradeoffs between the cost and the number of searchers for the edge search game can be found in .
6.2 Formal definitions
that satisfies the following axioms:
and for each ,
, and ,
(placing/removing searchers) For each there exist such that , and .
(possible recontamination) For each , consists of and each vertex such that each path connecting to a vertex in has an internal vertex in .
(possible recontamination) For each , consists of and each vertex such that each path connecting to has an internal vertex in .
We say that, in the -th step of , the vertices in are guarded, the vertices in are cleared and the vertices in are contaminated. The search cost of a search strategy is defined as
and the number of searchers it uses is
Informally speaking, in an active search strategy recontamination can ‘spread’ from any contaminated vertex while in inert strategies recontamination can only spread from .
We say that a strategy (active or inert) is monotone if for each .
6.3 Consequences of our results
We have the following equivalences:
Theorem 3 ().
For each graph , if an active monotone search strategy of minimum cost, then . ∎
For each graph , if an active search strategy that uses the minimum number of searchers, then . ∎
Hence we obtain the following equivalence:
An optimal solution to Problem PPM corresponds to an active search strategy that simultaneously minimizes the number of searchers and the cost. ∎
For the second pair of parameters, we recall the following theorems.
Theorem 6 ().
For each graph , if an inert monotone search strategy of minimum cost, then . ∎
Theorem 7 ().
For each graph , if an inert search strategy that uses the minimum number of searchers, then . ∎
This leads us to the following theorem:
An optimal solution to Problem TFM corresponds to an inert search strategy that simultaneously minimizes the number of searchers and the cost. ∎
7 Open problems
The first open problem we leave is the one of existence of a similar tradeoff between fill-in and treewidth to the one we have in Theorem 1. More particularly, is it possible to find chordal supergraphs that approximate both parameters to within constant factors of their optimal values?
A challenging open problem is the one that refers to the concept of recontamination in the graph searching games that has been posed in : does recontamination help to obtain a minimum-cost inert search strategy? Formally, does there exist, for some graph , an inert search strategy whose cost is smaller than ? In yet other words, does there exist a graph for which an inert search strategy that minimizes the cost must necessarily allow for recontamination and as a result some vertex is searched twice in step 3, i.e., for two different indices ?
-  S. Arnborg, D.G. Corneil, and A. Proskurowski. Complexity of finding embeddings in a k-tree. SIAM J. Algebraic Discrete Methods, 8:277–284, April 1987.
-  M. Aschinger, C. Drescher, G. Gottlob, P. Jeavons, and E. Thorstensen. Structural decomposition methods and what they are good for. In Thomas Schwentick and Christoph Dürr, editors, 28th International Symposium on Theoretical Aspects of Computer Science (STACS 2011), volume 9 of Leibniz International Proceedings in Informatics (LIPIcs), pages 12–28, 2011.
-  L. Barrière, P. Flocchini, F.V. Fomin, P. Fraigniaud, N. Nisse, N. Santoro, and D.M. Thilikos. Connected graph searching. Inf. Comput., 219:1–16, 2012.
-  L. Barrière, P. Flocchini, P. Fraigniaud, and N. Santoro. Capture of an intruder by mobile agents. In SPAA’02: Proc. of the Fourteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, pages 200–209, New York, NY, USA, 2002. ACM.
-  A. Billionnet. On interval graphs and matrice profiles. RAIRO Rech. Opér., 20(3):245–256, 1986.
-  H.L. Bodlaender. NC-algorithms for graphs with small treewidth. In WG, pages 1–10, 1988.
-  H.L. Bodlaender. Nc-algorithms for graphs with small treewidth. In Graph-Theoretic Concepts in Computer Science, 14th International Workshop, WG ’88, Amsterdam, The Netherlands, June 15-17, 1988, Proceedings, pages 1–10, 1988.
-  H.L. Bodlaender, J.R. Gilbert, H. Hafsteinsson, and T. Kloks. Approximating treewidth, pathwidth, frontsize, and shortest elimination tree. J. Algorithms, 18:238–255, 1995.
-  H.L. Bodlaender and T. Hagerup. Tree decompositions of small diameter. In MFCS, pages 702–712, 1998.
-  H.L. Bodlaender and T. Hagerup. Tree decompositions of small diameter. In Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS’98, Brno, Czech Republic, August 24-28, 1998, Proceedings, pages 702–712, 1998.
-  N.D. Dendris, L.M. Kirousis, and D.M. Thilikos. Fugitive-search games on graphs and related parameters. Theor. Comput. Sci., 172(1-2):233–254, 1997.
-  D. Dereniowski. From pathwidth to connected pathwidth. SIAM J. Discrete Math., 26(4):1709–1732, 2012.
-  D. Dereniowski and D. Dyer. On minimum cost edge searching. Theor. Comput. Sci., 495:37–49, 2013.
-  D. Dereniowski, W. Kubiak, and Y. Zwols. The complexity of minimum-length path decompositions. J. Comput. Syst. Sci., 81(8):1715–1747, 2015.
-  F.V. Fomin and P.A. Golovach. Graph searching and interval completion. SIAM J. Discrete Math., 13(4):454–464, 2000.
-  F.V. Fomin, P. Heggernes, and J.A. Telle. Graph searching, elimination trees, and a generalization of bandwidth. Algorithmica, 41(2):73–87, 2004.
-  P. Fraigniaud and N. Nisse. Connected treewidth and connected graph searching. In Proc. of the 7th Latin American Symposium on Theoretical Informatics (LATIN’06), LNCS, volume 3887, pages 479–490, Valdivia, Chile, 2006.
-  M.R. Garey and D.S. Johnson. Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman & Co., New York, NY, USA, 1979.
-  N.E. Gibbs and W.G. Poole Jr. Tridiagonalization by permutations. Commun. ACM, 17(1):20–24, January 1974.
-  T. Kashiwabara and T. Fujisawa. Np-completeness of the problem of finding a minimum-clique-number interval graph containing a given graph as a subgraph. In Proc. International Conference on Circuits and Systems, page 657–660, 1979.
-  N.G. Kinnersley. The vertex separation number of a graph equals its path-width. Inf. Process. Lett., 42(6):345–350, 1992.
-  L.M. Kirousis and C.H. Papadimitriou. Interval graphs and searching. Discrete Math., 55:181–184, 1985.
-  L.M. Kirousis and C.H. Papadimitriou. Searching and pebbling. Theor. Comput. Sci., 47(2):205–218, 1986.
-  T. Kloks and H.L. Bodlaender. Approximating treewidth and pathwidth of some classes of perfect graphs. In Proc. of the Third Inter. Symposium on Algorithms and Computation, ISAAC ’92, pages 116–125, London, UK, 1992. Springer-Verlag.
-  A.S. LaPaugh. Recontamination does not help to search a graph. J. ACM, 40(2):224–245, 1993.
-  T. Lengauer. Black-white pebbles and graph separation. Acta Inf., 16:465–475, 1981.
-  B. Li, F.Z. Moataz, N. Nisse, and K. Suchan. Minimum size tree-decompositions. Discrete Applied Mathematics, (to appear), 2015.
-  R. Möhring. Graph problems related to gate matrix layout and PLA folding. In E. Mayr, H. Noltemeier, and M. Syslo eds, Computational Graph Theory, Computing Supplementum, volume 7, pages 17–51, 1990.
-  N. Robertson and P.D. Seymour. Graph minors. II. algorithmic aspects of tree-width. J. Algorithms, 7(3):309–322, 1986.
-  R. Sethi. Complete register allocation problems. SIAM J. Comput., 4(3):226–248, 1975.
-  P.D. Seymour and R. Thomas. Graph searching and a min-max theorem for tree-width. J. Comb. Theory Ser. B, 58(1):22–33, 1993.
-  M. Yannakakis. Computing the minimum fill-in is np-complete. SIAM. J. on Algebraic and Discrete Methods, 2(1):77–79, 1981.
-  J. Yuan, Y. Lin, Y. Liu, and S. Wang. Np-completeness of the profile problem and the fill-in problem on cobipartite graphs. J. Math. Study, 31(3):239–243, 1998.