English
Related papers

Related papers: Local expressions of hereditary classes

200 papers

We study the class of 1-perfectly orientable graphs, that is, graphs having an orientation in which every out-neighborhood induces a tournament. 1-perfectly orientable graphs form a common generalization of chordal graphs and circular arc…

Combinatorics · Mathematics 2016-03-08 Tatiana Romina Hartinger , Martin Milanič

Locally checkable labeling problems (LCLs) form the foundation of the modern theory of distributed graph algorithms. First introduced in the seminal paper by Naor and Stockmeyer [STOC 1993], these are graph problems that can be described by…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-02-23 Antonio Cruciani , Avinandan Das , Alesya Raevskaya , Jukka Suomela

We investigate the Minimum Eccentricity Shortest Path problem in some structured graph classes. It asks for a given graph to find a shortest path with minimum eccentricity. Although it is NP-hard in general graphs, we demonstrate that a…

Discrete Mathematics · Computer Science 2015-11-17 Feodor F. Dragan , Arne Leitert

A graph $G$ with vertex set $V(G)$ and edge set $E(G)$ is said to be word-representable if there exists a word $w$ over the alphabet $V(G)$ such that, for any two distinct letters $x,y \in V(G)$, the letters $x$ and $y$ alternate in $w$ if…

Combinatorics · Mathematics 2026-04-14 Eshwar Srinivasan , Ramesh Hariharasubramanian

Graph-structured data appears frequently in domains including chemistry, natural language semantics, social networks, and knowledge bases. In this work, we study feature learning techniques for graph-structured inputs. Our starting point is…

Machine Learning · Computer Science 2017-09-26 Yujia Li , Daniel Tarlow , Marc Brockschmidt , Richard Zemel

Fagin defined the class $NP$ by the means of Existential Second-Order logic. Feder and Vardi expressed it (up to polynomial equivalence) by special fragments of Existential Second-Order logic (SNP), while the authors used forbidden expanded…

Computational Complexity · Computer Science 2026-01-09 Gábor Kun , Jaroslav Nešetřil

We introduce a general class of algorithms and supply a number of general results useful for analysing these algorithms when applied to regular graphs of large girth. As a result, we can transfer a number of results proved for random…

Combinatorics · Mathematics 2017-03-06 Carlos Hoppen , Nicholas Wormald

Frick and Grohe [J. ACM 48 (2006), 1184-1206] introduced a notion of graph classes with locally bounded tree-width and established that every first order logic property can be decided in almost linear time in such a graph class. Here, we…

Data Structures and Algorithms · Computer Science 2011-08-30 Tomas Gavenciak , Daniel Kral , Sang-il Oum

Graph representation learning (also called graph embeddings) is a popular technique for incorporating network structure into machine learning models. Unsupervised graph embedding methods aim to capture graph structure by learning a…

Social and Information Networks · Computer Science 2022-01-24 Andrew Stolman , Caleb Levy , C. Seshadhri , Aneesh Sharma

Let $P$ be a set of $n$ vertices in the plane and $S$ a set of non-crossing line segments between vertices in $P$, called constraints. Two vertices are visible if the straight line segment connecting them does not properly intersect any…

Computational Geometry · Computer Science 2017-05-16 Prosenjit Bose , Rolf Fagerberg , André van Renssen , Sander Verdonschot

A graph class is $\chi$-bounded if the only way to force large chromatic number in graphs from the class is by forming a large clique. In the 1970s, Erd\H{o}s conjectured that intersection graphs of straight-line segments in the plane are…

In the paper [J. Graph Theory (2023) 102:458-471, the Esperet's conjecture has been posed: Every $\chi$-bounded hereditary class is poly-$\chi$-bounded]. This conjecture was first posed in [Habilitation Thesis, Universit\'e Grenoble Alpes,…

Combinatorics · Mathematics 2025-12-11 N. Rahimi , D. A. Mojdeh

We classify graphs and, more generally, finite relational structures that are identified by C2, that is, two-variable first-order logic with counting. Using this classification, we show that it can be decided in almost linear time whether a…

Logic in Computer Science · Computer Science 2015-03-31 Sandra Kiefer , Pascal Schweitzer , Erkal Selman

Graph neural networks (GNNs) are a widely used class of machine learning models for graph-structured data, based on local aggregation over neighbors. GNNs have close connections to logic. In particular, their expressive power is linked to…

Logic in Computer Science · Computer Science 2026-01-30 Arie Soeteman , Michael Benedikt , Martin Grohe , Balder ten Cate

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

Graph filtering is the cornerstone operation in graph signal processing (GSP). Thus, understanding it is key in developing potent GSP methods. Graph filters are local and distributed linear operations, whose output depends only on the local…

Signal Processing · Electrical Eng. & Systems 2022-12-21 T. Mitchell Roddenberry , Fernando Gama , Richard G. Baraniuk , Santiago Segarra

Interval graphs are intersection graphs of closed intervals. A generalization of recognition called partial representation extension was introduced recently. The input gives an interval graph with a partial representation specifying some…

Combinatorics · Mathematics 2016-02-22 Pavel Klavík , Maria Saumell

A graph is circle if its vertices are in correspondence with a family of chords in a circle in such a way that every two distinct vertices are adjacent if and only if the corresponding chords have nonempty intersection. Even though there…

Discrete Mathematics · Computer Science 2023-04-04 Flavia Bonomo-Braberman , Guillermo A. Durán , Nina Pardal , Martín D. Safe

A (finite or infinite) graph is called constructible if it may be obtained recursively from the one-point graph by repeatedly adding dominated vertices. In the finite case, the constructible graphs are precisely the cop-win graphs, but for…

Combinatorics · Mathematics 2022-08-02 Maria-Romina Ivan , Imre Leader , Mark Walters

In a graph, the switching operation reverses adjacencies between a subset of vertices and the others. For a hereditary graph class $\mathcal{G}$, we are concerned with the maximum subclass and the minimum superclass of $\mathcal{G}$ that…

Data Structures and Algorithms · Computer Science 2024-08-15 Dhanyamol Antony , Yixin Cao , Sagartanu Pal , R. B. Sandeep
‹ Prev 1 4 5 6 7 8 10 Next ›