[論文レビュー] A survey of topological work at CEOL

Homeira Pajoohesh, Michel Schellekens|ArXiv.org|Dec 31, 2004

Algorithms and Data Compression参考文献 6被引用数 3

ひとこと要約

本稿では、半評価および部分距離を用いた位相的枠組みを提示し、決定木におけるアルゴリズムのバランスと実行時間の間の形式的関係を確立する。定量的ドメイン理論を用いて木構造をモデル化することで、よりバランスの取れた分割統治型アルゴリズム（例：マージソート）が平均ケース性能において高速であることが示され、これはアルゴリズムのバランスと実行時間の間の形式的リンクを提供する。

ABSTRACT

We present an overview of ongoing work at the Centre for Efficiency-Oriented languages (CEOL), with a focus on topological aspects. CEOL researchers are engaged in designing a new Real-Time Language to improve software timing. The centre broadly focuses on bridging Semantics and Complexity and unites researchers with expertise in Semantics of Programming Languages, Real-Time Languages, Compiler Design and Graph Based Algorithms. CEOL aims to narrow the gap between Worst Case Execution Time analysis and Average Case Execution Time analysis for Real-Time languages and its longer term goal is the development of ACETT, an Average Case Execution Time Tool. This research work is of crucial interest to industry, given that real-time software is widely used in a variety of applications, such as chemical plants, satellite communications, the space industry, telephone exchanges, medical equipment, the motor industry, etc. Topological work at CEOL focuses on the exploration of quantitative Domains, semivaluations, partial metrics and their applications. We give an overview of prior results obtained at CEOL in this area and of current work on relating the notion of balance of algorithms to running time and of an exploration of semivaluations in relation to algorithmic running time.

研究の動機と目的

• 位相的および順序論的構造を用いて、アルゴリズムのバランスと効率の間の直感的関係を形式化すること。
• 定量的ドメイン理論を用いて、リアルタイムシステムにおける最悪ケースと平均ケースの実行時間解析のギャップを埋めること。
• 決定木における半評価および部分距離を用いた、アルゴリズム的複雑性を分析するための位相的基盤を構築すること。
• p距離に誘導される位相を用いて、木構造（例：バランス）と実行時間の関係を特徴付けること。
• 不均衡ラティスを決定木の経路長シーケンスに適用し、構造的バランスとアルゴリズム速度の関係を結びつけること。

提案手法

• 半ラティス上の評価の一般化としての半評価を用い、従来のドメイン理論を定量的設定に拡張する。
• 半評価から導かれる部分距離（pmetric）を用いて、自己距離が計算コストを反映する決定木内の距離をモデル化する。
• p(x,y) = f(x) - f(x∨y) で定義されるp距離を定義し、関数fをアルゴリズムコストに結びつけることで、木構造の位相的解析を可能にする。
• 順序反転されたレベル関数を持つラティスとして決定木をモデル化し、最大のリーフ重みが最悪ケース時間に対応し、平均が平均ケース時間に対応する。
• 不均衡ラティスを用いて木のバランスを比較し、x ≤ y を「xがyよりもバランスが良い」と定義することで、不均衡の和を用いる。
• 不均衡ラティス上の最短経路距離を用いて、木構造にp距離を定義し、アルゴリズム効率の位相的比較を可能にする。

実験結果

リサーチクエスチョン

• RQ1 部分距離や半評価といった位相的構造を、アルゴリズム実行時間の形式的解析にどのように応用できるか。
• RQ2 決定木のバランスと対応するアルゴリズムの平均ケース実行時間の間にはどのような関係があるか。
• RQ3 不均衡ラティスを用いて、マージソートや挿入ソートのような分割統治型アルゴリズムの効率を正式に比較できるか。
• RQ4 半評価およびp距離が、最悪ケースと平均ケースの両方の実行時間のモデル化を統合的に可能にするフレームワークをどのように提供するか。
• RQ5 決定木のどのような位相的性質がアルゴリズム効率に対応し、それらをどのように特徴づけられるか。

主な発見

• 半評価は半ラティスへの評価の一般化であり、定量的ドメイン理論の最小基盤を提供し、アルゴリズムコストのモデル化を可能にする。
• 結合評価fから導かれる部分距離p(x,y) = f(x) - f(x∨y) が定義され、決定木に位相的構造が確立される。
• 決定木における最大リーフ重みは最悪ケース実行時間に対応し、平均リーフ重みは平均ケース実行時間に対応する。
• 不均衡ラティスは完全ラティスであり、x ≤ y を「xがyよりもバランスが良い」と定義することで、アルゴリズムバランスの正式な比較基盤を提供する。
• マージソートが不均衡ラティスにおいて挿入ソートのよりバランスの取れた変種としてモデル化されることで、マージソートが挿入ソートよりも高速であることが正式に示される。
• 不均衡ラティス上のLawson位相は離散的であるため、バランスの取れた木と取れていない木の間の位相的差異が堅牢で意味を持つことが示される。