ホップフィールドネットワーク(9)

ホップフィールドネットワーク(8)」の続きです。
次に、全ての場所(都市)を訪問した時の距離の合計値を数式に表すことを考えます。巡回セールスマン問題は、どの場所も必ず1回だけ訪問するという制約の中でこの距離の合計値を最小にするような訪問順序を求める問題でした。よってこの距離の合計値が最小になればよいわけです。まず、場所iからjまでの距離をD_{ij}で表すことにします。例として、下の図のパターンを考えます。

  • 図10

すると総距離E_3は(場所A, B, C, D, Eが数字の1, 2, 3, 4, 5で表されることに注意すれば)

  • E_3=D_{24}+D_{41}+D_{15}+D_{53}・・・・(30)

で表すことが出来ます。この数式を任意のパターンに拡張することを考えます。さて、x_{ij}は1か-1の値を取る変数でした。x_{ij}=1の時は1、x_{ij}=-1の時は0になるような数式を考えると

  • \frac{x_{ij}+1}{2}・・・・(31)

を思いつきます。これを用いれば、図10のパターンの場合

  • D_{24}=D_{24}\frac{x_{12}+1}{2}\cdot\frac{x_{24}+1}{2}・・・・(32)

となります。(31)がx_{ij}=1の時は1、x_{ij}=-1の時は0になることを考慮すれば

  • D_{24}=\Bigsum_i^5\Bigsum_j^5D_{ij}\frac{x_{1i}+1}{2}\cdot\frac{x_{2j}+1}{2}・・・・(33)

と書くことが出来ます。ここから一般のパターンの場合、最初の距離は

  • \Bigsum_i^5\Bigsum_j^5D_{ij}\frac{x_{1i}+1}{2}\cdot\frac{x_{2j}+1}{2}・・・・(34)

と書けることが分かります。同様に考えて、あとの3つの場所間の距離は

  • \Bigsum_i^5\Bigsum_j^5D_{ij}\frac{x_{2i}+1}{2}\cdot\frac{x_{3j}+1}{2}
  • \Bigsum_i^5\Bigsum_j^5D_{ij}\frac{x_{3i}+1}{2}\cdot\frac{x_{4j}+1}{2}
  • \Bigsum_i^5\Bigsum_j^5D_{ij}\frac{x_{4i}+1}{2}\cdot\frac{x_{5j}+1}{2}

と書けることが分かります。よって一般のパターンの場合、総距離E_3

  • E_3=\Bigsum_k^4\Bigsum_i^5\Bigsum_j^5D_{ij}\frac{x_{ki}+1}{2}\cdot\frac{x_{k+1,j}+1}{2}・・・・(35)

となります。よって、巡回セールスマン問題を解くためのエネルギー関数E

  • E=E_1+E_2+E_3

よって

  • E=\Bigsum_{i=1}^5\left(\Bigsum_{j=1}^5x_{ij}+3\right)^2+\Bigsum_{j=1}^5\left(\Bigsum_{i=1}^5x_{ij}+3\right)^2
    • +\Bigsum_k^4\Bigsum_i^5\Bigsum_j^5D_{ij}\frac{x_{ki}+1}{2}\cdot\frac{x_{k+1,j}+1}{2}・・・・(36)

となります。この式を展開し、

  • E=-\frac{1}{2}\Bigsum_{i=1}^n\Bigsum_{j=1}^ns_{ij}x_ix_j・・・・(14)

の形に整えたときに現れるs_{ij}の値をホップフィールドネットワークのシナプス係数として設定すれば、そのホップフィールドネットワークの安定状態では、巡回セールスマン問題の解を示すようなパターンが現れることになります。


以上のように、私は一度は考えたのですが、その後、疑問が出てきました。その疑問については次回述べます。