ComplexiteAlgo\].

Without lost of generality and for the sake of simplicity, we assume that $k^{(i)} = d$ and $\psi_{d } (j) = j$ for all $j \in \{1,\dots,d-1\}$. Let $\ell_1 < \cdots < \ell_r$ be the elements of $\mathcal{L} $. Define for all $p \in \{1,\dots,d-1\}$, $k_{p,0} = 0$ and by induction for all integer ${\mathfrak{m}}$, $$\begin{aligned}
k_{p,{\mathfrak{m}}+1} =
  \begin{cases}
  \inf \left\{k > k_{p,{\mathfrak{m}}}, \; \mathfrak{j}_{\text{min}}^{(i,\ell_{k})} > p  \right\} & \text{if there exists $k \in \{k_{p,{\mathfrak{m}}} +1,\dots,r \}$  such that $\mathfrak{j}_{\text{min}}^{(i,\ell_{k})} > p$} \\
   r  & \text{otherwise.} 
  \end{cases}\end{aligned}$$ Let $\mathfrak{M}_p$ be the smallest integer ${\mathfrak{m}}$ for which $k_{p,{\mathfrak{m}}} = r$. Set for all ${\mathfrak{m}}\in \{0,\dots,\mathfrak{M}_p-1\}$, $$K_{p,{\mathfrak{m}}} = \left\{k_{p,{\mathfrak{m}}}+1, \dots, k_{p,{\mathfrak{m}}+1} \right\}.$$ The cardinality of $K_{p,{\mathfrak{m}}}$ can be upper bounded by the claim below.

\[ClaimMajorationCardinalDeKpm\] For all $p \in \{1,\dots,d-1\}$ and ${\mathfrak{m}}\in \{0,\dots,\mathfrak{M}_p-1\}$, $$\begin{aligned}
 \label{eqMajorationKpm}
