Method for Obtaining Coefficients of Powers of Bivariate Generating Functions

Abstract

In this paper, we study methods for obtaining explicit formulas for the coefficients of generating functions. To solve this problem, we consider the methods that are based on using the powers of generating functions. We propose to generalize the concept of compositae to the case of generating functions in two variables and define basic operations on such compositae: composition, addition, multiplication, reciprocation and compositional inversion. These operations allow obtaining explicit formulas for compositae and coefficients of bivariate generating functions. In addition, we present several examples of applying the obtained results for getting explicit formulas for the coefficients of bivariate generating functions. The introduced mathematical apparatus can be used for solving different problems that are related to the theory of generating functions.

1. Introduction

Generating functions are a widely used and powerful tool for solving problems in combinatorics, mathematical analysis, statistics, etc. For example, methods of the theory of generating functions are used for solving problems in combinatorics, since generating functions allow obtaining a compact representation of discrete structures and process them. For the first time, methods of generating functions were applied by de Moivre to solve recurrence equations. Next, Euler expanded the methods of generating functions for solving research problems related to partitions. In this case, a generating function through its coefficients shows the value for some special numbers that have combinatorial interpretations. Great contributions to the development of methods of generating functions and their application for solving mathematical problems in combinatorics were made by Riordan [1], Comtet [2], Flajolet and Sedgewick [3], Wilf [4], Stanley [5], Egorychev [6], Lando [7] and other scientists.

Moreover, generating functions are the main means of describing polynomials. Polynomials are one of the basic mathematical objects, and they are used in different areas of pure and applied mathematics. In this case, the coefficients of the generating function for a polynomial show the form of the polynomial for the fixed values of its parameters. Many studies present various properties of polynomials and their generating functions (e.g., those by Boas and Buck [8], Roman [9], Srivastava [10,11,12] and Simsek [13,14,15]).

The development of new methods for obtaining explicit formulas for the coefficients of generating functions is relevant research trend. The solution of this problem allows finding explicit formulas for special numbers and polynomials that are described by these generating functions. Different approaches for solving this problem can be found in papers by the following authors: Srivastava [16,17], Boyadzhiev [18], Cenkci [19] and other scientists.

Note that many research papers that are devoted to combinatorial problems and generating functions use the coefficients of the powers of generating functions. The coefficients of the powers of generating functions were first obtained by Euler when he obtained the coefficient function for ${(1+x+x^2+\dots +x^n+\dots )}^k$. The Binomial theorem, which is also the power of the generating function $(x+y)$, was known even before de Moivre and Euler’s works were published. In addition, the coefficients of the powers of generating functions play an important role in performing the composition of the generating functions.

The following concepts are related to the coefficients of the powers of generating functions:

• Potential polynomials introduced by Comtet [2]: The potential polynomial $P_n^{\left(k\right)}$ is the kth power of an exponential generating function (k is a complex number):

  $${\left(1+\sum _{n>0}{g}_n\frac{x^n}{n!}\right)}^k=1+\sum _{n>0}{P}_n^{\left(k\right)}\frac{x^n}{n!}.$$
  For the coefficients of potential polynomials, there is a relationship with the Bell polynomials, but operations on such polynomials are not defined.
• Riordan arrays introduced by Shapiro et al. [20]: A Riordan array is a pair of generating functions $D=\left(F\right(x),G(x\left)\right)$ where $F\left(x\right)=\sum _{n\ge 0}f\left(n\right)x^n$ and $G\left(x\right)=\sum _{n>0}g\left(n\right)x^n$. It forms an infinite matrix $D={\left(d_{n,k}\right)}_{n,k\ge 0}$ where $d_{n,k}=\left[x^n\right]F\left(x\right)G{\left(x\right)}^k$. If we consider the associated subgroup of the Riordan group $D=(1,G(x\left)\right)$, then we get $d_{n,k}=\left[x^n\right]G{\left(x\right)}^k$ or

  $$G{\left(x\right)}^k=\sum _{n\ge k}{d}_{n,k}{x}^n.$$
  However, there are no universal rules for obtaining explicit formulas for $d_{n,k}$.
• Power matrices introduced by Knuth [21]: The power matrix of a given power series $V\left(x\right)=V_{1}x+V_2{x}^2+\dots$ is the infinite array of coefficients $v_{n,k}=\frac{n!}{k!}\left[x^n\right]V{\left(x\right)}^k$. Thus, the kth power of $V\left(x\right)$ can be presented in the form

  $$V{\left(x\right)}^k=\sum _{n\ge k}\frac{k!}{n!}{v}_{n,k}{x}^n.$$
  In addition, there are formulas for obtaining the coefficients $w_{n,k}$ for the composition of power series $W\left(z\right)=U\left(V\right(z\left)\right)$ and for a power series of the form $W\left(x\right)=\alpha U\left(\beta x\right)$. However, the development of this mathematical apparatus is not presented.
• Compositae introduced by Kruchinin [22,23]: The composita $F^{\Delta }(n,k)$ of a generating function $F\left(x\right)=\sum _{n>0}f(n,k)x^n$ is a coefficients function of its kth power:

  $$F{\left(x\right)}^k=\sum _{n\ge k}{F}^{\Delta }(n,k)x^n.$$
  For two generating functions $F\left(x\right)$ and $G\left(x\right)$ and their compositae $F^{\Delta }(n,k)$ and $G^{\Delta }(n,k)$, we can find the composita $A^{\Delta }(n,k)$ of the generating function $A\left(x\right)$ for the following cases:
  • addition of generating functions: $A\left(x\right)=F\left(x\right)+G\left(x\right)$;
  • multiplication of generating functions: $A\left(x\right)=F\left(x\right)·G\left(x\right)$;
  • composition of generating functions: $A\left(x\right)=G\left(F\right(x\left)\right)$;
  • reciprocation of generating functions: $A\left(x\right)·F\left(x\right)=1$;
  • compositional inversion of generating functions: $F\left(A\right(x\left)\right)=x$.
  In this way, it is possible to obtain an explicit formula for the composita for various types of generating functions.

It is also worth noting the results derived by M. Drmota [24] and aimed at obtaining an asymptotic expansion of the coefficients of the powers of generating functions.

However, all these concepts mainly consider generating functions in one variable, while there are many problems associated with generating functions in several variables (multivariate generating functions). Attempts to systematize the process of finding the coefficients of multivariate generating functions were made by Pemantle et al. [25], but they also investigated asymptotic methods for solving this problem. More on asymptotics derived from multivariate generating functions can be found in [26].

