LINEAR-SEMIORDERS AND THEIR INCOMPARABILITY GRAPHS ASAHI TAKAOKA Abstract. A linear-interval order is the intersection of a linear order and an interval order. For this class of orders, several structural results have been known. This paper introduces a new subclass of linear-interval orders. We call a partial order a linear-semiorder if it is the intersection of a linear order and a semiorder. We show a characterization and a polynomial-time recognition algorithm for linear-semiorders. We also prove that being a linear-semiorder is a comparability invariant, showing that incomparability graphs of linear-semiorders can be recognized in polynomial time. 1. Introduction A graph is an intersection graph if there is a set of objects such that each vertex corresponds to an object and two vertices are adjacent if and only if the corresponding objects have a nonempty intersection. The set of objects is called a representation of the graph. Intersection graphs of geometric objects have been widely investigated because of their interesting structures and applications [5,13,23]. Well-known examples of intersection graphs are interval graphs and permutation graphs. An interval graph is the intersection graph of intervals on the real line. Let L1 and L2 be two horizontal lines in the xy-plane with L1 above L2. A permutation graph is the intersection graph of line segments joining a point on L1 and a point on L2. A common generalization of the two graph classes is trapezoid graphs [8,9]. An interval on L1 and an interval on L2 define a trapezoid between L1 and L2.A trapezoid graph is the intersection graph of such trapezoids. The structure of trapezoid graphs is well investigated, and several recognition algorithms are presented [15,20,23]. There is some correspondence between partial orders and intersection graphs of geometric objects between the two lines [14], [15, Theorem 1.11]. A partial order P on a set V is a trapezoid order if for each element v ∈ V, there is a trapezoid T(v) between L1 and L2 such that for any two elements u,v ∈ V, we have that u ≺ v in P if and only if T(u) lies completely to the left of T(v). The set of trapezoids {T(v): v ∈ V} is called a trapezoid representation of P. By restricting trapezoids in the representation, many order classes have been introduced [2,3,21]. An up-triangle order [2] is a partial order representable by triangles spanned by a point on L1 and an interval on L2. An up-triangle order is also known as a PI order [5,6,8], where PI stands for point-interval, and as a linear-interval order [19] because it is the intersection of a linear order and an interval order. We use the term linear-interval orders to denote such orders. Several structural results have been shown for this order class [6, 8, 25], including polynomial-time recognition algorithms [19,26,27]. As noted in [19], this is one of the first results for recognizing orders that are the intersection of orders from different classes. This paper deals with up-triangle orders representable by triangles spanned by a point on L1 and a unit-length interval on L (Fig. 1). Such an order is the intersection of a linear order and a semiorder; hence we call it a linear- arXiv:1907.07845v2 [cs.DM] 10 May 2021 2 semiorder. In Section 3, we show a characterization of linear-semiorders in terms of linear extensions. We then propose a polynomial-time recognition algorithm for linear-semiorders in Section 4. In Section 5, we prove that being a linear-semiorder is a comparability invariant, showing that incomparability graphs of linear-semiorders can also be recognized in polynomial time. In Section 6, we show two byproducts of the characterization. We finally discuss our results and further research in Section 7. 2. Preliminaries A (strict) partially ordered set is a pair (V, P), where V is a set and P is a binary relation on V that is irreflexive, transitive, and therefore asymmetric. The set V is called a ground set and the relation P is called a (strict) partial order on V. In this paper, we will deal only with partial orders on finite sets. Date: May 11, 2021. 2010 Mathematics Subject Classification. 05C62, 05C75, 68R10, 06A07 . Key words and phrases. Comparability invariant, Linear-interval orders, PI graphs, Recognition algorithm, Semiorders, Triangle orders, Vertex ordering characterization . 1 d f a b c d e f L1 c b e L a 2 (a) (b) Figure 1. A partial order (the dual of chevron) with a triangle representation. We denote partial orders by ≺ instead of P, that is, we write u ≺ v in P if (u,v) ∈ P. Two elements u,v ∈ V are comparable in P if u ≺ v or u ≻ v; otherwise u and v are incomparable, denoted by u k v. A partial order P on a set V is a linear order if any two distinct elements of V are comparable in P. A partial order P on a set V is an interval order if for each element v ∈ V, there is a (closed) interval I(v) on the real line such that for any two elements u,v ∈ V, we have that u ≺ v in P if and only if I(u) lies completely to the left of I(v). Here, the interval I(u) = [l(u), r(u)] lies completely to the left of I(v) = [l(v), r(v)], and we write I(u) ≪ I(v), if r(u) < l(v). The set of intervals {I(v): v ∈ V} is called an interval representation of P. An interval representation is unit if every interval has unit length, and it is proper if no interval properly contains another. An interval order is a semiorder if it has a unit interval representation. It is known that a partial order is a semiorder if and only if it has a proper interval representation [4]. Let P1 and P2 be two partial orders on the same ground set V. The intersection of P1 and P2 is the partial order P = P1 ∩ P2. Equivalently, the intersection of P1 and P2 is the partial order P on V such that u ≺ v in P if and only if u ≺ v in both P1 and P2. We call an ordera linear-semiorder if it is the intersection of a linear order and a semiorder. In addition to partially ordered sets, this paper deals with graphs. All graphs in this paper are finite with no loops or multiple edges. Unless stated otherwise, graphs are assumed to be undirected, but we also deal with graphs with directed edges. We write uv for the undirected edge joining two vertices u and v and write (u,v) for the directed edge from u to v. For a graph G = (V, E), we sometimes write V(G) for the vertex set V and write E(G) for the edge set E. Let P be a partial order on a set V. The comparability graph of P is the graph G such that uv ∈ E(G) if and only if u and v are comparable in P. The incomparability graph of P is the graph G such that uv ∈ E(G) if and only if u k v in P. Note that the incomparability graph of P is the complement of the comparability graph of P, where the complement of a graph G is the graph G such that V(G) = V(G) and uv ∈ E(G) if and only if uv < E(G) for any two vertices u,v ∈ V(G). Let G be a graph, and let E ⊆ E(G) be a set of (undirected) edges of G. We call a set F of directed edges an orientation of E if F is obtained from E by orienting each edge of E, that is, replacing each edge uv ∈ E with either (u,v)or (v, u). An orientation of G is an orientation of E(G). An orientation F of G is transitive if (u,v) ∈ F and (v,w) ∈ F then (u,w) ∈ F for any three vertices u,v,w ∈ V(G). Note that a partial order P on a set V can be viewed as a transitive orientation F of the comparability graph of P, in which (u,v) ∈ F if and only if u ≺ v in P. We also note that a graph is a comparability graph if and only if it has a transitive orientation. A linear-time algorithm is known for computing a transitive orientation of a comparability graph [18]. However, the algorithm might produce an orientation that is not transitive if the given graph is not a comparability graph. Thus, to recognize comparability graphs, we must verify the transitivity after computing the orientation. An orientation F of a graph G is quasi-transitive if (u,v) ∈ F and (v,w) ∈ F then uw ∈ E(G), that is, either (u,w) ∈ F or (w, u) ∈ F. In other words, an orientation F of G is quasi-transitive if for any three vertices u,v,w ∈ V with uv,vw ∈ E(G) and uw < E(G), either (u,v), (w,v) ∈ F or (v, u), (v,w) ∈ F. We can see that an orientation is transitive if and only if it is quasi-transitive and acyclic. The linear-time algorithm [18] produces a linear extension of an orientation F of a given graph G such that F is transitive if G is a comparability graph.