中文
相关论文

相关论文: Compact DSOP and partial DSOP Forms

200 篇论文

Global polynomial optimization is an important tool across applied mathematics, with many applications in operations research, engineering, and physical sciences. In various settings, the polynomials depend on external parameters that may…

最优化与控制 · 数学 2024-06-14 Richard L. Zhu , Mathias Oster , Yuehaw Khoo

We present an algorithm for strongly refuting smoothed instances of all Boolean CSPs. The smoothed model is a hybrid between worst and average-case input models, where the input is an arbitrary instance of the CSP with only the negation…

计算复杂性 · 计算机科学 2023-09-06 Venkatesan Guruswami , Pravesh K. Kothari , Peter Manohar

We investigate the Lebesgue measure, Hausdorff dimension, and Fourier dimension of sets of the form $RY + Z, $ where $R \subseteq (0,\infty)$ and $Y, Z \subseteq \mathbb{R}^d$. We prove a theorem on the Lebesgue measure and Hausdorff…

经典分析与常微分方程 · 数学 2021-02-09 Kyle Hambrook , Krystal Taylor

We announce two breakthrough results concerning important questions in the Theory of Computational Complexity. In this expository paper, a systematic and comprehensive geometric characterization of the Subset Sum Problem is presented. We…

计算复杂性 · 计算机科学 2025-11-21 Srinivas Balaji Bollepalli

We study limitations of polynomials computed by depth two circuits built over read-once polynomials (ROPs) and depth three syntactically multi-linear formulas. We prove an exponential lower bound for the size of the $\Sigma\Pi^{[N^{1/30}]}$…

计算复杂性 · 计算机科学 2015-12-14 C. Ramya , B. V. Raghavendra Rao

We systematically explore a class of constrained optimization problems with linear objective function and constraints that are linear combinations of logarithms of the optimization variables. Such problems can be viewed as a generalization…

经典分析与常微分方程 · 数学 2021-01-01 Sergey Sadov

We obtain asymptotic formulas for the $2k$th moments of partially smoothed divisor sums of the M\"obius function. When $2k$ is small compared with $A$, the level of smoothing, then the main contribution to the moments come from integers…

数论 · 数学 2020-04-09 Andrew Granville , Dimitris Koukoulopoulos , James Maynard

Consider the classical Min-Sum Set Cover problem: We are given a universe $\mathcal{U}$ of $n$ elements and a collection $\mathcal{S}$ of $k$ subsets of $\mathcal{U}$. Moreover, a cost function is associated with each set. The goal is to…

数据结构与算法 · 计算机科学 2026-05-29 Michał Szyfelbein

A Pseudo-Boolean (PB) constraint is a linear arithmetic constraint over Boolean variables. PB constraints are convenient and widely used in expressing NP-complete problems. We introduce a new, two step, method for transforming PB…

计算机科学中的逻辑 · 计算机科学 2015-03-19 Amir Aavani

The submodular partitioning problem asks to minimize, over all partitions $P$ of a ground set $V$, the sum of a given submodular function $f$ over the parts of $P$. The problem has seen considerable work in approximability, as it…

数据结构与算法 · 计算机科学 2025-07-03 Kristóf Bérczi , Karthekeyan Chandrasekaran , Tamás Király , Daniel P. Szabo

This paper studies discretization of time-dependent partial differential equations (PDEs) by proper orthogonal decomposition reduced order models (POD-ROMs). Most of the analysis in the literature has been performed on fully-discrete…

数值分析 · 数学 2024-03-12 Bosco Garcia-Archilla , Volker John , Julia Novo

Dimensionality reduction is a first step of many machine learning pipelines. Two popular approaches are principal component analysis, which projects onto a small number of well chosen but non-interpretable directions, and feature selection,…

机器学习 · 统计学 2018-12-27 Ayoub Belhadji , Rémi Bardenet , Pierre Chainais

This paper presents a pseudo-spectral method for Dynamic Optimization Problems (DOPs) that allows for tight polynomial bounds to be achieved via flexible sub-intervals. The proposed method not only rigorously enforces inequality…

最优化与控制 · 数学 2026-04-08 Eduardo M. G. Vila , Eric C. Kerrigan , Paul Bruce

Factored stochastic constraint programming (FSCP) is a formalism to represent multi-stage decision making problems under uncertainty. FSCP models support factorized probabilistic models and involve constraints over decision and random…

人工智能 · 计算机科学 2019-09-25 Behrouz Babaki , Golnoosh Farnadi , Gilles Pesant

We study when low coordinate degree functions (LCDF) -- linear combinations of functions depending on small subsets of entries of a vector -- can hypothesis test between high-dimensional probability measures. These functions are a…

统计理论 · 数学 2024-03-13 Dmitriy Kunisky

In this paper we consider Sparse Fourier Transform (SFT) algorithms for approximately computing the best $s$-term approximation of the Discrete Fourier Transform (DFT) $\mathbf{\hat{f}} \in \mathbb{C}^N$ of any given input vector…

数值分析 · 数学 2017-06-12 Sami Merhi , Ruochuan Zhang , Mark A. Iwen , Andrew Christlieb

For numerical approximation the reformulation of a PDE as a residual minimisation problem has the advantages that the resulting linear system is symmetric positive definite, and that the norm of the residual provides an a posteriori error…

数值分析 · 数学 2023-05-29 Harald Monsuur , Rob Stevenson , Johannes Storn

By considering a discrete tape where each cell corresponds to an integer, thus to a possible sum, a pseudo-polynomial solution can be given to subset sum problem, which is an NP-complete problem and a cornerstone application for this study,…

计算复杂性 · 计算机科学 2024-01-08 Yigit Oktar

Soft extrapolation refers to the problem of recovering a function from its samples, multiplied by a fast-decaying window and perturbed by an additive noise, over an interval which is potentially larger than the essential support of the…

数值分析 · 数学 2018-12-26 Dmitry Batenkov , Laurent Demanet , Hrushikesh N. Mhaskar

Determinantal point processes (DPPs) are a useful probabilistic model for selecting a small diverse subset out of a large collection of items, with applications in summarization, stochastic optimization, active learning and more. Given a…

机器学习 · 计算机科学 2020-07-01 Daniele Calandriello , Michał Dereziński , Michal Valko