60 research outputs found
On Linear Layouts of Graphs
In a total order of the vertices of a graph, two edges with no endpoint in common can be \emphcrossing, \emphnested, or \emphdisjoint. A \emphk-stack (respectively, \emphk-queue, \emphk-arch) \emphlayout of a graph consists of a total order of the vertices, and a partition of the edges into k sets of pairwise non-crossing (non-nested, non-disjoint) edges. Motivated by numerous applications, stack layouts (also called \emphbook embeddings) and queue layouts are widely studied in the literature, while this is the first paper to investigate arch layouts.\par Our main result is a characterisation of k-arch graphs as the \emphalmost (k+1)-colourable graphs; that is, the graphs G with a set S of at most k vertices, such that G S is (k+1)-colourable.\par In addition, we survey the following fundamental questions regarding each type of layout, and in the case of queue layouts, provide simple proofs of a number of existing results. How does one partition the edges given a fixed ordering of the vertices? What is the maximum number of edges in each type of layout? What is the maximum chromatic number of a graph admitting each type of layout? What is the computational complexity of recognising the graphs that admit each type of layout?\par A comprehensive bibliography of all known references on these topics is included. \pa
Stack and Queue Layouts via Layered Separators
It is known that every proper minor-closed class of graphs has bounded
stack-number (a.k.a. book thickness and page number). While this includes
notable graph families such as planar graphs and graphs of bounded genus, many
other graph families are not closed under taking minors. For fixed and ,
we show that every -vertex graph that can be embedded on a surface of genus
with at most crossings per edge has stack-number ;
this includes -planar graphs. The previously best known bound for the
stack-number of these families was , except in the case
of -planar graphs. Analogous results are proved for map graphs that can be
embedded on a surface of fixed genus. None of these families is closed under
taking minors. The main ingredient in the proof of these results is a
construction proving that -vertex graphs that admit constant layered
separators have stack-number.Comment: Appears in the Proceedings of the 24th International Symposium on
Graph Drawing and Network Visualization (GD 2016
Drawing a Graph in a Hypercube
A -dimensional hypercube drawing of a graph represents the vertices by
distinct points in , such that the line-segments representing the
edges do not cross. We study lower and upper bounds on the minimum number of
dimensions in hypercube drawing of a given graph. This parameter turns out to
be related to Sidon sets and antimagic injections.Comment: Submitte
Mixed Linear Layouts of Planar Graphs
A -stack (respectively, -queue) layout of a graph consists of a total
order of the vertices, and a partition of the edges into sets of
non-crossing (non-nested) edges with respect to the vertex ordering. In 1992,
Heath and Rosenberg conjectured that every planar graph admits a mixed
-stack -queue layout in which every edge is assigned to a stack or to a
queue that use a common vertex ordering.
We disprove this conjecture by providing a planar graph that does not have
such a mixed layout. In addition, we study mixed layouts of graph subdivisions,
and show that every planar graph has a mixed subdivision with one division
vertex per edge.Comment: Appears in the Proceedings of the 25th International Symposium on
Graph Drawing and Network Visualization (GD 2017
On the Hardness and Inapproximability of Recognizing Wheeler Graphs
In recent years several compressed indexes based on variants of the Burrows-Wheeler transformation have been introduced. Some of these are used to index structures far more complex than a single string, as was originally done with the FM-index [Ferragina and Manzini, J. ACM 2005]. As such, there has been an increasing effort to better understand under which conditions such an indexing scheme is possible. This has led to the introduction of Wheeler graphs [Gagie et al., Theor. Comput. Sci., 2017]. Gagie et al. showed that de Bruijn graphs, generalized compressed suffix arrays, and several other BWT related structures can be represented as Wheeler graphs, and that Wheeler graphs can be indexed in a way which is space efficient. Hence, being able to recognize whether a given graph is a Wheeler graph, or being able to approximate a given graph by a Wheeler graph, could have numerous applications in indexing. Here we resolve the open question of whether there exists an efficient algorithm for recognizing if a given graph is a Wheeler graph. We present:
- The problem of recognizing whether a given graph G=(V,E) is a Wheeler graph is NP-complete for any edge label alphabet of size sigma >= 2, even when G is a DAG. This holds even on a restricted, subset of graphs called d-NFA\u27s for d >= 5. This is in contrast to recent results demonstrating the problem can be solved in polynomial time for d-NFA\u27s where d <= 2. We also show the recognition problem can be solved in linear time for sigma =1;
- There exists an 2^{e log sigma + O(n + e)} time exact algorithm where n = |V| and e = |E|. This algorithm relies on graph isomorphism being computable in strictly sub-exponential time;
- We define an optimization variant of the problem called Wheeler Graph Violation, abbreviated WGV, where the aim is to remove the minimum number of edges in order to obtain a Wheeler graph. We show WGV is APX-hard, even when G is a DAG, implying there exists a constant C >= 1 for which there is no C-approximation algorithm (unless P = NP). Also, conditioned on the Unique Games Conjecture, for all C >= 1, it is NP-hard to find a C-approximation;
- We define the Wheeler Subgraph problem, abbreviated WS, where the aim is to find the largest subgraph which is a Wheeler Graph (the dual of the WGV). In contrast to WGV, we prove that the WS problem is in APX for sigma=O(1);
The above findings suggest that most problems under this theme are computationally difficult. However, we identify a class of graphs for which the recognition problem is polynomial time solvable, raising the open question of which parameters determine this problem\u27s difficulty
- …