English
Related papers

Related papers: Advances in Tabulating Carmichael Numbers

200 papers

We consider the problem of computing the nearest matrix polynomial with a non-trivial Smith Normal Form. We show that computing the Smith form of a matrix polynomial is amenable to numeric computation as an optimization problem.…

Symbolic Computation · Computer Science 2019-09-10 Mark Giesbrecht , Joseph Haraldson , George Labahn

In this paper, we present a method for estimating the least common multiple of a large class of binary linear recurrence sequences. Let $P,Q,R_0$, and $R_1$ be fixed integers and let $\boldsymbol{R}=\left(R_n\right)_{n}$ be the recurrence…

Number Theory · Mathematics 2020-11-10 Sid Ali Bousla

For every sufficiently large integer $R$, there exists a Carmichael number with exactly $R$ prime factors.

Number Theory · Mathematics 2025-10-21 Daniel Larsen , Thomas Wright

Given an undirected graph with edge costs and node weights, the minimum bisection problem asks for a partition of the nodes into two parts of equal weight such that the sum of edge costs between the parts is minimized. We give a polynomial…

Data Structures and Algorithms · Computer Science 2015-05-01 Kyle Fox , Philip N. Klein , Shay Mozes

In 2015, Driemel, Krivo\v{s}ija and Sohler introduced the $(k,\ell)$-median problem for clustering polygonal curves under the Fr\'echet distance. Given a set of input curves, the problem asks to find $k$ median curves of at most $\ell$…

Computational Geometry · Computer Science 2020-11-04 Maike Buchin , Anne Driemel , Dennis Rohde

We present a randomized approximation algorithm for counting contingency tables, mxn non-negative integer matrices with given row sums R=(r_1, ..., r_m) and column sums C=(c_1, ..., c_n). We define smooth margins (R,C) in terms of the…

Combinatorics · Mathematics 2010-11-29 Alexander Barvinok , Zur Luria , Alex Samorodnitsky , Alexander Yong

A graceful n-permutation is a graceful labeling of an n-vertex path P_n. In this paper we improve the asymptotic lower bound on the number of such permutations from (5/3)^n to 2.37^n. This is a computer-assisted proof based on an effective…

Combinatorics · Mathematics 2007-05-23 Michal Adamaszek

We study the complexity of optimizing highly smooth convex functions. For a positive integer $p$, we want to find an $\epsilon$-approximate minimum of a convex function $f$, given oracle access to the function and its first $p$ derivatives,…

Optimization and Control · Mathematics 2021-12-06 Ankit Garg , Robin Kothari , Praneeth Netrapalli , Suhail Sherif

We study the approximability of two related problems on graphs with $n$ nodes and $m$ edges: $n$-Pairs Shortest Paths ($n$-PSP), where the goal is to find a shortest path between $O(n)$ prespecified pairs, and All Node Shortest Cycles…

Data Structures and Algorithms · Computer Science 2022-09-21 Mina Dalirrooyfard , Ce Jin , Virginia Vassilevska Williams , Nicole Wein

Using the sieve, we show that there are infinitely many Carmichael numbers whose prime factors all have the form $p = 1 + a^2 + b^2$ with $a,b \in{\mathbb Z}$.

Number Theory · Mathematics 2015-06-12 William D. Banks , Tristan Freiberg

We present a complete algorithm for finding an exact minimal polynomial from its approximate value by using an improved parameterized integer relation construction method. Our result is superior to the existence of error controlling on…

Symbolic Computation · Computer Science 2010-01-06 Xiaolin Qin , Yong Feng , Jingwei Chen , Jingzhong Zhang

The prototypical high-dimensional statistics problem entails finding a structured signal in noise. Many of these problems exhibit an intriguing phenomenon: the amount of data needed by all known computationally efficient algorithms far…

Computational Complexity · Computer Science 2019-11-19 Matthew Brennan , Guy Bresler , Wasim Huleihel

We develop the algebraic theory behind the constructions of Yekhanin (2008) and Efremenko (2009), in an attempt to understand the ``algebraic niceness'' phenomenon in $\mathbb{Z}_m$. We show that every integer $m = pq = 2^t -1$, where $p$,…

Computational Complexity · Computer Science 2010-08-11 Yeow Meng Chee , Tao Feng , San Ling , Huaxiong Wang , Liang Feng Zhang

The computation of a peeling order in a randomly generated hypergraph is the most time-consuming step in a number of constructions, such as perfect hashing schemes, random $r$-SAT solvers, error-correcting codes, and approximate set…

Data Structures and Algorithms · Computer Science 2013-12-03 Djamal Belazzougui , Paolo Boldi , Giuseppe Ottaviano , Rossano Venturini , Sebastiano Vigna

We provide a new algorithm for tabulating composite numbers which are pseudoprimes to both a Fermat test and a Lucas test. Our algorithm is optimized for parameter choices that minimize the occurrence of pseudoprimes, and for pseudoprimes…

Number Theory · Mathematics 2019-02-13 Andrew Shallue , Jonathan Webster

The Ramsey number is of vital importance in Ramsey's theorem. This paper proposed a novel methodology for constructing Ramsey graphs about R(3,10), which uses Artificial Bee Colony optimization(ABC) to raise the lower bound of Ramsey number…

Artificial Intelligence · Computer Science 2015-12-09 Wei-Hao Mao , Fei Gao , Yi-Jin Dong , Wen-Ming Li

We give a new characterization of the set $\mathcal{C}$ of Carmichael numbers in the context of $p$-adic theory, independently of the classical results of Korselt and Carmichael. The characterization originates from a surprising link to the…

Number Theory · Mathematics 2024-06-26 Bernd C. Kellner , Jonathan Sondow

We present the first polynomial-time algorithm to exactly compute the number of labeled chordal graphs on $n$ vertices. Our algorithm solves a more general problem: given $n$ and $\omega$ as input, it computes the number of…

Data Structures and Algorithms · Computer Science 2024-10-04 Ursula Hebert-Johnson , Daniel Lokshtanov , Eric Vigoda

The Sparsest Cut is a fundamental optimization problem that has been extensively studied. For planar inputs the problem is in $P$ and can be solved in $\tilde{O}(n^3)$ time if all vertex weights are $1$. Despite a significant amount of…

Data Structures and Algorithms · Computer Science 2020-07-07 Amir Abboud , Vincent Cohen-Addad , Philip N. Klein

We study the hardness of Approximate Query Processing (AQP) of various types of queries involving joins over multiple tables of possibly different sizes. In the case where the query result is a single value (e.g., COUNT, SUM, and…

Databases · Computer Science 2020-10-02 Tianyu Liu , Chi Wang