[論文レビュー] Multidimensional Divide-and-Conquer and Weighted Digital Sums

Yun Kuen Cheung, Philippe Flajolet+2 more|arXiv (Cornell University)|Feb 28, 2010

Analytic Number Theory Research参考文献 19被引用数 3

ひとこと要約

本稿では、Mellin変換技術を用いて、3つのアルゴリズム的問題—多次元分割統治再帰関係、第一種加重デジタル和（TS_M(n)）、第二種加重デジタル和（TW_M(n)）—の正確な漸近的解を導出する。すべての3つの関数が、フーリエ級数による周期的フラクチュエーションを示すことが示され、多項対数項と周期的係数を含む、明確で構造的な漸近的形態を有する。これは、分割統治とデジタル和解析に関する先行研究を、正確で体系的な形で拡張したものである。

ABSTRACT

This paper studies three types of functions arising separately in the analysis of algorithms that we analyze exactly using similar Mellin transform techniques. The first is the solution to a Multidimensional Divide-and-Conquer (MDC) recurrence that arises when solving problems on points in $d$-dimensional space. The second involves weighted digital sums. Write $n$ in its binary representation $n=(b_i b_{i-1}... b_1 b_0)_2$ and set $S_M(n) = \sum_{t=0}^i t^{\bar{M}} b_t 2^t$. We analyze the average $TS_M(n) = \frac{1}{n}\sum_{j i_2 > ... > i_k\geq 0$ and set $W_M(n) = \sum_{t=1}^k t^M 2^{i_t}$. We analyze the average $TW_M(n) = \frac{1}{n}\sum_{j

研究の動機と目的

• d次元空間における多次元分割統治再帰関係の正確な漸近的解を提供すること。
• 滑らか化平均であるTS_M(n)およびTW_M(n)を用いて、加重デジタル和S_M(n)およびW_M(n)の平均的挙動を分析すること。
• Mellin変換技術を用いて、これらの多様なアルゴリズム的関数の分析を統一すること。
• 絶対収束するフーリエ級数として表される周期的係数を有する閉形式の解を導出すること。
• 分割統治およびデジタル和解析に関する先行研究を、高次元的およびより複雑な加重設定へと拡張すること。

提案手法

• 再帰関係およびデジタル和関数の母関数を解析するためにMellin変換を用いる。
• 複素積分からの漸近展開を抽出するために、留数計算およびコーシーの積分定理を適用する。
• 周期が1の関数として解を表現し、フーリエ級数展開から得られる。
• ディリクレ生成関数の特異点を、ローラン級数および解析接続を用いて取り扱う。
• ゼータ関数および多重対数関数の既知の評価を用いて、漸近展開における誤差項を制御する。
• 複雑な母関数を有理関数および対数的成分に分解し、逐次的な留数評価を可能にする。

実験結果

リサーチクエスチョン

• RQ1 Mellin変換技術は、d次元空間における多次元分割統治再帰関係を解くためにどのように拡張可能か？
• RQ2 多項式重みt^Mを有する2進数の桁位置における平均加重デジタル和TS_M(n)の正確な漸近的構造は何か？
• RQ3 2進表現の指数に基づく第二の加重デジタル和W_M(n)の平均的挙動はいかなるものか？
• RQ4 絶対収束する係数を有するフーリエ級数を用いて、これらの関数の周期的フラクチュエーションを正確に捉えることができるか？
• RQ5 MDC、TS_M(n)、TW_M(n)の漸近的形態の間にはどのような関係があり、なぜそれらすべてが類似した関数的構造を示すのか？

主な発見

• 多次元分割統治再帰関係T_d(n)の解は、λ_d n lg^{d-1}n + ∑_{m=0}^{d-2} (n lg^m n) A_{d,m}(lg n) + c_d の形をとり、A_{d,m}(u)は絶対収束するフーリエ級数で表される周期1の関数である。
• 平均加重デジタル和TS_M(n)は、d = M+1の場合のT_d(n)と同じ関数的形をとるため、MDCと加重デジタル和問題の間には深い構造的類似性が確認される。
• 平均W_M(n)関数TW_M(n)は、n G_M(lg n) + d_M lg^M n + ∑_{d=0}^{M-1} (lg^d n) G_{M,d}(lg n) の形で解が得られ、G_M(u)およびG_{M,d}(u)は周期1で、絶対収束するフーリエ級数で定義される。
• すべての解における周期的成分は、等間隔に配置された極を持つ複素関数の留数から生じており、その係数は母関数のフーリエ展開から導出される。
• S_M(n)のフラクチュエーションは直接の解析に不適切であることが判明し、TS_M(n)やTW_M(n)のような滑らか化平均の使用が正当化される。
• Mellin変換法は、デジタル関数の差のディリクレ生成関数を効果的に取り扱い、複雑なアルゴリズム的再帰関係の正確な漸近的解析を可能にする。