[論文レビュー] A Generalized Next-Closure Algorithm -- Enumerating Semilattice Elements from a Generating Set

Daniel Borchmann|arXiv (Cornell University)|Nov 15, 2011

Constraint Satisfaction and Optimization参考文献 10被引用数 7

ひとこと要約

この論文は、有限な閉包系に限らない抽象的半束に対して、生成集合から半束の要素を列挙する一般化されたNext-Closureアルゴリズムを導入する。この手法は、生成集合とインデックスの全順序に基づいて半束要素にレクティック順序を定義し、閉包に類似した操作を用いて効率的な列挙を可能にする。主な貢献は、半束の文脈におけるアルゴリズムの正しさの証明であり、形式的概念分析への応用により、形式的文脈の意図を計算する新しいアルゴリズムを提供する。その時間計算量は最悪で$ olimits cdot |M|)$である。

ABSTRACT

We present a generalization of the well known Next-Closure algorithm working on semilattices. We prove the correctness of the algorithm and apply it on the computation of the intents of a formal context.

研究の動機と目的

• 有限集合上の閉包系に限らない抽象的半束に対して、有限集合上の生成集合を用いてNext-Closureアルゴリズムを一般化すること。
• 生成集合の全順序と要素のレクティック順序を用いて、半束要素の列挙を統一的に扱うフレームワークを提供すること。
• 半束の文脈における一般化されたアルゴリズムの正しさを証明すること。
• アルゴリズムを形式的概念分析における意図の計算問題に適用し、新しい列挙手法を提供すること。
• アルゴリズムがファジィ概念ラティスやスタムベース計算などの応用分野においても有効である可能性を検討すること。

提案手法

• 生成集合のインデックス集合における全順序を用いて、半束要素にレクティック順序を定義する。
• 各要素$a \in L$とインデックス$i$に対して、$a \oplus i$を、$c(\{j \in I \mid j <_I i \text{ かつ } x_j \leq_{\underline{L}} a\})$と$x_i$の上界（半束演算$\vee$を用いて）として計算する。
• 次の要素は、$a <_i a \oplus i$を満たす最大の$i$を選択することで特定され、これによりレクティック順序における次の要素が保証される。
• 最小元（例：$c(\emptyset)$）から開始し、$\oplus$演算を繰り返し用いて後続要素を計算する。
• 形式的概念分析では、各オブジェクト$g \in G$に対して$x_g = \{g\}'$と設定し、$A \oplus g = \bigcap_{h <_G g} \{h\}' \cap \{g\}'$を用いる。
• 条件が前駆要素の性質を保つ最大の$g \in G$を満たし、$\{g\}' \not\supseteq A$であるかをチェックし、有効であれば次の意図を返す。

実験結果

リサーチクエスチョン

• RQ1 Next-Closureアルゴリズムは、有限集合上の閉包系に限らず、抽象的半束に対しても一般化可能か？
• RQ2 生成集合とインデックス順序に基づいて定義される半束要素のレクティック順序は、正しくかつ効率的な列挙アルゴリズムを支えるか？
• RQ3 一般化されたアルゴリズムを形式的概念分析に適用した場合、特に形式的文脈の意図を計算する際に、どのような性能を示すか？
• RQ4 このアルゴリズムは、スタムベースやファジィ概念といった他の構造の計算にも適応可能か？
• RQ5 新しいアルゴリズムの意図列挙における時間計算量は何か？また、既存手法と比較してどのように異なるか？

主な発見

• 一般化されたNext-Closureアルゴリズムは、インデックスの全順序を伴う有限集合による生成の下で、半束のすべての要素を正しく列挙する。
• アルゴリズムの正しさは、$\oplus$演算がレクティック順序における直前の後続要素を計算することを示すことにより証明され、要素の飛躍がないことが保証される。
• 形式的概念分析に適用した場合、集合演算のナイーブな実装を用いれば、次の意図の計算に$ olimits cdot |M|)$の時間計算量を要する。
• 文脈へのアクセスコストが高い場合でも、属性集合$\{g\}'$を事前に一度だけ計算することで、効率が向上する。
• 新しいアルゴリズムは、意図のレクティック順序での列挙を生成するため、擬似意図の列挙を伴う応用において有用である可能性がある。
• この手法は、非有限または非閉包系の設定（例：ファジィ形式的文脈）へのNext-Closureの拡張の基盤を提供する。