English
Related papers

Related papers: When is Approximate Counting for Conjunctive Queri…

200 papers

Inference is typically intractable in high-treewidth undirected graphical models, making maximum likelihood learning a challenge. One way to overcome this is to restrict parameters to a tractable set, most typically the set of…

Machine Learning · Computer Science 2015-11-02 Justin Domke

We study the data complexity of consistent query answering (CQA) on databases that may violate the primary key constraints. A repair is a maximal subset of the database satisfying the primary key constraints. For a Boolean query q, the…

Databases · Computer Science 2023-10-31 Paraschos Koutris , Xiating Ouyang , Jef Wijsen

In this thesis we develop FPTASs for the counting problems of m-tuples, contingency tables with two rows, and 0/1 knapsack. For the problem of counting m-tuples, we design two algorithms, one is strongly polynomial. As far as we know, these…

Data Structures and Algorithms · Computer Science 2016-11-04 Tzvi Alon

We study the complexity and expressive power of conjunctive queries over unranked labeled trees represented using a variety of structure relations such as ``child'', ``descendant'', and ``following'' as well as unary relations for node…

Databases · Computer Science 2007-05-23 Georg Gottlob , Christoph Koch , Klaus U. Schulz

The basic (and traditional) crossing number problem is to determine the minimum number of crossings in a topological drawing of an input graph in the plane. We develop a unified framework yielding fixed-parameter tractable (FPT) algorithms…

Computational Geometry · Computer Science 2026-05-07 Éric Colin de Verdière , Petr Hliněný

We consider the probability that a spanning tree chosen uniformly at random from a graph can be partitioned into a fixed number $k$ of trees of equal size by removing $k-1$ edges. In that case, the spanning tree is called {\em splittable}.…

Data Structures and Algorithms · Computer Science 2026-02-25 David Gillman , Jacob Platnick , Dana Randall

The current surge of interest in graph-based data models mirrors the usage of increasingly complex reachability queries, as witnessed by recent analytical studies on real-world graph query logs. Despite the maturity of graph DBMS…

Databases · Computer Science 2018-11-29 Stefania Dumbrava , Angela Bonifati , Amaia Nazabal Ruiz Diaz , Romain Vuillemot

We give a fully polynomial randomized approximation scheme to compute a lower bound for the matching polynomial of any weighted graph at a positive argument. For the matching polynomial of complete bipartite graphs with bounded weights…

Computational Complexity · Computer Science 2007-05-23 Shmuel Friedland

An elimination tree of a connected graph $G$ is a rooted tree on the vertices of $G$ obtained by choosing a root $v$ and recursing on the connected components of $G-v$ to obtain the subtrees of $v$. The graph associahedron of $G$ is a…

Data Structures and Algorithms · Computer Science 2026-03-24 Luís Felipe I. Cunha , Ignasi Sau , Uéverton S. Souza , Mario Valencia-Pabon

Assigning jobs onto identical machines with the objective to minimize the maximal load is one of the most basic problems in combinatorial optimization. Motivated by product planing and data placement, we study a natural extension called…

Data Structures and Algorithms · Computer Science 2019-09-27 Klaus Jansen , Alexandra Lassota , Marten Maack

Counting the independent sets of a graph is a classical #P-complete problem, even in the bipartite case. We give an exponential-time approximation scheme for this problem which is faster than the best known algorithm for the exact problem.…

Data Structures and Algorithms · Computer Science 2021-09-10 Leslie Ann Goldberg , John Lapinskas , David Richerby

The degree of a CSP instance is the maximum number of times that a variable may appear in the scope of constraints. We consider the approximate counting problem for Boolean CSPs with bounded-degree instances, for constraint languages…

Computational Complexity · Computer Science 2010-02-03 Martin E. Dyer , Leslie Ann Goldberg , Markus Jalsenius , David Richerby

We study a new class of NP search problems, those which can be proved total using standard combinatorial reasoning based on approximate counting. Our model for this kind of reasoning is the bounded arithmetic theory $\mathrm{APC}_2$ of…

Logic · Mathematics 2021-11-29 Leszek Aleksander Kołodziejczyk , Neil Thapen

In this paper, we propose \texttt{FGPR}: a Federated Gaussian process ($\mathcal{GP}$) regression framework that uses an averaging strategy for model aggregation and stochastic gradient descent for local client computations. Notably, the…

Machine Learning · Statistics 2024-04-01 Xubo Yue , Raed Al Kontar

The bandwidth of a $n$-vertex graph $G$ is the smallest integer $b$ such that there exists a bijective function $f : V(G) \rightarrow \{1,...,n\}$, called a layout of $G$, such that for every edge $uv \in E(G)$, $|f(u) - f(v)| \leq b$. In…

Data Structures and Algorithms · Computer Science 2014-05-01 Markus Sortland Dregi , Daniel Lokshtanov

We consider the class of counting problems,i.e. functions in $\#$P, which are self reducible, and have easy decision version, i.e. for every input it is easy to decide if the value of the function $f(x)$ is zero. For example,…

Computational Complexity · Computer Science 2016-11-08 Eleni Bakali

We develop a new framework for generalizing approximation algorithms from the structural graph algorithm literature so that they apply to graphs somewhat close to that class (a scenario we expect is common when working with real-world…

Let G be a planar graph and F a set of additional edges not yet in G. The multiple edge insertion problem (MEI) asks for a drawing of G+F with the minimum number of pairwise edge crossings, such that the subdrawing of G is plane. Finding an…

Discrete Mathematics · Computer Science 2016-08-08 Markus Chimani , Petr Hlineny

Branchwidth determines how graphs, and more generally, arbitrary connectivity (basically symmetric and submodular) functions could be decomposed into a tree-like structure by specific cuts. We develop a general framework for designing…

Data Structures and Algorithms · Computer Science 2021-11-08 Fedor V. Fomin , Tuukka Korhonen

Constraints over finite sequences of variables are ubiquitous in sequencing and timetabling. Moreover, the wide variety of such constraints in practical applications led to general modelling techniques and generic propagation algorithms,…

Artificial Intelligence · Computer Science 2013-09-30 Nicolas Beldiceanu , Pierre Flener , Justin Pearson , Pascal Van Hentenryck