計算複雑性理論および組合せ論では、トークン再構成問題は、トークンの初期状態および所望状態の両方を有するグラフ上の最適化問題である。
グラフが与えられると、トークンの初期状態は、グラフの頂点のサブセットによって定義される。 let とする。頂点から頂点へのトークンの移動は、とが他のトークンを含まないのパスで結合されている場合に有効です。グラフ内を移動する距離は重要ではなく、トークンを複数のエッジに順次移動させることは1回の移動とみなされます。所望の終了状態は別のサブセットとして定義される。目標は、初期状態から終了状態に達する有効な移動の回数を最小限に抑えることです。
グラフが与えられると、トークンの初期状態は、グラフの頂点のサブセットによって定義される。 let とする。頂点から頂点へのトークンの移動は、とが他のトークンを含まないのパスで結合されている場合に有効です。グラフ内を移動する距離は重要ではなく、トークンを複数のエッジに順次移動させることは1回の移動とみなされます。所望の終了状態は別のサブセットとして定義される。目標は、初期状態から終了状態に達する有効な移動の回数を最小限に抑えることです。