東北大学 情報科学研究科 システム情報科学専攻 TOKUYAMA Lab. 1 左順序付き柔軟ラベリングの実 装 Implementation of Left-part ordered Flexible Labeling 東北大学大学院 情報科学研究科 ◎小池 敦 徳山 豪.

Slides:



Advertisements
Similar presentations
レポート書き方. おしいレポート よく調べてある それぞれの、1文の言っていることは正 しい しかし、全体として、何が言いた いのかわからない 内容の重要だが、全体の構成も重 要である.
Advertisements

東京工科大学 コンピュータサイエンス 亀田弘之
1 7.時間限定チューリングマシンと クラス P. 2 7 -1.入力サイズ チューリングマシンの入力記号 の長さ を 入力サイズという。 名称:合成数の問題 インスタンス:整数n 問:nは合成数か? 通常は、入力サイズとしてはもっとも短い表現での 長さが利用される。 例えば、次のような合成数の問題における入力サイズは、
7.n次の行列式   一般的な(n次の)行列式の定義には、数学的な概念がいろいろ必要である。まずそれらを順に見ていく。
9.線形写像.
大気重力波と一般流 の相互作用 & 自己紹介 元 東京学芸大学 教育学部 環境総合科学課程 自然環境科学専攻 気象学研究室 現 今村研 M 1 樋口武人 元 東京学芸大学 教育学部 環境総合科学課程 自然環境科学専攻 気象学研究室 現 今村研 M 1 樋口武人.
3.多項式計算アルゴリズム べき乗の計算 多項式の計算.
時間的に変化する信号. 普通の正弦波 は豊富な情報を含んでいません これだけではラジオのような複雑な情報 を送れない 振幅 a あるいは角速度 ω を時間的に変化 させて情報を送る.
情報処理A 第10回 Excelの使い方 その3.
九州大学 岡村研究室 久保 貴哉 1. 利用中のAPの数の推移 2 横軸:時刻 縦軸:接続要求数 ・深夜では一分間で平均一台、 昼間では平均14台程度の接続 要求をAPが受けている。 ・急にAPの利用者数が増えてく るのは7~8時あたり.
麻雀ゲーム 和島研究室 ソ 小林巧人
5.連立一次方程式.
相関.
―本日の講義― ・平均と分散 -代表値 -ぱらつき(分散・標準偏差等) ・Excelによる演習
論理回路 第2回 今日の内容 前回の課題の説明 数の体系 – 数の表現 – 代表的な数 – 基数の変換 – 補数.
ノイズ. 雑音とも呼ばれる。(音でなくても、雑 音という) 入力データに含まれる、本来ほしくない 成分.
青森大学 5 号館の 模型の設計と製作 ソ 小山 内 拓真
広告付き価格サービ ス 小園一正. はじめに 世の中には様々な表現方法の広告があり ます。その中でも私たち学生にとって身 近にあるものを広告媒体として取り入れ られている。 価格サービス(無料配布のルーズリー フ)を体験したことにより興味を惹かれ るきっかけとなった。主な目的は、これ.
素数判定法 2011/6/20.
フーリエ係数の性質. どこまで足す? 理想的には無限大であるが、実際に はそれは出来ない これをフーリエ解析してみる.
1章 行列と行列式.
1 ヤマセに関する 2-3 の話題 (2) 川村 宏 東北大学大学院理学研究科 H 弘前大学.
フーリエ級数. 一般的な波はこのように表せる a,b をフーリエ級数とい う 比率:
3.エントロピーの性質と各種情報量.
9.通信路符号化手法1 (誤り検出と誤り訂正の原理)
Excelによる積分.
1 6.低次の行列式とその応用. 2 行列式とは 行列式とは、正方行列の特徴を表す一つのスカ ラーである。すなわち、行列式は正方行列からスカ ラーに写す写像の一種とみなすこともできる。 正方行列 スカラー(実数) の行列に対する行列式を、 次の行列式という。 行列 の行列式を とも表す。 行列式と行列の記号.
計算のスピードアップ コンピュータでも、sin、cosの計算は大変です 足し算、引き算、掛け算、割り算は早いです
線形符号(10章).
1 0章 数学基礎. 2 ( 定義)集合 集合については、 3セメスタ開講の「離散数学」で詳しく扱う。 集合 大学では、高校より厳密に議論を行う。そのために、議論の 対象を明確にする必要がある。 ある “ もの ” (基本的な対象、概念)の集まりを、 集合という。 集合に含まれる “ もの ” を、集合の要素または元という。
10.PとNP完全問題との境界.
4.プッシュダウンオートマトンと 文脈自由文法の等価性
1 0章 数学基礎. 2 ( 定義)集合 集合については、 3セメスタ開講の「離散数学」で詳しく扱う。 集合 大学では、高校より厳密に議論を行う。そのために、議論の 対象を明確にする必要がある。 ある “ もの ” (基本的な対象、概念)の集まりを、 集合という。 集合に含まれる “ もの ” を、集合の要素または元という。
人工知能特論II 第7回 二宮 崇.
信号測定. 正弦波 多くの場合正弦波は 0V の上下で振動する しかし、これでは AD 変換器に入れら れないので、オフ セットを調整して データを取った.
1 9.線形写像. 2 ここでは、行列の積によって、写像を 定義できることをみていく。 また、行列の積によって定義される写 像の性質を調べていく。
通信路(7章).
アルゴリズムとデータ構造 補足資料 7-4 「単純交換ソート exsort.c 」 横浜国立大学 理工学部 数物・電子情報系学科 富井尚志.
3.プッシュダウンオートマトンと 文脈自由文法
6.符号化法(6章).
ビット. 十進数と二進数 十進数  0から9までの数字を使って 0、1、2、3、4、5、6、7、8、9、 10、11、12 と数える 二進数  0と1を使って 0、1、10、11、100、101、11 0、111 と数える.
創成C PROGRAMMING PROJECT 中部大学工学部情報工学科:創成Cインタラクティブデザイン( アプリ名: ZIP 2 GPS 作成者: EP00000 藤吉 弘亘.
3.正方行列(単位行列、逆行列、対称行列、交代行列)
様々な情報源(4章).
名古屋工業大学 電気電子工学科 岩波・岡本研究室 野々村嘉人
論理回路 第1回. 今日の内容 論理回路とは? 本講義の位置づけ,達成目標 講義スケジュールと内容 受講時の注意事項 成績の評価方法.
Bar-TOP における光の 群速度伝播の解析 名古屋大学 高エネルギー物理研究室 松石 武 (Matsuishi Takeru)
Analog “ neuronal ” networks in early vision Koch and Yuille et al. Proc Academic National Sciences 1986.
C言語応用 構造体.
実装の流れと 今後のスケジュール 03k0014 岸原 大祐. システム概要 天気データをもとに、前向き推論をし ていき、親の代わりに子供に服装、持 ち物、気をつけることなどを教える。
3.多項式計算アルゴリズム べき乗の計算 多項式の計算.
Automatic Language Acquisition, an Interactive Approach † Robert J. Martin † 大西昇 ‡ 山村毅 † 名古屋大学 ‡ 愛知県立大学.
HKS Analysis Log Jul 2006 Part1 D.Kawama. 第壱部 HKS Sieve Slit Analysis.
Logo 伊勢湾の水質変化による 生態系の変化について C09001 石田 拓也 C09002 岩田 亮 C09012 小松 慎紘 C09021 吹ケ 竜也 C09025 百瀬 亘.
HSPによる学習機能付き シューティングゲームの製作
1 中野研究室 4 年ゼミのイロハ 斉藤(修士 2 年) ( 2009 年 ”4 年ゼミのイロハ ” を参考に作りました)
移動エージェントプログラムの 動作表示のためのアニメーション言 語 名古屋大学情報工学コース 坂部研究室 高岸 健.
1 プログラミング言語論 第13回 プログラムの意味論と検証 (2) 表示的意味論 担当:犬塚. 2 表示的意味論 denotational semantics  表示的意味論では、プログラムの要素とそれが 意味するものを対応付ける。 変数 式 文 A B … A+2 2B+C A:=A+2 if.
プログラミングⅠ( 2 組) 第 1 回 / pLB1.pptx.
8.任意のデータ構造 (グラフの表現とアルゴリズム)
プログラミング入門2 第3回 複合文、繰り返し 情報工学科 篠埜 功.
メニューに戻る メニューに戻る | 前表示スライド 前表示スライド G*power 3 の web ページ Windows はこちら Mac はこちら ダウンロード後,実行してインストール.
第14回 プログラムの意味論と検証(3) 不動点意味論 担当:犬塚
実験5 規則波 C0XXXX 石黒 ○○ C0XXXX 杉浦 ○○ C0XXXX 大杉 ○○ C0XXXX 高柳 ○○ C0XXXX 岡田 ○○ C0XXXX 藤江 ○○ C0XXXX 尾形 ○○ C0XXXX 足立 ○○
オセロの思考アルゴリズムについて 1103072 岩間 隆浩.
音の変化を視覚化する サウンドプレイヤーの作成
本文. 考えながら読みましょ う 「いろいろなこと」( 3 行目)は何で すか 「①電話料金はコンビニで支払いをしていま す。いつでも払えますから、便利です。」 「②夕食はコンビニで買います。お弁当やお かずがいろいろありますから。」今、若者に 人気のあるコンビニは、いろいろなことをす るのに非常に便利な場所になった。
11万km上空のかぐやから見た地球. デジタル信号処理 Digital Signal Processing 2010 年度春学期 Spring Semester, 2010 担当者: 栗濱 忠司( Professor ) 第3週第3週.
IIR 輪講復習 #18 Matrix decompositions and latent semantic indexing.
地球儀と様々な地図. 1 球体としての地球 こうした現象はあることをイ メージすると理解できる。
Presentation transcript:

東北大学 情報科学研究科 システム情報科学専攻 TOKUYAMA Lab. 1 左順序付き柔軟ラベリングの実 装 Implementation of Left-part ordered Flexible Labeling 東北大学大学院 情報科学研究科 ◎小池 敦 徳山 豪

東北大学 情報科学研究科 システム情報科学専攻 TOKUYAMA Lab. 2 地図へのラベル配置問題とは ? 地図上の点, 辺, 領域に対し ラベル ( 文字情報 ) を付加する 東北大学 広瀬川 仙台駅 今回は点へのラベリングを扱う 地理情報処理の 重要問題 ⇒ユーザの要求毎に 迅速にラベリングする必要性 青葉城址

東北大学 情報科学研究科 システム情報科学専攻 TOKUYAMA Lab. 3 ラベリングに対する要求 1. ラベルは標的点の近くに貼りたい ⇒予め各標的点に対しラベル候補集合を定め る 2. ラベル同士が重なって欲しくない 3. 障害物と重なって欲しくない 青葉城址 東北大学 バス停 ここにはラベルを 貼って欲しくない ( 道が判らない ) 文字が重なると 読めない ラベル配置問題 = 2,3 を満たすようにラベル候補集合からラベルを選ぶ

東北大学 情報科学研究科 システム情報科学専攻 TOKUYAMA Lab. 4 とうほく 各標的点に どちらかのラベルを配置 とうほく ラベル候補集合

東北大学 情報科学研究科 システム情報科学専攻 TOKUYAMA Lab. 5 背景 ラベル配置問題は 多くの場合 NP-hard である ⇒ラベル候補集合に 強い制限が必要 本論文では ラベルの形状に 自由度を持たせたモデル (LOFL; Left-part Ordered Flexible Labeling ) を扱う 東北大学 東北大学東北大学

東北大学 情報科学研究科 システム情報科学専攻 TOKUYAMA Lab. 6 本論文の成果 1. LOFL のアルゴリズムに対する Red-black tree を用いた高速実装 実用的なラベル配置問題では より自由度の高いラベル候補集合に対して ヒューリスティクスを用いて 高速に解く必要性がある ⇒ 2. LOFL を組み合わせた two-position LOFL モデルに対する高速ヒューリスティク ス

東北大学 情報科学研究科 システム情報科学専攻 TOKUYAMA Lab. 7 発表の流れ LOFL について ⇒ラベル候補集合が left-part ordered set である時のラベル配置問題 定式化 アルゴリズムと計算時間の解析 two-position LOFL モデルに対する ヒューリスティクス 実験

東北大学 情報科学研究科 システム情報科学専攻 TOKUYAMA Lab. 8 LOFL の定式化 ラベル の left-part の標的点の左側の部分 のとき ≤ と定義する

東北大学 情報科学研究科 システム情報科学専攻 TOKUYAMA Lab. 9 LOFL の定式化 ラベル候補集合 L が left-part ordered set or つまりどの 2 つのラベルの left-part も包含関係にある left-part ordered set left-part ordered set ではない

東北大学 情報科学研究科 システム情報科学専攻 TOKUYAMA Lab. 10 LOFL (Left-part Ordered Flexible Labeling) の定式化 入力 n 個の標的点集合 各標的点に対し left-part ordered set であるようなラベル候補集合 合計 m 辺からなる多角形障害物の集合 出力 各標的点に配置されるラベル スケール係数 σ の最大値 ( 各ラベルは σ により拡大 / 縮小され配置される ) ⇒ σ の最大値は σ での配置可能判定問題を用いて 二分探索を行うことで求める 目的 : できるだけ大きなラベルを配置すること

東北大学 情報科学研究科 システム情報科学専攻 TOKUYAMA Lab. 11 とうほく 入力 標的点集合 各標的点に対するラベル候補集合 障害物集合 とう ほく left-part ordered set とうほく より大きいラベルを配置したい 障害物

東北大学 情報科学研究科 システム情報科学専攻 TOKUYAMA Lab. 12 とうほく 入力 標的点集合 各標的点に対するラベル候補集合 障害物集合 とう ほく left-part ordered set とうほく とう ほく とうほく とう ほく とう ほく スケール係数 σ により 拡大 出力 ラベル配置 スケール係数

東北大学 情報科学研究科 システム情報科学専攻 TOKUYAMA Lab. 13 判定問題に対するアルゴリズ ム 平面走査法を用いる できるだけ left small なラベルを 配置する left small = 左の標的点に与える影響が少ない ⇒これによりアルゴリズムの正当性を証明できる 例 2 種類のラベル候補で考える smallerlarger

東北大学 情報科学研究科 システム情報科学専攻 TOKUYAMA Lab. 14 計算時間の解析 各標的点での交差判定 ( 障害物無しの 時 ) ⇒ frontier を定義する データ構造に red-black tree を用いる 交差判定 O(log n) 更新 O(log n) 更新回数 O(n) 回 ⇒全体で O(n log n) 時間 障害物があるときは O((n+m)log(n+m)) 同様に

東北大学 情報科学研究科 システム情報科学専攻 TOKUYAMA Lab. 15 LOFL を用いたヒューリスティ クス left-part ordered set ではない ⇒これを用いて ヒューリスティクスを設計する これらは left-part ordered set two-position モデル

東北大学 情報科学研究科 システム情報科学専攻 TOKUYAMA Lab. 16 LOFL を用いたヒューリスティ クス 1. 各標的点のラベル候補を 6 枚に限定し LOFL を解き, σ の最大値を求める 2. 各標的点で得られたラベルに対し two-position モデルのラベル候補集合 を作る 3. two-position を解き, σ の最大値を求める で得られたラベルに対し 新たにラベル候補集合 を作る から 4. を繰り返す

東北大学 情報科学研究科 システム情報科学専攻 TOKUYAMA Lab. 17 実験 (LOFL と two-LOFL のスケール係数を比べ る ) × の領域上のランダムな n 個の標的点に以下のモデルでラベリン グ ( 障害物は無し ) 1. fixed model : 3 σ ×4 σ 2. two-position model 3. LOFL : 1×12,2×6 3×4,4×3,6×2,12×1 4. two-position LOFL

東北大学 情報科学研究科 システム情報科学専攻 TOKUYAMA Lab. 18 実験 計算機環境 CPU : Intel Pentium4 1.6GHz Memory : 256MB プログラミングには C++ のライブラリである LEDA を使用

東北大学 情報科学研究科 システム情報科学専攻 TOKUYAMA Lab 回の平均値 fixed model と比べ 2-position は 6 倍 LOFL は 3 倍 2-LOFL は 9 倍 くらい大きい n = 800 の時 ヒューリスティクスの方が 2-position より 1.5 倍くらい大きい [ 標的点の数 ] [ スケール係数 ] 実験結果 ( スケール係数 )

東北大学 情報科学研究科 システム情報科学専攻 TOKUYAMA Lab. 20 実験結果 ( スケール係数 ) 100 回の平均値 fixed model と比べ 2-position は 20 倍 LOFL は 7 倍 2-LOFL は 22 倍 くらい大きい n = の時 ヒューリスティクスの方が 2-position より 11% くらい大きい ヒューリスティクスは n が小さい時は特に有効である [ スケール係数 ] [ 標的点の数 ]

東北大学 情報科学研究科 システム情報科学専攻 TOKUYAMA Lab. 21 実験結果 ( 計算時間 ) 100 回の合計値 データ構造に red-black tree を用いず 単純な list を用いた場合との比較 n=1600 の時 (sec) 理論値 O(n log n) の 曲線になっている [sec] [ 標的点の数 ] ⇒大幅に計算時間が短縮された

東北大学 情報科学研究科 システム情報科学専攻 TOKUYAMA Lab. 22 結論 LOFL のアルゴリズムを red-black tree を用いて高速実装することによ り 計算時間の大幅な改善を行った LOFL でないより一般的な問題に対し LOFL の解法を用いたヒューリスティクスを設 計し 解の品質 ( ラベルサイズ ) が向上することを示し た 今後の課題 様々なラベル候補集合で実験を行い, より品質の良いものを見つける.