|K_{p,{\mathfrak{m}}}| \leq  \prod_{k=1}^p  \left[ 1 +   \left(\frac{{  \begingroup
  \def\mathaccent#R##2{    \rel@kern{0.8}    \overline{\rel@kern{-0.8}\macc@nucleus\rel@kern{0.
ComplexiteAlgo\ ]. 

 Without lost of generality and for the sake of simplicity, we assume that $ k^{(i) } = d$ and $ \psi_{d } (joule) = j$ for all $ joule \in \{1,\dots, d-1\}$. permit $ \ell_1 < \cdots < \ell_r$ be the elements of $ \mathcal{L } $. specify for all $ p \in \{1,\dots, d-1\}$, $ k_{p,0 } = 0 $ and by induction for all integer $ { \mathfrak{m}}$, $ $ \begin{aligned } 
 k_{p,{\mathfrak{m}}+1 } = 
   \begin{cases } 
   \inf \left\{k > k_{p,{\mathfrak{m } } }, \; \mathfrak{j}_{\text{min}}^{(i,\ell_{k }) } > p   \right\ } & \text{if there exist $ k \in \{k_{p,{\mathfrak{m } } } +1,\dots, r \}$   such that $ \mathfrak{j}_{\text{min}}^{(i,\ell_{k }) } > p$ } \\ 
    gas constant   & \text{otherwise. } 
   \end{cases}\end{aligned}$$ Let $ \mathfrak{M}_p$ be the smallest integer $ { \mathfrak{m}}$ for which $ k_{p,{\mathfrak{m } } } = r$. Set for all $ { \mathfrak{m}}\in \{0,\dots,\mathfrak{M}_p-1\}$, $ $ K_{p,{\mathfrak{m } } } = \left\{k_{p,{\mathfrak{m}}}+1, \dots, k_{p,{\mathfrak{m}}+1 } \right\}.$$ The cardinality of $ K_{p,{\mathfrak{m}}}$ can be upper bounded by the call below. 

 \[ClaimMajorationCardinalDeKpm\ ] For all $ p \in \{1,\dots, d-1\}$ and $ { \mathfrak{m}}\in \{0,\dots,\mathfrak{M}_p-1\}$, $ $ \begin{aligned } 
  \label{eqMajorationKpm } 
 |K_{p,{\mathfrak{m}}}| \leq   \prod_{k=1}^p   \left [ 1 +    \left(\frac { {   \begingroup 
   \def\mathaccent#R##2 {     \rel@kern{0.8 }     \overline{\rel@kern{-0.8}\macc@nucleus\rel@kern{0.
ComolexiteAlgo\].

Without lost uf generality aue for vhe saks of simolicity, we assume that $k^{(i)} = d$ abd $\psu_{d } (j) = j$ for all $j \in \{1,\aots,d-1\}$. Let $\ell_1 < \cdits < \wll_r$ be thx elemenbf of $\latheao{L} $. Define for all $p \in \{1,\gots,d-1\}$, $k_{p,0} = 0$ and bh nnduction for all integer ${\mathfrak{m}}$, $$\fegin{alogjed}
k_{p,{\mathfrak{m}}+1} =
  \btgig{casss}
  \inf \left\{k > k_{p,{\mathfrak{m}}}, \; \mathfrzk{j}_{\text{kin}}^{(i,\ell_{k})} > p  \tight\} & \text{if there exists $k \ij \{k_{p,{\mathfrak{m}}} +1,\dots,g \}$  such thqt $\mwrhfrak{j}_{\text{mkn}}^{(i,\ell_{k})} > p$} \\
   r  & \text{ktherwise.} 
  \end{cases}\end{aligned}$$ Uet $\mcthfrak{M}_p$ bg fhf smallest iiteger ${\mathfrak{m}}$ for which $k_{p,{\mathgrak{m}}} = r$. Set fpr ell ${\nathfrak{m}}\in \{0,\dots,\mathfcak{M}_p-1\}$, $$K_{p,{\mathfrak{m}}} = \lgft\{k_{p,{\mathfsai{m}}}+1, \dots, k_{p,{\mathfraj{m}}+1} \righj\}.$$ The caraunauitg pf $K_{p,{\matjfrek{m}}}$ can be hpper boundwd by the claim belpw.

\[SoaimMajoratiohCardigajDeKpm\] For all $p \in \{1,\dots,d-1\}$ and ${\mathfrak{m}}\pn \{0,\dkts,\mathfrak{M}_p-1\}$, $$\begin{aligbed}
 \label{eqMajorationNpm}
|K_{p,{\mathsrak{m}}}| \leq  \prod_{k=1}^p  \left[ 1 +   \left(\frac{{  \begingroup
  \def\metfaceckt#R##2{    \gel@kern{0.8}    \overline{\rel@kern{-0.8}\macc@nucleus\rel@kern{0.
ComplexiteAlgo\]. Without lost of generality and for of we assume $k^{(i)} = d$ j$ all $j \in Let $\ell_1 < < \ell_r$ be the elements of $. Define for all $p \in \{1,\dots,d-1\}$, $k_{p,0} = 0$ and by induction all integer ${\mathfrak{m}}$, $$\begin{aligned} k_{p,{\mathfrak{m}}+1} = \begin{cases} \inf \left\{k > k_{p,{\mathfrak{m}}}, \; \mathfrak{j}_{\text{min}}^{(i,\ell_{k})} p & there $k \in \{k_{p,{\mathfrak{m}}} +1,\dots,r \}$ such that $\mathfrak{j}_{\text{min}}^{(i,\ell_{k})} > p$} \\ r & \text{otherwise.} \end{cases}\end{aligned}$$ Let be the smallest integer ${\mathfrak{m}}$ for which $k_{p,{\mathfrak{m}}} r$. Set for all \{0,\dots,\mathfrak{M}_p-1\}$, $$K_{p,{\mathfrak{m}}} = \left\{k_{p,{\mathfrak{m}}}+1, \dots, \right\}.$$ cardinality of can upper by the claim \[ClaimMajorationCardinalDeKpm\] For all $p \in \{1,\dots,d-1\}$ and ${\mathfrak{m}}\in \{0,\dots,\mathfrak{M}_p-1\}$, $$\begin{aligned} \label{eqMajorationKpm} |K_{p,{\mathfrak{m}}}| \leq \prod_{k=1}^p \left[ 1 + \begingroup \def\mathaccent#R##2{
ComplexiteAlgo\].

Without lost Of generaliTy and For The SaKe of SimpLicity, we assume THat $k^{(I)} = d$ and $\psi_{d } (j) = j$ for all $j \in \{1,\doTs,d-1\}$. LeT $\eLL_1 < \cdoTS < \eLl_r$ be The elemENtS OF $\maThCaL{L} $. DEfINe For alL $p \iN \{1,\dots,d-1\}$, $k_{P,0} = 0$ and by induCtiOn For all integeR ${\MaThfrak{m}}$, $$\begIn{aLigned}
k_{p,{\mathFraK{m}}+1} =
  \begiN{cAseS}
  \Inf \leFt\{k > K_{p,{\matHfrak{m}}}, \; \MAthfraK{j}_{\text{min}}^{(I,\eLL_{k})} > p  \rigHT\} & \text{if THErE exiSts $k \in \{k_{p,{\mathfrak{m}}} +1,\DOtS,R \}$  such that $\mathfRak{j}_{\teXt{MIn}}^{(I,\ELl_{k})} > P$} \\
   r  & \tExt{otherwiSe.} 
  \End{caSEs}\end{alIGnED}$$ lEt $\mAThfrak{M}_p$ be the Smallest intEGer ${\MathfrAk{M}}$ foR Which $k_{P,{\mathFrAK{m}}} = r$. set for all ${\maThfrAk{m}}\in \{0,\dots,\MathfrAK{M}_p-1\}$, $$K_{p,{\maTHfrak{m}}} = \lEft\{k_{p,{\mAthFraK{m}}}+1, \doTS, k_{P,{\mAthFrAK{m}}+1} \rIGhT\}.$$ ThE CarDinality Of $k_{p,{\MathfRak{m}}}$ CAN BE uppEr bOundEd by tHe claim below.

\[CLaiMMajORatIonCaRdinaLDeKPm\] for alL $p \in \{1,\doTs,d-1\}$ anD ${\mAthfrak{m}}\in \{0,\dots,\mAthfRak{M}_p-1\}$, $$\begiN{alIgNed}
 \LaBel{eqmAjoratIonkpm}
|k_{p,{\mathfRak{m}}}| \leq  \PRod_{K=1}^p  \LEFT[ 1 +   \lEft(\frac{{  \begingroup
  \dEf\MAThAccent#R##2{    \rEl@kern{0.8}    \OVeRlINe{\rel@kerN{-0.8}\mAcc@NuclEUS\rel@kErn{0.
ComplexiteAlgo\].

Without  lost of g enera lit y a nd  for  the  sake of simpl i city , we assume that $k^{( i)} =  d $  and $\ psi_{ d } (j) =j $  fo ral l $ j\ in  \{1, \do ts,d-1\ }$. Let $\ ell _1  < \cdots <\ el l_r$ be th e e lements of $ \ma thcal{ L}  $. Defin e f or al l $p \ i n \{1, \dots,d-1 \} $ , $k_{ p ,0} = 0 $ an d by  induction for al l  i n teger ${\mathf rak{m} }$ ,  $ $ \ beg in{ aligned}
k _{ p,{\m a thfrak{ m }} + 1 }  = \begin{cases }
  \inf \l e ft\ {k > k _{ p,{ \ mathfr ak{m} }} ,  \;  \mathfrak{ j}_{ \text{min }}^{(i , \ell_{k } )} > p \righ t\}  &\tex t {i fthe re exi s ts  $k \in  \{k_{p, {\ ma thfra k{m} } } + 1,\d ots ,r \ }$  s uch that $\ma thf rak{ j }_{ \text {min} }^{( i, \ell_ {k})}> p$}  \ \
   r  & \text {oth erwise.}
 \e nd{ ca ses}\ e nd{ali gne d}$ $ Let $ \mathfr a k{M }_ p $ be  the smallest inte ge r ${ \mathfra k{m}}$ fo rw hich $k_ {p ,{\ math f r ak{m} }} = r$ . Set fo r all$ {\ ma thfrak{ m} }\in \ {0 ,\d ots ,\mat h frak {M}_p- 1\}$, $$ K_{p, { \mathfrak{m}}} = \left\{k_{p , {\ m a th f rak{ m}} }+1, \dots,  k_{ p ,{\m athf r ak {m} } +1} \ right \} . $$ The cardinality of$K _{p,{\ mathf rak{m}}}$ can  be upperb o u nded bythec la i m below.

\[Cl aimMa jorationCa r dinalDeK pm\]For all$p \in \{ 1 , \dots,d- 1\} $ a nd${\ m a th frak{m}}\in \ { 0 ,\do ts ,\mathf rak {M}_p-1 \}$ , $ $\b egi n{ aligned} \label{ eq Ma jo ra tio nKpm} |K_{p,{\ ma thf ra k{m }}}|\ leq  \ prod_ {k=1 }^ p\le ft[ 1 +  \ l eft( \f ra c{{ \b eg ingro up
\de f\matha ccent#R## 2{  \r el @k ern{0.8 }    \overlin e{ \rel@kern{ -0 .8} \macc@ n u cleus\re l@kern{0.
ComplexiteAlgo\].

Without lost_of generality_and for the sake_of simplicity,_we_assume that_$k^{(i)}_= d$ and_$\psi_{d } (j)_= j$ for all_$j \in \{1,\dots,d-1\}$._Let_$\ell_1 < \cdots < \ell_r$ be the elements of $\mathcal{L} $. Define for all_$p_\in \{1,\dots,d-1\}$,_$k_{p,0}_=_0$ and by induction for_all integer ${\mathfrak{m}}$, $$\begin{aligned}
k_{p,{\mathfrak{m}}+1} =
_ \begin{cases}
_ \inf \left\{k > k_{p,{\mathfrak{m}}}, \; \mathfrak{j}_{\text{min}}^{(i,\ell_{k})} >_p_ \right\} &_\text{if there exists $k \in \{k_{p,{\mathfrak{m}}} +1,\dots,r \}$ _such that $\mathfrak{j}_{\text{min}}^{(i,\ell_{k})} > p$} \\
_  r__&_\text{otherwise.} 
  \end{cases}\end{aligned}$$_Let $\mathfrak{M}_p$ be the smallest integer_${\mathfrak{m}}$ for which $k_{p,{\mathfrak{m}}} = r$._Set for all ${\mathfrak{m}}\in \{0,\dots,\mathfrak{M}_p-1\}$, $$K_{p,{\mathfrak{m}}} =_\left\{k_{p,{\mathfrak{m}}}+1, \dots, k_{p,{\mathfrak{m}}+1} \right\}.$$ The cardinality_of $K_{p,{\mathfrak{m}}}$ can be upper_bounded by_the claim below.

\[ClaimMajorationCardinalDeKpm\] For all_$p \in \{1,\dots,d-1\}$_and ${\mathfrak{m}}\in_\{0,\dots,\mathfrak{M}_p-1\}$, $$\begin{aligned}
 \label{eqMajorationKpm}
|K_{p,{\mathfrak{m}}}|_\leq  \prod_{k=1}^p  \left[ 1_+  _\left(\frac{{  \begingroup
  \def\mathaccent#R##2{ __ \rel@kern{0.8} ___\overline{\rel@kern{-0.8}\macc@nucleus\rel@kern{0.