木の形も選べるつり合いモビール問題の計算困難性
Strong NP-Completeness of Unrestricted Balanced Mobiles
この論文をやさしく読む
ひとことで言うと
重りをつり下げる二分木の形も配置も自由に選んで、各分岐の左右の重さの差を最小化する問題が、計算量の観点で難しいと証明しています。
何に役立つ？
この最適化問題に一般的な厳密解法を求める際の、理論的な難しさの基準になります。木の形を自由に選べば簡単になるのかという未解決点を扱っています。
この研究の面白いところ
形が決まった木の難しさから自動的に自由な形の場合の難しさが分かるわけではないため、数値のスケールで望ましい階層を強制する帰着を構成しています。
どこまで分かった？
結果は判定問題の強NP完全性です。すべての個別入力で計算が遅いという意味でも、近似法や特別な場合の効率的な解法が存在しないという意味でもありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
モビールとは、葉に正の整数の重みが付いた、根付きの全二分木である。内部節点の不均衡は、二つの子部分木の重み総和の差の絶対値であり、モビールの費用はこれらの不均衡の総和である。制約のないBalanced Mobiles問題では、葉の重みの多重集合だけが与えられ、費用を最小化するように木の形と重みの配置の両方を選ばなければならない。 木の形が指定された場合は強NP困難である一方、この制約のない版の計算量は未解決のままだった。本研究では、制約のないBalanced Mobilesの判定問題が強NP完全であると証明し、この空白を埋める。 相異なる整数を持つ数値的3次元マッチングからの帰着では、大きく離れた三つの数値スケールを用いる。相殺和による鋭い評価により、所定の閾値を満たすモビールはすべて標準的な階層構造を取らざるを得なくなる。その後、元の整数が互いに異なることによって、その階層を個々の三つ組へ帰着でき、そこから有効な数値的マッチングを復元できる。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-21（UTC）
- 最新改訂
- 2026-09-21 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-21 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
A mobile is a rooted full binary tree whose leaves carry positive integer weights. The imbalance of an internal node is the absolute difference between the total weights of its two child subtrees, and the cost of the mobile is the sum of these imbalances. In the unrestricted \emph{Balanced Mobiles} problem, only the multiset of leaf weights is given: both the tree topology and the placement of the weights must be chosen so as to minimize the cost. The computational complexity of this unrestricted variant has remained open, although the variant with a prescribed topology is strongly NP-hard. We close this gap by proving that the decision version of unrestricted Balanced Mobiles is strongly NP-complete. Our reduction from Numerical 3-Dimensional Matching with Distinct Integers uses three widely separated numerical scales. Tight telescoping bounds force every threshold-achieving mobile into a canonical hierarchy, after which pairwise distinctness of the source integers collapses the hierarchy to single triples from which a valid numerical matching can be recovered.
arXiv ID: 2609.24654 ／ 要約の誤りについて