English
Related papers

Related papers: Automated Testing and Interactive Construction of …

200 papers

The monography examines the problem of constructing a group of automorphisms of a graph. A graph automorphism is a mapping of a set of vertices onto itself that preserves adjacency. The set of such automorphisms forms a vertex group of a…

History and Overview · Mathematics 2024-07-18 Sergey Kurapov , Maxim Davidovsky

The problem of graphical model selection is to correctly estimate the graph structure of a Markov random field given samples from the underlying distribution. We analyze the information-theoretic limitations of the problem of graph…

Information Theory · Computer Science 2009-05-19 Narayana Santhanam , Martin J. Wainwright

A prominent tool in many problems involving metric spaces is a notion of randomized low-diameter decomposition. Loosely speaking, $\beta$-decomposition refers to a probability distribution over partitions of the metric into sets of low…

Data Structures and Algorithms · Computer Science 2016-09-29 Lior Kamma , Robert Krauthgamer

We study the approximability of the maximum size independent set (MIS) problem in bounded degree graphs. This is one of the most classic and widely studied NP-hard optimization problems. We focus on the well known minimum degree greedy…

Data Structures and Algorithms · Computer Science 2020-02-03 Piotr Krysta , Mathieu Mari , Nan Zhi

Feature selection is playing an increasingly significant role with respect to many computer vision applications spanning from object recognition to visual object tracking. However, most of the recent solutions in feature selection are not…

Computer Vision and Pattern Recognition · Computer Science 2017-07-25 Giorgio Roffo , Simone Melzi , Umberto Castellani , Alessandro Vinciarelli

An $h$-queue layout of a graph $G$ consists of a linear order of its vertices and a partition of its edges into $h$ queues, such that no two independent edges of the same queue nest. The minimum $h$ such that $G$ admits an $h$-queue layout…

Computational Geometry · Computer Science 2020-08-20 Sujoy Bhore , Robert Ganian , Fabrizio Montecchiani , Martin Nöllenburg

A graph on $2k$ vertices is path-pairable if for any pairing of the vertices the pairs can be joined by edge-disjoint paths. The so far known families of path-pairable graphs have diameter of length at most 3. In this paper we present an…

Combinatorics · Mathematics 2014-07-29 Gabor Meszaros

Every triangle-free planar graph on n vertices has an independent set of size at least (n+1)/3, and this lower bound is tight. We give an algorithm that, given a triangle-free planar graph G on n vertices and an integer k>=0, decides…

Discrete Mathematics · Computer Science 2014-09-23 Zdenek Dvorak , Matthias Mnich

This paper revisits the classical Edge Disjoint Paths (EDP) problem, where one is given an undirected graph $G$ and a set of terminal pairs $P$ and asks whether $G$ contains a set of pairwise edge-disjoint paths connecting every terminal…

Data Structures and Algorithms · Computer Science 2018-08-13 Robert Ganian , Sebastian Ordyniak

Heuristic-based methods are among the most popular methods in the process discovery area. This category of methods is composed of two main steps: 1) discovering a dependency graph 2) determining the split/join patterns of the dependency…

Artificial Intelligence · Computer Science 2022-03-22 Maryam Tavakoli-Zaniani , Mohammad Reza Gholamian , S. Alireza Hashemi Golpayegani

A graph $G$ is called degree-truncated $k$-choosable if for every list assignment $L$ with $|L(v)| \ge \min\{d_G(v), k\}$ for each vertex $v$, $G$ is $L$-colourable. Richter asked whether every 3-connected non-complete planar graph is…

Combinatorics · Mathematics 2025-07-15 Huan Zhou , Jialu Zhu , Xuding Zhu

The component size of a graph is the maximum number of edges in any connected component of the graph. Given a graph $G$ and two integers $k$ and $c$, $(k,c)$-Decomposition is the problem of deciding whether $G$ admits an edge partition into…

Computational Complexity · Computer Science 2021-10-05 Rain Jiang , Kai Jiang , Minghui Jiang

We describe algorithms to efficiently compute minimum $(s,t)$-cuts and global minimum cuts of undirected surface-embedded graphs. Given an edge-weighted undirected graph $G$ with $n$ vertices embedded on an orientable surface of genus $g$,…

Data Structures and Algorithms · Computer Science 2019-10-11 Erin W. Chambers , Jeff Erickson , Kyle Fox , Amir Nayyeri

A \emph{$t$-treewidth-modulator} of a graph $G$ is a set $X \subseteq V(G)$ such that the treewidth of $G-X$ is at most some constant $t-1$. In this paper, we present a novel algorithm to compute a decomposition scheme for graphs $G$ that…

Data Structures and Algorithms · Computer Science 2012-08-02 Eun Jung Kim , Alexander Langer , Christophe Paul , Felix Reidl , Peter Rossmanith , Ignasi Sau , Somnath Sikdar

Theoretical analyses for graph learning methods often assume a complete observation of the input graph. Such an assumption might not be useful for handling any-size graphs due to the scalability issues in practice. In this work, we develop…

Machine Learning · Computer Science 2021-11-08 Takanori Maehara , Hoang NT

How efficiently can we find an unknown graph using distance or shortest path queries between its vertices? Let $G = (V,E)$ be an unweighted, connected graph of bounded degree. The edge set $E$ is initially unknown, and the graph can be…

Data Structures and Algorithms · Computer Science 2015-02-19 Sampath Kannan , Claire Mathieu , Hang Zhou

A graph $G$ is called interval colorable if it has a proper edge coloring with colors $1,2,3,\dots$ such that the colors of the edges incident to every vertex of $G$ form an interval of integers. Not all graphs are interval colorable; in…

Combinatorics · Mathematics 2021-06-08 Armen S. Asratian , Carl Johan Casselgren , Petros A. Petrosyan

For a family of graphs $\mathcal{G}$, the $\mathcal{G}$-\textsc{Contraction} problem takes as an input a graph $G$ and an integer $k$, and the goal is to decide if there exists $F \subseteq E(G)$ of size at most $k$ such that $G/F$ belongs…

Discrete Mathematics · Computer Science 2020-08-19 Saket Saurabh , Uéverton dos Santos Souza , Prafullkumar Tale

We propose a new family of combinatorial inference problems for graphical models. Unlike classical statistical inference where the main interest is point estimation or parameter testing, combinatorial inference aims at testing the global…

Statistics Theory · Mathematics 2018-02-14 Matey Neykov , Junwei Lu , Han Liu

Graph classification aims to extract accurate information from graph-structured data for classification and is becoming more and more important in graph learning community. Although Graph Neural Networks (GNNs) have been successfully…

Machine Learning · Computer Science 2020-06-24 Ning Ma , Jiajun Bu , Jieyu Yang , Zhen Zhang , Chengwei Yao , Zhi Yu , Sheng Zhou , Xifeng Yan