WOLFRAM

Wolfram言語 ＆ システムドキュメントセンター

"ImmutableVector" (データ構造)

"ImmutableVector"

変更が新しいデータ構造を生成し，要素が一般式である不変ベクトルを表す．

詳細

  • 不変ベクトルは，存在するデータ構造を変更することなく，効率的に要素を追加したり削除したりするために役立つ．
  • 不変ベクトルは構造共有を使うので，結果として保証はパフォーマンスに縛られる．
  • CreateDataStructure["ImmutableVector"]新しい空の"ImmutableVector"を作成する
    CreateDataStructure["ImmutableVector",elems]elems を含む新しい"ImmutableVector"を作成する
    Typed[x,"ImmutableVector"]x に"ImmutableVector"型を与える
  • "ImmutableVector"型のデータ構造には，以下の演算が使える．
  • ds["Append",x]x が ds に付加された新しい不変ベクトルを返すtime: O(log n)
    ds["DropLast"]ds の最終要素を削除した新しい不変ベクトルを返すtime: O(log n)
    ds["Elements"]ds の要素のリストを返すtime: O(n)
    ds["EmptyQ"]ds に要素がない場合には，Trueを返すtime: O(1)
    ds["Fold",fun]fun を ds の要素に適用し，結果を累積するtime: O(n)
    ds["Fold",fun,init]fun を ds の要素に適用する．init で始めて，結果を累積するtime: O(n)
    ds["JoinBack",elems]elems を ds の後ろに繋げるtime: O(nelems)
    ds["Length"]ds に保存される要素の数time: O(1)
    ds["Part",i]ds の i 番目の部分を返すtime: O(log n)
    ds["ReplacePart",ix]i 番目の部分を x で置き換えた新しい不変ベクトルを返すtime: O(log n)
    ds["Visualization"]ds の可視化を返すtime: O(n)
  • 以下の関数もサポートする．
  • dsi===dsjdsi が dsj に等しい場合はTrue
    FullForm[ds]ds の完全形
    Information[ds]ds についての情報
    InputForm[ds]ds の入力形
    Normal[ds]ds を通常の式に変換する

例題

すべて開く すべて閉じる

例  (2)

新しい"ImmutableVector"は，CreateDataStructureを使って作成できる：

Wolfram Language code: ds = CreateDataStructure["ImmutableVector"]

要素は追加できる：

Wolfram Language code: ds1 = ds["Append", f[1]]

長さを返す：

Wolfram Language code: ds1["Length"]

もとのベクトルの長さは変わらない：

Wolfram Language code: ds["Length"]

第1要素を抽出する：

Wolfram Language code: ds1["Part", 1]

要素を置き換える：

Wolfram Language code: ds2 = ds1["ReplacePart", 1 -> g[1]]

ds1は変わらない：

Wolfram Language code: ds1["Part", 1]

ds2の値は置換された：

Wolfram Language code: ds2["Part", 1]

ds の式バージョンを返す：

Wolfram Language code: Normal[ds2]

要素を付加することは効率的である：

Wolfram Language code: ds = CreateDataStructure["ImmutableVector"]; Do[ds = ds["Append", i], {i, 1, 1000}]

データ構造の可視化が生成できる：

Wolfram Language code: ds["Visualization"]

全要素を合計する：

Wolfram Language code: ds["Fold", Plus, 0]

スコープ  (2)

効率性  (1)

"ImmutableVector"は，要素を効率的に追加する：

Wolfram Language code: ds = CreateDataStructure["ImmutableVector"]; Do[ds = ds["Append", i], {i, 1, 50000}]//AbsoluteTiming

通常のリスト式はあまり速く追加できない：

Wolfram Language code: list = {}; Do[list = Append[list, i], {i, 1, 50000}]//AbsoluteTiming

連想も速く追加できるが，データの指標ではなく，キーを返す：

Wolfram Language code: assoc = <||>; Do[assoc = Append[assoc, i -> i], {i, 1, 50000}]//AbsoluteTiming

情報  (1)

新しい"ImmutableVector"は，CreateDataStructureを使って作成できる：

Wolfram Language code: ds = CreateDataStructure["ImmutableVector"]

データ構造 ds についての情報：

Wolfram Language code: Information[ds]