FANDOM


バシク行列数

Bm^10(9)

Bm(x)
:準備する行列
 M[1,a]=0,M[2,a]=1(1≦a≦x+1)の行列.
 列の数をS(0≦S)とする.
:Bmに値を返す条件
 S=0.
 :Bに返す値
  x.
:Mの変形
 xを二乗する.
 Mを「残す行列」G,「刈る列」Nに分ける.
 :Nを刈る
  NをM[S,b](1≦b)とする.
  Nを刈り,Nが0以外を含むならGの一部分を複製.
  :Gの一部分を決める
   Mを一行ずつNと比較する.
   比較するごとに決まる条件を満たすか調べる.
   :比較する列の順
    M[S-L,c]で,L=0からLを1ずつ増加させて比較.
    :比較する要素の順
     M[S-L,c]とN[c]で,c=1からcを1ずつ増加させて比較.
     MよりNが大きければNをMと等しくさせる.
     逆または等しい場合,次の列に移る.
    :決まる条件
     Nの変化後,MとNが全て等しい.
     複製するGの一部分,M[S-L+d,e]をB[d,e](0≦d≦L,1≦e)とする.
  :Bの複製
   Bを一度複製するごとに,Bの要素の一部にそれぞれ同じ数を足す.
   :足す数
    D[f]=N[f]-B[1,f](1≦f).
    :Bに足す  
     B[1,g](1≦g≦N[g+1]=0になるg)にD[g]を足す.
     次にB[h,g](h=1,hをLまで1ずつ増やす)が,Dを足す前のB[1,g]より,
     大きいかつ,根元の列のDが足された同じ行の要素にD[g]を足す.
     :根元の列
      B[h-i,g](iはB[h-i,1]<B[h,1]となる最小値).
   :複製する数量
    x.

広告ブロッカーが検出されました。


広告収入で運営されている無料サイトWikiaでは、このたび広告ブロッカーをご利用の方向けの変更が加わりました。

広告ブロッカーが改変されている場合、Wikiaにアクセスしていただくことができなくなっています。カスタム広告ブロッカーを解除してご利用ください。

FANDOMでも見てみる

おまかせWiki