English
Related papers

Related papers: Approximating Cumulative Pebbling Cost is Unique G…

200 papers

We study the Minimum Sum Vertex Cover problem, which asks for an ordering of vertices in a graph that minimizes the total cover time of edges. In particular, n vertices of the graph are visited according to an ordering, and for each edge…

Computational Complexity · Computer Science 2022-12-23 Aleksa Stanković

We study the problem of approximating the value of a Unique Game instance in the streaming model. A simple count of the number of constraints divided by $p$, the alphabet size of the Unique Game, gives a trivial $p$-approximation that can…

Computational Complexity · Computer Science 2020-11-13 Venkatesan Guruswami , Runzhou Tao

Many problems in static program analysis can be modeled as the context-free language (CFL) reachability problem on directed labeled graphs. The CFL reachability problem can be generally solved in time $O(n^3)$, where $n$ is the number of…

Formal Languages and Automata Theory · Computer Science 2023-08-21 Paraschos Koutris , Shaleen Deep

We define and study analogs of probabilistic tree embedding and tree cover for directed graphs. We define the notion of a DAG cover of a general directed graph $G$: a small collection $D_1,\dots D_g$ of DAGs so that for all pairs of…

Data Structures and Algorithms · Computer Science 2025-04-16 Sepehr Assadi , Gary Hoppenworth , Nicole Wein

We initiate the study of the parameterized complexity of the {\sc Collective Graph Exploration} ({\sc CGE}) problem. In {\sc CGE}, the input consists of an undirected connected graph $G$ and a collection of $k$ robots, initially placed at…

Data Structures and Algorithms · Computer Science 2023-10-10 Siddharth Gupta , Guy Sa'ar , Meirav Zehavi

Solving optimization problems leads to elegant and practical solutions in a wide variety of real-world applications. In many of those real-world applications, some of the information required to specify the relevant optimization problem is…

Data Structures and Algorithms · Computer Science 2025-06-11 Kritkorn Karntikoon , Yiheng Shen , Sreenivas Gollapudi , Kostas Kollias , Aaron Schild , Ali Sinop

The reversible pebble game is a combinatorial game played on rooted DAGs. This game was introduced by Bennett (1989) motivated by applications in designing space efficient reversible algorithms. Recently, Chan (2013) showed that the…

Computational Complexity · Computer Science 2016-04-20 Balagopal Komarath , Jayalal Sarma , Saurabh Sawlani

The connective constant $\mu(G)$ of a graph $G$ is the exponential growth rate of the number of self-avoiding walks starting at a given vertex. We investigate the validity of the inequality $\mu \ge \phi$ for infinite, transitive, simple,…

Combinatorics · Mathematics 2019-08-19 Geoffrey R. Grimmett , Zhongyang Li

Consider an acyclic directed network $G$ with sources $S_1, S_2,..., S_l$ and distinct sinks $R_1, R_2,..., R_l$. For $i=1, 2,..., l$, let $c_i$ denote the min-cut between $S_i$ and $R_i$. Then, by Menger's theorem, there exists a group of…

Information Theory · Computer Science 2013-01-10 Li Xu , Weiping Shang , Guangyue Han

We investigate graph problems in the following setting: we are given a graph $G$ and we are required to solve a problem on $G^2$. While we focus mostly on exploring this theme in the distributed CONGEST model, we show new results and…

Data Structures and Algorithms · Computer Science 2020-06-09 Reuven Bar-Yehuda , Keren Censor-Hillel , Yannic Maus , Shreyas Pai , Sriram V. Pemmaraju

A pebbling move on a graph consists of taking two pebbles off from one vertex and add one pebble on an adjacent vertex, the $t$-pebbling number of a graph $G$ is the minimum number of pebbles so that we can move $t$ pebbles on any vertex on…

Combinatorics · Mathematics 2019-07-02 Zheng-Jiang Xia , Zhen-Mu Hong

We study the problems of finding a minimum cycle basis (a minimum weight set of cycles that form a basis for the cycle space) and a minimum homology basis (a minimum weight set of cycles that generates the $1$-dimensional…

Data Structures and Algorithms · Computer Science 2016-07-19 Glencora Borradaile , Erin Wolf Chambers , Kyle Fox , Amir Nayyeri

Graph Generation is a recently introduced enhanced Column Generation algorithm for solving expanded Linear Programming relaxations of mixed integer linear programs without weakening the expanded relaxations which characterize these methods.…

Optimization and Control · Mathematics 2022-02-04 Julian Yarkony , Amelia Regan

This paper is devoted to a study of single-peakedness on arbitrary graphs. Given a collection of preferences (rankings of a set of alternatives), we aim at determining a connected graph G on which the preferences are single-peaked, in the…

Computer Science and Game Theory · Computer Science 2020-04-29 Bruno Escoffier , Olivier Spanjaard , Magdaléna Tydrichová

A graph is Helly if its disks satisfy the Helly property, i.e., every family of pairwise intersecting disks in G has a common intersection. It is known that for every graph G, there exists a unique smallest Helly graph H(G) into which G…

Discrete Mathematics · Computer Science 2020-07-29 Heather M. Guarnera , Feodor F. Dragan , Arne Leitert

Given a graph $G$, a non-negative integer $k$, and a weight function that maps each vertex in $G$ to a positive real number, the \emph{Maximum Weighted Budgeted Independent Set (MWBIS) problem} is about finding a maximum weighted…

Computational Complexity · Computer Science 2015-07-21 Tushar Kalra , Rogers Mathew , Sudebkumar Prasant Pal , Vijay Pandey

Let $G=(V,E)$ be a graph. An ordering of $G$ is a bijection $\alpha: V\dom \{1,2,..., |V|\}.$ For a vertex $v$ in $G$, its closed neighborhood is $N[v]=\{u\in V: uv\in E\}\cup \{v\}.$ The profile of an ordering $\alpha$ of $G$ is…

Data Structures and Algorithms · Computer Science 2007-05-23 Gregory Gutin , Stefan Szeider , Anders Yeo

We prove the #P-hardness of the counting problems associated with various satisfiability, graph and combinatorial problems, when restricted to planar instances. These problems include \begin{romannum} \item[{}] {\sc 3Sat, 1-3Sat, 1-Ex3Sat,…

Computational Complexity · Computer Science 2007-05-23 Harry B. Hunt , Madhav V. Marathe , Venkatesh Radhakrishnan , Richard E. Stearns

$\textbf{Graph Coarsening (GC)}$ is a prominent graph reduction technique that compresses large graphs to enable efficient learning and inference. However, existing GC methods generate only one coarsened graph per run and must recompute…

Social and Information Networks · Computer Science 2025-05-23 Mohit Kataria , Shreyash Bhilwade , Sandeep Kumar , Jayadeva

We introduce the notion of an $r$-visit of a Directed Acyclic Graph DAG $G=(V,E)$, a sequence of the vertices of the DAG complying with a given rule $r$. A rule $r$ specifies for each vertex $v\in V$ a family of $r$-enabling sets of…

Data Structures and Algorithms · Computer Science 2022-10-06 Gianfranco Bilardi , Lorenzo De Stefani