中文
相关论文

相关论文: When is Approximate Counting for Conjunctive Queri…

200 篇论文

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…

机器学习 · 计算机科学 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…

数据库 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

数据库 · 计算机科学 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…

计算几何 · 计算机科学 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}.…

数据结构与算法 · 计算机科学 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…

数据库 · 计算机科学 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…

计算复杂性 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

数据结构与算法 · 计算机科学 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.…

数据结构与算法 · 计算机科学 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…

计算复杂性 · 计算机科学 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…

逻辑 · 数学 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…

机器学习 · 统计学 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…

数据结构与算法 · 计算机科学 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,…

计算复杂性 · 计算机科学 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…

离散数学 · 计算机科学 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…

数据结构与算法 · 计算机科学 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,…

人工智能 · 计算机科学 2013-09-30 Nicolas Beldiceanu , Pierre Flener , Justin Pearson , Pascal Van Hentenryck