[論文レビュー] Games on deBruijn Graphs and Cycle Means

Nadejda Drenska|arXiv (Cornell University)|Jan 30, 2026

Game Theory and Voting Systems被引用数 0

ひとこと要約

この論文は、固定頂点ウェイトを持つデ Bruijn グラフに対して、エッジウェイトを二人対戦の反復ゲームを用いて割り当てると、すべてのサイクルの平均ウェイトが同じになることを示しており、その得られる値関数はグラフ上の離散ポアソン方程式を解く。

ABSTRACT

deBruijn graphs are widely used in genomics and computer science. In this paper we present a novel approach to finding weights on edges of doubly weighted deBruijn graphs. Given any fixed set of weights on vertices, we use a repeated two-person zero-sum game to find weights on edges so that every cycle on the deBruijn graph has the same average weight, providing explicit formulas. This approach uses minimax optimal strategies of the players. Once the weights on the edges are determined, we observe that they correspond to solving a set of linear equations with as many equations as there are cycles. This is very surprising, because there are many more cycles than unknowns. Moreover we analyze other, related games on graphs.

研究の動機と目的

• ゲノム情報学と計算機科学への応用のため、デ Bruijn グラフ上のサイクル平均の分析動機づけ。
• 頂点ウェイトが固定されるとき、エッジウェイトを決定する二人対戦の反復ゲームを導入。
• すべてのサイクルの平均ウェイトを等しくするエッジウェイトの存在を証明。
• エッジウェイト解がグラフ上の離散ポアソン方程式を解くことを示す。

提案手法

• 頂点ウェイトを持ち、各頂点で出エッジの和がゼロになる制約のもとエッジウェイトを定義するデ Bruijn グラフを定式化。
• ポールがエッジウェイトを選択し、キャロルが次の頂点を選択する二人対戦ゼロサムゲームをモデル化。
• 動的計画法を用いて値関数 v(t,m) を導出し、それがミニマックス再帰を満たすことを示す。
• v から線形関係を介して時間に依存しないカットオフ前の f(t,(m,m|ℓ)) の明示的なエッジウェイトを導出し、サイクル平均を等しくする。
• T−d より前に終わるサイクルはすべて、グラフの全頂点の頂点ウェイトの平均と等しい平均ウェイトを持つ。
• 値関数がグラフ上の離散ポアソン方程式 Δv = c − mean(c) を解くことを示す。

実験結果

リサーチクエスチョン

• RQ1 固定頂点ウェイトが与えられたとき、デ Bruijn グラフのすべてのサイクルの平均ウェイトを等しくするエッジウェイトを選択できるか。
• RQ2 誘導された二人対戦の最適戦略の構造はどのようになり、これがグラフ上の線形系またはポアソン方程式の解決とどのように関連するか。
• RQ3 類似の結果が関連ゲームや、滅点を持たない一般有向グラフにも成り立つか。

主な発見

• すべてのサイクルが同じ平均ウェイトを共有するエッジウェイトの割り当てが存在し、それはすべての頂点ウェイトの算術平均に等しい。
• 共通サイクル平均は (1/n^d) × 全頂点の頂点ウェイトの和に等しい。
• 値関数 v(t,m) は閉形式の表現を満たし、t < T−d の場合離散ポアソン方程式 Δv = c − mean(c) を解く。
• ポールが使用するエッジウェイトは時間 t ≤ T−d に対して時間不変になる。
• キャロルの最適経路選択は決定的にも確率的にも、ゲームの値を変えずにモデル化できる。