Quasipolynomial Time Algorithm
   HOME

TheInfoList



OR:

In
mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, a quasi-polynomial (pseudo-polynomial) is a generalization of
polynomial In mathematics, a polynomial is an expression consisting of indeterminates (also called variables) and coefficients, that involves only the operations of addition, subtraction, multiplication, and positive-integer powers of variables. An exa ...
s. While the coefficients of a polynomial come from a
ring Ring 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 :(hence) to initiate a telephone connection Arts, entertainment and media Film and ...
, the coefficients of quasi-polynomials are instead
periodic function A periodic function is a function that repeats its values at regular intervals. For example, the trigonometric functions, which repeat at intervals of 2\pi radians, are periodic functions. Periodic functions are used throughout science to desc ...
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 an end in obtaining results, and certain properties of finite structures. It is closely related to many other areas of mathematics and has many appl ...
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 -d ...
P with
rational Rationality is the quality of being guided by or based on reasons. 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 abili ...
vertices v_1,\dots,v_n, define tP to be the
convex hull In geometry, the convex hull or 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 Eugène Ehrhart (29 April 1906 – 17 January 2000) was a French mathematician who introduced Ehrhart polynomial In mathematics, an integral polytope has an associated Ehrhart polynomial that encodes the relationship between the volume of a polyto ...
. * 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 ( and ) that produces a third function (f*g) that expresses how the shape of one is ...
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.


See also

*
Ehrhart polynomial In mathematics, an integral polytope has an associated Ehrhart polynomial that encodes the relationship between the volume of a polytope and the number of integer points the polytope contains. The theory of Ehrhart polynomials can be seen as a highe ...


References

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