134 research outputs found

    Graphs with Plane Outside-Obstacle Representations

    Full text link
    An \emph{obstacle representation} of a graph consists of a set of polygonal obstacles and a distinct point for each vertex such that two points see each other if and only if the corresponding vertices are adjacent. Obstacle representations are a recent generalization of classical polygon--vertex visibility graphs, for which the characterization and recognition problems are long-standing open questions. In this paper, we study \emph{plane outside-obstacle representations}, where all obstacles lie in the unbounded face of the representation and no two visibility segments cross. We give a combinatorial characterization of the biconnected graphs that admit such a representation. Based on this characterization, we present a simple linear-time recognition algorithm for these graphs. As a side result, we show that the plane vertex--polygon visibility graphs are exactly the maximal outerplanar graphs and that every chordal outerplanar graph has an outside-obstacle representation.Comment: 12 pages, 7 figure

    Layout of Graphs with Bounded Tree-Width

    Full text link
    A \emph{queue layout} of a graph consists of a total order of the vertices, and a partition of the edges into \emph{queues}, such that no two edges in the same queue are nested. The minimum number of queues in a queue layout of a graph is its \emph{queue-number}. A \emph{three-dimensional (straight-line grid) drawing} of a graph represents the vertices by points in Z3\mathbb{Z}^3 and the edges by non-crossing line-segments. This paper contributes three main results: (1) It is proved that the minimum volume of a certain type of three-dimensional drawing of a graph GG is closely related to the queue-number of GG. In particular, if GG is an nn-vertex member of a proper minor-closed family of graphs (such as a planar graph), then GG has a O(1)×O(1)×O(n)O(1)\times O(1)\times O(n) drawing if and only if GG has O(1) queue-number. (2) It is proved that queue-number is bounded by tree-width, thus resolving an open problem due to Ganley and Heath (2001), and disproving a conjecture of Pemmaraju (1992). This result provides renewed hope for the positive resolution of a number of open problems in the theory of queue layouts. (3) It is proved that graphs of bounded tree-width have three-dimensional drawings with O(n) volume. This is the most general family of graphs known to admit three-dimensional drawings with O(n) volume. The proofs depend upon our results regarding \emph{track layouts} and \emph{tree-partitions} of graphs, which may be of independent interest.Comment: This is a revised version of a journal paper submitted in October 2002. This paper incorporates the following conference papers: (1) Dujmovic', Morin & Wood. Path-width and three-dimensional straight-line grid drawings of graphs (GD'02), LNCS 2528:42-53, Springer, 2002. (2) Wood. Queue layouts, tree-width, and three-dimensional graph drawing (FSTTCS'02), LNCS 2556:348--359, Springer, 2002. (3) Dujmovic' & Wood. Tree-partitions of kk-trees with applications in graph layout (WG '03), LNCS 2880:205-217, 200

    On coloring parameters of triangle-free planar (n,m)(n,m)-graphs

    Full text link
    An (n,m)(n,m)-graph is a graph with nn types of arcs and mm types of edges. A homomorphism of an (n,m)(n,m)-graph GG to another (n,m)(n,m)-graph HH is a vertex mapping that preserves the adjacencies along with their types and directions. The order of a smallest (with respect to the number of vertices) such HH is the (n,m)(n,m)-chromatic number of GG.Moreover, an (n,m)(n,m)-relative clique RR of an (n,m)(n,m)-graph GG is a vertex subset of GG for which no two distinct vertices of RR get identified under any homomorphism of GG. The (n,m)(n,m)-relative clique number of GG, denoted by ωr(n,m)(G)\omega_{r(n,m)}(G), is the maximum R|R| such that RR is an (n,m)(n,m)-relative clique of GG. In practice, (n,m)(n,m)-relative cliques are often used for establishing lower bounds of (n,m)(n,m)-chromatic number of graph families. Generalizing an open problem posed by Sopena [Discrete Mathematics 2016] in his latest survey on oriented coloring, Chakroborty, Das, Nandi, Roy and Sen [Discrete Applied Mathematics 2022] conjectured that ωr(n,m)(G)2(2n+m)2+2\omega_{r(n,m)}(G) \leq 2 (2n+m)^2 + 2 for any triangle-free planar (n,m)(n,m)-graph GG and that this bound is tight for all (n,m)(0,1)(n,m) \neq (0,1).In this article, we positively settle this conjecture by improving the previous upper bound of ωr(n,m)(G)14(2n+m)2+2\omega_{r(n,m)}(G) \leq 14 (2n+m)^2 + 2 to ωr(n,m)(G)2(2n+m)2+2\omega_{r(n,m)}(G) \leq 2 (2n+m)^2 + 2, and by finding examples of triangle-free planar graphs that achieve this bound. As a consequence of the tightness proof, we also establish a new lower bound of 2(2n+m)2+22 (2n+m)^2 + 2 for the (n,m)(n,m)-chromatic number for the family of triangle-free planar graphs.Comment: 22 Pages, 5 figure

    Classification of edge-critical underlying absolute planar cliques for signed graphs

    Get PDF
    International audienceA simple signed graph (G,Σ) is a simple graph G having two different types of edges, positive edges and negative edges, where Σ denotes the set of negative edges of G. A closed walk of a signed graph is positive (resp., negative) if it has even (resp., odd) number of negative edges, taking repeated edges into account. A homomorphism (resp., colored homomorphism) of a simple signed graph to another simple signed graph is a vertex-mapping that preserves adjacencies and signs of closed walks (resp., signs of edges). A simple signed graph (G,Σ) is a signed absolute clique (resp., (0,2)-absolute clique) if any homomorphism (resp., colored homomorphism) of it is an injective function, in which case G is called an underlying signed absolute clique (resp., underlying (0,2)-absolute clique). Moreover, G is edge-critical if G - e is not an underlying signed absolute clique (resp., underlying (0,2)-absolute clique) for any edge e of G. In this article, we characterize all edge-critical outerplanar underlying (0,2)-absolute cliquesand all edge-critical planar underlying signed absolute cliques. We also discuss the motivations and implications of obtaining these exhaustive lists
    corecore