English
Related papers

Related papers: N-fold integer programming in cubic time

200 papers

We give an exact algorithm for the 0-1 Integer Linear Programming problem with a linear number of constraints that improves over exhaustive search by an exponential factor. Specifically, our algorithm runs in time…

Computational Complexity · Computer Science 2014-02-20 Russell Impagliazzo , Shachar Lovett , Ramamohan Paturi , Stefan Schneider

Linear scaling methods, or O(N) methods, have computational and memory requirements which scale linearly with the number of atoms in the system, N, in contrast to standard approaches which scale with the cube of the number of atoms. These…

Materials Science · Physics 2012-02-17 D. R. Bowler , T. Miyazaki

Given a set $ P $ of $n$ points and a set $ H $ of $n$ half-planes in the plane, we consider the problem of computing a smallest subset of points such that each half-plane contains at least one point of the subset. The previously best…

Computational Geometry · Computer Science 2025-01-07 Gang Liu , Haitao Wang

There has recently been much progress on exact algorithms for the (un)weighted graph (bi)partitioning problem using branch-and-bound and related methods. In this note we present and improve an easily computable, purely combinatorial lower…

Data Structures and Algorithms · Computer Science 2014-10-03 Jesper Larsson Träff , Martin Wimmer

We examine the relative performance of algorithms for the calculation of curvature in spacetime. The classical coordinate component method is compared to two distinct versions of the Newman-Penrose tetrad approach for a variety of…

General Relativity and Quantum Cosmology · Physics 2009-10-28 Denis Pollney , Peter Musgrave , Kevin Santosuosso , Kayll Lake

Given a set $P$ of $n$ points in the plane, the unit-disk graph $G(P)$ is a graph with $P$ as its vertex set such that two points of $P$ have an edge if their Euclidean distance is at most $1$. We consider the problem of computing a maximum…

Computational Geometry · Computer Science 2025-06-30 Anastasiia Tkachenko , Haitao Wang

We show that the three-dimensional layers-of-maxima problem can be solved in $o(n\log n)$ time in the word RAM model. Our algorithm runs in $O(n(\log \log n)^3)$ deterministic time or $O(n(\log\log n)^2)$ expected time and uses O(n) space.…

Data Structures and Algorithms · Computer Science 2011-05-04 Yakov Nekrich

Lempel-Ziv (LZ77) factorization is a fundamental problem in string processing: Greedily partition a given string $T$ from left to right into blocks (called phrases) so that each phrase is either the leftmost occurrence of a letter or the…

Data Structures and Algorithms · Computer Science 2025-06-19 Dominik Kempa , Tomasz Kociumaka

We describe a RAM algorithm computing all runs (maximal repetitions) of a given string of length $n$ over a general ordered alphabet in $O(n\log^{\frac{2}3} n)$ time and linear space. Our algorithm outperforms all known solutions working in…

Data Structures and Algorithms · Computer Science 2015-11-24 Dmitry Kosolobov

Arising from structural graph theory, treewidth has become a focus of study in fixed-parameter tractable algorithms in various communities including combinatorics, integer-linear programming, and numerical analysis. Many NP-hard problems…

Data Structures and Algorithms · Computer Science 2023-09-14 Sally Dong , Yin Tat Lee , Guanghao Ye

We present an integer programming model for the ferry scheduling problem, improving existing models in various ways. In particular, our model has reduced size in terms of the number of variables and constraints compared to existing models…

Discrete Mathematics · Computer Science 2015-01-06 Daniel Karapetyan , Abraham P. Punnen

We give a simple and efficient algorithm for adaptively counting inversions in a sequence of $n$ integers. Our algorithm runs in $O(n + n \sqrt{\lg{(Inv/n)}})$ time in the word-RAM model of computation, where $Inv$ is the number of…

Data Structures and Algorithms · Computer Science 2015-03-05 Amr Elmasry

A deterministic algorithm for factoring $n$ using $n^{1/3+o(1)}$ bit operations is presented. The algorithm tests the divisibility of $n$ by all the integers in a short interval at once, rather than integer by integer as in trial division.…

Number Theory · Mathematics 2016-08-01 Ghaith A. Hiary

The Golomb ruler problem is defined as follows: Given a positive integer n, locate n marks on a ruler such that the distance between any two distinct pair of marks are different from each other and the total length of the ruler is…

Optimization and Control · Mathematics 2019-06-11 Burak Kocuk , Willem-Jan van Hoeve

This paper studies the problem of finding an $(1+\epsilon)$-approximate solution to positive semidefinite programs. These are semidefinite programs in which all matrices in the constraints and objective are positive semidefinite and all…

Data Structures and Algorithms · Computer Science 2016-02-23 Richard Peng , Kanat Tangwongsan , Peng Zhang

For almost 35 years, Sch{\"o}nhage-Strassen's algorithm has been the fastest algorithm known for multiplying integers, with a time complexity O(n $\times$ log n $\times$ log log n) for multiplying n-bit inputs. In 2007, F{\"u}rer proved…

Symbolic Computation · Computer Science 2018-04-18 Svyatoslav Covanov , Emmanuel Thomé

We consider the algorithm by Ferson et al. (Reliable computing 11(3), p. 207-233, 2005) designed for solving the NP-hard problem of computing the maximal sample variance over interval data, motivated by robust statistics (in fact, the…

Optimization and Control · Mathematics 2022-07-28 Miroslav Rada , Michal Černý , Ondřej Sokol

The starting point of this paper is the problem of scheduling $n$ jobs with processing times and due dates on a single machine so as to minimize the total processing time of tardy jobs, i.e., $1||\sum p_j U_j$. This problem was identified…

Data Structures and Algorithms · Computer Science 2022-11-11 Kim-Manuel Klein , Adam Polak , Lars Rohwedder

We consider the problem of cutting a set of edges on a polyhedral manifold surface, possibly with boundary, to obtain a single topological disk, minimizing either the total number of cut edges or their total length. We show that this…

Computational Geometry · Computer Science 2007-05-23 Jeff Erickson , Sariel Har-Peled

The secondary structure that maximizes the number of non-crossing matchings between complimentary bases of an RNA sequence of length n can be computed in O(n^3) time using Nussinov's dynamic programming algorithm. The Four-Russians method…

Quantitative Methods · Quantitative Biology 2013-08-02 Balaji Venkatachalam , Dan Gusfield , Yelena Frid