English
Related papers

Related papers: A Van Kampen type obstruction for string graphs

200 papers

We introduce regular graph constraints and explore their decidability properties. The motivation for regular graph constraints is 1) type checking of changing types of objects in the presence of linked data structures, 2) shape analysis…

Programming Languages · Computer Science 2007-05-23 Viktor Kuncak , Martin Rinard

In this survey-research paper, we first introduce the theory of Smith classes of complexes with fixed-point free, periodic maps on them. These classes, when defined for the deleted product of a simplicial complex $K$, are the same as the…

Algebraic Topology · Mathematics 2020-01-23 Salman Parsa

An obstacle representation of a graph $G$ consists of a set of pairwise disjoint simply-connected closed regions and a one-to-one mapping of the vertices of $G$ to points such that two vertices are adjacent in $G$ if and only if the line…

Computational Geometry · Computer Science 2025-02-25 Martin Balko , Steven Chaplick , Robert Ganian , Siddharth Gupta , Michael Hoffmann , Pavel Valtr , Alexander Wolff

A graph is a cograph if it does not contain a 4-vertex path as an induced subgraph. An $(s, k)$-polar partition of a graph $G$ is a partition $(A, B)$ of its vertex set such that $A$ induces a complete multipartite graph with at most $s$…

Combinatorics · Mathematics 2021-04-19 F. Esteban Contreras-Mendoza , César Hernández-Cruz

This work studies certain aspects of graphs embedded on surfaces. Initially, a colored graph model for a map of a graph on a surface is developed. Then, a concept analogous to (and extending) planar graph is introduced in the same spirit as…

Combinatorics · Mathematics 2007-05-23 Sostenes Lins

A segment representation of a graph is an assignment of line segments in 2D to the vertices in such a way that two segments intersect if and only if the corresponding vertices are adjacent. Not all graphs have such segment representations,…

Computational Geometry · Computer Science 2018-10-17 Therese Biedl

In a labeling scheme the vertices of a given graph from a particular class are assigned short labels such that adjacency can be algorithmically determined from these labels. A representation of a graph from that class is given by the set of…

Computational Complexity · Computer Science 2018-02-09 Maurice Chandoo

In this paper we introduce and study the strip planarity testing problem, which takes as an input a planar graph $G(V,E)$ and a function $\gamma:V \rightarrow \{1,2,\dots,k\}$ and asks whether a planar drawing of $G$ exists such that each…

Computational Geometry · Computer Science 2013-09-04 Patrizio Angelini , Giordano Da Lozzo , Giuseppe Di Battista , Fabrizio Frati

Graph aggregation is the process of computing a single output graph that constitutes a good compromise between several input graphs, each provided by a different source. One needs to perform graph aggregation in a wide variety of…

Artificial Intelligence · Computer Science 2018-06-13 Ulle Endriss , Umberto Grandi

A matching preclusion set of a graph is an edge set whose deletion results in a graph without perfect matching or almost perfect matching. The Cartesian product of $n$ paths is called an $n$-grid graph. In this paper, we study the matching…

Combinatorics · Mathematics 2018-10-19 Qi Ding , Heping Zhang , Hui Zhou

Let claw be the graph $K_{1,3}$. A graph $G$ on $n\geq 3$ vertices is called \emph{o}-heavy if each induced claw of $G$ has a pair of end-vertices with degree sum at least $n$, and 1-heavy if at least one end-vertex of each induced claw of…

Combinatorics · Mathematics 2014-06-23 Bo Ning , Shenggui Zhang , Bing Chen

Graphs that are squares under the gluing algebra arise in the study of homomorphism density inequalities such as Sidorenko's conjecture. Recent work has focused on these homomorphism density applications. This paper takes a new perspective…

Combinatorics · Mathematics 2025-10-08 Karen L. Collins , David Galvin , Christine A. Kelley , Emily McMillon , Amanda Redlich

Path-addition is an operation that takes a graph and adds an internally vertex-disjoint path between two vertices together with a set of supplementary edges. Path-additions are just the opposite of taking minors. We show that some classes…

Discrete Mathematics · Computer Science 2016-05-11 Franz J. Brandenburg , Alexander Esch , Daniel Neuwirth

We prove that every planar graph is the intersection graph of homothetic triangles in the plane.

Discrete Mathematics · Computer Science 2019-09-02 Daniel Gonçalves , Benjamin Lévêque , Alexandre Pinlou

We find a new obstruction to the principal graphs of subfactors. It shows that in a certain family of 3-supertransitive principal graphs, there must be a cycle by depth 6, with one exception, the principal graph of the Haagerup subfactor.

Operator Algebras · Mathematics 2015-09-03 Scott Morrison

This paper considers 1-string representations of planar graphs that are order-preserving in the sense that the order of crossings along the curve representing vertex $v$ is the same as the order of edges in the clockwise order around $v$ in…

Computational Geometry · Computer Science 2016-09-27 Therese Biedl , Martin Derka

We prove that if an $n$-vertex graph $G$ can be drawn in the plane such that each pair of crossing edges is independent and there is a crossing-free edge that connects their endpoints, then $G$ has $O(n)$ edges. Graphs that admit such…

Combinatorics · Mathematics 2016-08-31 Eyal Ackerman , Balázs Keszegh , Mate Vizer

Given a diagram of Pi-algebras (graded groups equipped with an action of the primary homotopy operations), we ask whether it can be realized as the homotopy groups of a diagram of spaces. The answer given here is in the form of an…

Algebraic Topology · Mathematics 2009-04-03 David Blanc , Mark W Johnson , James M Turner

We define string geometry: spaces of superstrings including the interactions, their topologies, charts, and metrics. Trajectories in asymptotic processes on a space of strings reproduce the right moduli space of the super Riemann surfaces…

High Energy Physics - Theory · Physics 2021-02-03 Matsuo Sato

Necessary and sufficient conditions for a sequence of positive integers to be the degree sequence of a 3-connected simple graph are detailed. Conditions are also given under which such a sequence is necessarily 3-connected i.e. the sequence…

Combinatorics · Mathematics 2015-12-18 Jonathan McLaughlin