計算幾何学-i-health.u.pptVIP

計算幾何学Computational Geometry 第七章　多角形の三角形分割 Polygon Triangulation 美術館問題(art gallery problem) 必要なカメラ台数？ 単純多角形(simple polygon) 互いに交差しない閉じた多辺連続チェインで囲まれた領域 平面を２つの互いに素な領域に分割する（有界な内部領域＋非有界な外部領域） 有界領域内に穴がない 対角線と三角形分割 対角線(diagonal) 　　単純多角形の内部を通って２頂点を結ぶ開線分 三角形分割(triangulation) 　　交差しない対角線の極大集合（？）によって多角形を三角形に分割すること 問題 三角形分割は常に存在する？ 一意に決まらない→何通りまでできる？ 一個の三角形に一台のカメラを設置すれば監視できる→多角形に何個の三角形が含まれる？ 定理１ どんな単純多角形も三角形分割が可能である n個の頂点を有する単純多角形の任意の三角形分割にはちょうどn-2個の三角形がある 考察 n-2台のカメラで監視できる→多すぎる 対角線上に設置→半分になる（n/2） 頂点上に設置→もっと良さそう（n/3） 3-彩色(3-coloring) 単純多角形の各頂点に白、灰、黒のいずれかの色を割り当てる。但し、隣接の2頂点は必ず異なる色をづける どの三角形も白?灰?黒の頂点を1つずつ持つ 何れの色にカメラを配置すれば、多角形全体の監視が可能 高々?n/3?台のカメラが十分 最悪の例 頂点に配置されたカメラの監視範囲は接続している三角形に限らない→改善の余地？ n/3台のカメラより少ない台数で任意の多角形を監視する可能性？ 答え?No 定理２（美術館定理） n個の頂点を有する単純多角形に対して、多角形内の任意の点が少なくとも一台のカメラから見えるようにするのに、 ?n/3?台のカメラが必要になることがあり、またその台数で常に十分である n/3台は必要なカメラ台数の上限 言い換えれば、 n/3台以上を必要とする可能性はない。 n/3台以下で監視できる時もある 三角形分割のプロセス 単純多角形を分割するための戦略として 単純多角形(simple polygon) 単調多角形(monotone polygon) 三角形(triangle) 単調多角形 y単調多角形の特徴 y軸と垂直な直線に対して、多角形と交差する部分の線分が連結である 最も上の頂点から最も下の頂点まで、左側又は右側の境界の多辺連続チェインをたどる時、常に下向きか水平方向しかない 5種類の頂点 5種類頂点の定義 □＝出発点(start vertex) 　　①左右隣接2頂点が全て下にある　②内角＜π ■＝最終点(end vertex) 　　①左右隣接2頂点が全て上にある　②内角＜π ●＝普通の点(regular vertex) 　　①左右隣接2頂点が1つずつ上?下にある ▲＝分離点(split vertex) 　　①左右隣接2頂点が全て下にある　②内角＞π ▼＝統合点(merge vertex) 　　①左右隣接2頂点が全て上にある　②内角＞π 単純多角形→単調多角形 変曲点(turn vertex) 　　多角形の境界をたどる時、向きが変化する頂点 　　出発点、最終点、分離点、統合点 y単調に分割→変曲点の除去 方法→対角線を加える y単調多角形 分離点も統合点も持たない多角形 分離点と統合点を除去することができれば、y単調な部分に分割できる 分離点と統合点の除去 分離点から上に向かう対角線を引く 統合点から下に向かう対角線を引く 対角線の引き方？ 平面走査法 基本的な考え方 v1,v2, … , vn　　反時計回り順に並べた頂点 e1,e2, … , en　　辺集合、 ei = vivi+1、en = vnv1 イベント点：　多角形の頂点 目標：　 各分離点からその上にある頂点へ対角線を引く 各統合点からその下にある頂点へ対角線を引く アルゴリズム MakeMonotone(P) 入力：時計回り順にリストで蓄えられた単純多角形P 出力：Dに蓄えられたPの単調な部分多角形への分割 y座標値をキーとして、ヒープHを構成する。 y座標値が同様な2点について、 x座標値が小さい方は優先 2分探索木Tを初期化 while H ? empty do H から順番に vi を取り出す 　　　　 viの種類に応じて処理を行う 出発点の処理 HandleStartVertex(vi) eiをTに挿入し、helper(ei)をviとする 出発点v5においてe5をTに挿入する 最終点の処理 HandleEndVertex(vi) if he