English
Related papers

Related papers: An Algorithm for Computing Prime Implicates in Mod…

200 papers

The best deterministic unconditionally proven integer factorization algorithms have exponential running time complexities of O(N^(1/4)) arithmetic operations, and conditional on the Riemann hypothesis, there is a deterministic algorithm of…

Number Theory · Mathematics 2007-07-31 N. A. Carella

The integer complexity $f(n)$ of a positive integer $n$ is defined as the minimum number of 1's needed to represent $n$, using additions, multiplications and parentheses. We present two simple and faster algorithms for computing the integer…

Data Structures and Algorithms · Computer Science 2023-09-14 Qizheng He

We present an improved combinatorial algorithm for the computation of equilibrium prices in the linear Arrow-Debreu model. For a market with $n$ agents and integral utilities bounded by $U$, the algorithm runs in $O(n^7 \log^3 (nU))$ time.…

Data Structures and Algorithms · Computer Science 2015-10-19 Rann Duan , Jugal Garg , Kurt Mehlhorn

In this paper we describe an algorithm for implicitizing rational hypersurfaces in case there exists at most a finite number of base points. It is based on a technique exposed in math.AG/0210096, where implicit equations are obtained as…

Algebraic Geometry · Mathematics 2007-05-23 Laurent Buse , Marc Chardin

An open problem posed by the first author is the complexity to decide whether a sequence of nonnegative integer numbers can be the final score of a football tournament. In this paper we propose polynomial time approximate and exponential…

Discrete Mathematics · Computer Science 2012-07-27 A. Iványi , J. E. Schoenfield

Complex valued systems with an indefinite matrix term arise in important applications such as for certain time-harmonic partial differential equations such as the Maxwell's equation and for the Helmholtz equation. Complex systems with…

Numerical Analysis · Mathematics 2021-10-04 Owe Axelsson , Maeddeh Pourbagher , Davod Khojasteh Salkuyeh

We deal with the fragment of modal logic consisting of implications of formulas built up from the variables and the constant `true' by conjunction and diamonds only. The weaker language allows one to interpret the diamonds as the uniform…

Logic · Mathematics 2013-07-16 Lev Beklemishev

We develop a meta-algorithm that, given a polynomial (in one or more variables), and a prime p, produces a fast (logarithmic time) algorithm that takes a positive integer n and outputs the number of times each residue class modulo p appears…

Combinatorics · Mathematics 2015-03-09 Shalosh B. Ekhad , N. J. A. Sloane , Doron Zeilberger

We study a class of projective transformations of spectraplexes associated with self-dual cones and, on this basis, propose a polynomial-time algorithm for convex feasibility problems with positive definite constraints. At each iteration of…

Optimization and Control · Mathematics 2025-06-19 Sergei Chubanov

In this paper we study a sequence involving the prime numbers by deriving two asymptotic formulas and finding new upper and lower bounds, which improve the currently known estimates.

Number Theory · Mathematics 2015-04-20 Christian Axler

Shapley effects are attracting increasing attention as sensitivity measures. When the value function is the conditional variance, they account for the individual and higher order effects of a model input. They are also well defined under…

Computation · Statistics 2021-10-13 Elmar Plischke , Giovanni Rabitti , Emanuele Borgonovo

We provide an integral representation for the (implied) copulas of dependent random variables in terms of their moment generating functions. The proof uses ideas from Fourier methods for option pricing. This representation can be used for a…

Probability · Mathematics 2014-06-24 Antonis Papapantoleon

We present a numerical iterative optimization algorithm for the minimization of a cost function consisting of a linear combination of three convex terms, one of which is differentiable, a second one is prox-simple and the third one is the…

Optimization and Control · Mathematics 2024-10-04 Ignace Loris , Simone Rebegoldi

We solve the difference equation with linear coefficients by the Momentenansatz to obtain explicit formulas for orthogonal polynomials.

History and Overview · Mathematics 2015-06-23 Alexander Aycock

A method for computing probabilistic propositions is presented. It assumes the availability of a single external routine for computing the probability of one instantiated variable, given a conjunction of other instantiated variables. In…

Artificial Intelligence · Computer Science 2013-04-11 Gregory F. Cooper

We consider the computation of the matrix logarithm by using numerical quadrature. The efficiency of numerical quadrature depends on the integrand and the choice of quadrature formula. The Gauss--Legendre quadrature has been conventionally…

Numerical Analysis · Mathematics 2019-09-09 Fuminori Tatsuoka , Tomohiro Sogabe , Yuto Miyatake , Shao-Liang Zhang

Solving linear systems and computing eigenvalues are two fundamental problems in linear algebra. For solving linear systems, many efficient quantum algorithms have been discovered. For computing eigenvalues, currently, we have efficient…

Quantum Physics · Physics 2020-09-22 Changpeng Shao

Assuming a uniform $q$-variant of the prime $k$-tuple conjecture, we compute moments of the number of primes in arithmetic progressions to a large modulus $q$ as the residue classes vary. Consequently, depending on the size of $\varphi(q)$,…

Number Theory · Mathematics 2025-07-08 Sun-Kai Leung

In this paper, we propose an inertial accelerated primal-dual method for the linear equality constrained convex optimization problem. When the objective function has a ``nonsmooth + smooth'' composite structure, we further propose an…

Optimization and Control · Mathematics 2021-06-30 Xin He , Rong Hu , Ya-Ping Fang

We consider the problem of planning with participation constraints introduced in [Zhang et al., 2022]. In this problem, a principal chooses actions in a Markov decision process, resulting in separate utilities for the principal and the…

Computer Science and Game Theory · Computer Science 2022-05-17 Hanrui Zhang , Yu Cheng , Vincent Conitzer