中文
相关论文

相关论文: First Steps in Algorithmic Fewnomial Theory

200 篇论文

Ranking entities such as algorithms, devices, methods, or models based on their performances, while accounting for application-specific preferences, is a challenge. To address this challenge, we establish the foundations of a universal…

机器学习 · 计算机科学 2026-03-25 Sébastien Piérard , Anaïs Halin , Anthony Cioppa , Adrien Deliège , Marc Van Droogenbroeck

Numerous problems of analysis (real and complex) and geometry (analytic, algebraic, Diophantine e.a.) can be reduced to calculation of the ``number of solutions'' of systems of equations, defined by algebraic equalities and differential…

经典分析与常微分方程 · 数学 2023-02-08 Dmitry Novikov , Sergei Yakovenko

We develop a fast algorithm for computing the bound of an Ore polynomial over a skew field, under mild conditions. As an application, we state a criterion for deciding whether a bounded Ore polynomial is irreducible, and we discuss a…

环与代数 · 数学 2018-04-12 Jose Gomez-Torrecillas , F. J. Lobillo , Gabriel Navarro

Consider real bivariate polynomials f and g, respectively having 3 and m monomial terms. We prove that for all m>=3, there are systems of the form (f,g) having exactly 2m-1 roots in the positive quadrant. Even examples with m=4 having 7…

代数几何 · 数学 2007-09-18 Joel Gomez , Andrew Niles , J. Maurice Rojas

This document contains notes based on lectures given by Hendrik Lenstra at the PCMI summer school 2022. There are many problems in algebraic number theory which one would like to solve algorithmically, for example computation of the maximal…

数论 · 数学 2025-02-27 Daniël M. H. van Gent

We present a deterministic algorithm which computes the multilinear factors of multivariate lacunary polynomials over number fields. Its complexity is polynomial in $\ell^n$ where $\ell$ is the lacunary size of the input polynomial and $n$…

符号计算 · 计算机科学 2020-04-22 Arkadev Chattopadhyay , Bruno Grenet , Pascal Koiran , Natacha Portier , Yann Strozecki

The problem of high-dimensional path-dependent optimal stopping (OS) is important to multiple academic communities and applications. Modern OS tasks often have a large number of decision epochs, and complicated non-Markovian dynamics,…

概率论 · 数学 2024-05-16 David A. Goldberg , Yilun Chen

The study of semifeasible algorithms was initiated by Selman's work a quarter of century ago [Sel79,Sel81,Sel82]. Informally put, this research stream studies the power of those sets L for which there is a deterministic (or in some cases,…

计算复杂性 · 计算机科学 2007-05-23 Piotr Faliszewski , Lane A. Hemaspaandra

Reasoning under uncertainty is a fundamental challenge in Artificial Intelligence. As with most of these challenges, there is a harsh dilemma between the expressive power of the language used, and the tractability of the computational…

人工智能 · 计算机科学 2025-05-08 Luise Ge , Brendan Juba , Kris Nilsson

We introduce a new approach to isolate the real roots of a square-free polynomial $F=\sum_{i=0}^n A_i x^i$ with real coefficients. It is assumed that each coefficient of $F$ can be approximated to any specified error bound. The presented…

数据结构与算法 · 计算机科学 2015-03-17 Michael Sagraloff

We give a {\em deterministic} algorithm for approximately computing the fraction of Boolean assignments that satisfy a degree-$2$ polynomial threshold function. Given a degree-2 input polynomial $p(x_1,\dots,x_n)$ and a parameter $\eps >…

计算复杂性 · 计算机科学 2013-11-28 Anindya De , Ilias Diakonikolas , Rocco A. Servedio

Let $f(x_1,...,x_k)$ be a polynomial over a field $K$. This paper considers such questions as the enumeration of the number of nonzero coefficients of $f$ or of the number of coefficients equal to $\alpha\in K^*$. For instance, if $K=\ff_q$…

组合数学 · 数学 2008-11-25 Tewodros Amdeberhan , Richard P. Stanley

In this article we survey recent progress in the algorithmic theory of matrix semigroups. The main objective in this area of study is to construct algorithms that decide various properties of finitely generated subsemigroups of an infinite…

离散数学 · 计算机科学 2023-09-21 Ruiwen Dong

We consider the average-case complexity of some otherwise undecidable or open Diophantine problems. More precisely, consider the following: (I) Given a polynomial f in Z[v,x,y], decide the sentence \exists v \forall x \exists y f(v,x,y)=0,…

数论 · 数学 2025-10-20 J. Maurice Rojas

We provide two families of algorithms to compute characteristic polynomials of endomorphisms and norms of isogenies of Drinfeld modules. Our algorithms work for Drinfeld modules of any rank, defined over any base curve. When the base curve…

符号计算 · 计算机科学 2024-11-19 Xavier Caruso , Antoine Leudière

Computation biology helps to understand all processes in organisms from interaction of molecules to complex functions of whole organs. Therefore, there is a need for mathematical methods and models that deliver logical explanations in a…

分子网络 · 定量生物学 2018-10-10 Ines Abdeljaoued-Tej , Alia BenKahla , Ghassen Haddad , Annick Valibouze

There are many classical problems in P whose time complexities have not been improved over the past decades. Recent studies of "Hardness in P" have revealed that, for several of such problems, the current fastest algorithm is the best…

数据结构与算法 · 计算机科学 2017-10-24 Yoichi Iwata , Tomoaki Ogasawara , Naoto Ohsaka

To date, quantum computational algorithms have operated on a superposition of all basis states of a quantum system. Typically, this is because it is assumed that some function f is known and implementable as a unitary evolution. However,…

量子物理 · 物理学 2007-05-23 Dan Ventura , Tony Martinez

New algorithms for prime factorization that outperform the existing ones or take advantage of particular properties of the prime factors can have a practical impact on present implementations of cryptographic algorithms that rely on the…

密码学与安全 · 计算机科学 2022-09-26 Alberto Montina , Stefan Wolf

We study the problem of computing the rank of a divisor on a finite graph, a quantity that arises in the Riemann-Roch theory on a finite graph developed by Baker and Norine (Advances of Mathematics, 215(2): 766-788, 2007). Our work consists…

组合数学 · 数学 2011-12-01 Madhusudan Manjunath