0044a4 ◆L1L.Ef50zuAv 垢版 | 大砲2020/03/31(火) 17:49:25.35ID:/0OHc4N+ n次元の頂点は複素数ではないので全てに三角不等式が成り立つとすると、新しい ノードも加えて最短経路を作った時、そのノードの2つのエッジから、そのノードを 取って1つのエッジにくっつけるという操作をすると、距離が縮まるから、その時の 最短経路を出す時は、他のエッジを動かさなくてもいい。他のエッジが動くとすると、 そっちが最適解になる。だから、最短経路に1つ1つノードを付け足していけばいいん じゃないかと。これで証明終わり???