English
Related papers

Related papers: A baby step-giant step roadmap algorithm for gener…

200 papers

We give a new complexity bound for calculating the complex dimension of an algebraic set. Our algorithm is completely deterministic and approaches the best recent randomized complexity bounds. We also present some new, significantly sharper…

Algebraic Geometry · Mathematics 2025-10-20 J. Maurice Rojas

Motivated by the quantum speedup for dynamic programming on the Boolean hypercube by Ambainis et al. (2019), we investigate which graphs admit a similar quantum advantage. In this paper, we examine a generalization of the Boolean hypercube…

Quantum Physics · Physics 2021-05-10 Adam Glos , Martins Kokainis , Ryuhei Mori , Jevgēnijs Vihrovs

How many operations do we need on the average to compute an approximate root of a random Gaussian polynomial system? Beyond Smale's 17th problem that asked whether a polynomial bound is possible, we prove a quasi-optimal bound $\text{(input…

Numerical Analysis · Mathematics 2023-06-12 Pierre Lairez

We consider systems of polynomial equations and inequalities in $\mathbb{Q}[\boldsymbol{y}][\boldsymbol{x}]$ where $\boldsymbol{x} = (x_1, \ldots, x_n)$ and $\boldsymbol{y} = (y_1, \ldots,y_t)$. The $\boldsymbol{y}$ indeterminates are…

Symbolic Computation · Computer Science 2025-01-27 Louis Gaillard , Mohab Safey El Din

Given an undirected graph $G$, the Densest $k$-subgraph problem (DkS) asks to compute a set $S \subset V$ of cardinality $\left\lvert S\right\rvert \leq k$ such that the weight of edges inside $S$ is maximized. This is a fundamental NP-hard…

Data Structures and Algorithms · Computer Science 2020-11-10 Yash Khanna , Anand Louis

Query complexity is a model of computation in which we have to compute a function $f(x_1, \ldots, x_N)$ of variables $x_i$ which can be accessed via queries. The complexity of an algorithm is measured by the number of queries that it makes.…

Quantum Physics · Physics 2017-12-19 Andris Ambainis

Let $p\in\mathbb{Z}[x]$ be an arbitrary polynomial of degree $n$ with $k$ non-zero integer coefficients of absolute value less than $2^\tau$. In this paper, we answer the open question whether the real roots of $p$ can be computed with a…

Numerical Analysis · Computer Science 2014-01-24 Michael Sagraloff

Gradient-based algorithms, popular strategies to optimization problems, are essential for many modern machine-learning techniques. Theoretically, extreme points of certain cost functions can be found iteratively along the directions of the…

Quantum Physics · Physics 2021-04-07 Keren Li , Pan Gao , Shijie Wei , Jiancun Gao , Guilu Long

Let $\R$ be a real closed field, $\mathcal{P},\mathcal{Q} \subset \R[X_1,...,X_k]$ finite subsets of polynomials, with the degrees of the polynomials in $\mathcal{P}$ (resp. $\mathcal{Q}$) bounded by $d$ (resp. $d_0$). Let $V \subset \R^k$…

Combinatorics · Mathematics 2011-11-08 Sal Barone , Saugata Basu

We develop new approximation algorithms for classical graph and set problems in the RAM model under space constraints. As one of our main results, we devise an algorithm for d-Hitting Set that runs in time n^{O(d^2 + d/\epsilon})}, uses…

Data Structures and Algorithms · Computer Science 2021-02-23 Arindam Biswas , Venkatesh Raman , Saket Saurabh

We present subquadratic algorithms in the algebraic decision-tree model for several \textsc{3Sum}-hard geometric problems, all of which can be reduced to the following question: Given two sets $A$, $B$, each consisting of $n$ pairwise…

Computational Geometry · Computer Science 2021-09-17 Boris Aronov , Mark de Berg , Jean Cardinal , Esther Ezra , John Iacono , Micha Sharir

Given a 0-dimensional affine K-algebra R=K[x_1,...,x_n]/I, where I is an ideal in a polynomial ring K[x_1,...,x_n] over a field K, or, equivalently, given a 0-dimensional affine scheme, we construct effective algorithms for checking whether…

Commutative Algebra · Mathematics 2019-08-07 Martin Kreuzer , Le Ngoc Long , Lorenzo Robbiano

Segment Routing is a recent network technology that helps optimizing network throughput by providing finer control over the routing paths. Instead of routing directly from a source to a target, packets are routed via intermediate waypoints.…

Computational Complexity · Computer Science 2025-01-08 Cristina Bazgan , Morgan Chopin , André Nichterlein , Camille Richer

We study the problem of learning an unknown graph provided via an oracle using a quantum algorithm. We consider three query models. In the first model ("OR queries"), the oracle returns whether a given subset of the vertices contains any…

Quantum Physics · Physics 2021-01-26 Ashley Montanaro , Changpeng Shao

We study ranked enumeration of join-query results according to very general orders defined by selective dioids. Our main contribution is a framework for ranked enumeration over a class of dynamic programming problems that generalizes…

Databases · Computer Science 2020-09-15 Nikolaos Tziavelis , Deepak Ajwani , Wolfgang Gatterbauer , Mirek Riedewald , Xiaofeng Yang

We provide algorithms for performing computations in generalized numerical semigroups, that is, submonoids of $\mathbb{N}^{d}$ with finite complement in $\mathbb{N}^{d}$. These semigroups are affine semigroups, which in particular implies…

Combinatorics · Mathematics 2019-11-22 Carmelo Cisto , Manuel Delgado , Pedro A. García-Sánchez

A semi-algebraic set is a subset of $\mathbb{R}^n$ defined by a finite collection of polynomial equations and inequalities. In this paper, we investigate the problem of determining whether two points in such a set belong to the same…

Symbolic Computation · Computer Science 2025-03-18 Cordian. Riener , Robin Schabert , Thi Xuan Vu

Let $D$ be a digraph. We define the minimum semi-degree of $D$ as $\delta^{0}(D) := \min \{\delta^{+}(D), \delta^{-}(D)\}$. Let $k$ be a positive integer, and let $S = \{s\}$ and $T = \{t_{1}, \dots ,t_{k}\}$ be any two disjoint subsets of…

Combinatorics · Mathematics 2022-08-22 Ansong Ma , Yuefang Sun , Xiaoyan Zhang

Let $\mathcal{C}$ be a plane curve given by an equation $f(x,y)=0$ with $f\in K[x][y]$ a monic squarefree polynomial. We study the problem of computing an integral basis of the algebraic function field $K(\mathcal{C})$ and give new…

Symbolic Computation · Computer Science 2020-05-11 Simon Abelard

The discrete logarithm problem in a finite group is the basis for many protocols in cryptography. The best general algorithms which solve this problem have time complexity of $\mathcal{O}(\sqrt{N}\log N)$, and a space complexity of…

Computational Complexity · Computer Science 2022-03-16 Simran Tinani , Joachim Rosenthal