Problem:
JOI 国の買い物事情(Shopping in JOI Kingdom)

JOI 国にはN 個の町があり，それらの間はM 本の双方向に通行可能な道路で結ばれている．K 個の町にはショッピングモールがあり，国民は道路を通ってそれらの町のいずれかに行き買い物をする．

家の場所によっては，買い物に行くために長い距離を移動する必要があり，それは非常に不便である．国王はこの実情を把握するため，ショッピングモールのある町までの最短距離が家の場所によってどれだけ長くなりうるのかを調べることにした．家は道路の途中に建てられることもあるので(入力例1 の説明を参照)，この調査は非常に大変である．そこで国王は，優秀なプログラマーであるあなたに，調査を行うプログラムの作成を依頼した．

課題

道路の情報とショッピングモールのある町の情報が与えられるとき，ショッピングモールのある町からもっとも遠い道路上の点(端点も含む) までの距離を求めるプログラムを作成せよ．町の中を移動するのにかかる距離は無視してよい．

制限

2 ≤ N ≤ 3000     JOI 国の町の個数

1 ≤ M ≤ 100000 = 105     JOI 国の道路の本数

1 ≤ K ≤ N     ショッピングモールがある町の個数

1 ≤ li ≤ 1000     i 番目の道路の長さ

入力

標準入力から以下の入力を読み込め．

1 行目には整数N, M, K が空白区切りで書かれている．N はJOI 国の町の個数を，M はJOI 国の道路の本数を，i>K はショッピングモールがある町の個数をそれぞれ表す．町には1, 2, ..., N の番号がつけられている．

続くM 行は道路の情報を表す．i + 1 行目(1 ≤ i ≤ M) には整数ai, bi, li (1 ≤ ai ≤ N, 1 ≤ bi ≤ N, 1 ≤ li ≤ 1000) が空白区切りで書かれている．これは，i 本目の道路が町ai と町bi を結んでおり，長さがli であることを表す．道路の両端が同じ町であることはない．また，任意の2 つの町p, q に対し，pとq を結ぶ道路は2 本以上存在しない．どの町からどの町へもいくつかの道路をたどって行くことができる．

続くK 行はショッピングモールの情報を表す．i+M+1 行目(1 ≤ i ≤ K) には1 つの整数si (1 ≤ si ≤ N)が書かれている．これは町si にショッピングモールがあることを表す．s1, ..., sK の中に同じ値が2
回以上現れることはない．

出力

標準出力に，ショッピングモールのある町までの最短距離の最大値の小数点以下を四捨五入した整数1
つを出力せよ．

採点基準

採点用データのうち，配点の40% 分については，K = 1 を満たす．

入出力の例

入力例1

3 3 1
1 2 1
2 3 1
3 1 1
1

出力例1

2

入力例1 は次のような町を表す．道路の長さはすべて1 である．ショッピングモールは町1 にしかない．

ショッピングモールのある町までもっとも遠い点は，町2 と町3 を結ぶ道路上の，町2 から距離0.5 の位置にある点であり，ショッピングモールのある町までの距離は1.5 である．よって，それを四捨五入した値である2 を出力する．

入力例2

4 5 2
1 2 4
1 3 1
2 3 2
2 4 2
3 4 1
2
4

出力例2

3

問題文と自動審判に使われるデータは、情報オリンピック日本委員会が作成し公開している問題文と採点用テストデータです。

Solution in Scala (judge verdict: Accepted)

import scala.collection.mutable
import scala.io.StdIn._
object Main extends App {

  val Array(n, m, k) = readLine.trim.split(' ').map(_.toInt)
  val roads = Array.tabulate(m){_ ⇒
    val Array(a, b, l) = readLine.trim.split(' ').map(_.toInt)
    Road(a - 1, b - 1, l)
  }
  val cities = Array.fill(n){Nil: List[Path]}
  for (Road(a, b, l) ← roads) {
    cities(a) ::= Path(b, l)
    cities(b) ::= Path(a, l)
  }
  val minDistance = Array.fill(n){Int.MaxValue}
  val queue = mutable.PriorityQueue[(Int, Int)]()(Ordering.by[(Int, Int), Int](_._2).reverse)
  for (_ ← 0 until k){
    val s = readInt() - 1
    minDistance(s) = 0
    queue.enqueue(s → 0)
  }
  while (queue.nonEmpty) {
    val (current, cost) = queue.dequeue()
    if (minDistance(current) == cost){
      for (Path(to, length) ← cities(current) if minDistance(to) > cost + length) {
        minDistance(to) = cost + length
        queue.enqueue(to → minDistance(to))
      }
    }
  }
  println(roads.map{
    case Road(a, b, length) ⇒
      val min = Math.min(minDistance(a), minDistance(b))
      val max = Math.max(minDistance(a), minDistance(b))
      val diff = max - min
      (length - diff + 1) / 2 + max
  }.max)
  case class Road(a: Int, b: Int, length: Int)
  case class Path(to: Int, length: Int)
}