English
Related papers

Related papers: Divisors in Residue Classes Revisited

200 papers

In this paper we generalize N-fold integer programs and two-stage integer programs with N scenarios to N-fold 4-block decomposable integer programs. We show that for fixed blocks but variable N, these integer programs are polynomial-time…

Optimization and Control · Mathematics 2015-05-14 Raymond Hemmecke , Matthias Köppe , Robert Weismantel

On common processors, integer multiplication is many times faster than integer division. Dividing a numerator n by a divisor d is mathematically equivalent to multiplication by the inverse of the divisor (n / d = n x 1/d). If the divisor is…

Mathematical Software · Computer Science 2019-11-21 Daniel Lemire , Owen Kaser , Nathan Kurz

An algorithm is presented to compute isolated values of the divisor summatory function in O(n^(1/3)) time and O (log n) space. The algorithm is elementary and uses a geometric approach of successive approximation combined with coordinate…

Number Theory · Mathematics 2012-06-18 Richard Sladkey

We present a new algorithm to solve polynomial equations, and publish its code, which is 1.6-3 times faster than the ZROOTS subroutine that is commercially available from Numerical Recipes, depending on application. The largest improvement,…

Earth and Planetary Astrophysics · Physics 2012-03-07 J. Skowron , A. Gould

One of the driving problems in the CSP area is the Dichotomy Conjecture, formulated in 1993 by Feder and Vardi [STOC'93], stating that for any fixed relational structure G the Constraint Satisfaction Problem CSP(G) is either NP--complete or…

Data Structures and Algorithms · Computer Science 2010-11-13 Marek Cygan , Marcin Pilipczuk , Michal Pilipczuk , Jakub Onufry Wojtaszczyk

We consider a certain left action by the monoid $SL_2(\mathbf{N}_0)$ on the set of divisor pairs $\mathcal{D}_f := \{ (m, n) \in \mathbf{N}_0 \times \mathbf{N}_0 : m \lvert f(n) \}$ where $f \in \mathbf{Z}[x]$ is a polynomial with integer…

Number Theory · Mathematics 2024-05-07 Anton Shakov

Consider a matroid where all elements are labeled with an element in $\mathbb{Z}$. We are interested in finding a base where the sum of the labels is congruent to $g \pmod m$. We show that this problem can be solved in $\tilde{O}(2^{4m} n…

Combinatorics · Mathematics 2024-03-22 Siyue Liu , Chao Xu

In this paper we suggest analytical methods and associated algorithms for determining the sum of the subsets $X_m$ of the set $X_n$ (subset sum problem). Our algorithm has time complexity $T=O(C_{n}^{k})$ ($k=[m/2]$, which significantly…

Information Theory · Computer Science 2020-05-05 B. Sinchev , A. B. Sinchev , J. Akzhanova , A. M. Mukhanova , Y. Issekeshev

We present several new algorithms to evaluate modular polynomials of level $\ell$ modulo a prime $p$ on an input $j$. More precisely, we introduce two new generic algorithms, sharing the following similarities: they are based on a CRT…

Given a convex function $f$ on $\mathbb{R}^n$ with an integer minimizer, we show how to find an exact minimizer of $f$ using $O(n^2 \log n)$ calls to a separation oracle and $O(n^4 \log n)$ time. The previous best polynomial time algorithm…

Data Structures and Algorithms · Computer Science 2023-11-15 Haotian Jiang , Yin Tat Lee , Zhao Song , Lichen Zhang

The intention of this note is two-fold. First, we study integer optimization problems in standard form defined by $A \in\mathbb{Z}^{m\times{}n}$ and present an algorithm to solve such problems in polynomial-time provided that both the…

Optimization and Control · Mathematics 2016-04-01 Stephan Artmann , Friedrich Eisenbrand , Christoph Glanzer , Timm Oertel , Santosh Vempala , Robert Weismantel

$\newcommand{\floor}[1]{\left\lfloor {#1} \right\rfloor} \renewcommand{\Re}{\mathbb{R}}$ Tverberg's theorem states that a set of $n$ points in $\Re^d$ can be partitioned into $\floor{n/(d+1)}$ sets with a common intersection. A point in…

Computational Geometry · Computer Science 2023-05-03 Sariel Har-Peled , Timothy Zhou

An algorithm for unification modulo one-sided distributivity is an early result by Tid\'en and Arnborg. More recently this theory has been of interest in cryptographic protocol analysis due to the fact that many cryptographic operators…

Logic in Computer Science · Computer Science 2017-01-11 Andrew M Marshall , Catherine Meadows , Paliath Narendran

We give a polynomial-time algorithm for learning high-dimensional halfspaces with margins in $d$-dimensional space to within desired TV distance when the ambient distribution is an unknown affine transformation of the $d$-fold product of an…

Machine Learning · Computer Science 2023-11-03 Xinyuan Cao , Santosh S. Vempala

We introduce the ring of partial differential operators with constant coefficients and commensurate time lags (we use the terminology D$\Delta$ operators from now) initially defined by H. Gl\"using-L\"ur\ss en for ordinary $D\Delta$…

Analysis of PDEs · Mathematics 2019-04-02 Saiei-Jaeyeong Matsubara-Heo

The n-way number partitioning problem, a fundamental challenge in combinatorial optimization, has significant implications for applications such as fair division and machine scheduling. Despite these problems being NP-hard, many…

Data Structures and Algorithms · Computer Science 2025-04-04 Samuel Bismuth , Erel Segal-Halevi , Dana Shapira

We show that the number of unit distances determined by n points in R^3 is O(n^{3/2}), slightly improving the bound of Clarkson et al. established in 1990. The new proof uses the recently introduced polynomial partitioning technique of Guth…

Combinatorics · Mathematics 2011-07-07 Haim Kaplan , Jiri Matousek , Zuzana Safernova , Micha Sharir

We revisit the Stochastic Score Classification (SSC) problem introduced by Gkenosis et al. (ESA 2018): We are given $n$ tests. Each test $j$ can be conducted at cost $c_j$, and it succeeds independently with probability $p_j$. Further, a…

Data Structures and Algorithms · Computer Science 2024-01-23 Benedikt M. Plank , Kevin Schewior

Given $(a_1, \dots, a_n, t) \in \mathbb{Z}_{\geq 0}^{n + 1}$, the Subset Sum problem ($\mathsf{SSUM}$) is to decide whether there exists $S \subseteq [n]$ such that $\sum_{i \in S} a_i = t$. There is a close variant of the $\mathsf{SSUM}$,…

Data Structures and Algorithms · Computer Science 2022-06-02 Pranjal Dutta , Mahesh Sreekumar Rajasree

We show in this paper that the Gentry-Szydlo algorithm for cyclotomic orders, previously revisited by Lenstra-Silverberg, can be extended to complex-multiplication (CM) orders, and even to a more general structure. This algorithm allows to…

Data Structures and Algorithms · Computer Science 2016-03-01 Paul Kirchner