English
Related papers

Related papers: Optimal Dyck Reachability for Data-Dependence and …

200 papers

Many exact search algorithms for NP-hard graph problems adopt the old Davis-Putman branch-and-reduce paradigm. The performance of these algorithms often suffers from the increasing number of graph modifications, such as vertex/edge…

Data Structures and Algorithms · Computer Science 2014-04-28 Faisal N. Abu-Khzam , Karim A. Jahed , Amer E. Mouawad

Given an undirected graph on a node set $V$ and positive integers $k$ and $m$, a $k$-connected $m$-dominating set ($(k,m)$-CDS) is defined as a subset $S$ of $V$ such that each node in $V \setminus S$ has at least $m$ neighbors in $S$, and…

Data Structures and Algorithms · Computer Science 2018-08-08 Takuro Fukunaga

In this note we describe an application of low-high orders in fault-tolerant network design. Baswana et al. [DISC 2015] study the following reachability problem. We are given a flow graph $G = (V, A)$ with start vertex $s$, and a spanning…

Data Structures and Algorithms · Computer Science 2015-11-25 Loukas Georgiadis , Robert E. Tarjan

We study graph realization problems from a distributed perspective and we study it in the node capacitated clique (NCC) model of distributed computing, recently introduced for representing peer-to-peer networks. We focus on two central…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-02-19 John Augustine , Keerti Choudhary , Avi Cohen , David Peleg , Sumathi Sivasubramaniam , Suman Sourav

Certain methods of analysis require the knowledge of the spatial distances between entities whose data are stored in a microdata table. For instance, such knowledge is necessary and sufficient to perform data mining tasks such as nearest…

Cryptography and Security · Computer Science 2014-02-14 Martin Kroll

Adaptivity is an important feature of data analysis---the choice of questions to ask about a dataset often depends on previous interactions with the same dataset. However, statistical validity is typically studied in a nonadaptive model,…

Machine Learning · Computer Science 2015-11-10 Raef Bassily , Kobbi Nissim , Adam Smith , Thomas Steinke , Uri Stemmer , Jonathan Ullman

The trapping problem on graph (or network) as a typical focus of great interest has attracted more attention from various science fields, including applied mathematics and theoretical computer science, in the past. Here, we first study this…

Discrete Mathematics · Computer Science 2020-02-28 Fei Ma , Ping Wang

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

We develop graph-based methods for semi-supervised learning based on label propagation on a data similarity graph. When data is abundant or arrive in a stream, the problems of computation and data storage arise for any graph-based method.…

Machine Learning · Computer Science 2026-05-06 Michal Valko

One of the most fundamental problems in Computer Science is the Knapsack problem. Given a set of n items with different weights and values, it asks to pick the most valuable subset whose total weight is below a capacity threshold T. Despite…

Data Structures and Algorithms · Computer Science 2018-07-16 Kyriakos Axiotis , Christos Tzamos

We live in a world increasingly dominated by networks -- communications, social, information, biological etc. A central attribute of many of these networks is that they are dynamic, that is, they exhibit structural changes over time. While…

Networking and Internet Architecture · Computer Science 2010-12-02 Prithwish Basu , Amotz Bar-Noy , Ram Ramanathan , Matthew P. Johnson

While reachability analysis is one of the most promising approaches for formal verification of dynamic systems, a major disadvantage preventing a more widespread application is the requirement to manually tune algorithm parameters such as…

Logic in Computer Science · Computer Science 2024-04-09 Niklas Kochdumper , Stanley Bak

Patnaik and Immerman introduced the dynamic complexity class DynFO of database queries that can be maintained by first-order dynamic programs with the help of auxiliary relations under insertions and deletions of edges (Patnaik and Immerman…

Logic in Computer Science · Computer Science 2017-04-06 Samir Datta , Raghav Kulkarni , Anish Mukherjee , Thomas Schwentick , Thomas Zeume

The maximum matching problem in dynamic graphs subject to edge updates (insertions and deletions) has received much attention over the last few years; a multitude of approximation/time tradeoffs were obtained, improving upon the folklore…

Data Structures and Algorithms · Computer Science 2021-11-30 Mohammad Roghani , Amin Saberi , David Wajc

A graph is $k$-degenerate if any induced subgraph has a vertex of degree at most $k$. In this paper we prove new algorithms for cliques and similar structures for these graphs. We design linear time Fixed-Parameter Tractable algorithms for…

Discrete Mathematics · Computer Science 2017-09-21 George Manoussakis

A (unit) disk graph is the intersection graph of closed (unit) disks in the plane. Almost three decades ago, an elegant polynomial-time algorithm was found for \textsc{Maximum Clique} on unit disk graphs [Clark, Colbourn, Johnson; Discrete…

Computational Geometry · Computer Science 2018-03-01 Édouard Bonnet , Panos Giannopoulos , Eun Jung Kim , Paweł Rzążewski , Florian Sikora

Causal discovery from interventional data is an important problem, where the task is to design an interventional strategy that learns the hidden ground truth causal graph $G(V,E)$ on $|V| = n$ nodes while minimizing the number of performed…

Machine Learning · Computer Science 2023-06-12 Davin Choo , Kirankumar Shiragur

We consider the fundamental problems of determining the rooted and global edge and vertex connectivities (and computing the corresponding cuts) in directed graphs. For rooted (and hence also global) edge connectivity with small integer…

Data Structures and Algorithms · Computer Science 2021-04-16 Chandra Chekuri , Kent Quanrud

In the Survivable Network Design Problem (SNDP), the input is an edge-weighted (di)graph $G$ and an integer $r_{uv}$ for every pair of vertices $u,v\in V(G)$. The objective is to construct a subgraph $H$ of minimum weight which contains…

Data Structures and Algorithms · Computer Science 2017-01-12 Manu Basavaraju , Pranabendu Misra , M. S. Ramanujan , Saket Saurabh

We present an optimal and efficient algorithm for finding a shortest path in an elastic optical network. The algorithm is an adaptation of the Dijkstra shortest path algorithm, where we take into account the spectrum continuity and…

Networking and Internet Architecture · Computer Science 2019-04-16 Ireneusz Szcześniak , Bożena Woźna-Szcześniak