English
Related papers

Related papers: Testing Depth First Search Numbering

200 papers

The graph model checking problem consists in testing whether an input graph satisfies a given logical formula. In this paper, we study this problem in a distributed setting, namely local certification. The goal is to assign labels to the…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-10-18 Nicolas Bousquet , Laurent Feuilloley , Théo Pierron

Graph Generating Dependencies (GGDs) informally express constraints between two (possibly different) graph patterns which enforce relationships on both graph's data (via property value constraints) and its structure (via topological…

Databases · Computer Science 2022-11-02 Larissa C. Shimomura , Nikolay Yakovets , George Fletcher

Where graphs are used for modelling and specifying systems, consistency is an important concern. To be a valid model of a system, the graph structure must satisfy a number of constraints. To date, consistency has primarily been viewed as a…

Logic in Computer Science · Computer Science 2021-11-02 Jens Kosiol , Daniel Strüber , Gabriele Taentzer , Steffen Zschaler

In property testing, a tester makes queries to (an oracle for) a graph and, on a graph having or being far from having a property P, it decides with high probability whether the graph satisfies P or not. Often, testers are restricted to a…

Data Structures and Algorithms · Computer Science 2025-11-14 Samuel Humeau , Mamadou Moustapha Kanté , Daniel Mock , Timothé Picavet , Alexandre Vigny

To solve many problems on graphs, graph traversals are used, the usual variants of which are the depth-first search and the breadth-first search. Implementing a graph traversal we consequently reach all vertices of the graph that belong to…

Discrete Mathematics · Computer Science 2025-02-18 A. V. Prolubnikov

Graph pattern matching is a routine process for a wide variety of applications such as social network analysis. It is typically defined in terms of subgraph isomorphism which is NP-Complete. To lower its complexity, many extensions of graph…

Databases · Computer Science 2018-04-13 Houari Mahfoud

Given query access to a set of constraints $S$, we wish to quickly check if some objective function $\varphi$ subject to these constraints is at most a given value $k$. We approach this problem using the framework of property testing where…

Data Structures and Algorithms · Computer Science 2019-11-20 Rogers Epstein , Sandeep Silwal

In this paper, we introduce the following new concept in graph drawing. Our task is to find a small collection of drawings such that they all together satisfy some property that is useful for graph visualization. We propose investigating a…

Computational Geometry · Computer Science 2025-09-23 Petr Hliněný , Tomáš Masařík

Given a small random sample of $n$-bit strings labeled by an unknown Boolean function, which properties of this function can be tested computationally efficiently? We show an equivalence between properties that are efficiently testable from…

Computational Complexity · Computer Science 2026-04-07 Cynthia Dwork , Pranay Tankala

We discuss a graph-based approach for testing spatial point patterns. This approach falls under the category of data-random graphs, which have been introduced and used for statistical pattern recognition in recent years. Our goal is to test…

Methodology · Statistics 2008-02-06 E. Ceyhan , C. E. Priebe , D. J. Marchette

Distribution testing deals with what information can be deduced about an unknown distribution over $\{1,\ldots,n\}$, where the algorithm is only allowed to obtain a relatively small number of independent samples from the distribution. In…

Computational Complexity · Computer Science 2016-09-23 Eldar Fischer , Oded Lachish , Yadu Vasudev

Supervised learning on graphs is a challenging task due to the high dimensionality and inherent structural dependencies in the data, where each edge depends on a pair of vertices. Existing conventional methods are designed for standard…

Methodology · Statistics 2024-06-27 Cencheng Shen , Shangsi Wang , Alexandra Badea , Carey E. Priebe , Joshua T. Vogelstein

In high-dimensional graph learning problems, some topological properties of the graph, such as bounded node degree or tree structure, are typically assumed to hold so that the sample complexity of recovering the graph structure can be…

Statistics Theory · Mathematics 2018-06-12 De Wen Soh , Sekhar Tatikonda

For a property $P$ and a sub-property $P'$, we say that $P$ is $P'$-partially testable with $q$ queries if there exists an algorithm that distinguishes, with high probability, inputs in $P'$ from inputs $\epsilon$-far from $P$ by using $q$…

Computational Complexity · Computer Science 2013-06-07 Eldar Fischer , Yonatan Goldhirsh , Oded Lachish

In this paper we present distributed testing algorithms of graph properties in the CONGEST-model [Censor-Hillel et al. 2016]. We present one-sided error testing algorithms in the general graph model. We first describe a general procedure…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-05-16 Guy Even , Reut Levi , Moti Medina

We establish nearly optimal sample complexity bounds for testing the $\rho$-clique property in the dense graph model. Specifically, we show that it is possible to distinguish graphs on $n$ vertices that have a $\rho n$-clique from graphs…

Data Structures and Algorithms · Computer Science 2026-03-09 Eric Blais , Cameron Seth

Exact pattern matching in labeled graphs is the problem of searching paths of a graph $G=(V,E)$ that spell the same string as the pattern $P[1..m]$. This basic problem can be found at the heart of more complex operations on variation graphs…

Computational Complexity · Computer Science 2020-06-04 Massimo Equi , Roberto Grossi , Veli Mäkinen

Graph matching refers to finding node correspondence between graphs, such that the corresponding node and edge's affinity can be maximized. In addition with its NP-completeness nature, another important challenge is effective modeling of…

Computer Vision and Pattern Recognition · Computer Science 2020-12-01 Runzhong Wang , Junchi Yan , Xiaokang Yang

Deep learning is effective in graph analysis. It is widely applied in many related areas, such as link prediction, node classification, community detection, and graph classification etc. Graph embedding, which learns low-dimensional…

Machine Learning · Computer Science 2021-02-25 Jinyin Chen , Xiang Lin , Dunjie Zhang , Wenrong Jiang , Guohan Huang , Hui Xiong , Yun Xiang

Hamiltonian cycles in graphs were first studied in the 1850s. Since then, an impressive amount of research has been dedicated to identifying classes of graphs that allow Hamiltonian cycles, and to related questions. The corresponding…

Discrete Mathematics · Computer Science 2023-06-22 Isolde Adler , Noleen Köhler