Quasipolynomial Time Algorithm
   HOME

TheInfoList



OR:

In
mathematics Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, a quasi-polynomial (pseudo-polynomial) is a generalization of
polynomial In mathematics, a polynomial is a Expression (mathematics), mathematical expression consisting of indeterminate (variable), indeterminates (also called variable (mathematics), variables) and coefficients, that involves only the operations of addit ...
s. While the coefficients of a polynomial come from a
ring (The) Ring(s) may refer to: * Ring (jewellery), a round band, usually made of metal, worn as ornamental jewelry * To make a sound with a bell, and the sound made by a bell Arts, entertainment, and media Film and TV * ''The Ring'' (franchise), a ...
, the coefficients of quasi-polynomials are instead
periodic function A periodic function, also called a periodic waveform (or simply periodic wave), is a function that repeats its values at regular intervals or periods. The repeatable part of the function or waveform is called a ''cycle''. For example, the t ...
s with integral period. Quasi-polynomials appear throughout much of
combinatorics Combinatorics is an area of mathematics primarily concerned with counting, both as a means and as an end to obtaining results, and certain properties of finite structures. It is closely related to many other areas of mathematics and has many ...
as the enumerators for various objects. A quasi-polynomial can be written as q(k) = c_d(k) k^d + c_(k) k^ + \cdots + c_0(k), where c_i(k) is a periodic function with integral period. If c_d(k) is not identically zero, then the degree of q is d. Equivalently, a function f \colon \mathbb \to \mathbb is a quasi-polynomial if there exist polynomials p_0, \dots, p_ such that f(n) = p_i(n) when i \equiv n \bmod s. The polynomials p_i are called the constituents of f.


Examples

* Given a d-dimensional
polytope In elementary geometry, a polytope is a geometric object with flat sides ('' faces''). Polytopes are the generalization of three-dimensional polyhedra to any number of dimensions. Polytopes may exist in any general number of dimensions as an ...
P with
rational Rationality is the quality of being guided by or based on reason. In this regard, a person acts rationally if they have a good reason for what they do, or a belief is rational if it is based on strong evidence. This quality can apply to an ...
vertices v_1,\dots,v_n, define tP to be the
convex hull In geometry, the convex hull, convex envelope or convex closure of a shape is the smallest convex set that contains it. The convex hull may be defined either as the intersection of all convex sets containing a given subset of a Euclidean space, ...
of tv_1,\dots,tv_n. The function L(P,t) = \#(tP \cap \mathbb^d) is a quasi-polynomial in t of degree d. In this case, L(P,t) is a function \mathbb \to \mathbb. This is known as the Ehrhart quasi-polynomial, named after Eugène Ehrhart. * Given two quasi-polynomials F and G, the
convolution In mathematics (in particular, functional analysis), convolution is a operation (mathematics), mathematical operation on two function (mathematics), functions f and g that produces a third function f*g, as the integral of the product of the two ...
of F and G is :: (F*G)(k) = \sum_^k F(m)G(k-m) :which is a quasi-polynomial with degree \le \deg F + \deg G + 1.


References

* Stanley, Richard P. (1997)
''Enumerative Combinatorics'', Volume 1
Cambridge University Press. , 0-521-56069-1. Polynomials Algebraic combinatorics {{polynomial-stub