hence the shortest path is an upper bound on \(\mathsf{logit}_{i}\). To prove feasibility, we claim that setting \(\mathsf{logit}_{i}\) to be the distance from \(0\) to \(i\) satisfies all the inequalities. Assume some inequality \(\mathsf{logit}_{i}-\mathsf{logit}_{j}\leq c_{ji}\) is violated. Then we can go from \(0\to j\to i\) in \(G\) with a total weight of \(\mathsf{logit}_{j}+c_{ji}<\mathsf{logit}_{i}\), which contradicts the assumption that \(\mathsf{logit}_{i}\) is the distance from \(0\) to \(i\).
따라서 최단 경로는 \(\mathsf{logit}_{i}\)의 상한입니다. 실현 가능성을 증명하기 위해, \(\mathsf{logit}_{i}\)를 \(0\)에서 \(i\)까지의 거리로 설정하면 모든 부등식을 만족한다고 주장합니다. 어떤 부등식 \(\mathsf{logit}_{i}-\mathsf{logit}_{j}\leq c_{ji}\)가 위반된다고 가정해봅시다. 그러면 우리는 \(G\)에서 \(0\to j\to i\)로 이동할 수 있으며, 총 가중치는 \(\mathsf{logit}_{j}+c_{ji}<\mathsf{logit}_{i}\)가 되어 \(\mathsf{logit}_{i}\)가 \(0\)에서 \(i\)까지의 거리라는 가정에 모순이 생깁니다.
따라서 최단 경로는 \(\mathsf{logit}_{i}\)의 상한입니다. 실현 가능성을 증명하기 위해 \(\mathsf{logit}_{i}\)를 \(0\)에서 \(i\)까지의 거리로 설정하면 모든 부등식을 만족한다고 주장합니다. 어떤 부등식 \(\mathsf{logit}_{i}-\mathsf{logit}_{j}\leq c_{ji}\)가 위반되었다고 가정합니다. 그러면 \(\mathsf{logit}_{j}+c_{ji}<\mathsf{logit}_{i}\)의 총 가중치로 \(G\)에서 \(0\to j\to i\)로 갈 수 있으며, 이는 \(\mathsf{logit}_{i}\)가 \(0\)에서 \(i\)까지의 거리라는 가정과 모순됩니다.