中文
相关论文

相关论文: SAT-Based Search for Minwise Independent Families

200 篇论文

In nonadaptive group testing, the main research objective is to design an efficient algorithm to identify a set of up to $t$ positive elements among $n$ samples with as few tests as possible. Disjunct matrices and separable matrices are two…

组合数学 · 数学 2021-10-15 Bingchen Qian , Xin Wang , Gennian Ge

Given a graph, the minimum dominating set (MinDS) problem is to identify a smallest set $D$ of vertices such that every vertex not in $D$ is adjacent to at least one vertex in $D$. The MinDS problem is a classic $\mathcal{NP}$-hard problem…

社会与信息网络 · 计算机科学 2023-08-01 Enqiang Zhu , Yu Zhang , Shengzhi Wang , Darren Strash , Chanjuan Liu

For a well-studied family of domination-type problems, in bounded-treewidth graphs, we investigate whether it is possible to find faster algorithms. For sets $\sigma,\rho$ of non-negative integers, a $(\sigma,\rho)$-set of a graph $G$ is a…

计算复杂性 · 计算机科学 2023-06-07 Jacob Focke , Dániel Marx , Fionn Mc Inerney , Daniel Neuen , Govind S. Sankar , Philipp Schepper , Philip Wellnitz

One way to define the Matching Cut problem is: Given a graph $G$, is there an edge-cut $M$ of $G$ such that $M$ is an independent set in the line graph of $G$? We propose the more general Conflict-Free Cut problem: Together with the graph…

数据结构与算法 · 计算机科学 2023-11-03 Johannes Rauch , Dieter Rautenbach , Uéverton S. Souza

Approximate dictionary matching is a classic string matching problem (checking if a query string occurs in a collection of strings) with applications in, e.g., spellchecking, online catalogs, geolocation, and web searchers. We present a…

数据结构与算法 · 计算机科学 2016-02-15 Aleksander Cisłak , Szymon Grabowski

We propose a general new method, the conditional permutation test, for testing the conditional independence of variables $X$ and $Y$ given a potentially high-dimensional random vector $Z$ that may contain confounding factors. The proposed…

统计方法学 · 统计学 2019-05-08 Thomas B. Berrett , Yi Wang , Rina Foygel Barber , Richard J. Samworth

Given two positive integers $n\geq 3$ and $t\leq n$, the permutations $\sigma,\pi \in \operatorname{Sym}(n)$ are $t$-setwise intersecting if they agree (setwise) on a $t$-subset of $\{1,2,\ldots,n\}$. A family $\mathcal{F} \subset…

This work considers a generalization of Grover's search problem, viz., to find any one element in a set of acceptable choices which constitute a fraction f of the total number of choices in an unsorted data base. An infinite family of…

量子物理 · 物理学 2009-11-07 Chia-Ren Hu

We consider the problem of approximate set similarity search under Braun-Blanquet similarity $B(\mathbf{x}, \mathbf{y}) = |\mathbf{x} \cap \mathbf{y}| / \max(|\mathbf{x}|, |\mathbf{y}|)$. The $(b_2, b_2)$-approximate Braun-Blanquet…

数据结构与算法 · 计算机科学 2017-04-19 Tobias Christiani , Rasmus Pagh

Determining if two sets are related - that is, if they have similar values or if one set contains the other - is an important problem with many applications in data cleaning, data integration, and information retrieval. A particularly…

数据库 · 计算机科学 2017-12-19 Dong Deng , Albert Kim , Samuel Madden , Michael Stonebraker

Ultrahigh-dimensional variable selection plays an increasingly important role in contemporary scientific discoveries and statistical research. Among others, Fan and Lv [J. R. Stat. Soc. Ser. B Stat. Methodol. 70 (2008) 849-911] propose an…

统计方法学 · 统计学 2012-11-14 Jianqing Fan , Rui Song

Factor Analysis (FA) is a technique of fundamental importance that is widely used in classical and modern multivariate statistics, psychometrics and econometrics. In this paper, we revisit the classical rank-constrained FA problem, which…

统计方法学 · 统计学 2017-04-25 Dimitris Bertsimas , Martin S. Copenhaver , Rahul Mazumder

Let $F_n$ be an $n$ by $n$ symmetric matrix whose entries are bounded by $n^{\gamma}$ for some $\gamma>0$. Consider a randomly perturbed matrix $M_n=F_n+X_n$, where $X_n$ is a random symmetric matrix whose upper diagonal entries $x_{ij}$…

组合数学 · 数学 2011-03-18 Hoi H. Nguyen

Weighted Max-SAT is the optimization version of SAT and many important problems can be naturally encoded as such. Solving weighted Max-SAT is an important problem from both a theoretical and a practical point of view. In recent years, there…

人工智能 · 计算机科学 2007-05-23 Javier Larrosa , Federico Heras , Simon de Givry

We study the problem of approximate near neighbor (ANN) search and show the following results: - An improved framework for solving the ANN problem using locality-sensitive hashing, reducing the number of evaluations of locality-sensitive…

数据结构与算法 · 计算机科学 2019-06-25 Tobias Christiani

This paper establishes a new comparison principle for the minimum eigenvalue of a sum of independent random positive-semidefinite matrices. The principle states that the minimum eigenvalue of the matrix sum is controlled by the minimum…

概率论 · 数学 2025-01-29 Joel A. Tropp

We continue the project of the study of reverse mathematics principles inspired by cardinal invariants. In this article in particular we focus on principles encapsulating the existence of large families of objects that are in some sense…

逻辑 · 数学 2026-02-04 David Belanger , Chi Tat Chong , Rupert Hölzl , Frank Stephan

Nearest Neighbor Search (NNS) is a fundamental problem in data structures with wide-ranging applications, such as web search, recommendation systems, and, more recently, retrieval-augmented generations (RAG). In such recent applications, in…

数据结构与算法 · 计算机科学 2026-02-10 Siddharth Barman , Nirjhar Das , Shivam Gupta , Kirankumar Shiragur

The paper presents complexity results and performance guaranties for a family of approximation algorithms for an optimisation problem arising in software testing and manufacturing. The problem is formulated as a partitioning of a set where…

数据结构与算法 · 计算机科学 2022-12-13 Yakov Zinder , Bertrand M. T. Lin , Joanna Berlińska

A predecessor (successor) search finds the largest element $x^-$ smaller than the input string $x$ (the smallest element $x^+$ larger than or equal to $x$, respectively) out of a given set $S$; in this paper, we consider the static case…

数据结构与算法 · 计算机科学 2012-09-26 Djamal Belazzougui , Paolo Boldi , Sebastiano Vigna