Review

Percutaneous Transcatheter Aortic Valve Implantation: A Review Focus on Outcomes and Safety

  • Received: 12 March 2015 Accepted: 10 August 2015 Published: 16 August 2015
  • Aortic stenosis is highly prevalent in the elderly, when symptomatic, is associated with high mortality. Although its treatment is mainly surgical, cumulative evidence has demonstrated that transcatheter aortic valve implantation is an effective and safe treatment option for selected patients, especially for inoperable and high-risk patients. The aim of this review is to discuss the advances in current and emergent devices, with special focus on clinical and safety outcomes in randomized clinical trials and registries.

    Citation: Luis Ortega-Paz, Giuseppe Giacchi, Salvatore Brugaletta, Manel Sabaté. Percutaneous Transcatheter Aortic Valve Implantation: A Review Focus on Outcomes and Safety[J]. AIMS Medical Science, 2015, 2(3): 200-221. doi: 10.3934/medsci.2015.3.200

    Related Papers:

    [1] Ji-Cai Liu . Proof of Sun's conjectural supercongruence involving Catalan numbers. Electronic Research Archive, 2020, 28(2): 1023-1030. doi: 10.3934/era.2020054
    [2] Heesung Shin, Jiang Zeng . More bijections for Entringer and Arnold families. Electronic Research Archive, 2021, 29(2): 2167-2185. doi: 10.3934/era.2020111
    [3] Chunli Li, Wenchang Chu . Infinite series about harmonic numbers inspired by Ramanujan–like formulae. Electronic Research Archive, 2023, 31(8): 4611-4636. doi: 10.3934/era.2023236
    [4] Tian-Xiao He, Peter J.-S. Shiue . Identities for linear recursive sequences of order $ 2 $. Electronic Research Archive, 2021, 29(5): 3489-3507. doi: 10.3934/era.2021049
    [5] Xue Yu . Orientable vertex imprimitive complete maps. Electronic Research Archive, 2024, 32(4): 2466-2477. doi: 10.3934/era.2024113
    [6] Agustín Moreno Cañadas, Robinson-Julian Serna, Isaías David Marín Gaviria . Zavadskij modules over cluster-tilted algebras of type $ \mathbb{A} $. Electronic Research Archive, 2022, 30(9): 3435-3451. doi: 10.3934/era.2022175
    [7] Sang Jo Yun, Sangbeom Park, Jin-Woo Park, Jongkyum Kwon . Some identities of degenerate multi-poly-Changhee polynomials and numbers. Electronic Research Archive, 2023, 31(12): 7244-7255. doi: 10.3934/era.2023367
    [8] Qing-Hu Hou, Yarong Wei . Telescoping method, summation formulas, and inversion pairs. Electronic Research Archive, 2021, 29(4): 2657-2671. doi: 10.3934/era.2021007
    [9] Lawrence Ein, Wenbo Niu, Jinhyung Park . On blowup of secant varieties of curves. Electronic Research Archive, 2021, 29(6): 3649-3654. doi: 10.3934/era.2021055
    [10] Bin Han . Some multivariate polynomials for doubled permutations. Electronic Research Archive, 2021, 29(2): 1925-1944. doi: 10.3934/era.2020098
  • Aortic stenosis is highly prevalent in the elderly, when symptomatic, is associated with high mortality. Although its treatment is mainly surgical, cumulative evidence has demonstrated that transcatheter aortic valve implantation is an effective and safe treatment option for selected patients, especially for inoperable and high-risk patients. The aim of this review is to discuss the advances in current and emergent devices, with special focus on clinical and safety outcomes in randomized clinical trials and registries.


    In recent years, there has been tremendous interest in developing new combinatorial model for classical sequences, such as the Catalan numbers [1], the Euler numbers [2,3,4,5] and so on. In a paper by Guo-Niu Han, he introduced "a large family of combinatorial objects, called standard puzzles" [6]. After computing a large number of standard puzzle sequences, he found that only a small part of them already appear in OEIS [7], and then he gave combinatorial proofs of some of them. In 2020, Donald Knuth [8] was concerned with a special case of standard puzzles, the support of which is a set of "vortices—that is, it travels a cyclic path from smallest to largest, either clockwise or counterclockwise". In the end, he found and proved that this sequence is exactly $ 2n U_n $, in which $ U_n $ is a familiar sequence in OEIS [7], entry A122647.

    However, in spite of quite a number of contributions dealing with the standard puzzle sequences, there are still a great many standard puzzles that have not been enumerated yet. In this paper, we propose a skeleton model, which leads us to proofs for a series of standard puzzle sequences and additionally we get some equations in enumerating problems of standard puzzle.

    One question raised in Han's article is whether there is a standard puzzle sequence in which the secant sequence exists. Using our skeleton model, we define simple pieces in Section 3.1, which are particular sets of standard pieces. And then we find the sequence of a simple piece $ \{A, B, D, G, H\} $ (by the notation in [6]) is exactly the secant sequence. Besides we divide all simple pieces into four classes 1, 2, 3 and 4 according to the relations in each columns. Each class has 20 kinds of simple pieces in it (we count it in the penultimate paragraph of Section 3.1) and the standard puzzle sequences of all 80 simple pieces have already been enumerated. (Some are trivial or proved by Han [6], while the others are shown in this paper.) In addition, we enumerate the sequences of standard puzzles, which satisfy the following conditions respectively (only one case in (1) and (2) hasn't been enumerated):

    (1) the union of a $ 1 $-simple or $ 4 $-simple piece and a set of $ B_i $ or $ C_i $ forms its support;

    (2) the union of a $ 1 $-simple and a $ 4 $-simple piece and a set of $ B_i $ or $ C_i $ forms its support.

    We let $ \alpha_i $ and $ \beta_i $ be a $ 1 $-simple piece and $ 4 $-simple piece respectively according to the order in Table 1, for $ i $ in $ \{1, 2, 3, 4\} $. Then what we enumerate in this paper can be formalized in the following formulas, that is, we enumerate the sequence of each term of the formulas when it is fully expanded, in which $ 1 $ is the empty set.

    $ \left( \sum\limits_{\substack{1\leq i\leq 20\\i\neq 10}} \alpha_i+\sum\limits_{\substack{1\leq i\leq 20\\i\neq 10}} \beta_i \right) \bigcup \left( \bigcup\limits_{1\leq i\leq 6}\left(1+B_i\right)+\bigcup\limits_{1\leq i\leq 6}\left(1+C_i\right) -1 \right) $
    $ \left( \sum\limits_{\substack{1\leq i\leq 20\\i\neq 10}} \alpha_i\right)\bigcup\left(\sum\limits_{\substack{1\leq i\leq 20\\i\neq 10}} \beta_i \right) \bigcup \left( \bigcup\limits_{1\leq i\leq 6}\left(1+B_i\right)+\bigcup\limits_{1\leq i\leq 6}\left(1+C_i\right) -1 \right) $
    Table 1.  All the $ 1 $-simple pieces and their sequences.
    number $ 1 $-basic skeletons sequences simple pieces remark
    1 $ \binom{2n+2}{2, 2, \ldots, 2} $ $ \{A_1, A_2, A_3, A_4, A_5, A_6\} $ trivial
    2 1 $ \{A_3\} $ trivial
    3 1 $ \{A_6\} $ trivial
    4 $ (2n+1)!! $ $ \{A_1, A_2, A_3\} $ shown in [6]
    5 $ (2n+1)!! $ $ \{A_4, A_5, A_6\} $ implied by entry 4
    6 $ (2n+1)!! $ $ \{A_2, A_3, A_4\} $ implied by entry 4
    7 $ (2n+1)!! $ $ \{A_1, A_5, A_6\} $ implied by entry 4
    8 secant numbers $ \{A_1, A_2, A_3, A_4, A_5\} $ proved in Section 3
    9 secant numbers $ \{A_1, A_2, A_4, A_5, A_6\} $ implied by entry 8
    10 sequence in OEIS entry A227656 $ \{A_1, A_2, A_4, A_5\} $ proved in Section 3
    11 $ (2n)!! $ $ \{A_1, A_2\} $ shown in [6]
    12 $ (2n)!! $ $ \{A_4, A_5\} $ implied by entry 11
    13 $ (2n)!! $ $ \{A_1, A_5\} $ implied by entry 11
    14 $ (2n)!! $ $ \{A_2, A_4\} $ implied by entry 11
    15 1 $ \{A_4\} $ trivial
    16 1 $ \{A_1\} $ trivial
    17 $ \frac{1}{n+2}\binom{2n+2}{n+1} $ $ \{A_2, A_3\} $ shown in [6]
    18 $ \frac{1}{n+2}\binom{2n+2}{n+1} $ $ \{A_5, A_6\} $ implied by entry 13
    19 $ \frac{1}{n+1}\binom{2n}{n} $ $ \{A_2\} $ shown in [6]
    20 $ \frac{1}{n+1}\binom{2n}{n} $ $ \{A_5\} $ implied by entry 19

     | Show Table
    DownLoad: CSV

    So the number of standard puzzle sequences that our skeleton model can enumerate is:

    case (1) $ (20-1)\cdot2\cdot(2^6\cdot2-1) = 4826 $;

    case (2) $ (20-1)\cdot(20-1)\cdot(2^6\cdot2-1) = 45847 $.

    To sum up, we enumerate $ 4826+45847 = 50673 $ standard puzzle sequences using this skeleton model.

    This paper is organized as follows. We devote Section 2 to recalling the definition of standard puzzles and define some notation to be used in this paper. In Section 3, we propose the skeleton model and by this model we define simple pieces and enumerate the sequences of all kinds of simple pieces. Besides, we enumerate some other standard puzzles by the skeleton model in Section 4. Finally, the proofs of some identities for standard puzzle sequences are presented in Section 5.

    Although Han proposed the definition of the standard puzzle combinatorial object in [6], we recall it here to make the paper self-contained.

    Definition 2.1. A piece denotes a square that has four numbers, called labels, written on its corners. And a puzzle is a connected arrangement of pieces in the $ \mathbb{Z} \times \mathbb{Z} $-plane such that the joining corners of all the pieces have the same labels. A puzzle such that the set of all its labels is simply $ \{1, 2, \ldots, m\} $ is called a standard puzzle. In this case, $ m $ is the number of vertices of the puzzle.

    Remark 2.1. In this paper, we focus our attention on the standard puzzles of a special shape, which are $ n $ standard pieces concatenated in a row. We call these puzzles standard $ n $-puzzles.

    By definition, we can see that the four labels of a piece occurring in a standard puzzle are distinct. This means that we can replace the four labels with $ \{1, 2, 3, 4\} $ respecting the label ordering which yields a standard piece. We represent this operation with a reduction. Apparently, there are $ 4! = 24 $ different standard pieces. All of these $ 24 $ standard pieces form a set, called $ \mathcal{S}\mathcal{P} $. For convenience, we have divided the $ 24 $ types of standard pieces into four categories $ A $, $ B $, $ C $, and $ D $ according to the order of two numbers in each column. And within each category, we have labeled them with numbers 1 to 6, as shown in Table 2.

    Table 2.  The twenty-four pieces and its codes.
    $A_1 = A = \left[4312
    \right] $
    $ A_2 = B = \left[3412
    \right]$
    $A_3 = D = \left[2413
    \right]$
    $A_4 = H = \left[3421
    \right]$
    $A_5 = G = \left[4321
    \right]$
    $A_6 = N = \left[4231
    \right]$
    $B_1 = C = \left[4213
    \right]$
    $B_2 = E = \left[3214
    \right]$
    $B_3 = F = \left[2314
    \right]$
    $B_4 = L = \left[3124
    \right]$
    $B_5 = J = \left[4123
    \right]$
    $B_6 = Q = \left[4132
    \right]$
    $C_1 = X = \left[1342
    \right]$
    $C_2 = R = \left[1432
    \right]$
    $C_3 = K = \left[1423
    \right]$
    $C_4 = P = \left[2431
    \right]$
    $C_5 = V = \left[2341
    \right]$
    $C_6 = U = \left[3241
    \right]$
    $D_1 = Z = \left[1243
    \right]$
    $D_2 = T = \left[1234
    \right]$
    $D_3 = M = \left[1324
    \right]$
    $D_4 = S = \left[2134
    \right]$
    $D_5 = Y = \left[2143
    \right]$
    $D_6 = W = \left[3142
    \right]$

     | Show Table
    DownLoad: CSV

    Definition 2.2. Given a standard puzzle $ \alpha $, a set $ \mathcal{P} $ of standard pieces is called a support of the puzzle $ \alpha $ if the reduction of each piece occurring in the puzzle $ \alpha $ is an element of $ \mathcal{P} $ and the minimal support of $ \alpha $ is the set of all different pieces of $ \alpha $ after reduction.

    For convenience, standard puzzles will be represented by two-row matrices. For example, $ \left[36871245

    \right] $ stands for Figure 1. This puzzle contains three pieces, but only two of them are different as standard pieces which are $ \left[3412
    \right] $ and $ \left[4312
    \right] $. So the minimal support is the set $ \left\{ \left[3412
    \right], \left[4312
    \right]\right\} $ and each set of pieces containing these two pieces is a support of the puzzle.

    Figure 1.  A standard $ 3 $-puzzle.

    Remark 2.2. In Table 2, the three columns of each expression represent the notation used in this paper, the notation used in Guo-Niu Han's paper [6] and the matrix representation of standard pieces respectively. Additionally, notice that all the standard pieces $ B_i $ and $ C_i $ $ (1\leq i\leq6) $ have opposite relations in the left and right columns so we call $ B_i $ and $ C_i $ a $ B $-converter and $ C $-converter respectively.

    Then, let us define the standard puzzle sequence.

    Definition 2.3. Let $ \mathcal{P} $ be a subset of $ \mathcal{S}\mathcal{P} $. For $ n\in \mathbb{N}^+ $, we denote by $ S_n(\mathcal{P}) $ the set of the standard $ n $-puzzles, each of which has $ \mathcal{P} $ as its support, and let $ s_n(\mathcal{P}): = \bigl|S_n(\mathcal{P})\bigr| $ be the cardinality of $ S_n(\mathcal{P}) $. In addition, we call $ \{s_n(\mathcal{P})\}_{n\ge 1} $ the standard puzzle sequence of $ \mathcal{P} $.

    Example 2.1. Let $ \mathcal{P} = \{A_2, A_3\} = \bigl\{ \left[3412

    \right], \left[2413
    \right] \bigr\} $. Then,

    $ {S1(P)}={[3412],[2413]};{S2(P)}={[456123],[356124],[346125],[256134],[246135]};{S3(P)}={[56781234],[46781235],[45781236],[45681237],[36781245],[35781246],[35681247],[34781256],[34681257],[26781345],[25781346],[25681347],[24781356],[24681357]}.
    $

    Indeed, the standard puzzle sequence of $ \{A_2, A_3\} $ is shown in [6] to be the sequence of Catalan numbers:

    $ \{2, 5, 14, 42, 132, 429, 1430, 4862, 16796, 58786, 208012, \ldots\} $

    Moreover, Guo-Niu Han defined three basic transformations and now we rephrase them here using our notation. The original statement of these transformations can be found in [6], which are as follows:

    (T1) exchanging left column and right column in every piece;

    (T2) exchanging top row and bottom row in every piece;

    (T3) replacing each label $ a $ by $ (5 - a) $ in every piece.

    Definition 2.4. (1) We denote by $ F_1 $ the map: $ \mathcal{S}\mathcal{P}\mapsto \mathcal{S}\mathcal{P} $, which sends the element $ A_i, B_i, C_i $ and $ D_i $ to $ A_{i+3}, C_{i+3}, B_{i+3} $ and $ D_{i+3} $ respectively, for $ i\in\{1, 2, 3, 4, 5, 6\} $, and we make the convention that $ X_j $ is equal to $ X_{k} $ iff $ j \equiv k\pmod 6 $ $ (X\in \{A, B, C, D\}) $;

    (2) we denote by $ F_2 $ the map: $ \mathcal{S}\mathcal{P}\mapsto \mathcal{S}\mathcal{P} $, which sends the element $ A_i, B_i, C_i $ and $ D_i $ to $ D_i, C_i, B_i $ and $ A_i $ respectively, for $ i \in \{1, 2, 3, 4, 5, 6\} $;

    (3) we denote by $ F_3 $ the map: $ \mathcal{S}\mathcal{P}\mapsto \mathcal{S}\mathcal{P} $, which sends the element $ X_i $ to $ Y_j $, for $ X\in\{A, B, C, D\} $, $ i \in \{1, 2, 3, 4, 5, 6\} $. $ Y $ and $ j $ are defined as follows.

    $ Y={A,X=DB,X=CC,X=BD,X=Aj={1,i=12,i=53,i=64,i=45,i=26,i=3
    $

    This definition naturally gives rise to the following proposition.

    Proposition 2.1. For a map $ F_i (i\in\{1, 2, 3\}) $, let $ \mathcal{P} $ be a subset of $ \mathcal{S}\mathcal{P} $, and we have:

    $ sn(P)=sn(Fi(P)).
    $
    (2.1)

    Proof. By the definition of Guo-Niu Han's transformations, we can easily see that these operations are all bijections between $ S_n(\mathcal{P}) $ and $ S_n(F_i (\mathcal{P})) $. Hence the cardinality $ s_n(\mathcal{P}) $ is equal to $ s_n(F_i(\mathcal{P})) $.

    In this section, we will propose the definition of a skeleton and simple piece. And then we will enumerate the standard puzzle sequence of all kinds of simple piece.

    Notice that a standard puzzle can be seen as a graph. And if we use the directions on a graph to represent the relations between numbers in a standard puzzle, we can get a directed graph. Then the idea of the skeleton model is born. In fact this idea is inspired by a proof in [6]. Here are some definitions of a skeleton and a simple piece.

    Definition 3.1. Given a simple directed graph with four vertices $ a $, $ b $, $ c $ and $ d $, we fix the four vertices on a square as shown in Figure 2. We call this graph a basic skeleton (denoted by $ B(a, b, c, d) $), if it satisfies the following conditions.

    Figure 2.  A basic skeleton.

    (1) It doesn't have a directed circle.

    (2) If there are more than one directed path between two vertices, then they have the same length.

    Remark 3.1. By definition, we can see that each basic skeleton $ B(a, b, c, d) $ is the Hasse diagram of a certain poset. We call this poset the poset of $ B $. The definition of the Hasse diagram can be seen in [9].

    Definition 3.2. A basic skeleton is called an $ i $-basic skeleton, if it meets the following condition $ (i) $, for $ 1\leq i \leq 4 $:

    (1) there is a directed path from $ b $ to $ a $ and from $ d $ to $ c $ respectively;

    (2) there is a directed path from $ b $ to $ a $ and from $ c $ to $ d $ respectively;

    (3) there is a directed path from $ a $ to $ b $ and from $ d $ to $ c $ respectively;

    (4) there is a directed path from $ a $ to $ b $ and from $ c $ to $ d $ respectively.

    Definition 3.3. Given an $ i $-basic skeleton $ B(a, b, c, d) $, an $ i $-simple piece generated by $ B $ is a subset of $ \mathcal{S}\mathcal{P} $ (denoted by $ \mathcal{P}(B) $). A standard piece is in $ \mathcal{P}(B) $ if and only if its poset is a linear extension of the poset of $ B $. Then a puzzle which has $ \mathcal{P}(B) $ as its support is a simple puzzle generated by $ B $.

    Example 3.1. Let $ B $ be a $ 1 $-basic skeleton as shown in Figure 3. Then a $ 1 $-simple piece generated by $ B $ is $ \mathcal{P}(B) = \{A_1, A_2, A_3, A_4, A_5\} $ and each standard puzzle of $ S(\mathcal{P}(B)) $ is a simple puzzle generated by $ B $.

    Figure 3.  The basic skeleton of $\{ A_1, A_2, A_3, A_4, A_5 \}$.

    Remark 3.2. Similar to the definition of the basic skeleton, we can draw a Hasse diagram to descibe the relations between numbers in certain standard $ n $-puzzle. If there is a directed path from $ x $ to $ y $ it means $ y > x $. We call this graph a skeleton. So a skeleton is the concatenation of several basic skeletons.

    Definition 3.4. Let $ \mathcal{P} $ be a subset of $ \mathcal{S}\mathcal{P} $. $ \mathcal{P} $ has a skeleton if and only if there exists a skeleton $ \mathcal{K} $ satisfing the following conditions:

    (1) each element of $ S_n(\mathcal{P}) $ meets the relations of $ \mathcal{K} $;

    (2) each standard $ n $-puzzle that meets the relations of $ \mathcal{K} $ is an element of $ S_n(\mathcal{P}) $.

    Remark 3.3. By definitions, each simple piece has a skeleton.

    For example, in Example 3.1 the skeleton of $ \{A_1, A_2, A_3, A_4, A_5\} $ is shown in Figure 4.

    Figure 4.  The skeleton of $ \{A_1, A_2, A_3, A_4, A_5\} $.

    In addition, both a $ 2 $-simple piece and a $ 3 $-simple piece have opposite relations in the left and right columns. This means that we can not concatenate any one of them in a line. So for a $ 2 $-simple or $ 3 $-simple piece $ \mathcal{P}(B) $, $ s_n(\mathcal{P}(B)) = 0 $ for $ n\geq 2 $. And by Proposition 2.1, for any $ 4 $-simple piece $ \mathcal{P}(B) $, we can find a $ 1 $-simple piece $ F_2(\mathcal{P}(B)) $such that

    $ sn(P(B))=sn(F2(P(B)))
    $

    Therefore, in this section we will concentrate on $ 1 $-simple puzzles to get the properties of all four kinds of simple puzzles.

    By definition, we can learn that there are twenty* kinds of $ 1 $-simple pieces in total. Besides, we can simply exchange the numbers in column(s) of $ i $-simple piece and get $ j $-simple piece, for any $ i $, $ j $ in $ \{1, 2, 3, 4\} $, and this operation is easily seen to be invertible. So for each $ i $ in $ \{1, 2, 3, 4\} $, the number of $ i $-simple pieces is twenty.

    * By definition of basic skeletons, we just have to think about the four edges in a $ 4 $-vertices digraph except the edges $ ab $ and $ cd $ (see Figure 2). Then we count the number of $ 1 $-simple pieces according to the number of directed edges in the skeletons and it is $ 1+8+9+2 = 20 $.

    In the following subsections, we will prove the sequences of all twenty simple pieces as shown in Table 1. (Some proofs have been given by Han in [6] or trivial, and we list them at the last column as a remark.)

    In Guo-Niu Han's paper [6], he found the tangent number sequence occurs in the standard puzzle sequence of $ \{A_1, A_5, B_1, B_2\} $ and "developed a computer programme to generate the puzzle sequences up to order $ \lvert \mathcal{P}\rvert = 4 $" [6], finding no secant number sequence. Then he asked a question about whether and where the secant numbers exist.

    However, when we are concerned with the standard puzzle sequence of the simple piece in Example 3.1, we were surprised to find that this sequence is exactly the secant sequence. That is the following theorem.

    Theorem 3.1. Let $ \mathcal{P} = \{A_1, A_2, A_3, A_4, A_5\} $, then we have,

    $ sn(P)=S(n+1),
    $
    (3.1)

    in which $ S(n) $ is the $ n $-th secant number; see OEIS[7], entry A000364.

    Proof. Firstly, for the $ 1 $-basic skeleton $ B(a, b, c, d) $ as shown in Figure 3. We check the $ i $-simple piece generated by $ B $ and find it is $ \{A_1, A_2, A_3, A_4, A_5\} $ exactly.

    Additionally, in 1879 Désiré André [2] proved that the secant numbers is the number of down-up permutations of $ [2n] $. Therefore, the aim is to find a one-to-one correspondence between a standard $ n $-puzzle of $ \mathcal{P} $ and a down-up permutation of $ [2n+2] $.

    On the one hand, we read the numbers of a standard puzzle of $ \mathcal{P} $ from the top left to the bottom right, through south $ \rightarrow $ northeast $ \rightarrow $ south $ \rightarrow $ northeast $ \ldots $ Therefore, by definition we get a permutation $ \pi $ of length $ 2n+2 $, which satisfies $ \pi(i) > \pi(i+1) $, where $ i = 2k+1 $, and $ \pi(i) < \pi(i+1) $, where $ i = 2k $ ($ k\in\{0, 1, 2, \ldots, n\} $ and we make the convention that $ \pi(0) = 0 $.). So, it's a down-up permutation.

    On the other hand, given a down-up permutation of $ [2n+2] $, we can place the permutation at the vertices of the puzzle in the way shown above. Obviously, this puzzle is a simple puzzle of $ \{A_1, A_2, A_3, A_4, A_5\} $.

    Hence, the proof is completed.

    In this subsection we are concerned with $ 1 $-basic skeletons as shown in Figure 5(a), (b). After checking the simple pieces generated by them, we find that they are $ \{A_1, A_2, A_3\} $ and $ \{A_1, A_2\} $ respectively.

    Figure 5.  The basic skeletons. (a)the basic skeleton of $ \{A_1, A_2, A_3\} $. (b)the basic skeleton of $ \{A_1, A_2\} $.

    Theorem 3.2. Let $ \mathcal{P} = \{A_1, A_2, A_3\} $ and $ \mathcal{Q} = \{A_1, A_2\} $, then

    $ sn(P)=(2n+1)!!,
    $
    (3.2)
    $ sn(Q)=(2n)!!.
    $
    (3.3)

    In this paper, we present two proofs of this theorem, which are as follows.

    Proof. To begin with, we observed that each piece of $ S_n(\mathcal{P}) $ and $ S_n(\mathcal{Q}) $ meets the minimum number in its lower left corner. On this basis, the proof of this theorem is constructed.

    For Eq (3.2), we put the smallest number one in $ [2n+2] $ on the lower left of the puzzle, and then at the top of the number one, we have $ 2n+1 $ choices from 2 to $ 2n+2 $. After selecting these two numbers in the leftmost column, the second column performs the same action: place the smallest of the remaining numbers at the bottom of the second column and then select one of the remaining numbers and place it on the top of the column, with $ (2n-1) $ options. A clear induction gives $ (2n+1)(2n-1)\cdot\ldots\cdot 3\cdot 1 = (2n+1)!! $ puzzles that meet the above conditions.

    Now, all we need to do is prove that the support of puzzles which meet the above properties is accurately $ \{A_1, A_2, A_3\} $. Check all the standard pieces, and pieces satisfying the above conditions are only $ A_1, A_2 $ and $ A_3 $.

    So Eq (3.2) has been shown and we can prove Eq (3.3) in a similar way. Notice that each piece of $ S_n(\mathcal{Q}) $ satisfies that the upper-left number is larger than the lower-right number, in addition to the above conditions. Therefore, after setting the number one in the lower left corner, the number above the number one has only $ 2n $ conditions from $ 3 $ to $ 2n+2 $. Then the second column list $ (2n-2) $ possibilities. By recursion, the number of the element in $ S_n(\mathcal{Q}) $ is $ (2n)!! $, which completes the proof of Theorem 3.2.

    In this subsection, we provide an alternative method for proving Theorem 3.2.

    Proof. Proceed by induction on length of $ S_n(\mathcal{P}) $. If $ n = 1 $, then this puzzle is $ A_1 $ or $ A_2 $ or $ A_3 $. So, $ s_1(\mathcal{P}) = 3 = (2\cdot 1+1)!! $. This establishes the base case of the induction. Suppose the claim holds for puzzles of length less than $ k $. Then we construct a $ 1-to-(2n+1) $ map from $ S_{n-1}(\mathcal{P}) $ to $ S_n(\mathcal{P}) $.

    For any puzzle of $ S_{n-1}(\mathcal{P}) $, there are $ n $ numbers on the top line. We choose one of them and there are $ n $ different options. Then let's put it on the second line such that it is bigger than the number to its left, and smaller than the number to its right. In other words, rearrange the columns according to the size of the rows below. After the operation, we can see two empty seats in the first row. One of them is the original position of the number taken out, and the other is the empty seat above its new position. After this, we put the two number $ 2n+1 $ and $ 2n+2 $ in these two space in two ways. Additionally, we can put the number $ 2n+1 $ and $ 2n+2 $ to the bottom right and top right corners of this puzzle respectively and then we can get another puzzle in $ S_n(\mathcal{P}) $. Besides, this construction is easily seen to be invertible and then the proof is completed.

    To prove Eq (3.3), we need to use the skeleton model in the next section, so the proof of it is postponed until Section 4.1.

    Theorem 3.3. Let $ \mathcal{P} = \{A_1, A_2, A_4, A_5\} $. Then we have,

    $ sn(P)=L(n+1),
    $
    (3.4)

    where $ L(n) $ is number of lattice paths from $ \{2\}^n $ to $ \{0\}^n $ using steps that decrement one component by 1 such that for each point $ (p_1, p_2, \ldots, p_n) $ we have $ \bigl|p_{i}-p_{i+1}\bigr| \leqslant 1 $; see OEIS [7], entry A227656.

    Proof. First of all, we draw the skeleton of $ \{A_1, A_2, A_4, A_5\} $.

    The trick of the proof is to find a bijection between any element of $ S_n(\mathcal{P}) $ and the path meeting the above conditions of length $ n+1 $.

    Then, we construct a combinatorial proof of bijection. Check the positions of the numbers in the standard puzzle, from $ 1 $ to $ 2n+2 $ one by one. If the number is in column $ i $, we will change $ (p_1, p_2, \ldots, p_i, \ldots, p_{n+1}) $ into $ (p_1, p_2, \ldots, p_i-1, \ldots, p_{n+1}) $. And the initial point is $ \{2\}^n $. This construction is easily seen to be invertible. Then we only need to show this kind of puzzle is exactly $ S_n(\mathcal{P}) $.

    Notice that the $ j $-th step of the path is equal to an $ n $-set which count the number greater than $ j $ in each column of an element of $ S_n(\mathcal{P}) $. Then that each point $ (p_1, p_2, \ldots, p_n) $ satisfies $ \bigl|p_{i}-p_{i+1}\bigr| \leqslant 1 $ is the same thing as it that the puzzle satisfies that each number on the top row of the puzzle is greater than the numbers below it and below it's adjacent numbers. Therefore, it is equivalent to it that $ \{A_1, A_2, A_4, A_5\} $ is a support of the puzzle by Figure 6.

    Figure 6.  The skeleton of $ \{A_1, A_2, A_4, A_5\} $.

    In this subsection, we enumerate the standard puzzle sequence of $ \{A_1, B_1, C_1\} $ which is a Fibonacci sequence. Although this puzzle is not one of $ 1 $-simple puzzles, we list it here for Theorem 5.3 to be complete.

    Before we state and prove the theorem, we will need a lemma.

    Lemma 3.4. The number of subsets of $ S(n) = \{1, 2, \ldots, n\} $ that contain no consecutive integers is equal to $ F(n+2) $, where $ F(n) $ is the $ n $-th Fibonacci number for F(0) = 0, F(1) = 1.

    Proof. We denote by $ s(n) $ the number in this lemma. And supposing the length of $ S(n) $ is 1 and 2, we count the number of its subset satisfying the above properties, which is accurately equal to $ F(3) $ and $ F(4) $. Then we only need to show that $ s(n+2) = s(n+1) + s(n) $, for all positive integers $ n $.

    We enumerate the number of subsets of $ S(n+2) $ meeting the conditions. Discuss it in two ways whether the number $ n+2 $ is in the subset or not. Suppose that the number $ n+2 $ is not in the subset, and then this subset is made up of $ \{1, 2, \ldots, n+1\} $, that is, it is a subset of $ S(n+1) $.

    Then we suppose the number $ n+2 $ is in the subset. According to the definition of the subset, the number $ n+1 $ is not in this subset, and other numbers are all made up of $ \{1, 2, \ldots, n\} $. This means the set is a union of a subset of $ S(n) $ and $ \{n+2\} $.

    Combining the above two points, the proof of Lemma 3.4 is completed.

    Theorem 3.5. Let $ \mathcal{P} = \{A_1, B_1, C_1\} $. Then the standard puzzle sequence of $ \mathcal{P} $ is equal to the Fibonacci sequence.

    That is,

    $ sn(P)=F(n+3),
    $
    (3.5)

    where $ F(n) $ is the $ n $-th Fibonacci number for $ F(0) = 0 $, $ F(1) = 1 $; see OEIS[7], entry A000045.

    Proof. We think of a mapping similar to the mapping in Theorem 3 of [6], called the flip map. Let $ X $ be a subset of $ \{1, 2, \ldots, n+1\} $. The flip map $ \phi_X : \alpha \mapsto \beta $ is a transformation which maps a puzzle $ \alpha = \bigl[x1x2xn+1y1y2yn+1

    \bigr] $ onto $ \beta = \bigl[a1a2an+1b1b2bn+1
    \bigr] $ such that $ a_i = x_i $, $ b_i = y_i $ for $ i \notin X $ and $ a_i = y_i $, $ b_i = x_i $ for $ i \in X $.

    Notice that a map $ \phi_X $ can convert a piece $ A_1 $ into $ B_1 $ or $ C_1 $ or $ D_1 $, for any $ X $. However, the support of the image of a puzzle of $ S_n(A_1) $ under the maping $ \phi_X $ is $ S_n(\mathcal{P}) $ if and only if there are no adjacent elements in $ X $. This is because if suppose $ X $ has adjacent elements $ i $ and $ i+1 $, then the reduction of the piece $ \bigl[xixi+1yiyi+1

    \bigr] $ is exactly $ D_1 $ which is not in $ \{A_1, B_1, C_1\} $. And vice versa.

    So, the number $ s_n(\mathcal{P}) $ is equivalent to the number of subsets of $ \{1, 2, \ldots, n+1\} $ such that there is no adjacent number in it. Notice that the number $ s_1(A_1) $ is exactly one, and according to Lemma 3.4, this theorem has been proved.

    In this section, we enumerate a number of standard puzzle sequences by our skeleton model.

    In this subsection, we dicuss about a kind of special standard puzzles such that $ \{A_1, A_2, A_3\} $ or $ \{A_1, A_2\} $ united with $ B $-converters (resp. $ C $-converters) forms its support. Notice that any two $ B $-converters (resp. $ C $-converters) can't appear at the same time in this kind of puzzles. We can simply enumerate the standard puzzle sequences of the unions of $ \{A_1, A_2, A_3\} $ or $ \{A_1, A_2\} $ and a $ B $-converter (resp. $ C $-converter). And we can sum them and subtract out the double counting to get all this kind of puzzles.

    Before enumerating these kinds of puzzles, we need some theorems as follows.

    Definition 4.1. Let $ \mathcal{P} $ be a set of standard pieces and $ S_n(\mathcal{P}_x) $ (resp. $ S_n(\mathcal{P}^x) $) denotes the set of all standard $ n $-puzzles, each of which has $ \mathcal{P} $ as its support and the number $ x $ is in the bottom right corner (resp. top right corner). And let $ s_n(\mathcal{P}_x): = \bigl|S_n(\mathcal{P}_x)\bigr| $ (resp. $ s_n(\mathcal{P}^x): = \bigl|S_n(\mathcal{P}^x)\bigr| $) be the cardinality of $ S_n(\mathcal{P}_x) $ (resp. $ S_n(\mathcal{P}^x) $).

    Theorem 4.1. Let $ \mathcal{P} $ be $ \{A_1, A_2, A_3\} $, then we have,

    $ sn(P2nk+2)=T(n,k),
    $
    (4.1)

    where $ T(n, k) $ is the sum of the weights of all vertices labeled $ k $ at depth $ n $ in the Catalan tree $ (1 \leqslant k \leqslant n+1, n \geqslant 0) $; see OEIS [7] entry A102625.

    Proof. By definition of $ T(n, k) $, let $ T(m, 0) = 0 $ for any positive integer $ m $, and then we can know that $ T(n, k) $ satisfies the following equation:

    $ T(n,k)=kni=k1T(n1,i).
    $
    (4.2)

    Then, let a standard puzzle of $ S_n(\mathcal{P}) $ with $ 2n+2-k $ and $ j $ in the bottom and top right hand corner respectively, for $ 2n+3-k \leqslant j \leqslant 2n+2 $. Then we get rid of the rightmost column of this puzzle, and replace all the numbers by $ \{1, 2, \ldots, 2n\} $ respecting the label ordering. Thus, we get a standard puzzle in $ S_{n-1}(\mathcal{P}_{2n-i}) $ for $ k-1 \leqslant i \leqslant n $ by observing the skeleton of $ \mathcal{P} $. Besides, each element of $ S_{n-1}(\mathcal{P}_{2n-i}) $ can be produced by $ k $ different elements of $ S_n(\mathcal{P}_{2n-k+2}) $ for the number $ j $ has $ k $ choices.

    That is,

    $ sn(P2nk+2)=kni=k1sn1(P2ni).
    $
    (4.3)

    Then the recurrence relation has been shown. So we only need to check (4.1) for $ n = 1 $. Because of $ s_1(\mathcal{P}_{3}) = 1 = T(1, 1) $ and $ s_1(\mathcal{P}_{2}) = 2 = T(1, 2) $, the proof of Theorem 4.1 is completed.

    Then, we check it in OEIS [7], and find the formula of it:

    $ T(n,k)=k(2nk+1)!(nk+1)!2nk+1.
    $
    (4.4)

    At this point, we can give second proof of Theorem 3.2.

    Proof of Theorem 3.2. Let $ \mathcal{P} $ and $ \mathcal{Q} $ denote $ \{A_1, A_2\} $ and $ \{A_1, A_2, A_3\} $ respectively and now we draw the skeletons of $ S_n(\mathcal{P}) $ and $ S_n(\mathcal{Q}) $.

    By contrast, we can find the skeletons of $ S_n(\mathcal{P}) $ and $ S_n(\mathcal{Q}) $ are very similar. Let us do a simple operation on $ S_n(\mathcal{P}) $: shift the top row of numbers to the right by one space. Then, we will find it incredible that $ S_n(\mathcal{P}) $ and $ S_{n-1}(\mathcal{Q}) $ are the same in the middle, except that $ S_n(\mathcal{P}) $ has two more leftmost and rightmost digits than $ S_{n-1}(\mathcal{Q}) $. The leftmost number of $ S_n(\mathcal{P}) $ is accurately number one, while the rightmost number is uncertain. Given a puzzle of $ S_{n-1}(\mathcal{Q}) $ we add one to each label of it, and put the number one at the lower left corner in the puzzle. And then, we consider the number at the lower right corner after changing denoted by $ 2n+1-k $ for $ k \in\{1, 2, \ldots, n\} $. Then, we choose a number $ j \in\{2n+2-k, 2n+3-k, \ldots, 2n+2\} $. We can know that there are $ k+1 $ kinds of way to choose the number for given $ k $. Then, we put this number on the top right corner of the new puzzle and add one to each number no less than the number $ j $ after the first change. Then shift the top row of numbers to the left by one space. A puzzle $ S_n(\mathcal{P}) $ has been constructed. Besides, this construction is easily seen to be invertible.

    Thus, we get the number $ s_n(\mathcal{P}) $, that is,

    $ sn(P)=nk=1(k+1)sn1(P2nk).
    $
    (4.5)

    We substitute Eq (4.1) into Eq (4.5), and get the following equation:

    $ sn(P)=nk=1(k+1)T(n1,k).
    $
    (4.6)

    Notice that the right-hand side of the equation is a hypergeometric series. The study of the hypergeometric identities [10,11] has been going on for decades, and now "the discoveries and the proofs of hypergeometric identities have been very largely automated" [11]. We simplified this hypergeometric series by computer and got that,

    $ nk=1(k+1)T(n1,k)=(2n)!!.
    $
    (4.7)

    By Eqs (4.6) and (4.7), the proof of Theorem 3.2 is completed.

    Now, we enumerate the standard puzzle sequences of the unions of $ \{A_1, A_2, A_3\} $ or $ \{A_1, A_2\} $ and $ B_i $ (resp. $ C_i $), for $ i\in\{1, 2, 3, 4, 5, 6\} $.

    Theorem 4.2. Let $ \mathcal{P} = \{A_1, A_2, A_3\} $.

    $ sn(PB1)=sn(PB2)=sn(PB3)=43(2n+1)!!;
    $
    (4.8)
    $ sn(PB4)=sn(PB5)=2n(n+1)!;
    $
    (4.9)
    $ sn(PB6)=(n+3)(2n+1)!!(2n+2)!!.
    $
    (4.10)

    Proof. The puzzle with $ \mathcal{P}\cup B_i $ as support, can be simply divided into two categories, whether it contains $ B_i $ as its minimal support or not. If $ B_i $ is not a member of its minimal support, this puzzle will degenerate into $ S_n(\{A, B, D\}) $, which has been shown in Section 3.3. Then we just need to count the standard puzzle sequences with $ \mathcal{P}\cup B_i $ as its minimal support.

    Firstly, for Eq (4.8) we switch the order of the top and bottom of the last column of these three standard puzzles. Then we notice that these puzzles are changed into $ S_n(\mathcal{P}) $ ending with $ A_1, A_2 $ and $ A_3 $ respectively.

    Therefore we just need to show that the number of $ \{A, B, D\}^n $ ending with $ A, B $ and $ D $ are equal and equal to one third of $ \bigl|\{A, B, D\}^n\bigr| $. Simply switch the three digits in the upper right corner, and then Eq (4.8) can be shown.

    Secondly we give a proof of Eq (4.10). To see clearly the relation between the numbers, we draw the skeleton of $ S_n(\mathcal{P}\cup B_6) $ with $ B_6 $ as shown in Figure 8. Then we find it only has two numbers less than the lower right number $ 2n-k $ of $ S_{n-1}(\mathcal{P}_{2n-k}) $ plus 2. Therefore, we have the following equation:

    $ sn(PB6)=n1k=1(2nk+12)T(n1,k)+(2n+1)!!.
    $
    (4.11)
    Figure 7.  The skeletons of $ S_n(\mathcal{P}) $ and $ S_n(\mathcal{Q}) $.
    Figure 8.  The skeleton of $ \mathcal{P}\cup B_6 $ with $ B_6 $.
    Figure 9.  The skeleton of $ S_n(\mathcal{P}\cup B_4 \cup B_5) $ with $ B_4 $ or $ B_5 $.
    Figure 10.  The skeleton of $ S_n(\mathcal{P}\cup B_4\cup B_5) $ with $ B_4 $ or $ B_5 $.

    Lastly, for Eq (4.9), by swaping the upper left and the lower right of piece on the rightmost side of $ S_n(\mathcal{P}\cup B_4) $, we can get a puzzle $ S_n(\mathcal{P}\cup B_5) $. And vice versa. Then, the equivalence property has been shown. Additionally, notice that

    $ sn(PB4B5)sn(P)=sn(PB4)+sn(PB5)2sn(P)=2(sn(PB4)sn(P)).
    $
    (4.12)

    So we just need to count the numbers $ s_n(\mathcal{P}\cup B_4 \cup B_5) $. We draw the skeleton to observe it.

    According to this skeleton, we can write the following equation:

    $ sn(PB4)=sn(PB5)=12n1k=1(2nk)(k+1)T(n1,k)+(2n+1)!!.
    $
    (4.13)

    In the end, we simplify the right-hand side of Eqs (4.11) and (4.13) by computer and get the following equations:

    $ 12n1k=1(2nk)(k+1)T(n1,k)+(2n+1)!!=2n(n+1)!;
    $
    (4.14)
    $ n1k=1(2nk+12)T(n1,k)+(2n+1)!!=(n+3)(2n+1)!!(2n+2)!!.
    $
    (4.15)

    Hence, Theorem 4.2 is proved.

    After that, we give some conclusions about the standard puzzle sequences of $ \{A_1, A_2\}\bigcup B_i $.

    Theorem 4.3. Let $ \mathcal{Q} = \{A_1, A_2\} $. Then we have,

    $ sn(QB1)=sn(QB2)=sn(QB3)=32(2n)!!;
    $
    (4.16)
    $ sn(QB4)=sn(QB5)=(2n+2)(2n1)!!12(2n)!!;
    $
    (4.17)
    $ sn(QB6)=(2n2+8n+1)(2n2)!!(4n+4)(2n1)!!.
    $
    (4.18)

    Proof. Similar to the proof of the previous theorem, we can get the following equations:

    $ sn(QB1)=sn(QB2)=sn(QB3)=n1k=1(k+33)T(n2,k)+(2n)!!;sn(QB4)=sn(QB5)=n1k=1(k+22)(2nk1)T(n2,k)+(2n)!!;sn(QB6)=n1k=1(2nk2)(k+1)T(n2,k)+(2n)!!.
    $

    And then by calculation, we can get equations as follows:

    $ n1k=1(k+33)T(n2,k)+(2n)!!=32(2n)!!;n1k=1(k+22)(2nk1)T(n2,k)+(2n)!!=(2n+2)(2n1)!!12(2n)!!;n1k=1(2nk2)(k+1)T(n2,k)+(2n)!!=(2n2+8n+1)(2n2)!!(4n+4)(2n1)!!.
    $

    Hence, the proof of Theorem 4.3 is completed.

    Analogously, the standard puzzle sequences of the unions of $ \{A_1, A_2, A_3\} $ or $ \{A_1, A_2\} $ and $ \{C_i\} $ $ (i\in\{1, 2, 3, 4, 5, 6\}) $ can be enumerated as follows. And no proof will be given.

    Theorem 4.4. Let $ \mathcal{P} = \{A_1, A_2, A_3\} $ and $ \mathcal{Q} = \{A_1, A_2\} $. Then we have,

    $ sn(PC1)=sn(PC2)=(2n2)(2n3)!!+(2n+1)!!;sn(PC3)=(2n+1)!!+(2n1)!!;sn(PC4)=sn(PC5)=sn(PC6)=(2n+13)(2n3)!!+(2n+1)!!;sn(QC1)=(2n12)(2n4)!!+(2n)!!;sn(QC2)=2(2n)!!(2n12)(2n4)!!;sn(QC3)=(2n)!!+(2n2)!!;sn(QC4)=[(2n+13)1](2n4)!!+(2n)!!;sn(QC5)=4n27n+33(2n4)!!+(2n)!!;sn(QC6)=(2n3)(2n4)!!+(2n)!!.
    $

    Similar to the last subsection, in this subsection, we enumerate the standard puzzle sequences of the unions of $ \{A_2, A_3\} $ or $ \{A_2\} $ and $ B_i $ (resp. $ C_i $) for $ 1\leq i\leq6 $.

    Theorem 4.5. Let $ \mathcal{P} $ be $ \{A_2, A_3\} $. Then we have,

    $ sn(Pn+k+1)=t(n,k),
    $
    (4.19)

    where $ t(n, k) $ is the Catalan's triangle, for $ 0 \leqslant k \leqslant n $; see OEIS [7] entry A009766.

    Proof. By definition of $ t(n, k) $, we make the convention $ t(n, n+1) = 0 $ and can get $ t(n, k) = \sum_{j = 0}^{k} t(n-1, j) $.

    Moreover, for a puzzle in $ S_{n}(\mathcal{P}_{n+k+1}) $, the number on the left of $ n+k+1 $ can be $ \{n, n+1, \ldots, n+k\} $. Given the number on the left of the number $ n+k+1 $, we get rid of the rightmost column of this puzzle, and replace all the numbers by $ \{1, 2, 3, \ldots, 2n\} $ respecting the label ordering. Then we get a standard puzzle in

    $ S_{n-1}(\mathcal{P}_{n+j}) $ for $ 0 \leqslant j\leqslant n-1 $. Besides, each element of $ S_{n-1}(\mathcal{P}_{n+j}) $ can be produced by only one elements of $ S_{n}(\mathcal{P}_{n+k+1}) $.

    Then we have,

    $ sn(Pn+k+1)=kj=0sn1(Pn+j).
    $

    Then the recurrence relation is proved. By checking Eq (4.19) for $ n = 1 $ and this theorem is shown.

    Then, by checking in OEIS, we can get the following formula:

    $ t(n,k)=nk+1n+1(n+kn).
    $
    (4.20)

    Theorem 4.6. Let $ \mathcal{P} $ be $ \{A_2, A_3\} $. Then,

    $ sn(PB1)=3n+3(2n+2n);
    $
    (4.21)
    $ sn(PB2)=7n+2n2+2n(2nn+1);
    $
    (4.22)
    $ sn(PB3)=C(n)+C(n1);
    $
    (4.23)
    $ sn(PB4)=(2n+1n);
    $
    (4.24)
    $ sn(PB5)=8n(2n+1)(n+2)(n+3)(2n1n)+1n+2(2n+2n+1);
    $
    (4.25)
    $ sn(PB6)=3(2n1n)(2n+23)(n+2)(n+3)+(2n+2n+1)n+2.
    $
    (4.26)

    Proof. The proof of this result is quite similar to the proof for Theorem 4.2. So we just give a proof of Eq (4.25) to be an example. Furthermore, we have listed all the results as follows:

    $ sn(PB1)=n1k=1(nk+33)t(n2,k1)+C(n);
    $
    (4.27)
    $ sn(PB2)=n1k=1(nk+22)t(n2,k1)+C(n);
    $
    (4.28)
    $ sn(PB3)=C(n)+C(n1);
    $
    (4.29)
    $ sn(PB4)=nk=1(n+k1)t(n1,k1)+C(n);
    $
    (4.30)
    $ sn(PB5)=nk=1(n+k1)(nk+2)t(n1,k1)(2n+1n)+2C(n);
    $
    (4.31)
    $ sn(PB6)=nk=1(n+k2)t(n1,k1)+C(n).
    $
    (4.32)

    For Eq (4.25), notice that $ L $ and $ J $ can not appear in the $ S_n(\mathcal{P}\cup B_4\cup B_5) $ at the same time. So we get,

    $ sn(PB4B5)=sn(PB4)+sn(PB5)sn(P).
    $
    (4.33)

    As with the previous theorem, let's draw the skeleton of $ S_n(\mathcal{P}\cup B_4\cup B_5) $ first.

    From this picture, we can get,

    $ sn(PB4B5)=nk=1(n+k1)(nk+2)t(n1,k1)+C(n).
    $
    (4.34)

    Then, according to Eqs (4.33) and (4.34), we can get the following equation:

    $ sn(PB5)=nk=1(n+k1)(nk+2)t(n1,k1)(2n+1n)+2C(n).
    $
    (4.35)

    And then we can get the equations. Furthermore, an argument similar to Theorem 4.2 and 4.6 shows that:

    Theorem 4.7. Let $ \mathcal{Q} $ be $ \{A_2\} $. Then,

    $ sn(QB1)=n1k=1(nk+22)t(n2,k1)+C(n1)=1n+2(2n+2n+1);sn(QB2)=n1k=1(nk+2)t(n2,k1)+C(n1)=2n+1(2nn);sn(QB3)=C(n1)+C(n2);sn(QB4)=n1k=1(n+k1)t(n2,k1)+C(n1)=2(2n2n1);sn(QB5)=n1k=1(n+k1)(nk+1)t(n2,k1)+C(n1)=(2n2+4)(n+1)(n+2)(2nn);sn(QB6)=n1k=1(n+k2)t(n2,k1)+C(n1)=n2n+44n2(2n+1n1).
    $

    Remark 4.1. Let $ \mathcal{P} = \{A_2, A_3\} $ and $ \mathcal{Q} = \{A_2\} $. Notice that:

    $ \forall i \in \{1, 2, 3, 4, 5, 6\} $, $ \exists j \in \{1, 2, 3, 4, 5, 6\} $, such that,

    $ F1F2F3(PCi)=PBj;F1F2F3(QCi)=QBj.
    $

    That is, $ s_n(\mathcal{P}\cup C_i) = s_n(\mathcal{P}\cup B_j) $ and $ s_n(\mathcal{Q}\cup C_i) = s_n(\mathcal{Q}\cup B_j) $. Therefore, we can enumerate $ s_n(\mathcal{P}\cup C_i) $ and $ s_n(\mathcal{Q}\cup C_i) $ by $ s_n(\mathcal{P}\cup B_j) $ and $ s_n(\mathcal{Q}\cup B_j) $ respectively which we have enumerated before.

    In 1966, Entringer [3] enumerated the down–up permutations according to the first element called Entringer numbers. Additionally, in the past two decades, a great deal of mathematical effort has been devoted to the study of Entringer numbers [12,13].

    In this subsection, we enumerate a class of standard puzzle sequences which is related to Entringer numbers. That is, the standard puzzles with $ \{A_1, A_2, A_3, A_4, A_5\} $ united with a converter as a support. With Proposition 2.1, the standard puzzle sequences with $ \{A_1, A_2, A_4, A_5, A_6\} $ united with a converter as a support is the same as this condition. Before we state and prove the theorem, we need a lemma as follows:

    Lemma 4.8. Let $ \mathcal{P} $ be $ \{A_1, A_2, A_3, A_4, A_5\} $. Then we have,

    $ sn(Pi)=E(2n+1,2n+2i);
    $
    (4.36)
    $ sn(Pj)=(j1)E(2n,j2),
    $
    (4.37)

    where $ E(n, k) $ is the number of down-up permutations of $ n+1 $ starting with $ k+1 $; see OEIS [7] entry A008282.

    Proof. By the definition of the Entringer numbers and the proof of Theorem 3.1, it is straightforward to show this lemma. So the proof will be omitted.

    Theorem 4.9. Let $ \mathcal{P} $ be $ \{A_1, A_2, A_3, A_4, A_5\} $. For $ n\geq 2 $, we have,

    $ sn(PB1)=sn(PB5)=sn(PB6)=2n2i=1(i+33)E(2n2,i)+S(n+1);
    $
    (4.38)
    $ sn(PB2)=sn(PB4)=2n2i=1(2n1i)(i+22)E(2n2,i)+S(n+1);
    $
    (4.39)
    $ sn(PB3)=2n2i=1(i+1)(2ni2)E(2n2,i)+S(n+1),
    $
    (4.40)

    where $ E(n, k) $ is the number of down-up permutations of $ n+1 $ starting with $ k+1 $, and $ S(n) $ is the $ n $-th secant number; see OEIS [7] entry A008282 and A000364, respectively.

    Proof. The proof of this result is quite similar to Theorem 4.2 and 4.6 and so is omitted.

    Remark 4.2. Let $ \mathcal{P} = \{A_1, A_2, A_3, A_4, A_5\} $. Notice that:

    $ \forall i \in \{1, 2, 3, 4, 5, 6\} $, $ \exists j \in \{1, 2, 3, 4, 5, 6\} $ such that,

    $ F1F2F3(PCi)=PBj;F1F2F3(QCi)=QBj,
    $

    where $ F_k $ $ (k\in\{1, 2, 3\}) $ is defined in Definition 2.4. And by Proposition 2.1, we have $ s_n(\mathcal{P}\cup C_i) = s_n(\mathcal{P}\cup B_j) $. Therefore, we can enumerate $ s_n(\mathcal{P}\cup C_i) $ by $ s_n(\mathcal{P}\cup B_j) $ which we have enumerated in Theorem 4.9.

    Theorem 4.10. Let $ \mathcal{P} $, $ \mathcal{Q} $ be the $ x $-th and $ z $-th simple pieces in Table 3 (maybe the same simple piece), $ \mathcal{T} $ be a standard piece $ B_y $. Let $ \overline{\mathcal{Q}} $ be the image of Q passing through the function $ F_1 \circ F_2 $ in Definition 2.4.

    Table 3.  All 20 simple pieces and their corresponding $ P_x(i, j, m) $.
    1.$ \mathcal{P} = \{A_1, A_2, A_3, A_4, A_5, A_6\} $: $ P_1(i, j, m) = \binom{2m-2}{2, 2, \ldots, 2} $;
    2.$ \mathcal{P} = \{A_3\} $: $ P_2(i, j, m) = 1 $ $ (i = 2m-1, j = 1) $;
    3.$ \mathcal{P} = \{A_6\} $: $ P_3(i, j, m) = 1 $ $ (i = 1, j = 1) $;
    4.$ \mathcal{P} = \{A_1, A_2, A_3\} $: $ P_4(i, j, m) = \frac{(i-1)!}{(2i-2m)!!} $ $ (m\leq i\leq 2m-1) $;
    5.$ \mathcal{P} = \{ A_4, A_5, A_6\} $: $ P_5(i, j, m) = \left\{(2m3)!!(i=1,m1)1(i=1,m=1)
    \right. $;
    6.$ \mathcal{P} = \{A_2, A_3, A_4\} $: $ P_6(i, j, m) = \left\{(2m3)!!(i+j=2m,m1)1(i=j=m=1)
    \right. $;
    7.$ \mathcal{P} = \{A_1, A_5, A_6\} $: $ P_7(i, j, m) = \frac{(2m-i-j)!}{(2m-2i-2j+2)!!} $ $ (2\leq i+j\leq m+1) $;
    8.$ \mathcal{P} = \{A_1, A_2, A_3, A_4, A_5\} $: $ P_8(i, j, m) = E(2m-2, i+j-2), $ where $ E(n, k) $ is the number of down-up permutations of $ n+1 $ starting with $ k+1 $; see OEIS [7] entry A008282;
    9.$ \mathcal{P} = \{A_1, A_2, A_4, A_5, A_6\} $: $ P_9(i, j, m) = E(2m-2, 2m-i), $ where $ E(n, k) $ is the number of down-up permutations of $ n+1 $ starting with $ k+1 $; see OEIS [7] entry A008282;
    10.$ \mathcal{P} = \{A_1, A_2, A_4, A_5\} $: $ P_{10}(i, j, m) $ hasn't been found;
    11.$ \mathcal{P} = \{A_1, A_2\} $: $ P_{11}(i, j, m) = \left\{(2m1i)(i2)!(2i2m)!!(mi2m2,m1)1(i=j=m=1)
    \right. $;
    12.$ \mathcal{P} = \{A_4, A_5\} $: $ P_{12}(i, j, m) = \left\{(2m4)!!(i=1,j3,m1)1(i=j=m=1)
    \right. $;
    13.$ \mathcal{P} = \{A_1, A_5\} $: $ P_{13}(i, j, m) = \left\{(i+j2)(2m1ji)!(2m+22j2i)!!(3i+jm+1,m1)1(i=1,j=2,m=1)
    \right. $;
    14.$ \mathcal{P} = \{A_2, A_4\} $: $ P_{14}(i, j, m) = \left\{(2m4)!!(i+j=2m,i2m2,m1)1(i=j=m=1)
    \right. $;
    15.$ \mathcal{P} = \{A_4\} $: $ P_{15}(i, j, m) = 1 $ $ (i = 1, j = 2m-1) $;
    16.$ \mathcal{P} = \{A_1\} $: $ P_{16}(i, j, m) = 1 $ $ (i = m, j = 1) $;
    17.$ \mathcal{P} = \{A_2, A_3\} $: $ P_{17}(i, j, m) = \frac{2m-i}{m}\binom{i-1}{m-1} $ $ (m\leq i\leq 2m-1, i+j = 2m) $;
    18.$ \mathcal{P} = \{A_5, A_6\} $: $ P_{18}(i, j, m) = \frac{i+j-1}{m}\binom{2m-i-j}{m-1} $ $ (i = 1, 1\leq j\leq m) $;
    19.$ \mathcal{P} = \{A_2\} $: $ P_{19}(i, j, m) = \left\{2mi1m1(i2m2)(i+j=2m,mi2m2,m1)1(i=j=m=1)
    \right. $;
    20.$ \mathcal{P} = \{A_5\} $: $ P_{20}(i, j, m) = \left\{i+j2m1(2mij1m2)(i=1,2jm,m1)1(i=j=m=1)
    \right. $.

     | Show Table
    DownLoad: CSV

    Then we have,

    $ sn(PT¯Q)=i+j2mk+l2pm+p=n+1Px(i,j,m)Ty(i,j,k,l,m,p)Pz(k,l,p)+sn(P)+sn(Q),
    $
    (4.41)

    in which $ i, j, k, l, m, p \in \mathbb{Z}_+ $, $ P_x(i, j, m) $ denotes the $ x $-th standard puzzle of length $ m $ after given the rightmost two digits $ i $ and $ i + j $. The same thing with the definition of $ P_z(k, l, p) $.

    To prove the theorem, we need a lemma as follows:

    Lemma 4.11. Let $ N = \{1, 2, \ldots, 2n+2\} $, and partition the set N into two parts $ A $ and $ B $. Sort the elements in $ A $ and $ B $ from the smallest to the largest. Given the positive integers $ i $, $ j $, $ k $, $ l $, $ m $, $ p $, satisfying $ i+j\leq 2m, k+l\leq 2p $ and $ m+p = n+1 $. $ A = \{a_1, a_2, \ldots, a_{2m}\} $ and $ B = \{b_1, b_2, \ldots, b_{2p}\} $. Then

    a) The number of ways to partition the set $ N $ into $ A $ and $ B $ satisfying $ a_i < b_k < b_{k+l} < a_{i+j} $ is $ Q_1(i, j, k, l, m, p) $ which is,

    $ Q1(i,j,k,l,m,p)=0ak10bj1(i+a1a)(b+k+la1b)(2mib+2pkl2pkl);
    $
    (4.42)

    b) The number of ways to partition the set $ N $ into $ A $ and $ B $ satisfying $ a_i < b_k < a_{i+j} < b_{k+l} $ is $ Q_2(i, j, k, l, m, p) $ which is,

    $ Q2(i,j,k,l,m,p)=0ak10bj10cl1(i+a1a)(b+ka1b)(c+jb1c)(2m+2pkcij2mij);
    $
    (4.43)

    c) The number of ways to partition the set $ N $ into $ A $ and $ B $ satisfying $ a_i < a_{i+j} < b_k < b_{k+l} $ is $ Q_3(i, j, k, l, m, p) $ which is,

    $ Q3(i,j,k,l,m,p)=k1a=0(i+j+a1a)(2m+2pija2pa).
    $
    (4.44)

    Proof. The proofs of these three formulas are similar, and we will only deal here with the proof of Eq (4.43), which is as follows.

    We consider the numbers $ a_i $, $ b_k $ and $ a_{i+j} $. The number $ a_i $ has $ k $ choices $ i, i+1, \ldots, i+k-1 $ and then $ b_k $ has $ j $ choices $ i+k, i+k+1, \ldots, i+j+k-1 $ and $ a_{i+j} $ has $ l $ choices $ i+j+k, i+j+k+1, \ldots, i+j+k+l-1 $. Otherwise, the inequality will not hold. And these conditions are independent of each other. Let $ a = a_i -i $, $ b = b_k-i-k $, $ c = a_{i+j}-i-j-k $, and then we enumerate the number of partitions meeting these conditions and get the equation.

    Proof of Theorem 4.10. Notice that $ C_\alpha \notin \mathcal{P} \cup \mathcal{T} \cup\overline{\mathcal{Q}} $, for any $ \alpha\in\{1, 2, 3, 4, 5, 6\} $. Then for a standard puzzle of $ S_n(\mathcal{P} \cup \mathcal{T} \cup\overline{\mathcal{Q}}) $ if the bottom number in one column is greater than the top number, then the bottom number in each subsequent column is greater than the top number. Therefore, the puzzle has three possible situations.

    1) The number at the top of each column is greater than the number at the bottom. Then its an element of $ S_n(\mathcal{P}) $.

    2) The numbers at the bottom of each column are greater than the numbers at the top. Then its an element of $ S_n(\overline{\mathcal{Q}}) $.

    3) There exists a number $ m $ $ (1\leq m\leq n) $. Then in the first $ m $ column(s), the top number is larger than the bottom number and the subsequent columns are the opposite.

    For the situation 1) and 2), it is a puzzle of $ S_n(\mathcal{P}) $ and $ S_n(\overline{\mathcal{Q}}) $. Then we just have to think about the situation 3). In this situation, we can cut this puzzle between the $ m $-th column and the ($ m+1 $)-th column, and get two simple puzzle of $ S_m(\mathcal{P}) $ and $ S_p(\mathcal{\overline{Q}}) $ ($ p = n+1-m $). Besides, for two simple puzzle P and $ \overline{Q} $ of $ S_m(\mathcal{P}) $ and $ S_p(\mathcal{\overline{Q}}) $, let $ i $ and $ i+j $ be the number in the lower and top right corner of P, $ k $ and $ k+l $ be the number in the top and lower left corner of $ \overline{Q} $, respectively.

    We can get a partition of $ \{1, 2, \ldots, 2n+2\} $ into two parts, $ A $ and $ B $. $ A $ is $ \{a_1, a_2, \ldots, a_{2m}\} $ and $ B $ is $ \{b_1, b_2, \ldots, b_{2p}\} $ are sorted from the smallest to the largest. For given $ i $, $ j $, $ k $, $ l $, we let $ a_i < b_k < b_{k+l} < a_{i+j} $ and replace the number $ \alpha $ in P and $ \beta $ in $ \overline{Q} $ by $ a_\alpha $ and $ b_\beta $, respectively. Then we get a puzzle $ \mathcal{P} \cup B_1 \cup\overline{\mathcal{Q}} $. Sum over all $ i, j, k, l $ that satisfy $ i+j\leq 2m $ and $ k+l\leq2p $ and Eq (4.41) is set up for $ i = 1 $ with $ T_1(i, j, k, l, m, p) = Q_1(i, j, k, l, m, p) $. Analogously, for $ y\in\{1, 2, 3\} $, Eq (4.41) holds and we have,

    $ Ty(i,j,k,l,m,p)=Qy(i,j,k,l,m,p),
    $
    (4.45)

    for $ y\in\{1, 2, 3\} $.

    For $ \mathcal{T} = B_y $, $ y\in\{4, 5, 6\} $, we use Proposition 2.1 about the map $ F_1 $ and $ F_2 $ in Definition 2.4 and get the following equation:

    $ sn(PT¯Q)=sn(F1F2(PT¯Q))=sn(¯P¯TQ),
    $
    (4.46)

    where $ \mathcal{\overline{T}} = B_{y-3} $ for $ y\in\{4, 5, 6\} $. We reuse Eqs (4.41) and (4.45) for $ y\in\{1, 2, 3\} $, and then (4.41) is proved for all $ i\in\{1, 2, 3, 4, 5, 6\} $. And for $ i\in\{1, 2, 3\} $ we have,

    $ Ty+3(i,j,k,l,m,p)=Qy(k,l,i,j,p,m).
    $
    (4.47)

    Hence the proof is completed.

    Additionally, we list all the $ P_x(i, j, m) $ $ (1\leq x\leq 20, x\in \mathbb{Z}) $ in Table 3. For $ x\in\{1, 2, 3, 15, 16\} $, the conclusions are trivial and for $ x\in\{5, 6, 12, 14\} $ they are corollaries of Theorem 3.2. For $ x\in\{4, 7, 11, 13\} $ and $ x\in \{17, 18, 19, 20\} $ they are corollaries of Theorem 4.1 and Theorem 4.5 respectively. When $ x = 8 $ and $ x = 9 $, we can get the function by the proof of Theorem 3.1 and the definition of the Euler-Bernoulli or Entringer numbers in OEIS [7] entry A008282.

    Using Theorem 4.10 and Proposition 2.1, we have the following corollary.

    Corollary 4.1. Let $ \mathcal{P} $, $ \mathcal{Q} $ be the $ x $-th and $ z $-th simple pieces in Table 3 (maybe the same simple piece), $ \mathcal{T}' $ be a standard piece $ C_y $. Let $ \mathcal{Q}' $ and $ \mathcal{\overline{Q}} $ be the image of Q passing through the function $ F_2 $ and the function $ F_1 \circ F_2 $ in Definition 2.4 respectively. Then we have,

    $ sn(PT¯Q)=i+j2mk+l2pm+p=n+1Px(i,j,m)Ty(i,j,k,l,m,p)Pz(k,l,p)+sn(P)+sn(Q),
    $
    (4.48)

    in which $ i, j, k, l, m, p \in \mathbb{Z}_+ $, $ P_x(i, j, m) $ denotes the $ x $-th standard puzzle of length $ m $ after given the rightmost two digits $ i $ and $ i + j $. The same thing with the definition of $ P_z(k, l, p) $.

    Theorem 5.1. Let $ \mathcal{P}_i \in \{A_i, B_i\} $, $ \mathcal{Q}_i \in \{C_i, D_i\} $ for $ i\in\{1, 2, 3, 4, 5, 6\} $ and let $ \alpha $ be a subset of $ \{1, 2, 3, 4, 5, 6\} $.

    So, we have

    $ sn((iαPi)(iαQi))=2sn(iαAi).
    $
    (5.1)

    Proof. By Proposition 2.1 in Section 2, we can know that

    $ 2sn(iαAi)=sn(iαAi)+sn(iαDi).
    $

    Besides, $ A_i\in\{A_i, B_i\} $ and $ D_i\in\{C_i, D_i\} $, so we only need to show that

    $ s_n\bigl(\bigl(\bigcup_{i\in\alpha}\mathcal{P}_i\bigr)\bigcup\bigl(\bigcup_{i\in\alpha}\mathcal{Q}_i\bigr)\bigr) $ are equal for any $ \alpha\subset \{1, 2, 3, 4, 5, 6\} $, and any $ \mathcal{P}_i \in \{A_i, B_i\} $, $ \mathcal{Q}_i \in \{C_i, D_i\} $.

    Notice that the right-hand column of $ \{A_i, B_i\} $ (resp. $ \{C_i, D_i\} $) is the same. Then we check the reduction of each piece of a puzzle in $ S_n\bigl(\bigl(\bigcup_{i\in\alpha}A_i\bigr)\bigcup\bigl(\bigcup_{i\in\alpha}D_i\bigr)\bigr) $ from right to left. If the piece does not belong to $ \bigl(\bigcup_{i\in\alpha}\mathcal{P}_i\bigr)\bigcup\bigl(\bigcup_{i\in\alpha}\mathcal{Q}_i\bigr) $ as a standard puzzle, we turn the left-hand column of this pieces upside down and continue to retrieve until the research is complete. Because of this operation can swap $ A_i $ with $ B_i $, and swap $ C_i $ with $ D_i $, we can get a puzzle in $ \bigl(\bigcup_{i\in\alpha}\mathcal{P}_i\bigr)\bigcup\bigl(\bigcup_{i\in\alpha}\mathcal{Q}_i\bigr) $. Besides, this mapping is easily seen to be invertible. Hence the proof is completed.

    Remark 5.1. In fact, this idea is inspired by a proof in [6].

    According to Theorem 5.1 and using Proposition 2.1 about the map $ F_2 $, we can get the following corollary easily.

    Corollary 5.1. Let $ \mathcal{P}_i \in \{A_i, C_i\} $, $ \mathcal{Q}_i \in \{B_i, D_i\} $ for $ i\in\{1, 2, 3, 4, 5, 6\} $ and $ \alpha $ be a subset of $ \{1, 2, 3, 4, 5, 6\} $. We have,

    $ sn((iαPi)(iαQi))=2sn(iαAi).
    $
    (5.2)

    By Theorem 5.1 and Corollary 5.1, we can get many standard puzzle sequences from known sequences. For example, in Donald Knuth's paper [8], he has shown the standard puzzle sequence of $ \{A_1, A_4, B_3, B_6, C_3, C_6, D_1, D_4\} $, which is as follows:

    Theorem 5.2. For $ n\ge 1 $, we have

    $ sn({A1,A4,B3,B6,C3,C6,D1,D4})=W(n+1),
    $
    (5.3)

    where $ W(n) $ is the number of permutations $ \pi $ of $ \{1, \ldots, 2n\} $ such that $ \pi(2k-1) < \pi(2k) $ if and only if $ \pi(2k) < \pi(2k+1) $; see OEIS [7], entry A261683.

    Then, we get the following corollary by Theorem 5.1.

    Corollary 5.2. Let $ \mathcal{P}_i \in \{A_i, B_i\} $, $ \mathcal{Q}_i \in \{C_i, D_i\} $ and $ i\in\alpha = \{1, 3, 4, 6\} $. We have

    $ sn((iαPi)(iαQi))=2sn({A1,A3,A4,A6})=W(n+1).
    $
    (5.4)

    Theorem 5.3. Let $ \mathcal{P} $ be a subset of $ \{A, B, C, D\} $, $ \alpha $ be a subset of $ \{1, 2, 3, 4, 5, 6\} $. Then we have the following equation:

    $ sn(XPiαXi)=sn(iαAi)sn(XPX1).
    $
    (5.5)

    The proof of this result is quite similar to that of Theorem 3.5 and so is omitted.

    Additionally, we have determined all the standard puzzle sequence of $ \bigcup_{X\in\mathcal{P}}X_1 $. That is, if the cardinality of $ \mathcal{P} $ is 1 or 2 or 4, the sequence is trivial. And for $ \bigl|\mathcal{P}_1\bigr| = 3 $, we have:

    $ sn({A1,B1,C1})=sn({B1,C1,D1})=F(n+2);
    $
    (5.6)
    $ sn({A1,B1,D1})=sn({A1,C1,D1})=n+2.
    $
    (5.7)

    With the help of Theorem 3.5 and Proposition 2.1 about the map $ F_2 $, we can prove (5.6). And (5.7) is trivial so the proof will be omitted.

    In conclusion, the following enumerative problems have been solved except one kind of questions in cases b) and c):

    a) the sequences of all 80 simple pieces;

    b) the sequences of a $ 1 $-simple or $ 4 $-simple piece with $ i $-converter(s), for $ i\in\{B, C\} $;

    c) the sequences of a $ 1 $-simple piece united with a $ 4 $-simple piece and $ i $-converter(s), for $ i\in\{B, C\} $.

    The unique unsolved case is the standard puzzle sequences of $ \{A_1, A_2, A_4, A_5\} $ with $ i $-converter(s) (resp. with $ i $-converter(s) and another $ 4 $-simple piece), $ i\in\{B, C\} $. In addition, with the help of identities for standard puzzle sequences proposed in Section 5, we can enumerate much more sequences.

    Although we have enumerated tens of thousands of sequences, a lot of sequences are given in the form of hypergeometric series and we expect to simplify them. Moreover, the sequences of the unions of several $ 1 $-simple pieces haven't been enumerated, some of which are conjectures proposed by Guo-Niu Han in [6] such as the sequences of $ \{A_1, A_3\} $, $ \{A_2, A_5\} $ and so on.

    Finally, as G.-N. Han has remarked in [6], standard puzzles is "a large family of combinatorial objects", "defined by very simple rules". After our research and previous studies, many classical sequences have been interpreted by standard puzzles, like double factorial numbers, secant numbers, Fibonacci numbers, Catalan numbers [6], tangent numbers [6], the numbers of up-up-or-down-down permutations [8] and so on. However, there are still tens of millions (about $ 2^{4!} = 16, 777, 216) $ of sequences that haven't been enumerated. This is an issue for future research to explore.

    We wish to thank the anonymous referee for several valuable suggestions that help to clarify certain definitions and enhance the overall readability of our paper. The On-Line Encyclopedia of Integer Sequences [7] was an invaluable resource for our work, so we would like to extend our sincere thanks to Neil Sloane and the OEIS Foundation, Inc.

    The first author was partly supported by the National Natural Science Foundation of China grant 12171059 and the Natural Science Foundation Project of CQ CSTC (No. cstc2021jcyj-msxmX0693).

    The authors declare there is no conflicts of interest.

    [1] Holmes DR, Mack MJ, Kaul S, et al. (2012) ACCF/AATS/SCAI/STS expert consensus document on transcatheter aortic valve replacement. J Am Coll Cardiol 59(13):1200-1254.
    [2] Nishimura RA, Otto CM, Bonow RO, et al. (2014) AHA/ACC guideline for the management of patients with valvular heart disease: a report of the American College of Cardiology/American Heart Association Task Force on Practice Guidelines. J Am Coll Cardiol 63(22):e57-185.
    [3] Cribier A, Eltchaninoff H, Bash A, et al. (2002) Percutaneous transcatheter implantation of an aortic valve prosthesis for calcific aortic stenosis: first human case description. Circulation 106(24):3006-3008.
    [4] Tchetche D, Van Mieghem NM (2014) New-generation TAVI devices: description and specifications. EuroIntervention: journal of EuroPCR in collaboration with the Working Group on Interventional Cardiology of the European Society of Cardiology 10(U):U90-U100.
    [5] Rodes-Cabau J (2012) Transcatheter aortic valve implantation: current and future approaches. Nature Rev Cardiolo 9(1):15-29.
    [6] Piazza N, Martucci G, Lachapelle K, et al. (2014) First-in-human experience with the Medtronic CoreValve Evolut R. EuroIntervention : journal of EuroPCR in collaboration with the Working Group on Interventional Cardiology of the European Society of Cardiology 9(11):1260-1263.
    [7] Binder RK, Rodes-Cabau J, Wood DA, et al. (2012) Edwards SAPIEN 3 valve. EuroIntervention: journal of EuroPCR in collaboration with the Working Group on Interventional Cardiology of the European Society of Cardiology 8 Suppl Q:Q83-87.
    [8] Ribeiro HB, Urena M, Kuck KH, et al. (2012) Edwards CENTERA valve. EuroIntervention: journal of EuroPCR in collaboration with the Working Group on Interventional Cardiology of the European Society of Cardiology 8 Suppl Q:Q79-82.
    [9] Meredith Am IT, Walters DL, Dumonteil N, et al. (2014) Transcatheter aortic valve replacement for severe symptomatic aortic stenosis using a repositionable valve system: 30-day primary endpoint results from the REPRISE II study. J Am Coll Cardiol 64 (13):1339-1348.
    [10] Holzhey D (2013) Thirty day outcomes from the multicentre European pivotal trial for transapical TAVI with a self-expanding prosthesis. EuroPCR May 21st; Paris.
    [11] The Medtronic CoreValveTM Evolut RTM CE Mark Clinical Study 2015 [cited 2015 February 27]. Available from: https://www.clinicaltrials.gov/ct2/show/NCT01876420?term=NCT01876420&rank=1.
    [12] Medtronic CoreValve Evolut R U.S. Clinical Study 2015 [cited 2015 February 27]. Available from: https://www.clinicaltrials.gov/ct2/show/NCT02207569?term=NCT02207569&rank=1.
    [13] The PARTNER II Trial: Placement of AoRTic TraNscathetER Valves [cited 2015 Febrary 2015]. Available from: https://www.clinicaltrials.gov/ct2/show/NCT01314313?term=THE+PARTNER+II+TRIAL&rank=1.
    [14] Webb J, Gerosa G, Lefevre T, et al. (2014) Multicenter evaluation of a next-generation balloon-expandable transcatheter aortic valve. J Am Coll Cardiol 64(21):2235-2243.
    [15] Binder RK, Schafer U, Kuck KH, et al. (2013) Transcatheter aortic valve replacement with a new self-expanding transcatheter heart valve and motorized delivery system. JACC Cardiovascular interventions 6(3):301-307.
    [16] Edwards CENTERA transcatheter heart valve. EuroPCR; May Paris2013.
    [17] Kempfert J, Holzhey D, Hofmann S, et al. (2014) First registry results from the newly approved ACURATE TA TAVI systemdagger. European journal of cardio-thoracic surgery : official journal of the European Association for Cardio-thoracic Surgery 25.
    [18] Grube E (2014) ACURATE neoTM & ACURATE TFTM Delivery System Clinical Program & Results. EuroPCR; May 22; Paris.
    [19] Longterm Safety and Performance of the JenaValve (JUPITER) 2015 [cited 2015 Febrary 27]. Available from: https://www.clinicaltrials.gov/ct2/show/NCT01598844?term=jenavalve&rank=1.
    [20] Willson AB, Rodes-Cabau J, Wood DA, et al. (2012) Transcatheter aortic valve replacement with the St. Jude Medical Portico valve: first-in-human experience. J Am Coll Cardiol 60(7):581-586.
    [21] Schofer J (2014) ProspectiveMulticenter Evaluation of the Direct Flow Medical® Transcatheter Aortic Valve: The DISCOVER Trial: 12-month Outcomes. EuroPCR; May 21; Paris.
    [22] A Registry to Evaluate the Direct Flow Medical Transcatheter Aortic Valve System (DISCOVER) 2015 [cited 2015 Febrary 27]. Available from: https://www.clinicaltrials.gov/ct2/show/NCT01845285?term=direct+flow+medical&rank=1.
    [23] Leon MB, Piazza N, Nikolsky E, et al. (2011) Standardized endpoint definitions for transcatheter aortic valve implantation clinical trials: a consensus report from the Valve Academic Research Consortium. Euro Heart J 32(2):205-217.
    [24] Kappetein AP, Head SJ, Genereux P, et al. (2012) Updated standardized endpoint definitions for transcatheter aortic valve implantation: the Valve Academic Research Consortium-2 consensus document. Euro Heart J 33(19):2403-2418.
    [25] Kapadia SR, Leon MB, Makkar RR, et al. (2015) 5-year outcomes of transcatheter aortic valve replacement compared with standard treatment for patients with inoperable aortic stenosis (PARTNER 1): a randomised controlled trial. Lancet 15.
    [26] Leon MB, Smith CR, Mack M, et al. (2010) Transcatheter aortic-valve implantation for aortic stenosis in patients who cannot undergo surgery. The New England j med 363(17):1597-1607.
    [27] Smith CR, Leon MB, Mack MJ, et al. (2011) Transcatheter versus surgical aortic-valve replacement in high-risk patients. The New England j med 364(23):2187-2198.
    [28] Kodali SK, Williams MR, Smith CR, et al. (2012) Two-year outcomes after transcatheter or surgical aortic-valve replacement. The New England j med 366(18):1686-1695.
    [29] Mack MJ, Leon MB, Smith CR, et al. (2015) 5-year outcomes of transcatheter aortic valve replacement or surgical aortic valve replacement for high surgical risk patients with aortic stenosis (PARTNER 1): a randomised controlled trial. Lancet 15.
    [30] Leon MB (2013) A Randomized Evaluation of the SAPIEN XT Transcatheter Valve System in Patients with Aortic Stenosis Who Are Not Candidates for Surgery: PARTNER II, Inoperable Cohort. ACC; March 10; San Francisco.
    [31] Webb J (2015) 1-Year outcomes from the SAPIEN 3 trial. EuroPCR; May 19th-22nd; Paris, France.
    [32] Kodali S (2015) Clinical and Echocardiographic Outcomes at 30 Days with the SAPIEN 3 TAVR System in Inoperable, High-Risk and Intermediate-Risk AS Patients. ACC; March 15; San Diego, CA.
    [33] Amat-Santos IJ, Dahou A, Webb J, et al. (2014) Comparison of hemodynamic performance of the balloon-expandable SAPIEN 3 versus SAPIEN XT transcatheter valve. The Am J Cardio 114(7):1075-1082.
    [34] Tarantini G, Mojoli M, Purita P, et al. (2014) Unravelling the (arte)fact of increased pacemaker rate with the Edwards SAPIEN 3 valve. EuroIntervention : journal of EuroPCR in collaboration with the Working Group on Interventional Cardiology of the European Society of Cardiology 19.
    [35] Schymik G, Lefevre T, Bartorelli AL, et al. (2015) European Experience With the Second-Generation Edwards SAPIEN XT Transcatheter Heart Valve in Patients With Severe Aortic Stenosis: 1-Year Outcomes From the SOURCE XT Registry. JACC Cardiovascular interventions 8(5):657-669.
    [36] Popma JJ, Adams DH, Reardon MJ, et al. (2014) Transcatheter aortic valve replacement using a self-expanding bioprosthesis in patients with severe aortic stenosis at extreme risk for surgery. J Am Coll Cardiol 63(19):1972-1981.
    [37] Yakubov SJ (2014) Long-Term Outcomes Using a Self-Expanding Bioprosthesis in Patients With Severe Aortic Stenosis Deemed Extreme Risk for Surgery: Two-Year Results From the CoreValve US Pivotal Trial TCT 13 Washington, DC.
    [38] Adams DH, Popma JJ, Reardon MJ, et al. (2014) Transcatheter aortic-valve replacement with a self-expanding prosthesis. The New Eng J Med 370(19):1790-1798.
    [39] Reardon MJ (2015) A Randomized Comparison of Self-expanding Transcatheter and Surgical Aortic Valve Replacement in Patients with Severe Aortic Stenosis Deemed at Increased Risk for Surgery 2-Year Outcomes. ACC 15; San Diego, CA.
    [40] Wendler O (2011) 1-year mortalityresults from combined Cohort I and Cohort II of The SOURCE Registry. EuroPCR; May; Paris, France.
    [41] Walther T (2014) 2-year outcomes from the SOURCE XT registry: transfemoral versus transapical approach. EuroPCR; May; Paris, France.
    [42] One Year Outcomes in Real World Patients Treated with Transcatheter Aortic Valve Implantation. EuroPCR; May; Paris, France2013.
    [43] Piazza N (2015) Three Year Outcomes in Real World Patients Treated with Transcatheter Aortic Valve Implantation. TVT June 5; Chicago, USA.
    [44] Holmes DR, Brennan JM, Rumsfeld JS, et al. (2015) Clinical outcomes at 1 year following transcatheter aortic valve replacement. Jama 313(10):1019-1028.
    [45] Mohr FW, Holzhey D, Mollmann H, et al. (2014) The German Aortic Valve Registry: 1-year results from 13,680 patients with aortic valve disease. European journal of cardio-thoracic surgery: official journal of the European Association for Cardio-thoracic Surgery 46(5):808-816.
    [46] Moat NE, Ludman P, de Belder MA, et al. (2011) Long-term outcomes after transcatheter aortic valve implantation in high-risk patients with severe aortic stenosis: the U.K. TAVI (United Kingdom Transcatheter Aortic Valve Implantation) Registry. J Am Coll Cardiol 58(20):2130-2138
    [47] Ludman PF, Moat N, de Belder MA, et al. (2015) Transcatheter Aortic Valve Implantation in the UK: Temporal Trends, Predictors of Outcome and 6 Year Follow Up: A Report from the UK TAVI Registry 2007 to 2012. Circulation 30.
    [48] Gilard M, Eltchaninoff H, Iung B, et al. (2012) Registry of transcatheter aortic-valve implantation in high-risk patients. The New Eng J Med 366(18):1705-1715.
    [49] Bourantas CV, Van Mieghem NM, Soliman O, et al. (2013) Transcatheter aortic valve update 2013. EuroIntervention: journal of EuroPCR in collaboration with the Working Group on Interventional Cardiology of the European Society of Cardiology 9 Suppl:S84-90.
    [50] Engager Align Study 2015 [cited 2015 Febrary 27]. Available from: https://www.clinicaltrials.gov/ct2/show/NCT02149654?term=engager+aortic+valve&rank=2.
    [51] Meredith IT (2015) 6-Month Outcomes Following Transcatheter Aortic Valve Implantation With a Novel Repositionable Self-Expanding Bioprosthesis. EuroPCR 5: 19-22.
    [52] Safety and Efficacy Study of the Medtronic CoreValve® System in the Treatment of Severe, Symptomatic Aortic Stenosis in Intermediate Risk Subjects Who Need Aortic Valve Replacement (SURTAVI). 2015 [cited 2015 Febrary 2015]. Available from: https://www.clinicaltrials.gov/ct2/show/NCT01586910?term=surtavi&rank=1.
    [53] Abdel-Wahab M, Mehilli J, Frerker C, et al. (2014) Comparison of balloon-expandable vs self-expandable valves in patients undergoing transcatheter aortic valve replacement: the CHOICE randomized clinical trial. Jama 311(15):1503-1514.
    [54] Abdel-Wahab M, Richardt G (2014) Selection of TAVI prostheses: do we really have the CHOICE? EuroIntervention: journal of EuroPCR in collaboration with the Working Group on Interventional Cardiology of the European Society of Cardiology 10(U):U28-U34.
    [55] Abdel-Wahab M (2015) One-year outcomes after TAVI with balloon-expandable vs. self-expandable valves. EuroPCR 20; Paris.
    [56] AM ITM (2014) Repositionable Percutaneous Aortic Valve Replacement: 30-Day Outcomes in 250 High Surgical Risk Patients in the REPRISE II Extended Trial Cohort. PCR London Valve; London.
    [57] Schofer J, Colombo A, Klugmann S, et al. (2014) Prospective multicenter evaluation of the direct flow medical transcatheter aortic valve. J Am Coll Cardiol 63(8):763-768.
    [58] Colombo A (2015) 2-year data from the DISCOVER CE Mark Trial, which studied the Direct Flow Medical transcatheter aortic valve replacement system. EuroPCR; Paris, France.
    [59] TranScatheter Aortic Valve RepLacement System a US Pivotal Trial (SALUS) 2015 [cited 2015 Febrary 27]. Available from: https://www.clinicaltrials.gov/ct2/show/NCT02163850?term=direct+flow+medical&rank=3.
    [60] Primary endpoint data presented on performance and safety of the JenaValve TAVI system. 2014 [cited 2015 Febrary 27]. Available from: http://www.pcronline.com/News/Press-releases/Primary-endpoint-data-presented-on-performance-and-safety-of-the-jenavalve-tavi-system.
    [61] Thoracic S, Vahanian A, Alfieri O, et al. (2012) Joint Task Force on the Management of Valvular Heart Disease of the European Society of C, European Association for Cardio. Guidelines on the management of valvular heart disease (version 2012). European Heart J 33(19):2451-2496.
    [62] Nishimura RA, Otto CM, Bonow RO, et al. (2014) AHA/ACC guideline for the management of patients with valvular heart disease: a report of the American College of Cardiology/American Heart Association Task Force on Practice Guidelines. The J Thoracic Cardio Surg 148(1):e1-e132.
    [63] Bax JJ, Delgado V, Bapat V, et al. (2014) Open issues in transcatheter aortic valve implantation. Part 1: patient selection and treatment strategy for transcatheter aortic valve implantation. European Heart J 35(38):2627-2638.
    [64] Watanabe Y, Hayashida K, Lefevre T, et al. (2013) Is EuroSCORE II better than EuroSCORE in predicting mortality after transcatheter aortic valve implantation? Catheterization and cardiovascular interventions: official journal of the Society for Cardiac Angiography & Interventions 81(6):1053-1060.
    [65] Stahli BE, Tasnady H, Luscher TF, et al. (2013) Early and late mortality in patients undergoing transcatheter aortic valve implantation: comparison of the novel EuroScore II with established risk scores. Cardiolo 126(1):15-23.
    [66] Iung B, Laouenan C, Himbert D, et al. (2014) Predictive factors of early mortality after transcatheter aortic valve implantation: individual risk assessment using a simple score. Heart 100(13):1016-1023.
    [67] Mack MJ, Brennan JM, Brindis R, et al. Outcomes following transcatheter aortic valve replacement in the United States. Jama 310(19):2069-2077.
    [68] Piazza N, Kalesan B, van Mieghem N, et al. (2013) A 3-center comparison of 1-year mortality outcomes between transcatheter aortic valve implantation and surgical aortic valve replacement on the basis of propensity score matching among intermediate-risk surgical patients. JACC Cardiovascular interventions 6(5):443-451.
    [69] Lange R, Bleiziffer S, Mazzitelli D, et al. (2012) Improvements in transcatheter aortic valve implantation outcomes in lower surgical risk patients: a glimpse into the future. J Am Coll Cardiol59(3):280-287.
    [70] Wenaweser P, Stortecky S, Schwander S, et al. (2013) Clinical outcomes of patients with estimated low or intermediate surgical risk undergoing transcatheter aortic valve implantation. European Heart J 34(25):1894-1905.
    [71] Schymik G, Schrofel H, Schymik JS, et al. (2012) Acute and late outcomes of Transcatheter Aortic Valve Implantation (TAVI) for the treatment of severe symptomatic aortic stenosis in patients at high- and low-surgical risk. J Interventional Cardiolo 25(4):364-374.
    [72] D'Errigo P, Barbanti M, Ranucci M, et al. (2013) Transcatheter aortic valve implantation versus surgical aortic valve replacement for severe aortic stenosis: results from an intermediate risk propensity-matched population of the Italian OBSERVANT study. Inter J Cardiolo 167(5):1945-1952.
    [73] Thyregod HG, Steinbruchel DA, Ihlemann N, et al. (2015) Transcatheter Versus Surgical Aortic Valve Replacement in Patients With Severe Aortic Valve Stenosis: 1-Year Results From the All-Comers NOTION Randomized Clinical Trial. J Am Coll Cardiol 65(20):2184-2194.
    [74] Athappan G, Patvardhan E, Tuzcu EM, et al. (2013) Incidence, predictors, and outcomes of aortic regurgitation after transcatheter aortic valve replacement: meta-analysis and systematic review of literature. J Am Coll Cardiol 61(15):1585-1595.
    [75] Leon MB (2014) Perspectives on the 5 “Hottest” Topics in TAVR for 2014. Transcatherer Valve Therapies; Vancouver, Canada.
    [76] Daneault B, Koss E, Hahn RT, et al. (2013) Efficacy and safety of postdilatation to reduce paravalvular regurgitation during balloon-expandable transcatheter aortic valve replacement. Circulation Cardiovascular interventions 6(1):85-91.
    [77] Erkapic D, De Rosa S, Kelava A, et al. (2012) Risk for permanent pacemaker after transcatheter aortic valve implantation: a comprehensive analysis of the literature. J cardiovascular electrophysiolo 23(4):391-397.
    [78] Piazza N, Onuma Y, Jesserun E, et al. (2008) Early and persistent intraventricular conduction abnormalities and requirements for pacemaking after percutaneous replacement of the aortic valve. JACC Cardiovascular interventions 1(3):310-316.
    [79] Marcel Weber J-MS, Christoph Hammerstingl, Nikos Werner, et al. (2015) Georg nickenig. permanent pacemaker implantation after tavr—predictors and impact on outcomes. Int Cardiolo Review 10(2):98–102.
    [80] Eggebrecht H, Schmermund A, Voigtlander T, et al. (2012) Risk of stroke after transcatheter aortic valve implantation (TAVI): a meta-analysis of 10,037 published patients. EuroIntervention: journal of EuroPCR in collaboration with the Working Group on Interventional Cardiology of the European Soc Cardiolo 8(1):129-138.
    [81] Athappan G, Gajulapalli RD, Sengodan P, et al. (2014) Influence of transcatheter aortic valve replacement strategy and valve design on stroke after transcatheter aortic valve replacement: a meta-analysis and systematic review of literature. J Am Coll Cardiol 63(20):2101-2110.
    [82] Lansky AJ, Schofer J, Tchetche D, et al. (2015) A prospective randomized evaluation of the TriGuard HDH embolic DEFLECTion device during transcatheter aortic valve implantation: results from the DEFLECT III trial. European Heart J 19.
    [83] Colombo A, Michev I, Latib A (2014) Is it time to simplify the TAVI procedure? ""Make it simple but not too simple"". EuroIntervention : journal of EuroPCR in collaboration with the Working Group on Interventional Cardiology of the European Society of Cardiology 10 Suppl U:U22-27.
    [84] Wood DA, Poulter R, Cook R, et al. (2014) TCT-701 A Multidisciplinary, Multimodality, but Minimalist (3M) approach to transfemoral transcatheter aortic valve replacement facilitates safe next day discharge home in high risk patients: 1 year follow up. J Am College Cardiolo 64(11_S).
    [85] Islas F, Almeria C, Garcia-Fernandez E, et al. (2015) Usefulness of echocardiographic criteria for transcatheter aortic valve implantation without balloon predilation: a single-center experience. Journal of the American Society of Echocardiography: official publication of the American Society of Echocardiography 28(4):423-429.
    [86] Bramlage P, Strauch J, Schrofel H (2014) Balloon expandable transcatheter aortic valve implantation with or without pre-dilation of the aortic valve—rationale and design of a multicenter registry (EASE-IT). BMC cardiovascular disorders 14:160. doi: 10.1186/1471-2261-14-160
    [87] Blumenstein J, Kempfert J, Van Linden A, et al. (2013) First-in-man evaluation of the transapical APICA ASC access and closure device: the initial 10 patients. European journal of cardio-thoracic surgery: official journal of the European Association for Cardio-thoracic Surgery 44(6):1057-1062
    [88] Khawaja MZ, Wang D, Pocock S, et al. (2014) The percutaneous coronary intervention prior to transcatheter aortic valve implantation (ACTIVATION) trial: study protocol for a randomized controlled trial. Trials 15:300.
    [89] Aspirin Versus Aspirin + ClopidogRel Following Transcatheter Aortic Valve Implantation: the ARTE Trial 2015 [cited 2015 Febrary 27]. Available from: https://www.clinicaltrials.gov/ct2/show/NCT01559298?term=arte+trial&rank=1.
    [90] Tuzcu EM (2014) Transcatheter Aortic Valve in Valve Replacement for Degenerative Aortic Bioprosthesis: Initial Results from the STS/ACC Transcatheter Valve Therapy Registry. ACC; Washington, DC.
  • Reader Comments
  • © 2015 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(11685) PDF downloads(1745) Cited by(3)

Figures and Tables

Figures(3)  /  Tables(2)

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog