English
Related papers

Related papers: SqFreeEVAL: An (almost) optimal real-root isolatio…

200 papers

Suppose f is a real univariate polynomial of degree D with exactly 4 monomial terms. We present an algorithm, with complexity polynomial in log D on average (relative to the stable log-uniform measure), for counting the number of real roots…

Algebraic Geometry · Mathematics 2013-09-03 Osbert Bastani , Christopher J. Hillar , Dimitar Popov , J. Maurice Rojas

This work provides a method(an algorithm) for solving the solvable unary algebraic equation $f(x)=0$ ($f(x)\in\mathbb{Q}[x]$) of arbitrary degree and obtaining the exact radical roots. This method requires that we know the Galois group as…

Rings and Algebras · Mathematics 2022-03-30 Song Li

The Function Field Sieve algorithm is dedicated to computing discrete logarithms in a finite field GF(q^n), where q is small an prime power. The scope of this article is to select good polynomials for this algorithm by defining and…

Cryptography and Security · Computer Science 2013-03-11 Razvan Barbulescu

The subtree prune-and-regraft (SPR) distance metric is a fundamental way of comparing evolutionary trees. It has wide-ranging applications, such as to study lateral genetic transfer, viral recombination, and Markov chain Monte Carlo…

Data Structures and Algorithms · Computer Science 2017-11-07 Chris Whidden , Frederick A. Matsen

Univariate polynomial root-finding is a classical subject, still important for modern computing. Frequently one seeks just the real roots of a polynomial with real coefficients. They can be approximated at a low computational cost if the…

Symbolic Computation · Computer Science 2017-04-14 Victor Y. Pan , Liang Zhao

We give a separation bound for the complex roots of a trinomial $f \in \mathbb{Z}[X]$. The logarithm of the inverse of our separation bound is polynomial in the size of the sparse encoding of $f$; in particular, it is polynomial in $\log…

Symbolic Computation · Computer Science 2018-10-26 Pascal Koiran

Triangular decomposition with different properties has been used for various types of problem solving, e.g. geometry theorem proving, real solution isolation of zero-dimensional polynomial systems, etc. In this paper, the concepts of strong…

Symbolic Computation · Computer Science 2022-02-15 Haokun Li , Bican Xia , Tianqi Zhao

The treedepth of a graph $G$ is the least possible depth of an elimination forest of $G$: a rooted forest on the same vertex set where every pair of vertices adjacent in $G$ is bound by the ancestor/descendant relation. We propose an…

Data Structures and Algorithms · Computer Science 2022-05-06 Wojciech Nadara , Michał Pilipczuk , Marcin Smulewicz

In this paper we propose, implement, and test the first practical decomposition algorithms for the width parameters treecut width and treedepth. These two parameters have recently gained a lot of attention in the theoretical research…

Data Structures and Algorithms · Computer Science 2019-12-02 Robert Ganian , Neha Lodha , Sebastian Ordyniak , Stefan Szeider

We construct a family of root-finding algorithms which exploit the branched covering structure of a polynomial of degree $d$ with a path-lifting algorithm for finding individual roots. In particular, the family includes an algorithm that…

Dynamical Systems · Mathematics 2025-10-20 Myong-Hi Kim , Scott Sutherland

Given a function f: [a,b] -> R, if f(a) < 0 and f(b)> 0 and f is continuous, the Intermediate Value Theorem implies that f has a root in [a,b]. Moreover, given a value-oracle for f, an approximate root of f can be computed using the…

Computer Science and Game Theory · Computer Science 2024-03-01 Alexandros Hollender , Chester Lawrence , Erel Segal-Halevi

Dual-tree algorithms are a widely used class of branch-and-bound algorithms. Unfortunately, developing dual-tree algorithms for use with different trees and problems is often complex and burdensome. We introduce a four-part logical split:…

Data Structures and Algorithms · Computer Science 2013-04-17 Ryan R. Curtin , William B. March , Parikshit Ram , David V. Anderson , Alexander G. Gray , Charles L. Isbell

Folded Reed-Solomon codes are an explicit family of codes that achieve the optimal trade-off between rate and error-correction capability: specifically, for any $\eps > 0$, the author and Rudra (2006,08) presented an $n^{O(1/\eps)}$ time…

Information Theory · Computer Science 2016-11-17 Venkatesan Guruswami

Let $P \in \mathbb{Z} [X, Y]$ be a given square-free polynomial of total degree $d$ with integer coefficients of bitsize less than $\tau$, and let $V_{\mathbb{R}} (P) := \{ (x,y) \in \mathbb{R}^2, P (x,y) = 0 \}$ be the real planar…

Algebraic Geometry · Mathematics 2021-12-16 Daouda Niang Diatta , Sény Diatta , Fabrice Rouillier , Marie-Françoise Roy , Michael Sagraloff

The Tree Evaluation Problem ($\mathsf{TreeEval}$) is a computational problem originally proposed as a candidate to prove a separation between complexity classes $\mathsf{P}$ and $\mathsf{L}$. Recently, this problem has gained significant…

Computational Complexity · Computer Science 2026-04-09 Vahid R. Asadi , Richard Cleve

We continue the study of graph classes in which the treewidth can only be large due to the presence of a large clique, and, more specifically, of graph classes with bounded tree-independence number. In [Dallard, Milani\v{c}, and…

Data Structures and Algorithms · Computer Science 2022-09-27 Martin Milanič , Paweł Rzążewski

Inferring probabilistic networks from data is a notoriously difficult task. Under various goodness-of-fit measures, finding an optimal network is NP-hard, even if restricted to polytrees of bounded in-degree. Polynomial-time algorithms are…

Data Structures and Algorithms · Computer Science 2012-08-16 Serge Gaspers , Mikko Koivisto , Mathieu Liedloff , Sebastian Ordyniak , Stefan Szeider

We consider root-finding algorithms for random rooted trees grown by uniform attachment. Given an unlabeled copy of the tree and a target accuracy $\varepsilon > 0$, such an algorithm outputs a set of nodes that contains the root with…

Data Structures and Algorithms · Computer Science 2024-11-28 Louigi Addario-Berry , Catherine Fontaine , Robin Khanfir , Louis-Roy Langevin , Simone Têtu

We study the problem of computing the largest root of a real rooted polynomial $p(x)$ to within error $\varepsilon $ given only black box access to it, i.e., for any $x \in {\mathbb R}$, the algorithm can query an oracle for the value of…

Data Structures and Algorithms · Computer Science 2016-01-05 Anand Louis , Santosh S. Vempala

We state a kind of Euclidian division theorem: given a polynomial P(x) and a divisor d of the degree of P, there exist polynomials h(x),Q(x),R(x) such that P(x) = h(Q(x)) +R(x), with deg h=d. Under some conditions h,Q,R are unique, and Q is…

Algebraic Geometry · Mathematics 2009-10-12 Arnaud Bodin
‹ Prev 1 3 4 5 6 7 10 Next ›