English
Related papers

Related papers: Chirality and principal graph obstructions

200 papers

By applying simplification operations to categories of multigraphs, several natural graph operations are shown to demonstrate categorical issues. The replacement of an undirected edge with a directed cycle for digraphs admits both a left…

Category Theory · Mathematics 2024-03-21 Will Grilliette

We apply model theoretic methods to the problem of existence of countable universal graphs with finitely many forbidden connected subgraphs. We show that to a large extent the question reduces to one of local finiteness of an…

Logic · Mathematics 2016-09-07 Gregory Cherlin , Saharon Shelah , Niandong Shi

We present sweeping line graphs, a generalization of $\Theta$-graphs. We show that these graphs are spanners of the complete graph, as well as of the visibility graph when line segment constraints or polygonal obstacles are considered. Our…

Computational Geometry · Computer Science 2024-01-09 Keenan Lee , André van Renssen

Finite obstruction sets for lower ideals in the minor order are guaranteed to exist by the Graph Minor Theorem. It has been known for several years that, in principle, obstruction sets can be mechanically computed for most natural lower…

Combinatorics · Mathematics 2016-09-06 Kevin Cattell , Michael J. Dinneen , Michael R. Fellows

A blocking quadruple (BQ) is a quadruple of vertices of a graph such that any two vertices of the quadruple either miss (have no neighbours on) some path connecting the remaining two vertices of the quadruple, or are connected by some path…

Discrete Mathematics · Computer Science 2012-10-23 Mathew Francis , Pavol Hell , Juraj Stacho

We define a new graph operator, called the weak-factor graph, which comes from the context of complex network modelling. The weak-factor operator is close to the well-known clique-graph operator but it rather operates in terms of bicliques…

Discrete Mathematics · Computer Science 2021-03-09 Christophe Crespelle , Matthieu Latapy , Thi Ha Duong Phan

Binary classification problems can be naturally modeled as bipartite graphs, where we attempt to classify right nodes based on their left adjacencies. We consider the case of labeled bipartite graphs in which some labels and edges are not…

Combinatorics · Mathematics 2018-11-13 R. W. R. Darling , Mark L. Velednitsky

We study the complexity of the Graph Isomorphism problem on graph classes that are characterized by a finite number of forbidden induced subgraphs, focusing mostly on the case of two forbidden subgraphs. We show hardness results and develop…

Data Structures and Algorithms · Computer Science 2015-03-20 Stefan Kratsch , Pascal Schweitzer

Many graph problems were first shown to be fixed-parameter tractable using the results of Robertson and Seymour on graph minors. We show that the combination of finite, computable, obstruction sets and efficient order tests is not just one…

Computational Complexity · Computer Science 2013-05-15 Michael R. Fellows , Bart M. P. Jansen

We study biplane graphs drawn on a finite planar point set $S$ in general position. This is the family of geometric graphs whose vertex set is $S$ and can be decomposed into two plane graphs. We show that two maximal biplane graphs---in the…

Computational Geometry · Computer Science 2017-08-10 Alfredo García , Ferran Hurtado , Matias Korman , Inês Matos , Maria Saumell , Rodrigo I. Silveira , Javier Tejel , Csaba D. Tóth

We study Subgraph Isomorphism on graph classes defined by a fixed forbidden graph. Although there are several ways for forbidding a graph, we observe that it is reasonable to focus on the minor relation since other well-known relations lead…

Data Structures and Algorithms · Computer Science 2019-05-28 Hans L. Bodlaender , Tesshu Hanaka , Yasuaki Kobayashi , Yusuke Kobayashi , Yoshio Okamoto , Yota Otachi , Tom C. van der Zanden

We consider the algorithmic complexity of recognizing bipartite temporal graphs. Rather than defining these graphs solely by their underlying graph or individual layers, we define a bipartite temporal graph as one in which every layer can…

Computational Complexity · Computer Science 2021-11-18 Till Fluschnik , Pascal Kunz

We study closed, connected, spin 4-manifolds up to stabilisation by connected sums with copies of $S^2 \times S^2$. For a fixed fundamental group, there are primary, secondary and tertiary obstructions, which together with the signature…

Geometric Topology · Mathematics 2024-06-07 Daniel Kasprowski , Mark Powell , Peter Teichner

A fundamental graph problem is to recognize whether the vertex set of a graph $G$ can be bipartitioned into sets $A$ and $B$ such that $G[A]$ and $G[B]$ satisfy properties $\Pi_A$ and $\Pi_B$, respectively. This so-called…

Computational Complexity · Computer Science 2019-08-27 Iyad Kanj , Christian Komusiewicz , Manuel Sorge , Erik Jan van Leeuwen

The Galois group of the minimal polymonal of a Jones index value gives a new type of obstruction to a principal graph, thanks to a recent result of P.Etingof, D.Nikshych, and V.Ostrik. We show that the sequence of the graphs given by…

Operator Algebras · Mathematics 2007-05-23 Marta Asaeda

We introduce a notion of bipartite minors and prove a bipartite analog of Wagner's theorem: a bipartite graph is planar if and only if it does not contain $K_{3,3}$ as a bipartite minor. Similarly, we provide a forbidden minor…

Combinatorics · Mathematics 2013-12-03 Maria Chudnovsky , Gil Kalai , Eran Nevo , Isabella Novik , Paul Seymour

We report on the phase transition of finding a complete subgraph, of specified dimensions, in a bipartite graph. Finding a complete subgraph in a bipartite graph is a problem that has growing attention in several domains, including…

Artificial Intelligence · Computer Science 2016-09-20 Roberto Alonso , Raúl Monroy , Eduardo Aguirre

The class of bipartite permutation graphs enjoys many nice and important properties. In particular, this class is critically important in the study of clique- and rank-width of graphs, because it is one of the minimal hereditary classes of…

Combinatorics · Mathematics 2020-10-28 Bogdan Alecu , Vadim Lozin , Dmitriy Malyshev

We initiate the study of property testing in arbitrary planar graphs. We prove that bipartiteness can be tested in constant time, improving on the previous bound of $\tilde{O}(\sqrt{n})$ for graphs on $n$ vertices. The constant-time…

Data Structures and Algorithms · Computer Science 2018-12-27 Artur Czumaj , Morteza Monemizadeh , Krzysztof Onak , Christian Sohler

A long standing open problem in extremal graph theory is to describe all graphs that maximize the number of induced copies of a path on four vertices. The character of the problem changes in the setting of oriented graphs, and becomes more…

Combinatorics · Mathematics 2020-06-12 Ilkyoo Choi , Bernard Lidický , Florian Pfender