SAS Optimization 功能清單

代數、符號最佳化建模語言

代數、符號最佳化建模語言

  • 使用靈活的代數語法編寫直覺化模型公式。
  • 支援以透明方式使用 SAS 函數。
  • 直接啟動線性、混合整數線性、二次、非線性、圓錐、黑盒、約束程式設計和網路等求解器。
  • 支援自訂最佳化演算法的快速原型設計,包括支援具名問題和子問題。
  • 使用業界標準 MPS/QPS 格式輸入資料集。
  • 積極主動的預解器,可減少有效的問題大小。
  • 在一個機器或一個計算網格上同時解決獨立問題。
  • 自動化執行線性化和指標約束。

功能強大的最佳化求解器

功能強大的最佳化求解器

  • 線性程式設計解決方案演算法:
    • 原始和雙單形。
    • 過濾。
    • 網路單形。
    • 內點與交配。
    • 同時求解功能。
  • 混合整數線性程式設計解決方案演算法:
    • 分支和綁定切割平面。
    • 原始啟發式。
    • 衝突搜尋。
    • 選項調整。
    • 根節點 (線性程式設計鬆弛) 演算法選項。
    • 報告最多 K 個最佳整數可行解決方案或最多 K 個最佳解決方案。
  • 分解演算法 (自動化 Dantzig-Wolfe),用於解決有使用者指定或自動偵出區塊結構的線性程式設計和混合整數線性程式設計問題。
  • 二次程式設計解決方案演算法:專為解決大規模最佳化問題的內點與最先進求解器。
  • 線性程式設計解決方案演算法:使用中的集合、內點。同時求解功能。用於解決非凸問題的多啟動算法。

網路最佳化

網路最佳化

  • 診斷和最佳化演算法包括:
    • 連線成分和雙向連線成分 (以及關節點)。
    • 最大團列舉。
    • 週期列舉。
    • 路徑列舉。
    • 遞移封閉。
    • 拓撲排序。
    • 最大流量。
    • 最小切割。
    • 最小跨距樹狀結構。
    • 最低成本線性分配。
    • 最低成本網路流量。
    • 最短路徑。
    • 巡迴推銷員問題。
    • 車輛路由問題。
    • 摘要統計資料。
    • 可輸入並處理每對節點之間的多個連結。

黑盒最佳化

黑盒最佳化

  • 解決包含非線性函數的問題,這些函數可以是非平滑、不連續、不連續可微分等。
  • 混合平行演算法,包括通用演算法、全域 GA 型啟發式和模式搜尋。多目標最佳化。

約束程式設計

約束程式設計

  • 藉由使用有限領域約束程式設計,搭配領域縮減/約束傳播以及自選搜尋策略 (例如,前瞻和回溯),解決約束滿足問題。找出一種、數種或所有的可行解決方案。自選指定一個目標函數,並找出最佳解決方案 (二分搜尋法)。

廣泛分散、方便存取、雲端就緒

廣泛分散、方便存取、雲端就緒

  • 最佳化求解器在 SAS Viya 可擴展分散式記憶體內資料分析平台上執行。
  • 將分析和資料工作分散到多個計算節點。
  • 分散式運算功能:
    • 運用 PROC OPPMODEL 的非線性 (NLP) 求解器多啟動選項。
    • 運用 PROC OPTMODEL 和 PROC OPTMILP 的分解演算法 (MILP)。
    • 解決獨立最佳化情境:運用 PROC OPTMODEL 的 COFOR 迴圈。
    • MILP 求解器同時執行模式 (PROC OPTMODEL, PROC OPTMILP)。
    • 分支和綁定 MILP 求解器運算法 (PROC OPTMODEL, PROC OPTMILP)。
    • 運用 PROC OPTMODEL 的黑盒最佳化。
    • 運用 PROC OPTMODEL 的路徑列舉、最短路徑和連線成分網路運算法。
    • PROC OPTMODEL 網路演算法中的 BY 群組處理。
    • 多個使用者可同時快速存取記憶體內資料。
    • 包含容錯功能,以維持高可用性。
    • 可讓您藉由使用 SAS Viya REST API,將 SAS 資料分析的強大功能新增至其他應用程式。