English
Related papers

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

200 papers

The adjacency matrix is the most fundamental and intuitive object in graph analysis that is useful not only mathematically but also for visualizing the structures of graphs. Because the appearance of an adjacency matrix is critically…

Social and Information Networks · Computer Science 2023-04-07 Tatsuro Kawamoto , Teruyoshi Kobayashi

We give a short, self-contained, and easily verifiable proof that determining the outerthickness of a general graph is NP-hard. This resolves a long-standing open problem on the computational complexity of outerthickness. Moreover, our…

Computational Complexity · Computer Science 2026-02-10 Pin-Hsian Lee , Te-Cheng Liu , Meng-Tsung Tsai

In social networks the {\sc Strong Triadic Closure} is an assignment of the edges with strong or weak labels such that any two vertices that have a common neighbor with a strong edge are adjacent. The problem of maximizing the number of…

Data Structures and Algorithms · Computer Science 2016-10-10 Athanasios Konstantinidis , Charis Papadopoulos

We consider graph property testing in $p$-degenerate graphs under the random neighbor oracle model (Czumaj and Sohler, FOCS 2019). In this framework, a tester explores a graph by sampling uniform neighbors of vertices, and a property is…

Data Structures and Algorithms · Computer Science 2026-04-07 Oded Lachish , Amit Levi , Ilan Newman , Felix Reidl

We initiate a systematic investigation of the abstract elementary classes that have amalgamation, satisfy tameness (a locality property for orbital types), and are stable (in terms of the number of orbital types) in some cardinal. Assuming…

Logic · Mathematics 2018-11-22 Sebastien Vasey

Two landmark results in combinatorial random matrix theory, due to Koml\'os and Costello-Tao-Vu, show that discrete random matrices and symmetric discrete random matrices are typically nonsingular. In particular, in the language of graph…

Combinatorics · Mathematics 2023-03-10 Margalit Glasgow , Matthew Kwan , Ashwin Sah , Mehtaab Sawhney

Motivated by sequential budgeted allocation problems, we investigate online matching problems where connections between vertices are not i.i.d., but they have fixed degree distributions -- the so-called configuration model. We estimate the…

Data Structures and Algorithms · Computer Science 2021-07-05 Nathan Noiry , Flore Sentenac , Vianney Perchet

In reliable decision-making systems based on machine learning, models have to be robust to distributional shifts or provide the uncertainty of their predictions. In node-level problems of graph learning, distributional shifts can be…

Machine Learning · Computer Science 2023-11-02 Gleb Bazhenov , Denis Kuznedelev , Andrey Malinin , Artem Babenko , Liudmila Prokhorenkova

Tractability results for the model checking problem of logics yield powerful algorithmic meta theorems of the form: Every computational problem expressible in a logic $L$ can be solved efficiently on every class $\mathscr{C}$ of structures…

Logic in Computer Science · Computer Science 2024-11-26 Sebastian Siebertz , Alexandre Vigny

High dimensional piecewise stationary graphical models represent a versatile class for modelling time varying networks arising in diverse application areas, including biology, economics, and social sciences. There has been recent work in…

Machine Learning · Statistics 2018-06-21 Hossein Keshavarz , George Michailidis , Yves Atchade

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

We address nonautonomous initial boundary value problems for decoupled linear first-order one-dimensional hyperbolic systems, investigating the phenomenon of finite time stabilization. We establish sufficient and necessary conditions…

Analysis of PDEs · Mathematics 2025-12-10 Irina Kmit , Natalya Lyul'ko

Graph clustering is the problem of identifying sparsely connected dense subgraphs (clusters) in a given graph. Proposed clustering algorithms usually optimize various fitness functions that measure the quality of a cluster within the graph.…

Computational Complexity · Computer Science 2007-05-23 Jiri Sima , Satu Elisa Schaeffer

Preferential attachment graphs are random graphs designed to mimic properties of typical real world networks. They are constructed by a random process that iteratively adds vertices and attaches them preferentially to vertices that already…

Discrete Mathematics · Computer Science 2018-03-30 Jan Dreier , Philipp Kuinke , Peter Rossmanith

Graph signals offer a very generic and natural representation for data that lives on networks or irregular structures. The actual data structure is however often unknown a priori but can sometimes be estimated from the knowledge of the…

Machine Learning · Computer Science 2017-07-19 Hermina Petric Maretic , Dorina Thanou , Pascal Frossard

The coexistence of sparsity and clustering (non-vanishing average fraction of triangles per node) is one of the few structural features that, irrespective of finer details, are ubiquitously observed across large real-world networks. This…

Probability · Mathematics 2026-03-17 Alessio Catanzaro , Remco van der Hofstad , Diego Garlaschelli

The locality of a graph problem is the smallest distance $T$ such that each node can choose its own part of the solution based on its radius-$T$ neighborhood. In many settings, a graph problem can be solved efficiently with a distributed or…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-12-14 Yi-Jun Chang , Jan Studený , Jukka Suomela

A graph G is c-closed if every two vertices with at least c common neighbors are adjacent to each other. Introduced by Fox, Roughgarden, Seshadhri, Wei and Wein [ICALP 2018, SICOMP 2020], this definition is an abstraction of the triadic…

Data Structures and Algorithms · Computer Science 2025-04-04 Tom Davot , Jessica Enright , Jayakrishnan Madathil , Kitty Meeks

Graph neural networks (GNNs) have recently gained much attention for node and graph classification tasks on graph-structured data. However, multiple recent works showed that an attacker can easily make GNNs predict incorrectly via…

Cryptography and Security · Computer Science 2021-07-19 Binghui Wang , Jinyuan Jia , Xiaoyu Cao , Neil Zhenqiang Gong

Despite the tremendous success of graph-based learning systems in handling structural data, it has been widely investigated that they are fragile to adversarial attacks on homophilic graph data, where adversaries maliciously modify the…

Machine Learning · Computer Science 2025-09-05 Yulin Zhu , Yuni Lai , Xing Ai , Wai Lun LO , Gaolei Li , Jianhua Li , Di Tang , Xingxing Zhang , Mengpei Yang , Kai Zhou