木決定図の表現サイズと構造変更の計算量を解明する
Restructuring Tree Decision Diagrams
この論文をやさしく読む
ひとことで言うと
論理的な条件を木の形で保存するデータ構造について、どれだけ小さく表せるか、別の木構造へ効率よく組み替えられるかを理論的に調べています。
何に役立つ？
知識表現や論理処理で、保存サイズと構造変更・等価性検査のしやすさを比較する基準になります。
この研究の面白いところ
表現の簡潔さの未解決の隔たりを確定すると同時に、異なる木構造の間で正準な表現へ変換できる性質を示しています。
どこまで分かった？
変換の多項式時間保証は入力と出力の両方のサイズに対するものです。出力が小さいことや、実装が実際に高速であることを実験で示したという要旨ではありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
木決定図（TDD）は、CapelliらがSAT 2026で最近導入したデータ構造である。vtreeに沿って構造化され、その正準形のサイズは、順序付き二分決定図（OBDD）と決定的構造化DNNF回路（d-SDNNF）の中間に位置する。TDDとd-SDNNFの表現の簡潔さには指数的な差がある一方、OBDDとTDDの間には準多項式的な隔たりしか示されておらず、それが最適かどうかは未解決問題だった。本研究では、任意のTDDを準多項式サイズの等価なOBDDへ変換できることを示し、この問いに肯定的に答える。 この結果は弱点とも見なし得るが、第2の結果は、TDDがOBDDと別の望ましい性質も共有することを示す。この性質がd-SDNNFで成り立つかは分かっていない。具体的には、TDDと別の変換先vtreeが与えられたとき、新しいvtreeに従う最小かつ正準なTDDを、入力と出力のサイズに関して多項式時間で構成できる。その帰結として、異なるvtree上のTDD間の等価性検査も多項式時間で実行できることが得られる。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-18（UTC）
- 最新改訂
- 2026-09-18 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-18 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Tree Decision Diagrams (TDDs) are a data structure recently introduced by Capelli et al. (SAT 2026). They are structured along a vtree and the size of their canonical form lies between Ordered Binary Decision Diagrams (OBDDs) and deterministic structured DNNF circuits (d-SDNNFs). While the succinctness gap between TDD and d-SDNNF is exponential, only a quasipolynomial separation between OBDD and TDD has been shown and it was left as open question whether this is optimal. We answer this question affirmatively by showing that every TDD can be transformed to an equivalent OBDD of quasipolynomial size. Although this might be seen as a weakness, our second result shows that TDDs share another desirable property with OBDDs that is not known to hold for d-SDNNF: Given a TDD and another target vtree, it is possible to construct the minimal and canonical TDD respecting the new vtree in time polynomial in the input and output. As a result we also obtain that the equivalence test between TDDs over different vtrees can be done in polynomial time.
arXiv ID: 2609.21842 ／ 要約の誤りについて