To solve this problem explicitly, we propose to generalize the concept of compositae to the case of generating functions in two variables (bivariate generating functions). The effectiveness of applying compositae is shown in obtaining explicit formulas for the coefficients of many ordinary generating functions that are related to special numbers and polynomials [27,28,29,30,31,32,33,34]. This research aims to improve and extend the original method.

The organization of this paper is as follows. Section 2 is devoted to a brief description of the proposed generalization of the concept of compositae. In Section 3, we introduce basic operations on compositae of bivariate generating functions: composition, addition, multiplication, reciprocation and compositional inversion. To confirm the effectiveness of using the proposed generalization of the concept of compositae, we present several examples of finding explicit formulas for coefficients of bivariate generating functions. The obtained results are shown in Section 4.

2. Composita of a Multivariate Generating Function

A multivariate generating function is the following formal power series:

$$F(x,y,\dots ,z)=\sum _{n\ge 0}\sum _{m\ge 0}\dots \sum _{l\ge 0}f(n,m,\dots ,k)x^n{y}^m\cdots z^l.$$

By $ord\left(F\right)$, we denote the order of a formal power series $F(x,y,\dots ,z)$, which is defined as follows [35]:

$$ord\left(F\right)=\left\{\begin{array}{cc}min\{r=n+m+\dots +l:f(n,m,\dots ,l)\ne 0\},\hfill & \mathrm{if}F(x,y,\dots ,z)\ne 0;\hfill \\ +\infty ,\hfill & \mathrm{if}F(x,y,\dots ,z)=0.\hfill \end{array}\right.$$

For two formal power series $F(x,y,\dots ,z)$ and $G(x,y,\dots ,z)$ with $ord\left(F\right)>0$ and $ord\left(G\right)>0$, the order of $F(x,y,\dots ,z)·G(x,y,\dots ,z)$ is

$$ord(F·G)=ord\left(F\right)+ord\left(G\right).$$

(1)

For a formal power series $F(x,y,\dots ,z)$ with $ord\left(F\right)>0$, the order of $F{(x,y,\dots ,z)}^k$, $k\in \mathbb{N}$, satisfies the inequality

$$ord\left(F^k\right)\ge k.$$

(2)

Next, we consider the coefficients of the kth power of a multivariate generating function

$$F{(x,y,\dots ,z)}^k=\sum _{n\ge 0}\sum _{m\ge 0}\dots \sum _{l\ge 0}f(n,m,\dots ,l,k)x^n{y}^m\cdots z^l,$$

where $k\in {\mathbb{N}}_0$.

In general, to calculate the coefficients $f(n,m,\dots ,l,k)$, we can use the method based on the following formula:

$$f(n,m,\dots ,l,k)=\sum _{{\eta }_1+{\eta }_2+\dots +{\eta }_k=n}\left(\sum _{{\mu }_1+{\mu }_2+\dots +{\mu }_k=m}\left(\dots \left(\sum _{{\lambda }_1+{\lambda }_2+\dots +{\lambda }_k=l}\left(\prod _{i=1}^{k}f({\eta }_i,{\mu }_i,\dots ,{\lambda }_i)\right)\right)\dots \right)\right),$$

where ${\eta }_i,{\mu }_i,\dots ,{\lambda }_i\in {\mathbb{N}}_0$.

Definition 1.

The composita $F^{\Delta }(n,m,\dots ,l,k)$ of a multivariate generating function

$$F(x,y,\dots ,z)=\sum _{n\ge 0}\sum _{m\ge 0}\dots \sum _{l\ge 0}f(n,m,\dots ,k)x^n{y}^m\cdots z^l,ord\left(F\right)\ge 1,$$

is a coefficients function of the kth power of the generating function $F(x,y,\dots ,z)$:

$$F{(x,y,\dots ,z)}^k=\sum _{n\ge 0}\sum _{m\ge 0}\dots \sum _{l\ge 0}{F}^{\Delta }(n,m,\dots ,l,k)x^n{y}^m\cdots z^l.$$

In addition, we set the following condition: $F{(x,y,\dots ,z)}^0=1$.

Hence, the composita $F^{\Delta }(n,m,\dots ,l,k)$ for $k=0$ is defined as follows:

$$F^{\Delta }(n,m,\dots ,l,0)=\left\{\begin{array}{cc}1,\hfill & \mathrm{if}n=m=\dots =l=0;\hfill \\ 0,\hfill & \mathrm{otherwise}.\hfill \end{array}\right.$$

We can also write a recurrence for calculating compositae for $k>0$

$$F^{\Delta }(n,m,\dots ,l,k)=\left\{\begin{array}{cc}f(n,m,\dots ,l),\hfill & \mathrm{if}k=1;\hfill \\ \sum _{i=0}^n\sum _{j=0}^m\dots \sum _{s=0}^{l}f(i,j,\dots ,s)F^{\Delta }(n-i,m-j,\dots ,l-s,k-1),\hfill & \mathrm{if}k>1,\hfill \end{array}\right.$$

that is based on using the convolution operation for

$$F{(x,y,\dots ,z)}^k=F(x,y,\dots ,z)F{(x,y,\dots ,z)}^{k-1},F{(x,y,\dots ,z)}^0=1.$$

3. Operations on Compositae of Bivariate Generating Functions

A bivariate generating function is the following formal power series:

$$F(x,y)=\sum _{n\ge 0}\sum _{m\ge 0}f(n,m)x^n{y}^m.$$

Using the concept of compositae, the kth power of the bivariate generating function $F(x,y)$, with $ord\left(F\right)\ge 1$, can be presented as follows:

$$F{(x,y)}^k=\sum _{n\ge 0}\sum _{m\ge 0}{F}^{\Delta }(n,m,k)x^n{y}^m.$$

Next, we introduce basic operations on compositae of bivariate generating functions: composition, addition, multiplication, reciprocation and compositional inversion. These operations allow obtaining explicit formulas for compositae and coefficients of bivariate generating functions.

3.1. Composition of Bivariate Generating Functions

Theorem 1.

Suppose that:

$$H(x,y)=\sum _{n\ge 0}\sum _{m\ge 0}h(n,m)x^n{y}^m,$$

$$A{(x,y)}^k=\sum _{n\ge 0}\sum _{m\ge 0}{A}^{\Delta }(n,m,k)x^n{y}^m,ord\left(A\right)\ge 1,$$

$$B{(x,y)}^k=\sum _{n\ge 0}\sum _{m\ge 0}{B}^{\Delta }(n,m,k)x^n{y}^m,ord\left(B\right)\ge 1.$$

Then, the coefficients $g(n,m)$ of the composition of the bivariate generating functions

$$G(x,y)=H(A(x,y),B(x,y))=\sum _{n\ge 0}\sum _{m\ge 0}g(n,m)x^n{y}^m$$

are equal to

$$g(n,m)=\sum _{k_a=0}^{n+m}\sum _{k_b=0}^{n+m-k_a}h(k_a,k_b)\sum _{i=0}^n\sum _{j=0}^m{A}^{\Delta }(i,j,k_a)B^{\Delta }(n-i,m-j,k_b).$$

(3)

Proof. 

Consider the given composition of bivariate generating functions

$$G(x,y)=H(A(x,y),B(x,y))=\sum _{n\ge 0}\sum _{m\ge 0}h(n,m)A{(x,y)}^{n}B{(x,y)}^m.$$

Next, we represent the end part of this generating function as follows:

$$C(x,y)=A{(x,y)}^{k_a}B{(x,y)}^{k_b}=\sum _{n\ge 0}\sum _{m\ge 0}c(n,m,k_a,k_b)x^n{y}^m.$$

To obtain an explicit formula for the coefficients $c(n,m,k_a,k_b)$, we apply the convolution operation and get

$$c(n,m,k_a,k_b)=\sum _{i=0}^n\sum _{j=0}^m{A}^{\Delta }(i,j,k_a)B^{\Delta }(n-i,m-j,k_b).$$

(4)

Using Equation (1) and Inequality (2), we also have

$$ord\left(A{(x,y)}^{n}B{(x,y)}^m\right)\ge n+m.$$

Then, taking into account the restriction for the indices of summation

$$k_a+k_b\le n+m,$$

we can construct the following two summation schemes for obtaining the coefficients $g(n,m)$:

$$g(n,m)=\sum _{k_a=0}^{n+m}\sum _{k_b=0}^{n+m-k_a}h(k_a,k_b)c(n,m,k_a,k_b)$$

or

$$g(n,m)=\sum _{k_b=0}^{n+m}\sum _{k_a=0}^{n+m-k_b}h(k_a,k_b)c(n,m,k_a,k_b).$$

Combining the formula for $g(n,m)$ with Equation (4), we obtain the desired result presented in Equation (3). □

Table 1 presents the obtained results for special cases of using the results of Theorem 1 for a bivariate generating function $G(x,y)$ that is presented as the composition of bivariate and ordinary generating functions.

Table 1. Special cases of using the results of Theorem 1.

Composition	Coefficient
$G(x,y)=H\left(A\right(x,y),B(x,y\left)\right)$	$g(n,m)=\sum _{k_a=0}^{n+m}\sum _{k_b=0}^{n+m-k_a}h(k_a,k_b)\sum _{i=0}^n\sum _{j=0}^m{A}^{\Delta }(i,j,k_a)B^{\Delta }(n-i,m-j,k_b)$
$G(x,y)=H\left(A\right(x,y),B(y\left)\right)$	$g(n,m)=\sum _{k_a=0}^{n+m}\sum _{k_b=0}^{n+m-k_a}h(k_a,k_b)\sum _{j=0}^m{A}^{\Delta }(n,j,k_a)B^{\Delta }(m-j,k_b)$
$G(x,y)=H\left(A\right(y),B(x,y\left)\right)$	$g(n,m)=\sum _{k_a=0}^{n+m}\sum _{k_b=0}^{n+m-k_a}h(k_a,k_b)\sum _{j=0}^m{A}^{\Delta }(j,k_a)B^{\Delta }(n,m-j,k_b)$
$G(x,y)=H\left(A\right(x,y),B(x\left)\right)$	$g(n,m)=\sum _{k_a=0}^{n+m}\sum _{k_b=0}^{n+m-k_a}h(k_a,k_b)\sum _{i=0}^n{A}^{\Delta }(i,m,k_a)B^{\Delta }(n-i,k_b)$
$G(x,y)=H\left(A\right(x),B(x,y\left)\right)$	$g(n,m)=\sum _{k_a=0}^{n+m}\sum _{k_b=0}^{n+m-k_a}h(k_a,k_b)\sum _{i=0}^n{A}^{\Delta }(i,k_a)B^{\Delta }(n-i,m,k_b)$
$G(x,y)=H\left(A\right(x,y),y)$	$g(n,m)=\sum _{k_a=0}^{n+m}\sum _{k_b=0}^{n+m-k_a}h(k_a,k_b)A^{\Delta }(n,m-k_b,k_a)$
$G(x,y)=H(y,B(x,y\left)\right)$	$g(n,m)=\sum _{k_a=0}^{n+m}\sum _{k_b=0}^{n+m-k_a}h(k_a,k_b)B^{\Delta }(n,m-k_a,k_b)$
$G(x,y)=H\left(A\right(x,y),x)$	$g(n,m)=\sum _{k_a=0}^{n+m}\sum _{k_b=0}^{n+m-k_a}h(k_a,k_b)A^{\Delta }(n-k_b,m,k_a)$
$G(x,y)=H(x,B(x,y\left)\right)$	$g(n,m)=\sum _{k_a=0}^{n+m}\sum _{k_b=0}^{n+m-k_a}h(k_a,k_b)B^{\Delta }(n-k_a,m,k_b)$
$G(x,y)=H\left(A\right(x),B(y\left)\right)$	$g(n,m)=\sum _{k_a=0}^n\sum _{k_b=0}^{m}h(k_a,k_b)A^{\Delta }(n,k_a)B^{\Delta }(m,k_b)$
$G(x,y)=H\left(A\right(x),y)$	$g(n,m)=\sum _{k=0}^{n}h(k,m)A^{\Delta }(n,k)$
$G(x,y)=H(x,B(y\left)\right)$	$g(n,m)=\sum _{k=0}^{m}h(n,k)B^{\Delta }(m,k)$
$G(x,y)=H\left(A\right(x,y\left)\right)$	$g(n,m)=\sum _{k=0}^{n+m}h\left(k\right)A^{\Delta }(n,m,k)$

Next, we consider the process of finding coefficients for the kth power of a bivariate generating function that is obtained using the composition of bivariate generating functions. This result can be derived by generalizing the bivariate generating function $H(x,y)$ from Theorem 1 to the case of its kth power. The obtained result is presented in Theorem 2.

Theorem 2.

Suppose that:

$$H{(x,y)}^k=\sum _{n\ge 0}\sum _{m\ge 0}h(n,m,k)x^n{y}^m,$$

$$A{(x,y)}^k=\sum _{n\ge 0}\sum _{m\ge 0}{A}^{\Delta }(n,m,k)x^n{y}^m,ord\left(A\right)\ge 1,$$

$$B{(x,y)}^k=\sum _{n\ge 0}\sum _{m\ge 0}{B}^{\Delta }(n,m,k)x^n{y}^m,ord\left(B\right)\ge 1.$$

Then, the coefficients $g(n,m,k)$ of the kth power of the composition of the bivariate generating functions

$$G{(x,y)}^k=H{(A(x,y),B(x,y))}^k=\sum _{n\ge 0}\sum _{m\ge 0}g(n,m,k)x^n{y}^m$$

are equal to

$$g(n,m,k)=\sum _{k_a=0}^{n+m}\sum _{k_b=0}^{n+m-k_a}h(k_a,k_b,k)\sum _{i=0}^n\sum _{j=0}^m{A}^{\Delta }(i,j,k_a)B^{\Delta }(n-i,m-j,k_b).$$

(5)

Proof. 

The proof of Theorem 2 is similar to the proof of Theorem 1. □

Corollary 1.

Suppose that:

$$H{(x,y)}^k=\sum _{n\ge 0}\sum _{m\ge 0}{H}^{\Delta }(n,m,k)x^n{y}^m,ord\left(H\right)\ge 1,$$

$$A{(x,y)}^k=\sum _{n\ge 0}\sum _{m\ge 0}{A}^{\Delta }(n,m,k)x^n{y}^m,ord\left(A\right)\ge 1,$$

$$B{(x,y)}^k=\sum _{n\ge 0}\sum _{m\ge 0}{B}^{\Delta }(n,m,k)x^n{y}^m,ord\left(B\right)\ge 1.$$

Then, the composita $G^{\Delta }(n,m,k)$ of the composition of the bivariate generating functions

$$G(x,y)=H(A(x,y),B(x,y))=\sum _{n\ge 0}\sum _{m\ge 0}g(n,m)x^n{y}^m$$

is equal to

$$G^{\Delta }(n,m,k)=\sum _{k_a=0}^{n+m}\sum _{k_b=0}^{n+m-k_a}{H}^{\Delta }(k_a,k_b,k)\sum _{i=0}^n\sum _{j=0}^m{A}^{\Delta }(i,j,k_a)B^{\Delta }(n-i,m-j,k_b).$$

(6)

Corollary 1 can be applied for calculating the composita of a given bivariate generating function based on its decomposition into simpler functions. For example, it can be used for addition or multiplication of bivariate generating functions.

3.2. Addition of Bivariate Generating Functions

Theorem 3.

Suppose that:

$$A{(x,y)}^k=\sum _{n\ge 0}\sum _{m\ge 0}{A}^{\Delta }(n,m,k)x^n{y}^m,ord\left(A\right)\ge 1,$$

$$B{(x,y)}^k=\sum _{n\ge 0}\sum _{m\ge 0}{B}^{\Delta }(n,m,k)x^n{y}^m,ord\left(B\right)\ge 1.$$

Then, the composita $G^{\Delta }(n,m,k)$ of the addition of the bivariate generating functions

$$G(x,y)=A(x,y)+B(x,y)=\sum _{n\ge 0}\sum _{m\ge 0}g(n,m)x^n{y}^m$$

is equal to

$$G^{\Delta }(n,m,k)=\sum _{k_a=0}^{n+m}\left(\genfrac{}{}{0pt}{}{k}{k_a}\right)\sum _{i=0}^n\sum _{j=0}^m{A}^{\Delta }(i,j,k_a)B^{\Delta }(n-i,m-j,k-k_a).$$

(7)

Proof. 

Consider a bivariate generating function

$$H(x,y)=x+y$$

and its kth power, that is based on the binomial theorem,

$$H{(x,y)}^k={(x+y)}^k=\sum _{n\ge 0}\sum _{m\ge 0}{H}^{\Delta }(n,m,k)x^n{y}^m=\sum _{n\ge 0}\sum _{m\ge 0}\left(\genfrac{}{}{0pt}{}{k}{n}\right)\delta (m,k-n)x^n{y}^m,$$

where $\delta (i,j)$ is the Kronecker delta function:

$$\delta (i,j)=\left\{\begin{array}{cc}0,\hfill & \mathrm{if}i\ne j;\hfill \\ 1,\hfill & \mathrm{if}i=j.\hfill \end{array}\right.$$

Applying Equation (6) for the composition of generating functions

$$G(x,y)=A(x,y)+B(x,y)=H\left(A\right(x,y),B(x,y\left)\right),$$

we obtain

$$G^{\Delta }(n,m,k)=\sum _{k_a=0}^{n+m}\sum _{k_b=0}^{n+m-k_a}\left(\genfrac{}{}{0pt}{}{k}{k_a}\right)\delta (k_b,k-k_a)\sum _{i=0}^n\sum _{j=0}^m{A}^{\Delta }(i,j,k_a)B^{\Delta }(n-i,m-j,k_b).$$

Using the properties of the Kronecker delta function, we get $k_b=k-k_a$.

Simplifying the formula for $G^{\Delta }(n,m,k)$, we obtain the desired result presented in Equation (7). □

3.3. Multiplication of Bivariate Generating Functions

Theorem 4.

Suppose that:

$$A{(x,y)}^k=\sum _{n\ge 0}\sum _{m\ge 0}{A}^{\Delta }(n,m,k)x^n{y}^m,ord\left(A\right)\ge 1,$$

$$B{(x,y)}^k=\sum _{n\ge 0}\sum _{m\ge 0}{B}^{\Delta }(n,m,k)x^n{y}^m,ord\left(B\right)\ge 1.$$

Then, the composita $G^{\Delta }(n,m,k)$ of the addition of the bivariate generating functions

$$G(x,y)=A(x,y)·B(x,y)=\sum _{n\ge 0}\sum _{m\ge 0}g(n,m)x^n{y}^m$$

is equal to

$$G^{\Delta }(n,m,k)=\sum _{i=0}^n\sum _{j=0}^m{A}^{\Delta }(i,j,k)B^{\Delta }(n-i,m-j,k).$$

(8)

Proof. 

Consider a bivariate generating function

$$H(x,y)=xy$$

and its kth power

$$H{(x,y)}^k={\left(xy\right)}^k=\sum _{n\ge 0}\sum _{m\ge 0}{H}^{\Delta }(n,m,k)x^n{y}^m=\sum _{n\ge 0}\sum _{m\ge 0}\delta (n,k)\delta (m,k)x^n{y}^m.$$

Applying Equation (6) for the composition of generating functions

$$G(x,y)=A(x,y)·B(x,y)=H\left(A\right(x,y),B(x,y\left)\right),$$

we obtain

$$G^{\Delta }(n,m,k)=\sum _{k_a=0}^{n+m}\sum _{k_b=0}^{n+m-k_a}\delta (k_a,k)\delta (k_b,k)\sum _{i=0}^n\sum _{j=0}^m{A}^{\Delta }(i,j,k_a)B^{\Delta }(n-i,m-j,k_b).$$

Using the properties of the Kronecker delta function, we get $k_a=k$, $k_b=k$.

Simplifying the formula for $G^{\Delta }(n,m,k)$, we obtain the desired result presented in Equation (8). □

3.4. Reciprocation of Bivariate Generating Functions

A reciprocal generating function $G(x,y)$ of a bivariate generating function

$$F(x,y)=\sum _{n\ge 0}\sum _{m\ge 0}f(n,m)x^n{y}^m$$

is a formal power series such that satisfies the condition

$$F(x,y)·G(x,y)=1.$$

Theorem 5.

Suppose that:

$$F(x,y)=\sum _{n\ge 0}\sum _{m\ge 0}f(n,m)x^n{y}^m,f(0,0)\ne 0,F{(x,y)}^k=\sum _{n\ge 0}\sum _{m\ge 0}f(n,m,k)x^n{y}^m,$$

$$G(x,y)=\sum _{n\ge 0}\sum _{m\ge 0}g(n,m)x^n{y}^m,g(0,0)\ne 0,G{(x,y)}^k=\sum _{n\ge 0}\sum _{m\ge 0}g(n,m,k)x^n{y}^m,$$

$$F(x,y)·G(x,y)=1.$$

Then, the coefficients $g(n,m,k)$ are equal to

$$g(n,m,k)=\sum _{i=0}^{n+m}\left(\genfrac{}{}{0pt}{}{n+m+k}{i+k}\right)\left(\genfrac{}{}{0pt}{}{i+k-1}{i}\right)\frac{{(-1)}^i}{f{(0,0)}^{i+k}}f(n,m,i).$$

(9)

Proof. 

Consider the kth power of the generating function $G(x,y)$ as the following composition of generating functions:

$$G{(x,y)}^k={\left(\frac{1}{F(x,y)}\right)}^k=\frac{1}{f{(0,0)}^k}{\left(\frac{1}{1+\left(\frac{F(x,y)}{f(0,0)}-1\right)}\right)}^k=\frac{1}{f{(0,0)}^k}H{\left(A(x,y)\right)}^k,$$

where

$$H\left(x\right)=\frac{1}{1+x},H{\left(x\right)}^k=\sum _{n\ge 0}h(n,k)x^n,$$

$$A(x,y)=\frac{F(x,y)}{f(0,0)}-1,A{(x,y)}^k=\sum _{n\ge 0}\sum _{m\ge 0}{A}^{\Delta }(n,m,k)x^n{y}^m.$$

The coefficients $h(n,k)$ can be calculating by

$$h(n,k)={(-1)}^n\left(\genfrac{}{}{0pt}{}{n+k-1}{n}\right).$$

Using the binomial theorem, the composita $A^{\Delta }(n,m,k)$ is equal to

$$A^{\Delta }(n,m,k)=\sum _{i=0}^k\left(\genfrac{}{}{0pt}{}{k}{i}\right)\frac{f(n,m,i)}{f{(0,0)}^i}{(-1)}^{k-i}.$$

Applying Equation (5) for $G(x,y)$, we obtain

$$g(n,m,k)=\frac{1}{f{(0,0)}^k}\sum _{k_a=0}^{n+m}h(k_a,k)A^{\Delta }(n,m,k_a)=\sum _{k_a=0}^{n+m}\sum _{i=0}^{k_a}\left(\genfrac{}{}{0pt}{}{k_a+k-1}{k_a}\right)\left(\genfrac{}{}{0pt}{}{k_a}{i}\right)\frac{f(n,m,i)}{f{(0,0)}^{i+k}}{(-1)}^i.$$

Then, we change the order of summation and get

$$g(n,m,k)=\sum _{i=0}^{n+m}\sum _{k_a=0}^{n+m-i}\left(\genfrac{}{}{0pt}{}{k_a+i+k-1}{k_a+i}\right)\left(\genfrac{}{}{0pt}{}{k_a+i}{i}\right)\frac{f(n,m,i)}{f{(0,0)}^{i+k}}{(-1)}^i.$$

To remove the coefficient $k_a$ from the right binomial coefficient, we transform the binomial coefficient and obtain

$$g(n,m,k)=\sum _{i=0}^{n+m}\sum _{k_a=0}^{n+m-i}\left(\genfrac{}{}{0pt}{}{k_a+i+k-1}{k_a}\right)\left(\genfrac{}{}{0pt}{}{i+k-1}{i}\right)\frac{f(n,m,i)}{f{(0,0)}^{i+k}}{(-1)}^i.$$

Next, we can simplify this formula by using the following identity (Identity (1.49) in [36]):

$$\sum _{k_a=0}^{n+m-i}\left(\genfrac{}{}{0pt}{}{k_a+i+k-1}{k_a}\right)=\left(\genfrac{}{}{0pt}{}{n+m+k}{n+m-i}\right).$$

Thus, we obtain the desired result presented in Equation (9). □

3.5. Compositional Inversion of Bivariate Generating Functions

A compositional inverse $\overline{F}(x,y)$ of a bivariate generating function

$$F(x,y)=\sum _{n\ge 0}\sum _{m\ge 0}f(n,m)x^n{y}^m$$

with respect to the variable x is a formal power series such that satisfies the condition

$$F(\overline{F}(x,y),y)=x.$$

Theorem 6.

Suppose that:

$$F(x,y)=\sum _{n\ge 0}\sum _{m\ge 0}f(n,m)x^n{y}^m,f(0,0)=0,F{(x,y)}^k=\sum _{n\ge 0}\sum _{m\ge 0}{F}^{\Delta }(n,m,k)x^n{y}^m,$$

$$\overline{F}(x,y)=\sum _{n\ge 0}\sum _{m\ge 0}\overline{f}(n,m)x^n{y}^m,\overline{f}(0,0)=0,\overline{F}{(x,y)}^k=\sum _{n\ge 0}\sum _{m\ge 0}{\overline{F}}^{\Delta }(n,m,k)x^n{y}^m,$$

$$F(\overline{F}(x,y),y)=x.$$

Then, the composita ${\overline{F}}^{\Delta }(n,m,k)$ is equal to

$${\overline{F}}^{\Delta }(n,m,k)=\frac{k}{n}\sum _{i=0}^{n+m}\left(\genfrac{}{}{0pt}{}{2n+m-k}{i+n}\right)\left(\genfrac{}{}{0pt}{}{i+n-1}{i}\right)\frac{{(-1)}^i}{f{(1,0)}^{i+n}}{F}^{\Delta }(i+n-k,m,i).$$

(10)

Proof. 

Using the Lagrange inversion theorem [37] for the functional equation

$$\overline{F}(x,y)=xG(\overline{F}(x,y),y),$$

where

$$G(x,y)=\sum _{n\ge 0}\sum _{m\ge 0}g(n,m)x^n{y}^m,g(0,0)\ne 0,G{(x,y)}^k=\sum _{n\ge 0}\sum _{m\ge 0}g(n,m,k)x^n{y}^m,$$

we obtain

$${\overline{F}}^{\Delta }(n,m,k)=\frac{k}{n}g(n-k,m,n).$$

(11)

In addition, we can represent this functional equation as follows:

$$x=\frac{\overline{F}(x,y)}{G(\overline{F}(x,y),y)}=F(\overline{F}(x,y),y),$$

$$F(x,y)=\frac{x}{G(x,y)}.$$

Applying Equation (9) for $G(x,y)$, we get the coefficients of its kth power

$$g(n,m,k)=\sum _{i=0}^{n+m}\left(\genfrac{}{}{0pt}{}{n+m+k}{i+k}\right)\left(\genfrac{}{}{0pt}{}{i+k-1}{i}\right)\frac{{(-1)}^i}{f{(1,0)}^{i+k}}{F}^{\Delta }(i+n,m,i).$$

(12)

Combining Equation (11) with Equation (12), we obtain the desired result presented in Equation (10). □

4. Application of Compositae for Obtaining Coefficients of Bivariate Generating Functions

Next, we present several examples of applying the obtained results for getting explicit formulas for coefficients of bivariate generating functions.

Example 1.

First, let consider the following simple composition of generating functions:

$$G(x,y)=\sum _{n\ge 0}\sum _{m\ge 0}g(n,m)x^n{y}^m=H\left(A(x,y)\right)=H(x+y).$$

The composita of the generating function $A(x,y)=x+y$ is

$$A^{\Delta }(n,m,k)=\left(\genfrac{}{}{0pt}{}{k}{n}\right)\delta (m,k-n).$$

Applying Theorem 1, we can obtain the coefficients $g(n,m)$ of the generating function $G(x,y)$

$$g(n,m)=\sum _{k=0}^{n+m}h\left(k\right)A^{\Delta }(n,m,k)=\sum _{k=0}^{n+m}h\left(k\right)\left(\genfrac{}{}{0pt}{}{k}{n}\right)\delta (m,k-n)=h(n+m)\left(\genfrac{}{}{0pt}{}{n+m}{n}\right).$$

If we have the generating function

$$H\left(x\right)=\sum _{n\ge 0}h\left(n\right)x^n=\sum _{n\ge 0}{x}^n=\frac{1}{1-x},$$

then we get

$$G(x,y)=H(x+y)=\frac{1}{1-x-y},$$

$$g(n,m)=h(n+m)\left(\genfrac{}{}{0pt}{}{n+m}{n}\right)=\left(\genfrac{}{}{0pt}{}{n+m}{n}\right).$$

If we have the generating function

$$H\left(x\right)=\sum _{n\ge 0}h\left(n\right)x^n=\sum _{n\ge 0}\frac{1}{n!}{x}^n=e^x,$$

then we get

$$G(x,y)=H(x+y)=e^{x+y},$$

$$g(n,m)=h(n+m)\left(\genfrac{}{}{0pt}{}{n+m}{n}\right)=\frac{1}{(n+m)!}\left(\genfrac{}{}{0pt}{}{n+m}{n}\right)=\frac{1}{n!m!}.$$

If we have the generating function

$$H\left(x\right)=\sum _{n>0}h\left(n\right)x^n=\sum _{n>0}\frac{{(-1)}^{n-1}}{n}{x}^n=log(1+x),$$

then we get

$$G(x,y)=H(x+y)=log(1+x+y),$$

$$g(n,m)=h(n+m)\left(\genfrac{}{}{0pt}{}{n+m}{n}\right)=\frac{{(-1)}^{n+m-1}}{n+m}\left(\genfrac{}{}{0pt}{}{n+m}{n}\right),g(0,0)=0.$$

If we have the generating function of the Catalan numbers (the sequence $A000108$ in OEIS [38])

$$H\left(x\right)=\sum _{n\ge 0}{C}_n{x}^n=\sum _{n\ge 0}\frac{1}{n+1}\left(\genfrac{}{}{0pt}{}{2n}{n}\right)x^n=\frac{1-\sqrt{1-4x}}{2x},$$

then we get

$$G(x,y)=H(x+y)=\frac{1-\sqrt{1-4(x+y)}}{2(x+y)},$$

$$g(n,m)=h(n+m)\left(\genfrac{}{}{0pt}{}{n+m}{n}\right)=C_{n+m}\left(\genfrac{}{}{0pt}{}{n+m}{n}\right)=\frac{1}{n+m+1}\left(\genfrac{}{}{0pt}{}{2n+2m}{n+m}\right)\left(\genfrac{}{}{0pt}{}{n+m}{n}\right).$$

Example 2.

Let consider the generating function of the Eulerian numbers (the sequence $A173018$ in OEIS [38])

$$E(x,y)=\sum _{n\ge 0}\sum _{m\ge 0}\frac{E_{n,m}}{n!}{x}^n{y}^m=\frac{y-1}{y-e^{x(y-1)}}.$$

Consider this generating function $E(x,y)$ as the following composition of generating functions:

$$E(x,y)=\frac{y-1}{y-e^{x(y-1)}}=\frac{x(y-1)}{x(y-1)-x(e^{x(y-1)}-1)}=\frac{1}{1-x\frac{e^{x(y-1)}-1}{x(y-1)}}=H\left(A(x,y)\right),$$

where

$$H\left(x\right)=\sum _{n\ge 0}h\left(n\right)x^n=\sum _{n\ge 0}{x}^n=\frac{1}{1-x},$$

$$A(x,y)=x\frac{e^{x(y-1)}-1}{x(y-1)}=B(x,C(x,y)),$$

$$B(x,y)=\frac{x}{y}(e^y-1),$$

$$C(x,y)=x(y-1).$$

Using the identity for the Stirling numbers of the second kind

$${\left(e^x-1\right)}^k=\sum _{n\ge k}\left\{\genfrac{}{}{0pt}{}{n}{k}\right\}\frac{k!}{n!}{x}^n,$$

we get the composita of the generating function $B(x,y)$

$$B^{\Delta }(n,m,k)=\left\{\genfrac{}{}{0pt}{}{m+k}{k}\right\}\frac{k!}{(m+k)!}\delta (n,k).$$

Using the binomial theorem for

$${(xy-x)}^k=\sum _{m\ge 0}\left(\genfrac{}{}{0pt}{}{k}{m}\right){\left(xy\right)}^m{(-x)}^{k-m}=\sum _{m\ge 0}\left(\genfrac{}{}{0pt}{}{k}{m}\right)x^k{y}^m{(-1)}^{k-m},$$

we get the composita of the generating function $C(x,y)$

$$C^{\Delta }(n,m,k)=\left(\genfrac{}{}{0pt}{}{k}{m}\right){(-1)}^{k-m}\delta (n,k).$$

Combining the obtained results and applying Theorem 1 for the composition $B(x,C(x,y\left)\right)$, we obtain the composita of the generating function $A(x,y)$

$$A^{\Delta }(n,m,k)=\sum _{k_a=0}^{n+m}\sum _{k_b=0}^{n+m-k_a}{B}^{\Delta }(k_a,k_b,k)C^{\Delta }(n-k_a,m,k_b)$$

$$=\sum _{k_a=0}^{n+m}\sum _{k_b=0}^{n+m-k_a}\left\{\genfrac{}{}{0pt}{}{k_b+k}{k}\right\}\frac{k!}{(k_b+k)!}\delta (k_a,k)\left(\genfrac{}{}{0pt}{}{k_b}{m}\right){(-1)}^{k_b-m}\delta (n-k_a,k_b).$$

Using the properties of the Kronecker delta function, we get $k_a=k$, $k_b=n-k$.

Simplifying the formula for $A^{\Delta }(n,m,k)$, we obtain

$$A^{\Delta }(n,m,k)=\left\{\genfrac{}{}{0pt}{}{n}{k}\right\}\left(\genfrac{}{}{0pt}{}{n-k}{m}\right)\frac{k!}{n!}{(-1)}^{n-k-m}.$$

Applying Theorem 1 for the composition $H\left(A\right(x,y\left)\right)$, we can obtain the following well-known explicit formula for the Eulerian numbers ([39], Equation (6.40)):

$$E_{n,m}=n!\sum _{k=0}^{n+m}h\left(k\right)A^{\Delta }(n,m,k)=\sum _{k=0}^n\left\{\genfrac{}{}{0pt}{}{n}{k}\right\}\left(\genfrac{}{}{0pt}{}{n-k}{m}\right){(-1)}^{n-k-m}k!.$$

Example 3.

Let consider the generating function of the Euler–Catalan numbers [40] (the sequence $A316773$ in OEIS [38])

$$EC(x,y)=\sum _{n\ge 0}\sum _{m\ge 0}\frac{E{C}_{n,m}}{n!}{x}^n{y}^m=\frac{y-1}{y-e^{C\left(x\right)(y-1)}},$$

where

$$C\left(x\right)=\frac{1-\sqrt{1-4x}}{2}$$

is the generating function of the Catalan numbers.

Consider this generating function $EC(x,y)$ as the following composition of generating functions:

$$EC(x,y)=E\left(C\right(x),y),$$

where $E(x,y)$ is the generating function of the Eulerian numbers.

The composita of the generating function $C\left(x\right)$ is (cf. [22])

$$C^{\Delta }(n,k)=\frac{k}{n}\left(\genfrac{}{}{0pt}{}{2n-k-1}{n-1}\right).$$

Applying Theorem 1 for the composition $EC\left(C\right(x),y)$, we can obtain the following explicit formula for the Euler-Catalan numbers:

$$E{C}_{n,m}=n!\sum _{k=0}^{n}E(k,m)C^{\Delta }(n,k)=n!\sum _{k=0}^n\frac{E_{k,m}}{k!}\frac{k}{n}\left(\genfrac{}{}{0pt}{}{2n-k-1}{n-1}\right)=\sum _{k=m+1}^n{E}_{k,m}\frac{(2n-k-1)!}{(k-1)!(n-k)!}.$$

Example 4.

Let consider the generating function of the number triangle that forms the sequence $A064189$ in OEIS [38]

$$G(x,y)=\sum _{n\ge 0}\sum _{m\ge 0}g(n,m)x^n{y}^m=\frac{2}{1-x-2xy+\sqrt{1-2x-3x^2}}=\frac{M\left(x\right)}{1-xyM\left(x\right)},$$

where

$$M\left(x\right)=\frac{1-x-\sqrt{1-2x-3x^2}}{2x^2}$$

is the generating function of the Motzkin numbers (the sequence $A001006$ in OEIS [38]).

The elements $g(n,m)$ of this number triangle define the number of lattice paths from $(0,0)$ to $(n,m)$, staying weakly above the x-axis and consisting of steps $(1,1)$, $(1,-1)$ and $(1,0)$.

Consider this generating function $G(x,y)$ as the following composition of generating functions:

$$G(x,y)=\frac{H(x,y)}{xy}=\frac{B\left(M_{xy}(x,y)\right)}{xy},$$

where

$$H(x,y)=\sum _{n>0}\sum _{m>0}h(n,m)x^n{y}^m=\frac{xyM\left(x\right)}{1-xyM\left(x\right)}=\frac{M_{xy}(x,y)}{1-M_{xy}(x,y)}=B\left(M_{xy}(x,y)\right),$$

$$B\left(x\right)=\sum _{n>0}b\left(n\right)x^n=\sum _{n>0}{x}^n=\frac{x}{1-x},$$

$$M_{xy}(x,y)=xyM\left(x\right).$$

The generating function $M\left(x\right)$ satisfies the following functional equation:

$$M\left(x\right)=1+xM\left(x\right)+x^{2}M\left(x\right).$$

This functional equation can be transformed into

$$M_x\left(x\right)=xA\left(M_x\left(x\right)\right),$$

(13)

where

$$A\left(x\right)=1+x+x^2,$$

$$M_x\left(x\right)=xM\left(x\right).$$

Using the binomial theorem for

$${(1+x+x^2)}^k=\sum _{j=0}^k\left(\genfrac{}{}{0pt}{}{k}{j}\right){(x+x^2)}^j=\sum _{j=0}^k\left(\genfrac{}{}{0pt}{}{k}{j}\right)x^j\sum _{n=0}^j\left(\genfrac{}{}{0pt}{}{j}{n}\right)x^n=\sum _{n\ge 0}\sum _{j=0}^k\left(\genfrac{}{}{0pt}{}{k}{j}\right)\left(\genfrac{}{}{0pt}{}{j}{n-j}\right)x^n,$$

we get the coefficients of the kth power of the generating function $A\left(x\right)$

$$a(n,k)=\sum _{j=0}^k\left(\genfrac{}{}{0pt}{}{k}{j}\right)\left(\genfrac{}{}{0pt}{}{j}{n-j}\right).$$

Using the Lagrange inversion theorem for (13), we obtain the composita of the generating function $M_x\left(x\right)$

$$M_x^{\Delta }(n,k)=\frac{k}{n}a(n-k,n).$$

Hence, the composita of the generating function $M_{xy}(x,y)$ is

$$M_{xy}^{\Delta }(n,m,k)=M_x^{\Delta }(n,k)\delta (m,k).$$

Applying Theorem 1 for the composition $B\left(M_{xy}(x,y)\right)$, we obtain the coefficients $h(n,m)$ of the generating function $H(x,y)$

$$h(n,m)=\sum _{k=0}^{n+m}b\left(k\right)M_{xy}^{\Delta }(n,m,k)=\sum _{k=1}^{n+m}{M}_x^{\Delta }(n,k)\delta (m,k)=M_x^{\Delta }(n,m).$$

Finally, we get the coefficients $g(n,m)$ of the generating function $G(x,y)$

$$g(n,m)=h(n+1,m+1)=\frac{m+1}{n+1}\sum _{j=0}^{n-m}\left(\genfrac{}{}{0pt}{}{n+1}{j}\right)\left(\genfrac{}{}{0pt}{}{j}{n-m-j}\right).$$

Example 5.

Let consider the generating function of the number triangle that forms the sequence $A336524$ in OEIS [38]

$$G(x,y)=\sum _{n\ge 0}\sum _{m\ge 0}g(n,m)x^n{y}^m=\frac{1-\sqrt{1-4x-4xy}}{2x}.$$

The elements $g(n,m)$ of this number triangle define the number of unlabeled binary trees with n internal nodes and exactly m distinguished external nodes.

Consider this generating function $G(x,y)$ as the following composition of generating functions:

$$G(x,y)=\frac{H(x,y)}{x}=\frac{C\left(A\right(x,y\left)\right)}{x},$$

where

$$H(x,y)=\sum _{n>0}\sum _{m\ge 0}h(n,m)x^n{y}^m=\frac{1-\sqrt{1-4x-4xy}}{2}=C\left(A(x,y)\right),$$

$$C\left(x\right)=\sum _{n>0}c\left(n\right)x^n=\sum _{n>0}{C}_{n-1}{x}^n=\frac{1-\sqrt{1-4x}}{2},$$

$$A(x,y)=x+xy.$$

Using the binomial theorem for

$${(x+xy)}^k=\sum _{m\ge 0}\left(\genfrac{}{}{0pt}{}{k}{m}\right)x^{k-m}{\left(xy\right)}^m=\sum _{m\ge 0}\left(\genfrac{}{}{0pt}{}{k}{m}\right)x^k{y}^m,$$

we get the composita of the generating function $A(x,y)$

$$A^{\Delta }(n,m,k)=\left(\genfrac{}{}{0pt}{}{k}{m}\right)\delta (n,k).$$

Applying Theorem 1 for the composition $C\left(A\right(x,y\left)\right)$, we obtain the coefficients $h(n,m)$ of the generating function $H(x,y)$

$$h(n,m)=\sum _{k=0}^{n+m}c\left(k\right)A^{\Delta }(n,m,k)=\sum _{k=1}^{n+m}{C}_{k-1}\left(\genfrac{}{}{0pt}{}{k}{m}\right)\delta (n,k)=C_{n-1}\left(\genfrac{}{}{0pt}{}{n}{m}\right).$$

Finally, we get the coefficients $g(n,m)$ of the generating function $G(x,y)$

$$g(n,m)=h(n+1,m)=C_n\left(\genfrac{}{}{0pt}{}{n+1}{m}\right)=\frac{1}{n+1}\left(\genfrac{}{}{0pt}{}{2n}{n}\right)\left(\genfrac{}{}{0pt}{}{n+1}{m}\right).$$

5. Conclusions

This paper is devoted to the study of methods for obtaining explicit formulas for the coefficients of generating functions. To solve this problem, we consider the methods that are based on using the powers of generating functions. We propose to generalize the concept of compositae to the case of generating functions in two variables and define basic operations on such compositae: composition, addition, multiplication, reciprocation and compositional inversion. These operations allow obtaining explicit formulas for compositae and coefficients of bivariate generating functions. In addition, we present several examples of applying the obtained results for getting explicit formulas for coefficients of bivariate generating functions.

The introduced mathematical apparatus can be used for solving different problems that are related to the theory of generating functions. For example, it contributes to obtaining new explicit formulas for polynomials and special numbers. In addition, it can be applied for obtaining explicit formulas for the cardinality functions of combinatorial sets. This task is relevant in combinatorics, discrete mathematics and computer science when it is necessary to develop combinatorial generation algorithms [41].