DOCSLIB.ORG

Comparability Invariance Results for Tolerance Orders

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Comparability Invariance Results for Tolerance Orders Comparability Invariance Results for Tolerance Orders Kenneth P. Bogart Garth Isaak∗ Department of Mathematics Department of Mathematics Dartmouth College Lehigh University Hanover, NH 03755 Lehigh, PA 18015 Joshua D. Laison Ann N. Trenk† Department of Mathematics Department of Mathematics Dartmouth College Wellesley College Hanover, NH 03755 Wellesley, MA 02481 March 15, 2001 ABSTRACT We prove comparability invariance results for three classes of ordered sets: bounded tolerance orders (equivalent to parallel- ogram orders), unit bitolerance orders (equivalent to point-core bitolerance orders) and unit tolerance orders (equivalent to 50% tolerance orders). Each proof uses a different technique and relies on the alternate characterization. 1 Background Throughout this paper we consider only finite ordered sets. We begin with background material on comparability invariance. A property or parameter ∗Research supported in part by the Reidler Foundation. †Research supported in part by the American Association of University Women and Cornell University. 1 of an ordered set is said to be comparability invariant if all orders with a given comparability graph have that property or have the same value of that parameter. The first printed reference we know of to the phrase “comparability invari- ant” is in Michel Habib’s paper [11]. However Habib [Personal Communica- tion, December 2000] tells us that he first learned the phrase in conversations with J.C. Arditti and M.C. Golumbic. The interest in comparability invari- ants arises from papers of Arditti [1], Gysin [10], and Trotter, Moore, and Sumner [17] in which they show that all transitive orientations of a finite comparability graph have the same dimension, and one of Arditti and Jung [2] in which they extend the result to infinite comparability graphs. Trotter, Moore, and Sumner attribute the question of whether all orders having the same comparability graph have the same dimension to Bogart. The paper [12], by Habib, Kelly, and M¨ohring has brought the idea of a comparability invariant to the attention of a broader audience and is one of the motivations for the current paper. A second motivation is a conversation between one of the authors (Trenk) and Habib in 1999. It is natural to ask whether any “reasonable” property of an ordered set is a comparability invariant. The ordered set with elements t, b,anda1, a2, and a3,withb ≺ ai ≺ t and no other relations has a comparability graph isomorphic with the ordered set t1, t2, t3, a,andb,withb ≺ a ≺ ti and no other relations. However the number of maximal elements of the first ordered set is one, as is the number of minimal elements, while the number of maximal elements of the second ordered set is three, while the number of minimal elements is one. Thus neither the number of maximal elements nor the total number of maximal and minimal elements is a comparability invariant. In this paper we show that the property of belonging to set S is a compara- bility invariant for S = {bounded tolerance orders}, S = {unit bitolerance orders}, and S = {unit tolerance orders}. Each of these classes has an alternate characterization: bounded tolerance orders are equivalent to parallelogram orders, unit bitolerance orders are equivalent to point-core bitolerance orders, and unit tolerance orders are equivalent to 50% tolerance orders. We review these alternate characterizations which will be used in the comparability in- variance proofs in section 2. 2 1.1 Comparability Invariance We next present the standard technique for proving that an ordered set property is a comparability invariant. Given a graph G =(V,E), a set A ⊆ V is called an autonomous set if every vertex in V \ A is either adjacent to all of the vertices in A or none of the vertices in A. Autonomous sets play a key role in relating ordered sets that have the same comparability graph. Let P =(V,≺1)andQ =(V,≺2) be ordered sets with the same compara- bility graph G.WesaythatQ is obtained from P by an elementary reversal if there is a set A ⊆ V that is autonomous in G and satisfies the following. 1. A is not an independent set of G. 2. If x, y are not both in A then x ≺1 y iff x ≺2 y. 3. If x, y ∈ A then x ≺1 y iff y ≺2 x. In this process, Q is obtained from P (and vice versa) by reversing the comparabilities in A. Note that the definition of an autonomous set A in the comparability graph of an order P allows for the possibility of an element x which is above some elements of A and below others. However, the second and third conditions above imply that this is not possible in an autonomous set that participates in an elementary reversal. We record this below in a remark. In this paper we will only be concerned with autonomous sets that participate in elementary reversals, called order autonomous sets in [14]. Remark 1 If Q =(V,≺2) is obtained from P =(V,≺1) by an elementary reversal using the order autonomous set A, then the sets Pred(A)={v ∈ V | x ≺1 a for all a ∈ A}, Succ(A)={w ∈ V | a ≺1 w for all a ∈ A},and Inc(A)={z ∈ V | z a for all a ∈ A} partition V \ A. By the second condition in the definition of an elementary reversal, we could also use the relation ≺2 of Q in defining the sets Pred(A), Succ(A), and Inc(A). If A is an order autonomous set and a ∈ A is incomparable to every other element of A,thenA = A \{a} is another order autonomous set. Furthermore, Q can be obtained from P by an elementary reversal of A if and only if Q can be obtained from P by an elementary reversal of A.When all such elements are removed from an order autonomous set, the resulting set will not be empty by the first condition of our definition. We record this as a remark. 3 Remark 2 If one ordered set is obtained from another by an elementary reversal, this can be achieved using an order autonomous set A in which every element of A is comparable to another element of A. The following theorem of Gallai [7] (which appears in [16], pgs. 61–62) shows that we can move between any two orders with the same comparability graph by a sequence of elementary reversals. Theorem 3 (Gallai) Let G =(V,E) be the comparability graph associated with distinct ordered sets P =(V,≺P ) and Q =(V,≺Q). Then there exists a sequence of ordered sets P0,P1,...,Pm so that P0 = P , Pm = Q and Pi+1 is obtained from Pi by an elementary reversal for i =0, 1,...,m− 1. Theorem 3 allows us to show a property is comparability invariant by considering pairs of orders for which one can be obtained from the other by an elementary reversal. A corollary of Theorem 3 which will be useful to us is given below. Corollary 4 Let P and Q be finite ordered sets with the same comparability graph and let S be a class of orders. To prove that P ∈S ⇐⇒ Q ∈S, it suffices to prove P ∈S⇒Q ∈Swhere Q can be obtained from P by an elementary reversal. Proof. By Theorem 3 we need only prove P ∈S⇐⇒Q ∈Sin the case that Q can be obtained from P by an elementary reversal. However, since the process of obtaining one order from another by an elementary reversal is symmetric, the result follows. ¾ 1.2 Classes of Bounded Bitolerance Orders A bounded bitolerance representation I,p,q of an order P =(V,≺) consists of a function I that maps each element v ∈ V to an interval Iv =[L(v),R(v)] on the real line and a pair of functions p and q that map each element v of V to points p(v)andq(v) in the interval Iv with p(v) = L(v)andq(v) = R(v). The point p(v) is called the left tolerant point of v and q(v) is called the right tolerant point of v. In a bounded bitolerance representation of P =(V,≺), we have x ≺ y if and only if R(x) <p(y)andq(x) <L(y). An ordered set is a bounded bitolerance order if it has such a representation. Given a bounded bitolerance representation, the left tolerance of element v is the 4 quantity tl(v)=p(v) − L(v), and the right tolerance of element v is the quantity tr(v)=R(v) − q(v). Bounded bitolerance orders are the orders of interval dimension two, as first observed in [15]. In [12] the property of having interval dimension 2 was shown to be a comparability invariant. Another way to represent a bounded bitolerance order uses trapezoids. Let L1 and L2 be horizontal lines with L1 above L2. We consider trapezoids Tv that have one base on L1 and the other base on L2, and we allow degenerate trapezoids in which either or both bases is a point. For trapezoids Tv with bases on L1 and L2, we write Tx Ty when Tx ∩ Ty = ∅ and every point of Tx is to the left of some point of Ty, which we shorten to “Tx is to the left of Ty.” Similarly for intervals Ix,Iy we will write Ix Iy when Ix ∩ Iy = ∅ and Ix is to the left of Iy. A trapezoid representation of P =(V,≺) is a function T that assigns to each v ∈ V a trapezoid Tv with one base on L1 and the other base on L2, so that x ≺ y iff Tx Ty.
Load more

