English
Related papers

Related papers: Distributed Interactive Proofs for the Recognition…

200 papers

Let B be a finite collection of geometric (not necessarily convex) bodies in the plane. Clearly, this class of geometric objects naturally generalizes the class of disks, lines, ellipsoids, and even convex polygons. We consider geometric…

Discrete Mathematics · Computer Science 2013-08-29 Alexander Grigoriev , Athanassios Koutsonas , Dimitrios M. Thilikos

We consider the graph class Grounded-L corresponding to graphs that admit an intersection representation by L-shaped curves, where additionally the topmost points of each curve are assumed to belong to a common horizontal line. We prove…

Combinatorics · Mathematics 2019-11-06 Vít Jelínek , Martin Töpfer

A \emph{uniform random intersection graph} $G(n,m,k)$ is a random graph constructed as follows. Label each of $n$ nodes by a randomly chosen set of $k$ distinct colours taken from some finite set of possible colours of size $m$. Nodes are…

Combinatorics · Mathematics 2008-12-03 Simon R. Blackburn , Stefanie Gerke

We investigate a fundamental vertex-deletion problem called (Induced) Subgraph Hitting: given a graph $G$ and a set $\mathcal{F}$ of forbidden graphs, the goal is to compute a minimum-sized set $S$ of vertices of $G$ such that $G-S$ does…

Data Structures and Algorithms · Computer Science 2023-12-05 Zdeněk Dvořák , Daniel Lokshtanov , Fahad Panolan , Saket Saurabh , Jie Xue , Meirav Zehavi

In the standard CONGEST model for distributed network computing, it is known that "global" tasks such as minimum spanning tree, diameter, and all-pairs shortest paths, consume large bandwidth, for their running-time is…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-06-14 Pierre Fraigniaud , Pedro Montealegre , Dennis Olivetti , Ivan Rapaport , Ioan Todinca

The distinguishing number (index) $D(G)$ ($D'(G)$) of a graph $G$ is the least integer $d$ such that $G$ has an vertex labeling (edge labeling) with $d$ labels that is preserved only by a trivial automorphism. A graphoidal cover of $G$ is a…

Combinatorics · Mathematics 2017-08-22 Saeid Alikhani , Samaneh Soltani

A homomorphism from a graph $G$ to a graph $H$ is an edge-preserving mapping from $V(G)$ to $V(H)$. Let $H$ be a fixed graph with possible loops. In the list homomorphism problem, denoted by \textsc{LHom}($H$), the instance is a graph $G$,…

Data Structures and Algorithms · Computer Science 2022-02-21 Sándor Kisfaludi-Bak , Karolina Okrasa , Paweł Rzążewski

A geometric graph is a graph drawn in the plane so that its vertices and edges are represented by points in general position and straight line segments, respectively. A vertex of a geometric graph is called pointed if it lies outside of the…

Combinatorics · Mathematics 2022-08-31 Nikita Chernega , Alexandr Polyanskii , Rinat Sadykov

A normal Helly circular-arc graph is the intersection graph of arcs on a circle of which no three or less arcs cover the whole circle. Lin, Soulignac, and Szwarcfiter [Discrete Appl. Math. 2013] characterized circular-arc graphs that are…

Discrete Mathematics · Computer Science 2014-05-05 Yixin Cao , Luciano N. Grippo , Martín D. Safe

We provide new distributed interactive proofs (DIP) for planarity and related graph families. The notion of a \emph{distributed interactive proof} (DIP) was introduced by Kol, Oshman, and Saxena (PODC 2018). In this setting, the verifier…

Data Structures and Algorithms · Computer Science 2025-07-10 Yuval Gil , Merav Parter

Graph generative models become increasingly effective for data distribution approximation and data augmentation. While they have aroused public concerns about their malicious misuses or misinformation broadcasts, just as what Deepfake…

Cryptography and Security · Computer Science 2023-06-14 Yihan Ma , Zhikun Zhang , Ning Yu , Xinlei He , Michael Backes , Yun Shen , Yang Zhang

In the $(G,H)$-isomorphism game, a verifier interacts with two non-communicating players (called provers) by privately sending each of them a random vertex from either $G$ or $H$, whose aim is to convince the verifier that two graphs $G$…

Combinatorics · Mathematics 2020-04-24 Laura Mančinska , David E. Roberson , Antonios Varvitsiotis

Minimum spanning trees are important tools in the analysis and design of networks. Many practical applications require their computation, ranging from biology and linguistics to economy and telecommunications. The set of cycles of a network…

Discrete Mathematics · Computer Science 2024-04-29 Manuel Dubinsky , Kun-Mao Chao , César Massri , Gabriel Taubin

Detecting specific structures in a network has been a very active theme of research in distributed computing for at least a decade. In this paper, we start the study of subgraph detection from the perspective of local certification.…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-10-07 Nicolas Bousquet , Linda Cook , Laurent Feuilloley , Théo Pierron , Sébastien Zeitoun

Electric, intelligent, and network are the most important future development directions of automobiles. Intelligent electric vehicles have shown great potentials to improve traffic mobility and reduce emissions, especially at unsignalized…

Optimization and Control · Mathematics 2021-04-12 Chaoyi Chen , Qing Xu , Mengchi Cai , Jiawei Wang , Biao Xu , Xiangbin Wu , Jianqiang Wang , Keqiang Li , Chunyu Qi

Chordal graphs are the graphs in which every cycle of length at least four has a chord. A set $S$ is a vertex separator for vertices $a$ and $b$ if the removal of $S$ of the graph separates $a$ and $b$ into distinct connected components. A…

Discrete Mathematics · Computer Science 2018-03-22 Sérgio H. Nogueira , Vinicius F. dos Santos

Graph neural networks can be effectively applied to find solutions for many real-world problems across widely diverse fields. The success of graph neural networks is linked to the message-passing mechanism on the graph, however, the…

Machine Learning · Computer Science 2022-01-06 Yan Pang , Chao Liu

We consider the following two algorithmic problems: given a graph $G$ and a subgraph $H\subseteq G$, decide whether $H$ is an isometric or a geodesically convex subgraph of $G$. It is relatively easy to see that the problems can be solved…

Data Structures and Algorithms · Computer Science 2026-04-14 Sergio Cabello

An obstacle representation of a graph $G$ consists of a set of pairwise disjoint simply-connected closed regions and a one-to-one mapping of the vertices of $G$ to points such that two vertices are adjacent in $G$ if and only if the line…

Computational Geometry · Computer Science 2025-02-25 Martin Balko , Steven Chaplick , Robert Ganian , Siddharth Gupta , Michael Hoffmann , Pavel Valtr , Alexander Wolff

Dense subgraph discovery is a fundamental problem in graph mining with a wide range of applications \cite{gionis2015dense}. Despite a large number of applications ranging from computational neuroscience to social network analysis, that take…

Social and Information Networks · Computer Science 2021-12-08 Tianyi Chen , Francesco Bonchi , David Garcia-Soriano , Atsushi Miyauchi , Charalampos E. Tsourakakis