English
Related papers

Related papers: One Hierarchy Spawns Another: Graph Deconstruction…

200 papers

A large driver of the complexity of graph learning is the interplay between structure and features. When analyzing the expressivity of graph neural networks, however, existing approaches ignore features in favor of structure, making it…

Machine Learning · Computer Science 2026-03-04 Martin Carrasco , Olga Zaghen , Kavir Sumaraj , Erik Bekkers , Bastian Rieck

Given a pair of graphs $\textbf{A}$ and $\textbf{B}$, the problems of deciding whether there exists either a homomorphism or an isomorphism from $\textbf{A}$ to $\textbf{B}$ have received a lot of attention. While graph homomorphism is…

Data Structures and Algorithms · Computer Science 2021-07-08 Silvia Butti , Victor Dalmau

Hierarchical embedding constraints define a set of allowed cyclic orders for the edges incident to the vertices of a graph. These constraints are expressed in terms of FPQ-trees. FPQ-trees are a variant of PQ-trees that includes F-nodes in…

Data Structures and Algorithms · Computer Science 2019-11-19 Giuseppe Liotta , Ignaz Rutter , Alessandra Tappini

Many problems, especially those with a composite structure, can naturally be expressed in higher order logic. From a KR perspective modeling these problems in an intuitive way is a challenging task. In this paper we study the graph mining…

Logic in Computer Science · Computer Science 2016-09-01 Matthias van der Hallen , Sergey Paramonov , Michael Leuschel , Gerda Janssens

Query evaluation over probabilistic databases is notoriously intractable -- not only in combined complexity, but often in data complexity as well. This motivates the study of approximation algorithms, and particularly of combined FPRASes,…

Databases · Computer Science 2025-12-17 Antoine Amarilli , Timothy van Bremen , Octave Gaspard , Kuldeep S. Meel

A graph covering projection, also referred to as a locally bijective homomorphism, is a mapping between the vertices and edges of two graphs that preserves incidences and is a local bijection. This concept originates in topological graph…

Discrete Mathematics · Computer Science 2025-07-02 Jan Bok , Jiří Fiala , Nikola Jedličková , Jan Kratochvíl

In the constraint programming framework, state-of-the-art static and dynamic decomposition techniques are hard to apply to problems with complete initial constraint graphs. For such problems, we propose a hybrid approach of these techniques…

Computational Complexity · Computer Science 2008-12-18 Stephane Zampelli , Martin Mann , Yves Deville , Rolf Backofen

We generalize the structure theorem of Robertson and Seymour for graphs excluding a fixed graph $H$ as a minor to graphs excluding $H$ as a topological subgraph. We prove that for a fixed $H$, every graph excluding $H$ as a topological…

Data Structures and Algorithms · Computer Science 2015-03-19 Martin Grohe , Dániel Marx

Network or graph structures are ubiquitous in the study of complex systems. Often, we are interested in complexity trends of these system as it evolves under some dynamic. An example might be looking at the complexity of a food web as…

Information Theory · Computer Science 2007-07-16 Russell K. Standish

Hierarchical graph clustering is a common technique to reveal the multi-scale structure of complex networks. We propose a novel metric for assessing the quality of a hierarchical clustering. This metric reflects the ability to reconstruct…

Social and Information Networks · Computer Science 2018-07-16 Thomas Bonald , Bertrand Charpentier

Let the join of two graphs be the union of two disjoint graphs connected by $j$ edges in a one-to-one manner. In previous work by Gyurov and Pinzon, which generalized the results of Badura and Rara, the determinant of the adjacency matrix…

Combinatorics · Mathematics 2025-01-10 Daniel Pinzon , Daniel Pragel , Joshua Roberts

A graph is $(H_1,H_2)$-free for a pair of graphs $H_1,H_2$ if it contains no induced subgraph isomorphic to $H_1$ or $H_2$. In 2001, Kr\'al', Kratochv\'{\i}l, Tuza, and Woeginger initiated a study into the complexity of Colouring for…

Data Structures and Algorithms · Computer Science 2017-06-08 Alexandre Blanché , Konrad K. Dabrowski , Matthew Johnson , Daniël Paulusma

For a fixed graph $H$ and for arbitrarily large host graphs $G$, the number of homomorphisms from $H$ to $G$ and the number of subgraphs isomorphic to $H$ contained in $G$ have been extensively studied in extremal graph theory and graph…

Combinatorics · Mathematics 2021-07-05 Chun-Hung Liu

We provide first a categorical exploration of, and then completion of the mapping of the relationships among, three fundamental perspectives on binary relations: as the incidence matrices of hypergraphs, as the formal contexts of concept…

Combinatorics · Mathematics 2025-04-22 Robert E. Green , Cliff A. Joslyn , Audun Myers , Michael G. Rawson , Michael Robinson

The increasing prevalence of graph-structured data across various domains has intensified greater interest in graph classification tasks. While numerous sophisticated graph learning methods have emerged, their complexity often hinders…

Machine Learning · Computer Science 2025-09-03 Saiful Islam , Md. Nahid Hasan , Pitambar Khanra

We propose an algebraic study of the simple graph isomorphism problem. We define a Hopf algebra from an explicit realization of its elements as formal power series. We show that these series can be evaluated on graphs and count occurrences…

Combinatorics · Mathematics 2015-11-19 Nicolas Borie

Deciding whether a graph can be embedded in a grid using only unit-length edges is NP-complete, even when restricted to binary trees. However, it is not difficult to devise a number of graph classes for which the problem is polynomial, even…

Data Structures and Algorithms · Computer Science 2012-04-13 Vinícius G. P. de Sá , Guilherme D. da Fonseca , Raphael Machado , Celina M. H. de Figueiredo

Process theories combine a graphical language for compositional reasoning with an underlying categorical semantics. They have been successfully applied to fields such as quantum computation, natural language processing, linear dynamical…

Logic in Computer Science · Computer Science 2018-05-17 Dan Marsden , Fabrizio Genovese

A few steps are made towards representation theory of embeddability among uncountable graphs. A monotone class of graphs is defined by forbidding countable subgraphs, related to the graph's end-structure. Using a combinatorial theorem of…

Logic · Mathematics 2016-09-06 Menachem Kojman

In deep neural networks, better results can often be obtained by increasing the complexity of previously developed basic models. However, it is unclear whether there is a way to boost performance by decreasing the complexity of such models.…

Machine Learning · Computer Science 2022-06-07 Junran Wu , Shangzhe Li , Jianhao Li , Yicheng Pan , Ke Xu