English
Related papers

Related papers: When is Approximate Counting for Conjunctive Queri…

200 papers

In this paper, we consider the problem of counting and sampling structures in graphs. We define a class of "edge universal labeling problems"---which include proper $k$-colorings, independent sets, and downsets---and describe simple…

Data Structures and Algorithms · Computer Science 2020-08-20 Christine T. Cheng , Will Rosenbaum

During the past decade, there has been an extensive investigation of the computational complexity of the consistent answers of Boolean conjunctive queries under primary key constraints. Much of this investigation has focused on…

Databases · Computer Science 2015-03-03 Foto N. Afrati , Phokion G. Kolaitis , Angelos Vasilakopoulos

Many combinatorial optimization problems can be phrased in the language of constraint satisfaction problems. We introduce a graph neural network architecture for solving such optimization problems. The architecture is generic; it works for…

Artificial Intelligence · Computer Science 2020-02-12 Jan Toenshoff , Martin Ritzert , Hinrikus Wolf , Martin Grohe

Variational approximation, such as mean-field (MF) and tree-reweighted (TRW), provide a computationally efficient approximation of the log-partition function for a generic graphical model. TRW provably provides an upper bound, but the…

Data Structures and Algorithms · Computer Science 2021-08-23 Romain Cosson , Devavrat Shah

We study the problem of sampling a uniformly random directed rooted spanning tree, also known as an arborescence, from a possibly weighted directed graph. Classically, this problem has long been known to be polynomial-time solvable; the…

Data Structures and Algorithms · Computer Science 2020-12-18 Nima Anari , Nathan Hu , Amin Saberi , Aaron Schild

We present the first fixed-parameter tractable (FPT) algorithms for exact computation of generalized hypertree width (ghw) and fractional hypertree width (fhw). Our algorithms are parameterized by the target width, the rank, and the maximum…

Data Structures and Algorithms · Computer Science 2026-03-16 Matthias Lanzinger , Igor Razgon , Daniel Unterberger

We investigate the tractability of a simple fusion of two fundamental structures on graphs, a spanning tree and a perfect matching. Specifically, we consider the following problem: given an edge-weighted graph, find a minimum-weight…

Data Structures and Algorithms · Computer Science 2024-07-12 Kristóf Bérczi , Tamás Király , Yusuke Kobayashi , Yutaro Yamaguchi , Yu Yokoi

The Capacitated Vehicle Routing problem is to find a minimum-cost set of tours that collectively cover clients in a graph, such that each tour starts and ends at a specified depot and is subject to a capacity bound on the number of clients…

Data Structures and Algorithms · Computer Science 2019-01-23 Amariah Becker , Philip N. Klein , Aaron Schild

We study the linearizability monitoring problem, which asks whether a given concurrent history of a data structure is equivalent to some sequential execution of the same data structure. In general, this problem is $\textsf{NP}$-hard, even…

Programming Languages · Computer Science 2026-05-26 Lee Zheng Han , Umang Mathur

Query evaluation on probabilistic databases is generally intractable (#P-hard). Existing dichotomy results have identified which queries are tractable (or safe), and connected them to tractable lineages. In our previous work, using…

Databases · Computer Science 2023-04-14 Antoine Amarilli , Pierre Bourhis , Pierre Senellart

This paper studies the completeness of conjunctive queries over a partially complete database and the approximation of incomplete queries. Given a query and a set of completeness rules (a special kind of tuple generating dependencies) that…

Databases · Computer Science 2024-07-31 Julien Corman , Werner Nutt , Ognjen Savković

Representing graphs by their homomorphism counts has led to the beautiful theory of homomorphism indistinguishability in recent years. Moreover, homomorphism counts have promising applications in database theory and machine learning, where…

Data Structures and Algorithms · Computer Science 2023-10-16 Jan Böker , Louis Härtel , Nina Runde , Tim Seppelt , Christoph Standke

Combining the techniques of approximation algorithms and parameterized complexity has long been considered a promising research area, but relatively few results are currently known. In this paper we study the parameterized approximability…

Data Structures and Algorithms · Computer Science 2014-02-18 Michael Lampis

This paper aims at providing extremely efficient algorithms for approximate query enumeration on sparse databases, that come with performance and accuracy guarantees. We introduce a new model for approximate query enumeration on classes of…

Databases · Computer Science 2021-01-19 Isolde Adler , Polly Fahey

For a graph $H$, a graph $G$ is an $H$-graph if it is an intersection graph of connected subgraphs of some subdivision of $H$. $H$-graphs naturally generalize several important graph classes like interval or circular-arc graph. This class…

Data Structures and Algorithms · Computer Science 2020-02-24 Fedor V. Fomin , Petr A. Golovach , Jean-Florent Raymond

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

Data Structures and Algorithms · Computer Science 2017-08-03 Akanksha Agrawal , Saket Saurabh , Prafullkumar Tale

We study budget constrained network upgradeable problems. We are given an undirected edge weighted graph $G=(V,E)$ where the weight an edge $e \in E$ can be upgraded for a cost $c(e)$. Given a budget $B$ for improvement, the goal is to find…

Data Structures and Algorithms · Computer Science 2014-12-12 Debjyoti Saharoy , Sandeep Sen

In the subgraph counting problem, we are given a input graph $G(V, E)$ and a target graph $H$; the goal is to estimate the number of occurrences of $H$ in $G$. Our focus here is on designing sublinear-time algorithms for approximately…

Data Structures and Algorithms · Computer Science 2018-11-20 Sepehr Assadi , Michael Kapralov , Sanjeev Khanna

Chordal graphs form one of the most studied graph classes. Several graph problems that are NP-hard in general become solvable in polynomial time on chordal graphs, whereas many others remain NP-hard. For a large group of problems among the…

Discrete Mathematics · Computer Science 2018-11-01 Oylum Şeker , Pinar Heggernes , Tınaz Ekim , Z. Caner Taşkın

Previous work has suggested that the structural restrictions of graphs from classes of bounded expansion--locally dense pockets in a globally sparse graph--naturally coincide with common properties of real-world networks such as clustering…

Data Structures and Algorithms · Computer Science 2018-04-24 Michael P. O'Brien , Blair D. Sullivan
‹ Prev 1 3 4 5 6 7 10 Next ›