English
Related papers

Related papers: The Complexity of Boolean Conjunctive Queries with…

200 papers

Joint modeling of multiview graphs with a common set of nodes between views and auxiliary predictors is an essential, yet less explored, area in statistical methodology. Traditional approaches often treat graphs in different views as…

Methodology · Statistics 2026-03-24 Sharmistha Guha , Jose Rodriguez-Acosta , Ivo Dinov

The paper studies the rewriting problem, that is, the decision problem whether, for a given conjunctive query $Q$ and a set $\mathcal{V}$ of views, there is a conjunctive query $Q'$ over $\mathcal{V}$ that is equivalent to $Q$, for cases…

Databases · Computer Science 2024-02-14 Gaetano Geck , Jens Keppeler , Thomas Schwentick , Christopher Spinrath

We study the following problem: preprocess a set O of objects into a data structure that allows us to efficiently report all pairs of objects from O that intersect inside an axis-aligned query range Q. We present data structures of size…

Data Structures and Algorithms · Computer Science 2015-02-24 Mark de Berg , Joachim Gudmundsson , Ali D. Mehrabi

Biclustering is a powerful approach to search for patterns in data, as it can be driven by a function that measures the quality of diverse types of patterns of interest. However, due to its computational complexity, the exploration of the…

Machine Learning · Computer Science 2021-04-27 Marcin Michalak , Jesús S. Aguilar-Ruiz

We describe efficient algorithms to search for cases in which binomial coefficients are equal or almost equal, give a conjecturally complete list of all cases where two binomial coefficients differ by 1, and give some identities for…

Number Theory · Mathematics 2017-10-16 Aart Blokhuis , Andries Brouwer , Benne de Weger

We study visibility inside the vacant set of three models in $\mathbb R^d$ with slow decay of spatial correlations: Brownian interlacements, Poisson cylinders and Poisson-Boolean models. Let $Q_x$ be the radius of the largest ball centered…

Probability · Mathematics 2025-06-27 Yingxin Mu , Artem Sapozhnikov

Data scientists often draw on multiple relational data sources for analysis. A standard assumption in learning and approximate query answering is that the data is a uniform and independent sample of the underlying distribution. To avoid the…

Databases · Computer Science 2023-03-10 Yurong Liu , Yunlong Xu , Fatemeh Nargesian

Let A be a finite set with at least two elements. The composition of two classes I and J of operations on A, is defined as the set of all compositions of functions in I with functions in J. This binary operation gives a monoid structure to…

Combinatorics · Mathematics 2011-05-18 Miguel Couceiro

The standard approach for optimization of XPath queries by rewriting using views techniques consists in navigating inside a view's output, thus allowing the usage of only one view in the rewritten query. Algorithms for richer classes of…

Databases · Computer Science 2013-08-27 Bogdan Cautis , Alin Deutsch , Ioana Ileana , Nicola Onose

This paper considers enumerating answers to similarity-join queries under dynamic updates: Given two sets of $n$ points $A,B$ in $\mathbb{R}^d$, a metric $\phi(\cdot)$, and a distance threshold $r > 0$, report all pairs of points $(a, b)…

Data Structures and Algorithms · Computer Science 2021-05-06 Pankaj K. Agarwal , Xiao Hu , Stavros Sintos , Jun Yang

In a previous paper, the second and third named author introduced the concept of the complete cycle index and discussed a relation with the complete weight enumerator in coding theory. In the present paper, we introduce the concept of the…

Combinatorics · Mathematics 2023-06-01 Himadri Shekhar Chakraborty , Tsuyoshi Miezaki , Manabu Oura

We present a framework to obtain valid inequalities for a reverse convex set: the set of points in a polyhedron that lie outside a given open convex set. Reverse convex sets arise in many models, including bilevel optimization and…

Optimization and Control · Mathematics 2020-12-02 Eli Towle , James Luedtke

Co-clustering is a specific type of clustering that addresses the problem of finding groups of objects without necessarily considering all attributes. This technique has shown to have more consistent results in high-dimensional sparse data…

Machine Learning · Computer Science 2021-10-28 Yuri Santos , Jônata Tyska , Vania Bogorny

We prove a characterization of all polynomial-time computable queries on the class of interval graphs by sentences of fixed-point logic with counting. More precisely, it is shown that on the class of unordered interval graphs, any query is…

Logic in Computer Science · Computer Science 2011-01-14 Bastian Laubner

We introduce 'project-connex' tree-width as a measure of tractability for counting and aggregate conjunctive queries over semirings with 'group-by' projection (also known as 'AJAR' or 'FAQ' queries). This elementary measure allows to obtain…

Databases · Computer Science 2025-07-21 Diego Figueira , Cibele Freire

Traditional statistical analysis requires that the analysis process and data are independent. By contrast, the new field of adaptive data analysis hopes to understand and provide algorithms and accuracy guarantees for research as it is…

Machine Learning · Computer Science 2017-03-22 Sam Elder

Generalized circuits are an important tool in the study of the computational complexity of equilibrium approximation problems. However, in this paper, we reveal that they have a conceptual flaw, namely that the solution concept is not…

Computational Complexity · Computer Science 2019-07-31 Steffen Schuldenzucker , Sven Seuken

Models can be simple for different reasons: because they yield a simple and computationally efficient interpretation of a generic dataset (e.g. in terms of pairwise dependences) - as in statistical learning - or because they capture the…

Disordered Systems and Neural Networks · Physics 2018-10-17 Alberto Beretta , Claudia Battistin , Clélia de Mulatier , Iacopo Mastromatteo , Matteo Marsili

Boolean satisfiability problems are an important benchmark for questions about complexity, algorithms, heuristics and threshold phenomena. Recent work on heuristics, and the satisfiability threshold has centered around the structure and…

Computational Complexity · Computer Science 2007-10-03 Parikshit Gopalan , Phokion G. Kolaitis , Elitza Maneva , Christos H. Papadimitriou

Compressed bitmap indexes are used to speed up simple aggregate queries in databases. Indeed, set operations like intersections, unions and complements can be represented as logical operations (AND,OR,NOT) that are ideally suited for…

Databases · Computer Science 2016-01-11 Owen Kaser , Daniel Lemire