SAS Optimizationの機能リスト

記号を使った代数最適化モデリング言語

記号を使った代数最適化モデリング言語

  • モデルを直感的に定式化できる柔軟な代数構文
  • SAS関数の透過的な使用をサポート
  • 線形、混合整数線形、二次、非線形、円錐、ブラックボックス、制限プログラミング、およびネットワーク・ソルバーを直接呼出し可能。
  • カスタマイズされた最適化アルゴリズムの迅速なプロトタイピングをサポート(名前付きの問題および下位問題のサポートを含む)
  • 業界標準のMPS/QPS形式の入力データセットを使用可能
  • 実効性を維持して問題規模を縮小できるアグレッシブ(積極的)なプリソルバー
  • 独立した問題を1台のマシンまたは計算グリッドで同時に解決します。
  • 自動線形化とインジケーター制約。

強力な最適化ソルバー

強力な最適化ソルバー

  • 線形計画法の解決アルゴリズム:
    • 主単体法(プライマル・シンプレックス法)と双対単体法(デュアル・シンプレックス法)
    • Sifting
    • ネットワーク単体法(ネットワーク・シンプレックス法)
    • 内点法(クロスオーバー)
    • 同時解決機能
  • 混合整数線形計画法の解決アルゴリズム:
    • 切除平面を用いた分枝限定法
    • プライマル法ヒューリスティック(Primal heuristics)(発見的問題解決)
    • 衝突探索(制約条件の衝突を検知することが可能)
    • オプション・チューニング
    • ルートノード(LP緩和)アルゴリズムのオプション
    • K最良整数実行可能解(K best integer feasible solutions)まで、または第K最適解(K optimal solutions)までをレポート
  • 線形計画問題や混合整数線形計画問題のための分解アルゴリズム(自動Dantzig-Wolfe)。ユーザー指定のブロック構造、または自動検知されるブロック構造を使用。
  • 二次計画法の解決アルゴリズム:大規模な最適化問題に対応する最新のソルバーを用いた内点法
  • 非線形計画法の解決アルゴリズム:有効制約法、内点法。同時解決機能。非凸問題向けのマルチスタート・アルゴリズム

ネットワーク最適化

ネットワーク最適化

  • 以下の診断および最適化アルゴリズムが含まれます。
    • 連結成分と2連結成分(関節点を使用)
    • 最大クリーク列挙
    • サイクル列挙
    • パス列挙
    • 推移閉包
    • トポロジカル・ソート
    • 最大フロー
    • 最小カット
    • 最小スパニングツリー
    • 最小コスト線形評価
    • 最小コスト・ネットワークフロー
    • 最短経路
    • 巡回セールスパーソン問題
    • 配車ルート問題
    • 要約統計量
    • 各ノード・ペア間の複数リンクの入力および処理

ブラックボックスの最適化

ブラックボックスの最適化

  • 非平滑または不連続である可能性のある問題や、連続微分不可能である可能性がある問題などを、非線形関数を用いて解決
  • ハイブリッドな並列アルゴリズム(遺伝的アルゴリズム、大域的GA型ヒューリスティック法、パターン探索など)。多目的最適化

制約プログラミング

制約プログラミング

  • 有限空間制約プログラミングを、空間削減/制約伝播および探索戦略の選択(先読みやバックトラックなど)とともに用いて、制約充足問題を解決。1つ、複数、または全ての許容解を特定。オプションで目的関数を指定し、最適解を見つけることも可能(二分探索法)

分散処理、アクセス性、クラウド対応

分散処理、アクセス性、クラウド対応

  • スケーラブルな分散アナリティクス・プラットフォームSAS Viya上での最適化ソルバー実行
  • 分析タスクやデータ処理タスクを複数のコンピューティング・ノードに分散
  • 分散コンピューティング機能:
    • 非線形(NLP)ソルバーのマルチスタート・オプションをPROC OPTMODEL内で利用可能
    • 分解アルゴリズム(MILP)をPROC OPTMODEL、PROC OPTMILP内で実行可能
    • 独立した最適化シナリオの解決を実行(PROC OPTMODELのCOFORループ)
    • MILPソルバーの並行モード(PROC OPTMODEL、PROC OPTMILP)
    • 分枝限定法によるMILPソルバー・アルゴリズム(PROC OPTMODEL、PROC OPTMILP)
    • PROC OPTMODELにおけるブラックボックスの最適化
    • 最短経路/連結成分によるネットワーク・アルゴリズムをPROC OPTNETWORK内で実行可能
    • ネットワーク・アルゴリズムにおけるBYグループ処理をPROC OPTNETWORK内で実行可能
    • 複数のユーザーが高速かつ同時にメモリ内のデータにアクセス
    • 高可用性のためのフォールト・トレランス(耐障害性)機能を搭載
    • SAS Viya REST APIを使用による他のアプリケーションへのSAS analyticsのパワーの追加