[論文レビュー] Boolean complexes for Ferrers graphs

Anders Claesson, Sergey Kitaev+2 more|arXiv (Cornell University)|Aug 17, 2008

Advanced Combinatorial Mathematics参考文献 6被引用数 6

ひとこと要約

本稿では、分割の形状に関連する再帰的係数に基づいて、フェルメール図形のブール数（ブール複体のワッセント和に含まれる球面の数）を明示的な公式で与える。階段型のフェルメール図形のブール数は第二種ジェノチ数に一致し、完全二部グラフの場合は第二種スターリング数を用いて表現され、辺再帰法と比較して計算効率が著しく向上する。

ABSTRACT

In this paper we provide an explicit formula for calculating the boolean number of a Ferrers graph. By previous work of the last two authors, this determines the homotopy type of the boolean complex of the graph. Specializing to staircase shapes, we show that the boolean numbers of the associated Ferrers graphs are the Genocchi numbers of the second kind, and obtain a relation between the Legendre-Stirling numbers and the Genocchi numbers of the second kind. In another application, we compute the boolean number of a complete bipartite graph, corresponding to a rectangular Ferrers shape, which is expressed in terms of the Stirling numbers of the second kind. Finally, we analyze the complexity of calculating the boolean number of a Ferrers graph using these results and show that it is a significant improvement over calculating by edge recursion.

研究の動機と目的

• フェルメール図形Fのブール数β(F)の閉形式公式を導出すること。
• β(F)を用いてフェルメール図形のブール複体のホモトピー型を特定すること。
• 階段型フェルメール図形のブール数を第二種ジェノチ数と関連づけること。
• 完全二部グラフK_{r,k}のブール数を第二種スターリング数の観点から表現すること。
• 辺再帰法と比較して、β(F)を計算する際の計算複雑度を分析・改善すること。

提案手法

• β(F)を断片的なフェルメール形状の係数c_λ(i,j)で定義する再帰的公式を導出する。
• β(F) = ∑_{j=0}^r c_λ(r,j) · j^{λ_r} という恒等式を用いて、これらの係数からブール数を計算する。
• 階段型フェルメール図形に再帰的公式を適用し、レジェンドル・スターリング数を含む二重和の公式を導出する。
• 長方形型フェルメール形状（完全二部グラフ）に対して、β(K_{r,k}) = ∑_{j=1}^r (-1)^{r-j} j! · S(r+1, j+1) · j^k が成り立つことを確立する。
• 再帰的アルゴリズムにおける乗算回数をモデル化することで、計算コストを分析する。
• 本手法がO(n²)回の乗算を要することを示し、#P困難な辺再帰法と比較して顕著な改善が得られることを示す。

実験結果

リサーチクエスチョン

• RQ1 分割λと関連するフェルメール図形Fのブール数β(F)の明示的公式は何か？
• RQ2 階段型フェルメール図形のブール数は、既知の組合せ論的数列とどのように関係しているか？
• RQ3 完全二部グラフK_{r,k}のブール数は、第二種スターリング数を用いて表現可能か？
• RQ4 導出された再帰的手法を用いたβ(F)の計算における計算複雑度は、辺再帰法と比較してどの程度か？
• RQ5 係数c_λ(i,j)はどのように増大するか？また、係数のサイズを考慮した場合のアルゴリズム全体のコストはいかなるものか？

主な発見

• 分割λと関連するフェルメール図形Fのブール数β(F)は、β(F) = ∑_{j=0}^r c_λ(r,j) · j^{λ_r} で与えられ、ここでc_λ(r,j)は再帰的に定義された係数である。
• 階段型λ = (n, n-1, ..., 1)を持つフェルメール図形に対して、ブール数β(F)は第二種ジェノチ数g(n)に等しい。
• 新たな恒等式を確立した：g(r) = ∑_{j=1}^r (-1)^{r+j} (j!)^2 · d(r,j)，ここでd(r,j)はレジェンドル・スターリング数である。
• 完全二部グラフK_{r,k}に対して、ブール数はβ(K_{r,k}) = ∑_{j=1}^r (-1)^{r-j} j! · S(r+1, j+1) · j^k で与えられ、ここでS(r+1, j+1)は第二種スターリング数である。
• 再帰的手法を用いてβ(λ)を計算するにあたり、必要な乗算回数はn²/4 + O(n)である。ここでnはフェルメール形状の総細胞数である。
• 係数のサイズを考慮した場合、アルゴリズム全体のコストはO(n³ log² n)で抑えられ、#P困難な辺再帰法と比較して顕著な改善が得られる。