Recommended publications
  • Lecture 10: April 20, 2005 Perfect Graphs
    Re-revised notes 4-22-2005 10pm CMSC 27400-1/37200-1 Combinatorics and Probability Spring 2005 Lecture 10: April 20, 2005 Instructor: L´aszl´oBabai Scribe: Raghav Kulkarni TA SCHEDULE: TA sessions are held in Ryerson-255, Monday, Tuesday and Thursday 5:30{6:30pm. INSTRUCTOR'S EMAIL: [email protected] TA's EMAIL: [email protected], [email protected] IMPORTANT: Take-home test Friday, April 29, due Monday, May 2, before class. Perfect Graphs k 1=k Shannon capacity of a graph G is: Θ(G) := limk (α(G )) : !1 Exercise 10.1 Show that α(G) χ(G): (G is the complement of G:) ≤ Exercise 10.2 Show that χ(G H) χ(G)χ(H): · ≤ Exercise 10.3 Show that Θ(G) χ(G): ≤ So, α(G) Θ(G) χ(G): ≤ ≤ Definition: G is perfect if for all induced sugraphs H of G, α(H) = χ(H); i. e., the chromatic number is equal to the clique number. Theorem 10.4 (Lov´asz) G is perfect iff G is perfect. (This was open under the name \weak perfect graph conjecture.") Corollary 10.5 If G is perfect then Θ(G) = α(G) = χ(G): Exercise 10.6 (a) Kn is perfect. (b) All bipartite graphs are perfect. Exercise 10.7 Prove: If G is bipartite then G is perfect. Do not use Lov´asz'sTheorem (Theorem 10.4). 1 Lecture 10: April 20, 2005 2 The smallest imperfect (not perfect) graph is C5 : α(C5) = 2; χ(C5) = 3: For k 2, C2k+1 imperfect.
    [Show full text]
  • I?'!'-Comparability Graphs
    Discrete Mathematics 74 (1989) 173-200 173 North-Holland I?‘!‘-COMPARABILITYGRAPHS C.T. HOANG Department of Computer Science, Rutgers University, New Brunswick, NJ 08903, U.S.A. and B.A. REED Discrete Mathematics Group, Bell Communications Research, Morristown, NJ 07950, U.S.A. In 1981, Chv&tal defined the class of perfectly orderable graphs. This class of perfect graphs contains the comparability graphs. In this paper, we introduce a new class of perfectly orderable graphs, the &comparability graphs. This class generalizes comparability graphs in a natural way. We also prove a decomposition theorem which leads to a structural characteriza- tion of &comparability graphs. Using this characterization, we develop a polynomial-time recognition algorithm and polynomial-time algorithms for the clique and colouring problems for &comparability graphs. 1. Introduction A natural way to color the vertices of a graph is to put them in some order v*cv~<” l < v, and then assign colors in the following manner: (1) Consider the vertxes sequentially (in the sequence given by the order) (2) Assign to each Vi the smallest color (positive integer) not used on any neighbor vi of Vi with j c i. We shall call this the greedy coloring algorithm. An order < of a graph G is perfect if for each subgraph H of G, the greedy algorithm applied to H, gives an optimal coloring of H. An obstruction in a ordered graph (G, <) is a set of four vertices {a, b, c, d} with edges ab, bc, cd (and no other edge) and a c b, d CC. Clearly, if < is a perfect order on G, then (G, C) contains no obstruction (because the chromatic number of an obstruction is twu, but the greedy coloring algorithm uses three colors).
    [Show full text]
  • Box Representations of Embedded Graphs
    Box representations of embedded graphs Louis Esperet CNRS, Laboratoire G-SCOP, Grenoble, France S´eminairede G´eom´etrieAlgorithmique et Combinatoire, Paris March 2017 Definition (Roberts 1969) The boxicity of a graph G, denoted by box(G), is the smallest d such that G is the intersection graph of some d-boxes. Ecological/food chain networks Sociological/political networks Fleet maintenance Boxicity d-box: the cartesian product of d intervals [x1; y1] ::: [xd ; yd ] of R × × Ecological/food chain networks Sociological/political networks Fleet maintenance Boxicity d-box: the cartesian product of d intervals [x1; y1] ::: [xd ; yd ] of R × × Definition (Roberts 1969) The boxicity of a graph G, denoted by box(G), is the smallest d such that G is the intersection graph of some d-boxes. Ecological/food chain networks Sociological/political networks Fleet maintenance Boxicity d-box: the cartesian product of d intervals [x1; y1] ::: [xd ; yd ] of R × × Definition (Roberts 1969) The boxicity of a graph G, denoted by box(G), is the smallest d such that G is the intersection graph of some d-boxes. Ecological/food chain networks Sociological/political networks Fleet maintenance Boxicity d-box: the cartesian product of d intervals [x1; y1] ::: [xd ; yd ] of R × × Definition (Roberts 1969) The boxicity of a graph G, denoted by box(G), is the smallest d such that G is the intersection graph of some d-boxes. Ecological/food chain networks Sociological/political networks Fleet maintenance Boxicity d-box: the cartesian product of d intervals [x1; y1] ::: [xd ; yd ] of R × × Definition (Roberts 1969) The boxicity of a graph G, denoted by box(G), is the smallest d such that G is the intersection graph of some d-boxes.
    [Show full text]
  • Improved Ramsey-Type Results in Comparability Graphs
    Improved Ramsey-type results in comparability graphs D´anielKor´andi ∗ Istv´anTomon ∗ Abstract Several discrete geometry problems are equivalent to estimating the size of the largest homogeneous sets in graphs that happen to be the union of few comparability graphs. An important observation for such results is that if G is an n-vertex graph that is the union of r comparability (or more generally, perfect) graphs, then either G or its complement contains a clique of size n1=(r+1). This bound is known to be tight for r = 1. The question whether it is optimal for r ≥ 2 was studied by Dumitrescu and T´oth.We prove that it is essentially best possible for r = 2, as well: we introduce a probabilistic construction of two comparability graphs on n vertices, whose union contains no clique or independent set of size n1=3+o(1). Using similar ideas, we can also construct a graph G that is the union of r comparability graphs, and neither G, nor its complement contains a complete bipartite graph with parts of size cn (log n)r . With this, we improve a result of Fox and Pach. 1 Introduction An old problem of Larman, Matouˇsek,Pach and T¨or}ocsik[11, 14] asks for the largest m = m(n) such that among any n convex sets in the plane, there are m that are pairwise disjoint or m that pairwise intersect. Considering the disjointness graph G, whose vertices correspond to the convex sets and edges correspond to disjoint pairs, this problem asks the Ramsey-type question of estimating the largest clique or independent set in G.
    [Show full text]
  • P 4-Colorings and P 4-Bipartite Graphs Chinh T
    P_4-Colorings and P_4-Bipartite Graphs Chinh T. Hoàng, van Bang Le To cite this version: Chinh T. Hoàng, van Bang Le. P_4-Colorings and P_4-Bipartite Graphs. Discrete Mathematics and Theoretical Computer Science, DMTCS, 2001, 4 (2), pp.109-122. hal-00958951 HAL Id: hal-00958951 https://hal.inria.fr/hal-00958951 Submitted on 13 Mar 2014 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Discrete Mathematics and Theoretical Computer Science 4, 2001, 109–122 P4-Free Colorings and P4-Bipartite Graphs Ch´ınh T. Hoang` 1† and Van Bang Le2‡ 1Department of Physics and Computing, Wilfrid Laurier University, 75 University Ave. W., Waterloo, Ontario N2L 3C5, Canada 2Fachbereich Informatik, Universitat¨ Rostock, Albert-Einstein-Straße 21, D-18051 Rostock, Germany received May 19, 1999, revised November 25, 2000, accepted December 15, 2000. A vertex partition of a graph into disjoint subsets Vis is said to be a P4-free coloring if each color class Vi induces a subgraph without a chordless path on four vertices (denoted by P4). Examples of P4-free 2-colorable graphs (also called P4-bipartite graphs) include parity graphs and graphs with “few” P4s like P4-reducible and P4-sparse graphs.
    [Show full text]
  • On Sources in Comparability Graphs, with Applications Stephan Olariu Old Dominion University
    Old Dominion University ODU Digital Commons Computer Science Faculty Publications Computer Science 1992 On Sources in Comparability Graphs, With Applications Stephan Olariu Old Dominion University Follow this and additional works at: https://digitalcommons.odu.edu/computerscience_fac_pubs Part of the Applied Mathematics Commons, and the Computer Sciences Commons Repository Citation Olariu, Stephan, "On Sources in Comparability Graphs, With Applications" (1992). Computer Science Faculty Publications. 128. https://digitalcommons.odu.edu/computerscience_fac_pubs/128 Original Publication Citation Olariu, S. (1992). On sources in comparability graphs, with applications. Discrete Mathematics, 110(1-3), 289-292. doi:10.1016/ 0012-365x(92)90721-q This Article is brought to you for free and open access by the Computer Science at ODU Digital Commons. It has been accepted for inclusion in Computer Science Faculty Publications by an authorized administrator of ODU Digital Commons. For more information, please contact [email protected]. Discrete Mathematics 110 (1992) 2X9-292 289 North-Holland Note On sources in comparability graphs, with applications S. Olariu Department of Computer Science, Old Dominion University, Norfolk, VA 235294162, USA Received 31 October 1989 Abstract Olariu, S., On sources in comparability graphs, with applications, Discrete Mathematics 110 (1992) 289-292. We characterize sources in comparability graphs and show that our result provides a unifying look at two recent results about interval graphs. An orientation 0 of a graph G is obtained by assigning unique directions to its edges. To simplify notation, we write xy E 0, whenever the edge xy receives the direction from x to y. A vertex w is called a source whenever VW E 0 for no vertex II in G.
    [Show full text]
  • Combinatorial Optimization and Recognition of Graph Classes with Applications to Related Models
    Combinatorial Optimization and Recognition of Graph Classes with Applications to Related Models Von der Fakult¨at fur¨ Mathematik, Informatik und Naturwissenschaften der RWTH Aachen University zur Erlangung des akademischen Grades eines Doktors der Naturwissenschaften genehmigte Dissertation vorgelegt von Diplom-Mathematiker George B. Mertzios aus Thessaloniki, Griechenland Berichter: Privat Dozent Dr. Walter Unger (Betreuer) Professor Dr. Berthold V¨ocking (Zweitbetreuer) Professor Dr. Dieter Rautenbach Tag der mundlichen¨ Prufung:¨ Montag, den 30. November 2009 Diese Dissertation ist auf den Internetseiten der Hochschulbibliothek online verfugbar.¨ Abstract This thesis mainly deals with the structure of some classes of perfect graphs that have been widely investigated, due to both their interesting structure and their numerous applications. By exploiting the structure of these graph classes, we provide solutions to some open problems on them (in both the affirmative and negative), along with some new representation models that enable the design of new efficient algorithms. In particular, we first investigate the classes of interval and proper interval graphs, and especially, path problems on them. These classes of graphs have been extensively studied and they find many applications in several fields and disciplines such as genetics, molecular biology, scheduling, VLSI design, archaeology, and psychology, among others. Although the Hamiltonian path problem is well known to be linearly solvable on interval graphs, the complexity status of the longest path problem, which is the most natural optimization version of the Hamiltonian path problem, was an open question. We present the first polynomial algorithm for this problem with running time O(n4). Furthermore, we introduce a matrix representation for both interval and proper interval graphs, called the Normal Interval Representation (NIR) and the Stair Normal Interval Representation (SNIR) matrix, respectively.
    [Show full text]
  • The Micro-World of Cographs
    The Micro-world of Cographs Bogdan Alecu Vadim Lozin Dominique de Werra June 10, 2020 B. Alecu, V. Lozin, D. de Werra The Micro-world of Cographs June 10, 2020 1 / 26 Any hereditary class can be described in terms of minimal forbidden induced subgraphs. Given a set S of graphs, Free(S) denotes the class of graphs with no induced subgraphs in S. A graph parameter is a function which associates to each graph a number. All parameters we consider are assumed to be hereditary, which means they do not increase when taking induced subgraphs. Examples: chromatic number, clique-width, ... Let p be a parameter and X a graph class. We say p is bounded in X if there is a constant k such that p(G) ≤ k for all G 2 X , and unbounded in X otherwise. We work with finite, simple, undirected graphs. A hereditary class (just \class" from now on) is a set of graphs closed under taking induced subgraphs. Basic definitions B. Alecu, V. Lozin, D. de Werra The Micro-world of Cographs June 10, 2020 2 / 26 Any hereditary class can be described in terms of minimal forbidden induced subgraphs. Given a set S of graphs, Free(S) denotes the class of graphs with no induced subgraphs in S. A graph parameter is a function which associates to each graph a number. All parameters we consider are assumed to be hereditary, which means they do not increase when taking induced subgraphs. Examples: chromatic number, clique-width, ... Let p be a parameter and X a graph class.
    [Show full text]
  • Boxicity, Poset Dimension, and Excluded Minors
    Boxicity, poset dimension, and excluded minors Louis Esperet∗ Veit Wiechert Laboratoire G-SCOP Institut f¨urMathematik CNRS, Univ. Grenoble Alpes Technische Universit¨atBerlin Grenoble, France Berlin, Germany [email protected] Submitted: Apr 12, 2018; Accepted: Nov 27, 2018; Published: Dec 21, 2018 c The authors. Abstract In this short note, we relate the boxicity of graphs (and the dimension of posets) with their generalized coloring parameters. In particular, together with known estimates, our results imply that any graph with no Kt-minor can be represented as the intersection of O(t2 log t) interval graphs (improving the previous bound of 4 15 2 O(t )), and as the intersection of 2 t circular-arc graphs. Mathematics Subject Classifications: 05C15, 05C83, 06A07 1 Introduction The intersection G1 \···\ Gk of k graphs G1;:::;Gk defined on the same vertex set V , is the graph (V; E1 \:::\Ek), where Ei (1 6 i 6 k) denotes the edge set of Gi. The boxicity box(G) of a graph G, introduced by Roberts [19], is defined as the smallest k such that G is the intersection of k interval graphs. Scheinerman proved that outerplanar graphs have boxicity at most two [20] and Thomassen proved that planar graphs have boxicity at most three [24]. Outerplanar graphs have no K4-minor and planar graphs have no K5-minor, so a natural question is how these two results extend to graphs with no Kt-minor for t > 6. It was proved in [6] that if a graph has acyclic chromatic number at most k, then its boxicity is at most k(k − 1).
    [Show full text]
  • Classes of Perfect Graphs
    This paper appeared in: Discrete Mathematics 306 (2006), 2529-2571 Classes of Perfect Graphs Stefan Hougardy Humboldt-Universit¨atzu Berlin Institut f¨urInformatik 10099 Berlin, Germany [email protected] February 28, 2003 revised October 2003, February 2005, and July 2007 Abstract. The Strong Perfect Graph Conjecture, suggested by Claude Berge in 1960, had a major impact on the development of graph theory over the last forty years. It has led to the definitions and study of many new classes of graphs for which the Strong Perfect Graph Conjecture has been verified. Powerful concepts and methods have been developed to prove the Strong Perfect Graph Conjecture for these special cases. In this paper we survey 120 of these classes, list their fundamental algorithmic properties and present all known relations between them. 1 Introduction A graph is called perfect if the chromatic number and the clique number have the same value for each of its induced subgraphs. The notion of perfect graphs was introduced by Berge [6] in 1960. He also conjectured that a graph is perfect if and only if it contains, as an induced subgraph, neither an odd cycle of length at least five nor its complement. This conjecture became known as the Strong Perfect Graph Conjecture and attempts to prove it contributed much to the developement of graph theory in the past forty years. The methods developed and the results proved have their uses also outside the area of perfect graphs. The theory of antiblocking polyhedra developed by Fulkerson [37], and the theory of modular decomposition (which has its origins in a paper of Gallai [39]) are two such examples.
    [Show full text]
  • Characterization and Recognition of Some Opposition and Coalition
    Characterization and recognition of some opposition and coalition graph classes Van Bang Le Universit¨at Rostock, Institut fur¨ Informatik, Rostock, Germany Thomas Podelleck Universit¨at Rostock, Institut fur¨ Informatik, Rostock, Germany Abstract A graph is an opposition graph, respectively, a coalition graph, if it admits an acyclic orientation which puts the two end-edges of every chordless 4-vertex path in opposition, respectively, in the same direction. Opposition and coali- tion graphs have been introduced and investigated in connection to perfect graphs. Recognizing and characterizing opposition and coalition graphs are long-standing open problems. This paper gives characterizations for opposi- tion graphs and coalition graphs on some restricted graph classes. Implicit in our arguments are polynomial time recognition algorithms for these graphs. We also give a good characterization for the so-called generalized opposition graphs. Keywords: Perfectly orderable graph, one-in-one-out graph, opposition graph, coalition graph, perfect graph 2010 MSC: 05C75, 05C17, 05C62 arXiv:1507.00557v1 [cs.DM] 2 Jul 2015 1. Introduction and preliminaries Chv´atal [4] proposed to call a linear order < on the vertex set of an undirected graph G perfect if the greedy coloring algorithm applied to each induced subgraph H of G gives an optimal coloring of H: Consider the vertices of H sequentially by following the order < and assign to each vertex Email addresses: [email protected] (Van Bang Le), [email protected] (Thomas Podelleck) To appear in Discrete Appl. Math. November 8, 2017 v the smallest color not used on any neighbor u of v, u < v. A graph is perfectly orderable if it admits a perfect order.
    [Show full text]
  • II. Stable Sets and Colourings
    II. Stable sets and colourings 1. Stable sets and colourings Let G = (V,E) be a graph. A stable set is a subset S of V containing no edge of G. A clique is a subset C of V such that any two vertices in C are adjacent. So (1) S is a stable set of G S is a clique of G, ⇐⇒ where G denotes the complementary graph of G.1 A vertex-colouring or colouring of G is a partition Π of V into stable sets S1,...,Sk. The sets S1,...,Sk are called the colours of the colouring. A clique cover of G is a partition Π of V into cliques. Define: (2) α(G) := max S S is a stable set , {| || } ω(G) := max C C is a clique , {| || } χ(G) := min Π Π is a colouring , {| || } χ(G) := min Π Π is a clique cover . {| || } These numbers are called the stable set number, the clique number, the vertex-colouring number or colouring number, and the clique cover number of G, respectively. We say that a graph G is k-(vertex-)colourable if χ(G) k. ≤ Note that (3) α(G)= ω(G) and χ(G)= χ(G). We have seen that in any graph G = (V,E), a maximum-size matching can be found in polynomial time. This means that α(L(G)) can be found in polynomial time, where L(G) is the line graph of G.2 On the other hand, it is NP-complete to find a maximum-size stable set in a graph.
    [Show full text]