English
Related papers

Related papers: Marking Shortest Paths On Pushdown Graphs Does Not…

200 papers

Many modern data analytics applications on graphs operate on domains where graph topology is not known a priori, and hence its determination becomes part of the problem definition, rather than serving as prior knowledge which aids the…

Information Theory · Computer Science 2020-01-03 Ljubisa Stankovic , Danilo Mandic , Milos Dakovic , Milos Brajovic , Bruno Scalzo , Shengxi Li , Anthony G. Constantinides

Let $X=(V\!X,E\!X)$ be an infinite, locally finite, connected graph without loops or multiple edges. We consider the edges to be oriented, and $E\!X$ is equipped with an involution which inverts the orientation. Each oriented edge is…

Combinatorics · Mathematics 2019-03-07 Christian Lindorfer , Wolfgang Woess

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

The age $\mathcal{A}(G)$ of a graph $G$ (undirected and without loops) is the collection of finite induced subgraphs of $G$, considered up to isomorphy and ordered by embeddability. It is well-quasi-ordered (wqo) for this order if it…

Combinatorics · Mathematics 2024-02-14 Maurice Pouzet , Imed Zaguia

The online dominating set problem is an online variant of the minimum dominating set problem, which is one of the most important NP-hard problems on graphs. This problem is defined as follows: Given an undirected graph $G = (V, E)$, in…

Data Structures and Algorithms · Computer Science 2017-11-01 Koji M. Kobayashi

A graph automorphism is a bijective mapping of the vertices that preserves adjacent vertices. A vertex determining set of a graph is a set of vertices such that the only automorphism that fixes those vertices is the identity. The size of a…

Combinatorics · Mathematics 2024-06-12 Sean McAvoy , Sally Cockburn

Seese's conjecture for finite graphs states that monadic second-order logic (MSO) is undecidable on all graph classes of unbounded clique-width. We show that to establish this it would suffice to show that grids of unbounded size can be…

Logic in Computer Science · Computer Science 2023-08-04 Anuj Dawar , Abhisekh Sankaran

We consider recognizable trace rewriting systems with level-regular contexts (RTL). A trace language is level-regular if the set of Foata normal forms of its elements is regular. We prove that the rewriting graph of a RTL is word-automatic.…

Formal Languages and Automata Theory · Computer Science 2018-10-08 Alexandre Mansard

We consider the problem of designing deterministic graph algorithms for the model of Massively Parallel Computation (MPC) that improve with the sparsity of the input graph, as measured by the notion of arboricity. For the problems of…

Data Structures and Algorithms · Computer Science 2023-07-03 Manuela Fischer , Jeff Giliberti , Christoph Grunau

We study the directed global minimum vertex-cut problem: given a directed vertex-weighted graph $G$, compute a vertex-cut $(L,S,R)$ in $G$ of minimum value, which is defined to be the total weight of all vertices in $S$. The problem,…

Data Structures and Algorithms · Computer Science 2026-01-01 Julia Chuzhoy , Ron Mosenzon , Ohad Trabelsi

An $r$-edge coloring of a graph or hypergraph $G=(V,E)$ is a map $c:E\to \{0, \dots, r-1\}$. Extending results of Rado and answering questions of Rado, Gy\'arf\'as and S\'ark\"ozy we prove that (1.) the vertex set of every $r$-edge colored…

Combinatorics · Mathematics 2016-01-07 M. Elekes , D. T. Soukup , L. Soukup , Z. Szentmiklóssy

We introduce, for every surface {\Sigma}, a two-way connection between FO transductions (first-order logical transformations) of the graphs embeddable in {\Sigma} and a certain variant of fan-crossing drawings of graphs in {\Sigma}. If the…

Computational Geometry · Computer Science 2026-03-13 Petr Hliněný , Jan Jedelský

Inspired by "quantum graphity" models for spacetime, a statistical model of graphs is proposed to explore possible realizations of emergent manifolds. Graphs with given numbers of vertices and edges are considered, governed by a very…

General Relativity and Quantum Cosmology · Physics 2013-04-09 Si Chen , Steven S. Plotkin

A graph class is monotone if it is closed under taking subgraphs. It is known that a monotone class defined by finitely many obstructions has bounded treewidth if and only if one of the obstructions is a so-called tripod, that is, a…

Many graph coloring proofs proceed by showing that a minimal counterexample to the theorem being proved cannot contain certain configurations, and then showing that each graph under consideration contains at least one such configuration;…

Combinatorics · Mathematics 2015-07-21 Daniel W. Cranston , Landon Rabern

A graph G on n vertices is said to be extendable if G can be modified to form a new graph H on more than n vertices, while preserving the degrees of the vertices common to G and H. The added vertices all have the same degree and we define…

Combinatorics · Mathematics 2018-03-09 Ghurumuruhan Ganesan

In this work we address a game theoretic variant of the shortest path problem, in which two decision makers (players) move together along the edges of a graph from a given starting vertex to a given destination. The two players take turns…

Discrete Mathematics · Computer Science 2015-06-02 Andreas Darmann , Ulrich Pferschy , Joachim Schauer

End-to-end multimodal learning on knowledge graphs has been left largely unaddressed. Instead, most end-to-end models such as message passing networks learn solely from the relational information encoded in graphs' structure: raw values, or…

Artificial Intelligence · Computer Science 2020-03-30 W. X. Wilcke , P. Bloem , V. de Boer , R. H. van t Veer , F. A. H. van Harmelen

Given two graphs $H_1$ and $H_2$, a graph $G$ is $(H_1,H_2)$-free if it contains no induced subgraph isomorphic to $H_1$ or $H_2$. Let $P_t$ be the path on $t$ vertices. A graph $G$ is $k$-vertex-critical if $G$ has chromatic number $k$ but…

Combinatorics · Mathematics 2020-05-08 Kathie Cameron , Jan Goedgebeur , Shenwei Huang , Yongtang Shi

Consider the following coloring process in a simple directed graph $G(V,E)$ with positive indegrees. Initially, a set $S$ of vertices are white, whereas all the others are black. Thereafter, a black vertex is colored white whenever more…

Discrete Mathematics · Computer Science 2010-03-10 Ching-Lueh Chang , Yuh-Dauh Lyuu