English
Related papers

Related papers: First-Order Model Checking on Structurally Sparse …

200 papers

We propose a simple and efficient local algorithm for graph isomorphism which succeeds for a large class of sparse graphs. This algorithm produces a low-depth canonical labeling, which is a labeling of the vertices of the graph that…

Probability · Mathematics 2023-09-20 Julia Gaudio , Miklós Z. Rácz , Anirudh Sridhar

The first author together with Jenssen, Perkins and Roberts (2017) recently showed how local properties of the hard-core model on triangle-free graphs guarantee the existence of large independent sets, of size matching the best-known…

Combinatorics · Mathematics 2020-04-01 Ewan Davies , Ross J. Kang , François Pirot , Jean-Sébastien Sereni

We prove that for every positive integer $r$ and for every graph class $\mathcal G$ of bounded expansion, the $r$-Dominating Set problem admits a linear kernel on graphs from $\mathcal G$. Moreover, when $\mathcal G$ is only assumed to be…

Inspired by a width invariant defined on permutations by Guillemot and Marx [SODA '14], we introduce the notion of twin-width on graphs and on matrices. Proper minor-closed classes, bounded rank-width graphs, map graphs, $K_t$-free unit…

Data Structures and Algorithms · Computer Science 2021-10-26 Édouard Bonnet , Eun Jung Kim , Stéphan Thomassé , Rémi Watrigant

Community detection refers to finding densely connected groups of nodes in graphs. In important applications, such as cluster analysis and network modelling, the graph is sparse but outliers and heavy-tailed noise may obscure its structure.…

Signal Processing · Electrical Eng. & Systems 2020-11-19 Aylin Tastan , Michael Muma , Abdelhak M. Zoubir

The theme of the first two sections, is to prepare the framework of how from a "complicated" family of index models I in K_1 we build many and/or complicated structures in a class K_2. The index models are characteristically linear orders,…

Logic · Mathematics 2016-02-09 Saharon Shelah

Degree-based graph construction is an ubiquitous problem in network modeling, ranging from social sciences to chemical compounds and biochemical reaction networks in the cell. This problem includes existence, enumeration, exhaustive…

Combinatorics · Mathematics 2009-08-27 Hyunju Kim , Zoltan Toroczkai , Péter L. Erdős , István Miklós , László Á. Székely

We prove that every class of graphs $\mathscr C$ that is monadically stable and has bounded twin-width can be transduced from some class with bounded sparse twin-width. This generalizes analogous results for classes of bounded linear…

Logic in Computer Science · Computer Science 2022-09-20 Jakub Gajarský , Michał Pilipczuk , Szymon Toruńczyk

We study property testing in directed graphs in the bounded degree model, where we assume that an algorithm may only query the outgoing edges of a vertex, a model proposed by Bender and Ron in 2002. As our first main result, we we present a…

Data Structures and Algorithms · Computer Science 2013-12-03 Frank Hellweg , Christian Sohler

Several approaches to graphically representing context-specific relations among jointly distributed categorical variables have been proposed, along with structure learning algorithms. While existing optimization-based methods have limited…

Machine Learning · Statistics 2024-10-17 Felix Leopoldo Rios , Alex Markham , Liam Solus

We develop a new framework for generalizing approximation algorithms from the structural graph algorithm literature so that they apply to graphs somewhat close to that class (a scenario we expect is common when working with real-world…

In this paper, we focus on learning sparse graphs with a core-periphery structure. We propose a generative model for data associated with core-periphery structured networks to model the dependence of node attributes on core scores of the…

Machine Learning · Computer Science 2021-10-11 Sravanthi Gurugubelli , Sundeep Prabhakar Chepuri

While previous works have shown that an overwhelming number of scale-free networks are sparse, there still exist some real-world networks including social networks, urban networks, information networks, which are by observation dense. In…

Social and Information Networks · Computer Science 2020-10-29 Fei Ma , Xiaomin Wang , Ping Wang , Xudong Luo

We consider a generic algorithmic paradigm that we call progressive exploration, which can be used to develop simple and efficient parameterized graph algorithms. We identify two model-theoretic properties that lead to efficient progressive…

Logic in Computer Science · Computer Science 2018-11-19 Grzegorz Fabiański , Michał Pilipczuk , Sebastian Siebertz , Szymon Toruńczyk

The notions of bounded-size and quasibounded-size decompositions with bounded treedepth base classes are central to the structural theory of graph sparsity introduced by two of the authors years ago, and provide a characterization of both…

Discrete Mathematics · Computer Science 2024-12-24 Samuel Braunfeld , Jaroslav Nešetřil , Patrice Ossona de Mendez , Sebastian Siebertz

We present a framework to define a large class of neural networks for which, by construction, training by gradient flow provably reaches arbitrarily low loss when the number of parameters grows. Distinct from the fixed-space global…

Optimization and Control · Mathematics 2025-01-13 David A. R. Robin , Kevin Scaman , Marc Lelarge

We consider Hoare-style verification for the graph programming language GP 2. In previous work, graph properties were specified by so-called E-conditions which extend nested graph conditions. However, this type of assertions is not easy to…

Logic in Computer Science · Computer Science 2020-11-04 Gia Wulandari , Detlef Plump

One of the questions in Rigidity Theory is whether a realization of the vertices of a graph in the plane is flexible, namely, if it allows a continuous deformation preserving the edge lengths. A flexible realization of a connected graph in…

Computational Geometry · Computer Science 2025-12-11 Petr Laštovička , Jan Legerský

This work examines the problem of graph learning over a diffusion network when data can be collected from a limited portion of the network (partial observability). The main question is to establish technical guarantees of consistent…

Statistics Theory · Mathematics 2020-06-08 Vincenzo Matta , Augusto Santos , Ali H. Sayed

Graph is a fundamental mathematical structure in characterizing relations between different objects and has been widely used on various learning tasks. Most methods implicitly assume a given graph to be accurate and complete. However, real…

Machine Learning · Computer Science 2024-03-07 Xuanting Xie , Zhao Kang , Wenyu Chen
‹ Prev 1 8 9 10 Next ›