文献

J-GLOBAL ID：202002261033362092   整理番号：20A1534155

拡張SQLにおける組合せ最適化問題の制約問題への変換【JST・京大機械翻訳】

Transformation of Combinatorial Optimization Problems Written in Extended SQL into Constraint Problems

著者 (2件)： Sakanashi Genki (Graduate School of Informatics, Nagoya University) ,  Sakai Masahiko (Graduate School of Informatics, Nagoya University)
資料名： ACM Proceedings  (ACM Proceedings)
号： PPDP ’18  ページ： 1-13  発行年： 2018年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： コンビナトリアル最適化は重要な領域であり,様々な問題に対する最良の解決策の一つを与える。本論文は,組合せ最適化問題を記述するための宣言的言語のSQLスタイルに焦点を当て,最先端のCP/SMTソルバによって駆動されるそれらの解法を提供する。意味的観点から,組合せ問題の探索空間を,関係の有限集合として与えた。探索空間における関係は,機能的言語におけるリスト上のフィルタ関数に類似した問題の制約によってフィルタリングされ,得られた関係は問題の解である。この概念に従って,一連の関係,制約に従って関係の集合をフィルタリングし,目標関数に関して最適関係の1つを選択することにより,いくつかの演算を導入することによって構造化質問言語(SQL)を拡張した。効果的な実装に向けて,有限領域を持つ変数と変数に関する制約を含む関係の対として,一連の関係を表現する。これにより,CP/SMTソルバによる目標問題を解決することができた。また,グラフ頂点彩色最適化問題に関する実験結果を与えた。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *最適化 ,  フィルタ ,  言語 ,  *最適化問題 ,  フィルタリング ,  発色 ,  組合せ問題 ,  問い合わせ言語 ,  *組合せ最適化問題
準シソーラス用語： 探索空間 ,  ソルバ ,  *組合せ最適化 , 【Automatic Indexing@JST】

著者キーワード (4件)： SQL ,  組合せ最適化 ,  特定問題のための言語 ,  充足可能性ソルバー

分類 (2件)： 計算機システム開発  (JD02010R) ,  データベースシステム  (JD03030U)

タイトルに関連する用語 (4件)： 拡張 ,  SQL ,  組合せ最適化問題 ,  制約