[論文レビュー] The succinctness of first-order logic on linear orders

Martin Grohe, Nicole Schweikardt|arXiv (Cornell University)|Jul 13, 2004

Advanced Algebra and Logic参考文献 14被引用数 8

ひとこと要約

この論文は、線形順序上の1階論理（FO）および関連する論理の要約的表現力について調査し、FOの4変数フラグメントが3変数フラグメントよりも指数的に要約的表現力に優れていることを示している。また、線形順序上でのFOの表現力に限定されたモノディック2階論理（MSO）は、FO自体よりも非要素的（non-elementarily）に要約的表現力に優れていることが示され、論理的表現力と論理式サイズの間の根本的なトレードオフが浮き彫りになった。

ABSTRACT

Succinctness is a natural measure for comparing the strength of different logics. Intuitively, a logic L/sub 1/ is more succinct than another logic L/sub 2/ if oil properties that can be expressed in L/sub 2/ can be expressed in L/sub 1/ by formulas of (approximately) the same size, but some properties can be expressed in L/sub 1/ by (significantly) smaller formulas. We study the succinctness of logics on linear orders that have the same expressive power as first-order logic. Our first theorem is concerned with the finite variable fragments of first-order logic. We prove that:(i) Up to a polynomial factor, the 2- and the 3-variable fragments of first-order logic on linear orders have the same succinctness.(ii) The 4-variable fragment is exponentially more succinct than the 3-variable fragment. Our second main result compares the succinctness of first-order logic on linear orders with that of monadic second-order logic. We prove that the fragment of monadic second-order logic that has the same expressiveness as first-order logic on linear orders is non-elementarily more succinct than first-order logic.

研究の動機と目的

• 線形順序上における1階論理の有限変数フラグメントの相対的要約的表現力を分析すること。
• 線形順序上での表現力が同等である場合に、1階論理とモノディック2階論理の要約的表現力を比較すること。
• 1階論理の変数数を増加させることで、線形構造上での論理式サイズに顕著な削減が得られるかどうかを特定すること。
• 線形順序上における異なる論理的形式主義間の要約的表現力のギャップに、正確な複雑度の境界を確立すること。

提案手法

• 著者たちは、線形順序構造上における1階論理（FO）の有限変数フラグメントの表現力と論理式サイズを分析する。
• 論理的還元と構成を用いて、異なる変数フラグメント間で同じ性質を表現するために必要な最小論理式サイズを比較する。
• 4変数フラグメントが3変数フラグメントよりも指数的に小さい論理式で特定の性質を表現できることを示すことで、階層を確立する。
• 1階論理とモノディック2階論理（MSO）を比較する際、MSOを線形順序上でのFOの表現力に一致するフラグメントに制限する。
• 複雑度理論的技法を適用し、制限されたMSOフラグメントがFOと同等の性質を、非要素的に小さい論理式で表現できることを示す。
• 指数的および非要素的要約的表現力のギャップを示すために、線形順序上での組合せ的および論理的構成に依拠する分析を行う。

実験結果

リサーチクエスチョン

• RQ1 線形順序上における1階論理の4変数フラグメントは、3変数フラグメントよりも指数的に要約的表現力に優れているか？
• RQ2 線形順序上における1階論理の2変数および3変数フラグメントは、多項式要因の範囲で同等の要約的表現力を持つのか？
• RQ3 モノディック2階論理は、線形順序上における1階論理と同等の性質を顕著に短い論理式で表現できるか？
• RQ4 1階論理と、線形順序上での表現力が同じであるMSOのフラグメントとの間に、非要素的要約的表現力のギャップがあるか？

主な発見

• 線形順序上における1階論理の4変数フラグメントは、3変数フラグメントよりも指数的に要約的表現力に優れており、特定の性質は4変数の場合に顕著に小さい論理式で表現可能である。
• 線形順序上における1階論理の2変数および3変数フラグメントは、多項式要因の範囲で同等の要約的表現力を持つため、2から3変数に増加させても指数的利点はない。
• 線形順序上での1階論理と同等の表現力を有するモノディック2階論理のフラグメントは、1階論理自体よりも非要素的に要約的表現力に優れている。
• これらの結果により、線形順序上における論理的形式主義の間で要約的表現力の階層が確立され、変数フラグメントおよび論理タイプごとに論理式サイズに顕著な定量的差異が生じることが示された。