疎な関係構造で条件を満たす組を高速に数える
Counting on Nowhere Dense Classes
この論文をやさしく読む
ひとことで言うと
一定の疎さを持つ構造では、先に整理しておくことで、条件に合う組の数をその後すばやく答えられるという理論です。
何に役立つ？
論理式で表した検索や数え上げを、疎なデータ構造で効率よく行うためのアルゴリズム的基盤になります。
この研究の面白いところ
単なる条件判定だけでなく、該当数の計算と、答えを一定の間隔で列挙する処理まで扱います。数え上げを含む論理への拡張が中心です。
どこまで分かった？
対象は実効的なnowhere denseクラスであり、任意の関係構造への保証ではありません。定数時間は前処理後のクエリについての計算量で、実装速度の測定値は要旨にありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
関係構造の実効的なnowhere denseクラス𝒞のそれぞれについて、与えられた構造𝒜∈𝒞と一階論理式φ(x₁,…,x_k,y₁,…,y_ℓ)に対して、ほぼ線形時間の前処理を行うアルゴリズムを提示する。前処理後は、組v̄∈Aᵏが与えられるたびに、𝒜⊨φ(v̄,w̄)を満たす組w̄∈A^ℓの数を定数時間で計算できる。 これに基づき、最近導入された数え上げ付きクリークガード一階論理（cgFOC）についても、実効的なnowhere denseクラス上で、ほぼ線形時間の前処理後に定数時間でクエリに回答し、定数遅延で列挙するアルゴリズムを与える。これは、nowhere denseクラス上の一階論理に関する判定・列挙の結果（Schweikardt、Segoufin、Vigny、JACM 2022）と、数え上げ付き一階論理FOC1の評価の結果（Grohe、Schweikardt、PODS 2018）を一般化する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-16（UTC）
- 最新改訂
- 2026-09-16 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-16 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
For every effectively nowhere dense class $\mathcal{C}$ of relational structures, we present an algorithm that runs an almost-linear-time preprocessing step on a given structure $\mathcal{A} \in \mathcal{C}$ and a first-order formula $\phi(x_1, \dots, x_k, y_1, \dots, y_\ell)$. After the preprocessing, whenever given a tuple $\bar{v} \in A^k$, the algorithm computes the number of tuples $\bar{w} \in A^\ell$ that satisfy $\mathcal{A} \models \phi(\bar{v}, \bar{w})$ in constant time. Building on this, we provide an algorithm for constant-time query answering and constant-delay enumeration after almost-linear-time preprocessing for the recently introduced logic clique-guarded first-order logic with counting (cgFOC) on effectively nowhere dense classes. This generalises the testing and enumeration results for first-order logic [Schweikardt, Segoufin, and Vigny, JACM 2022] and the evaluation result for the first-order logic with counting FOC1 [Grohe and Schweikardt, PODS 2018] on nowhere dense classes.
著者のコメント
22 pages
arXiv ID: 2609.18875 ／ 要約の誤りについて