[論文レビュー] Parallel Algorithms for Power Circuits and the Word Problem of the Baumslag Group

Caroline Mattes, A. Weiss|arXiv (Cornell University)|Jan 1, 2021

semigroups and automata theory被引用数 2

ひとこと要約

本稿では、整数の非初等的圧縮を可能にするデータ構造であるパワー回路を用いて、 Baumslag 群 G₁,₂ における語問題を解く並列アルゴリズムを提示する。一般にパワー回路比較問題は P-完全であるが、著者らはこの文脈において一般的に見られるようにパワー回路の深さが対数的である場合、比較および算術演算を NC で実行可能であることを示している。これにより、語問題は TC² で解けることになる。

ABSTRACT

Power circuits have been introduced in 2012 by Myasnikov, Ushakov and Won as a data structure for non-elementarily compressed integers supporting the arithmetic operations addition and (x,y) ↦ x⋅2^y. The same authors applied power circuits to give a polynomial-time solution to the word problem of the Baumslag group, which has a non-elementary Dehn function. In this work, we examine power circuits and the word problem of the Baumslag group under parallel complexity aspects. In particular, we establish that the word problem of the Baumslag group can be solved in NC - even though one of the essential steps is to compare two integers given by power circuits and this, in general, is shown to be 𝖯-complete. The key observation is that the depth of the occurring power circuits is logarithmic and such power circuits can be compared in NC.

研究の動機と目的

• . 本稿の目的は、非初等的 Dehn 関数を有する Baumslag 群における語問題の並列計算複雑性を分析することである。
• . 本稿は、パワー回路操作に内在する複雑性にもかかわらず、語問題が並列的に効率的に解けるかどうかを調査する。
• . 本稿は、パワー回路によって表現される整数の比較という、並列計算における主要なボトル neck を焦点とする。
• . 本稿は、パワー回路表現下での語問題の正確な並列計算複雑性クラスを特定することを目的としている。
• . 著者らの目的は、一般のパワー回路比較（P-完全）と制限されたケース（NC/TC）との間の複雑性の境界を明確にすることである。

提案手法

• . 著者らは、大きな整数をコンパクトに表現するため、パワー回路をデータ構造として用いる。パワー回路では、値が 2 の累乗の符号付き和として計算される。
• . 本稿では、パワー回路を正規化して標準形に変換する還元プロセスを定義し、これにより比較および算術演算を効率的に行えるようにする。
• . 本稿では、パワー回路の深さが対数的である場合、値の比較が TC¹ で行えることを証明している。TC¹ は NC の部分クラスである。
• . 一般の比較が P-完全であることを示すために、回路値問題からパワー回路比較への還元を確立している。
• . 語問題のアルゴリズムは Britton 還元とパワー回路算術を活用しており、すべての中間パワー回路の深さが O(log n) で有界である。
• . 著者らは LOGSPACE および AC⁰-Turing 還元を用いて、さまざまな部分問題における完全性結果を証明している。

実験結果

リサーチクエスチョン

• RQ1 . 非初等的 Dehn 関数を有する Baumslag 群の語問題は、対数的深さのパワー回路を用いることで、低並列計算複雑性クラスで解けるか？
• RQ2 . 一般に P-完全であるパワー回路の値比較は、回路の深さが対数的である場合、NC で扱えるか？
• RQ3 . 整数がパワー回路によって表現される場合、語問題の正確な並列計算複雑性は何か？
• RQ4 . パower回路上の2つのマークの等価性を比較する問題は、不等式比較よりも簡単か、それとも P-完全であるか？
• RQ5 . Baumslag 群の語問題は LOGSPACE で解けるか、それとも TC² が最良の複雑性クラスか？

主な発見

• . Baumslag 群 G₁,₂ の語問題は、低並列計算複雑性クラスである TC² で解ける。
• . 深さが対数的なパワー回路に対しては、パワー回路比較は TC¹ に属するが、一般の比較は P-完全である。
• . パワー回路上の2つのマークの比較は、回路値問題への還元により P-完全であることが示された。
• . 与えられた DAG が有効なパワー回路であるかどうかを検証する問題は P-完全である。これは構造的検証に内在する複雑性を示している。
• . パワー回路上の2つのマークの等価性テストは NL-ハードである。これは不等式比較よりもはるかに簡単であることを示唆している。
• . 深さが logᵏn のパワー回路の比較問題は、AC⁰-Turing 還元の下で TCᵏ に完全である。これにより、深さ制限付き回路の複雑性階層が確立された。