セマンティックWebと記述論理
Web kaneiwa@nii.ac.jp Talk outline 1. Web 2. • • A-Box, T-Box • • T-Box A-Box • 3. 4. OWL ( ) 5. Web Web � (HTML) � Web Web Web � ( ) � � 1 � ( ) - RDF(Resource Dcument Framework) - RDF (RDF ) � - Web OWL � - 2 Web Trust Proof OWL RDF RDF XML URI DLP bit of OWL/ 3 OWL OWL 3 � OWL Lite � OWL DL OWL DL � OWL Full OWL DL+RDF � � (RACER[Haarslev2001] ) � 4 OWL � � � � 5 2. � Semantic networks [Quillia
局所探索
巡回セールスマン問題に対する局所探索法 巡回セールスマン問題について 複数箇所の訪問先(以下都市とよびます)をすべて一度だけ訪問するとき、 その訪問の総距離が最短となる巡回路(つまり出発地に戻らなくてはならない) を求める問題です。 都市はアプレットの右上端にあるプルダウンメニューから問題例を選ぶか、 画面上をクリックすることで配置することができます。 SOLVEボタンで局所探索法による求解の動作を開始します。 動作中にSTOPボタンまたは画面をクリックすると一時停止します。 SOLVEボタンで動作を再開します。 CLEARボタンで都市を消去します。 局所探索法について 局所探索は、すでに構成済み(1)の巡回路を改良するために用いられます。 なお、ここで紹介するアプレットでは巡回路の構成はNearest Neighbour 〜もっとも近いお隣さんをたどること〜によって実現して
京都大学 永持研究室 「研究成果 > アルゴリズムのデモ」
ほとんどjavaを使っていますので，うまく見れない場合は，java.com から実行環境をダウンロードしてインストールしてみて下さい． 巡回セールスマン問題（局所探索法） 説明 TSP1 TSP2 TSP3 TSP4 最短路問題（ダイクストラ法） 説明 Dijkstra1 Dijkstra2 Dijkstra3 Dijkstra4 [Java実装のソース] 最小木（クラスカル法） 説明 Kruskal1 Kruskal2 Kruskal3 Kruskal4 最小木（プリム法） 説明 Prim1 Prim2 Prim3 Prim4 最小カット（永持-茨木法） 説明 デモ 資源制約付スケジューリング 説明 デモ 共有区間列挙問題 説明 デモ 日本列島描画（グラフ描画） 説明 デモ
応用例2：巡回セールスマン問題
もう一つの代表的な応用分野として、組み合わせ最適化問題があります。ここで は、典型的な組み合わせ最適化問題として、巡回セールスマン問題への応用につ いて紹介します。 巡回セールスマン問題とは、図に示すように多数の「都市」があるときに、一人 の「セールスマン」が全ての都市を一回ずつ訪問して、最後に出発点に戻って来 るための最短経路を探す問題です。 都市数をとすると、可能な経路の総数は通り存在します。 が小さいとき には、全ての組み合わせを調べて最短経路を探すこともできますが、 が大きく なるにつれて、この組み合わせ総数は爆発的に増加し、全てを調べることは事実 上不可能になります。例えば、のときには、組み合わせ総数は181440通りで すが、 のときには、のオーダーになってしまいます。このような 全てを調べることができないような問題には GAは非常に有効であると言われて います。 巡回セールス
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
サービス終了のお知らせ
