English
Related papers

Related papers: PPZ For More Than Two Truth Values - An Algorithm …

200 papers

Recent methods for learning a linear subspace from data corrupted by outliers are based on convex $\ell_1$ and nuclear norm optimization and require the dimension of the subspace and the number of outliers to be sufficiently small. In sharp…

Machine Learning · Computer Science 2018-12-27 Zhihui Zhu , Yifan Wang , Daniel P. Robinson , Daniel Q. Naiman , Rene Vidal , Manolis C. Tsakiris

We present new large-scale algorithms for fitting a subgradient regularized multivariate convex regression function to $n$ samples in $d$ dimensions -- a key problem in shape constrained nonparametric regression with applications in…

Optimization and Control · Mathematics 2023-12-06 Wenyu Chen , Rahul Mazumder

Let $\Phi = (V, \mathcal{C})$ be a constraint satisfaction problem on variables $v_1,\dots, v_n$ such that each constraint depends on at most $k$ variables and such that each variable assumes values in an alphabet of size at most $[q]$.…

Data Structures and Algorithms · Computer Science 2020-11-25 Vishesh Jain , Huy Tuan Pham , Thuy Duong Vuong

We survey large value problems, including the large value problem for Dirichlet polynomials, the restriction problem, and problems from computer science. We describe known techniques and open problems, drawing on perspectives from all three…

Number Theory · Mathematics 2025-03-11 Larry Guth

We develop a polynomial time $\Omega\left ( \frac 1R \log R \right)$ approximate algorithm for Max 2CSP-$R$, the problem where we are given a collection of constraints, each involving two variables, where each variable ranges over a set of…

Data Structures and Algorithms · Computer Science 2015-04-07 Guy Kindler , Alexandra Kolla , Luca Trevisan

We present a novel approach to quantum algorithms, by taking advantage of modular values, i.e., complex and unbounded quantities resulting from specific post-selected measurement scenarios. Our focus is on the problem of ascertaining…

Quantum Physics · Physics 2024-06-12 Lorena Ballesteros Ferraz , Timoteo Carletti , Yves Caudano

We consider the problem of learning control policies that optimize a reward function while satisfying constraints due to considerations of safety, fairness, or other costs. We propose a new algorithm, Projection-Based Constrained Policy…

Machine Learning · Computer Science 2020-10-08 Tsung-Yen Yang , Justinian Rosca , Karthik Narasimhan , Peter J. Ramadge

Minimizing the difference of two submodular (DS) functions is a problem that naturally occurs in various machine learning problems. Although it is well known that a DS problem can be equivalently formulated as the minimization of the…

Machine Learning · Computer Science 2024-04-08 Marwa El Halabi , George Orfanides , Tim Hoheisel

In the Constraint Satisfaction Problem (CSP for short) the goal is to decide the existence of a homomorphism from a given relational structure $G$ to a given relational structure $H$. If the structure $H$ is fixed and $G$ is the only input,…

Logic in Computer Science · Computer Science 2025-10-14 Andrei A. Bulatov , Amirhossein Kazeminia

We use capacity theory to analyze Coppersmith's method for finding small solutions of linear two variable polynomial congruences. We show that the method will succeed in a positive proportion of cases and fail in a different positive…

Number Theory · Mathematics 2021-11-30 T. Chinburg , B. Hemenway Falk , N. Heninger , Z. Scherr

The constraint satisfaction problem (CSP) and its quantified extensions, whether without (QCSP) or with disjunction (QCSP_or), correspond naturally to the model checking problem for three increasingly stronger fragments of positive…

Logic in Computer Science · Computer Science 2012-04-27 Florent Madelaine , Barnaby Martin

In this paper we present an extremely general method for approximately solving a large family of convex programs where the solution can be divided between different agents, subject to joint differential privacy. This class includes…

Data Structures and Algorithms · Computer Science 2018-03-16 Justin Hsu , Zhiyi Huang , Aaron Roth , Zhiwei Steven Wu

We analyze the performance of the greedy algorithm, and also a discrete semi-gradient based algorithm, for maximizing the sum of a suBmodular and suPermodular (BP) function (both of which are non-negative monotone non-decreasing) under two…

Discrete Mathematics · Computer Science 2018-01-24 Wenruo Bai , Jeffrey A. Bilmes

This work proposes an efficient parallel algorithm for non-monotone submodular maximization under a knapsack constraint problem over the ground set of size $n$. Our algorithm improves the best approximation factor of the existing parallel…

Artificial Intelligence · Computer Science 2024-09-09 Tan D. Tran , Canh V. Pham , Dung T. K. Ha , Phuong N. H. Pham

Symmetries occur naturally in CSP or SAT problems and are not very difficult to discover, but using them to prune the search space tends to be very challenging. Indeed, this usually requires finding specific elements in a group of…

Artificial Intelligence · Computer Science 2011-07-25 Thierry Boy de la Tour , Mnacho Echenim

We study an extension of the cardinality-constrained knapsack problem wherein each item has a concave piecewise linear utility structure (CCKP), which is motivated by applications such as resource management problems in monitoring and…

Data Structures and Algorithms · Computer Science 2024-02-07 Miao Bai , Carlos Cardonha

Recent research in areas such as SAT solving and Integer Linear Programming has shown that the performances of a single arbitrarily efficient solver can be significantly outperformed by a portfolio of possibly slower on-average solvers. We…

Artificial Intelligence · Computer Science 2014-01-07 Roberto Amadini , Maurizio Gabbrielli , Jacopo Mauro

Let a quantified inequality constraint over the reals be a formula in the first-order predicate language over the structure of the real numbers, where the allowed predicate symbols are $\leq$ and $<$. Solving such constraints is an…

Logic in Computer Science · Computer Science 2025-10-20 Stefan Ratschan

We convert, within polynomial-time and sequential processing, an NP-Complete Problem into a real-variable problem of minimizing a sum of Rational Linear Functions constrained by an Asymptotic-Linear-Program. The coefficients and constants…

Computational Complexity · Computer Science 2012-12-21 Deepak Ponvel Chermakani

In a valued constraint satisfaction problem (VCSP), the goal is to find an assignment of labels to variables that minimizes a given sum of functions. Each function in the sum depends on a subset of variables, takes values which are rational…

Computational Complexity · Computer Science 2015-07-08 Robert Powell , Andrei Krokhin
‹ Prev 1 8 9 10 Next ›