結果
問題 | No.2805 Go to School |
ユーザー |
|
提出日時 | 2024-07-12 23:55:45 |
言語 | Crystal (1.14.0) |
結果 |
AC
|
実行時間 | 788 ms / 2,000 ms |
コード長 | 1,839 bytes |
コンパイル時間 | 13,991 ms |
コンパイル使用メモリ | 297,148 KB |
実行使用メモリ | 90,536 KB |
最終ジャッジ日時 | 2024-07-16 01:41:55 |
合計ジャッジ時間 | 27,019 ms |
ジャッジサーバーID (参考情報) |
judge5 / judge2 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 4 |
other | AC * 35 |
ソースコード
class BinaryHeapdef initialize@data = Array(Int128).newenddef size@data.sizeenddef empty?@data.size == 0enddef insert(x)idx = @data.size@data << xwhile idx > 0 && priority(@data[idx], @data[(idx - 1) >> 1])@data[(idx - 1) >> 1], @data[idx] = @data[idx], @data[(idx - 1) >> 1]idx = (idx - 1) >> 1endenddef << (x)insert(x)enddef popreturn nil if @data.size == 0return @data.pop if @data.size == 1r = @data[0].dup@data[0] = @data.popidx = 0while (n_idx = 2 * idx + 1) < @data.sizen_idx += 1 if n_idx + 1 < @data.size && priority(@data[n_idx + 1], @data[n_idx])break if priority(@data[idx], @data[n_idx])@data[idx], @data[n_idx] = @data[n_idx], @data[idx]idx = n_idxendrenddef topself.empty? ? nil : @data[0]enddef priority(a, b) # return true iff a has higher priority than b(a >> 30) < (b >> 30)endendINF = 1_i64 << 60Mask = (1 << 30) - 1n, m, l, s, e = read_line.split.map &.to_ig = Array.new(n << 1) {[] of Array(Int32)}m.times doa, b, t = read_line.split.map &.to_ia -= 1b -= 12.times dog[a] << [b, t]g[b] << [a, t]a += nb += nendendt = Array.new(n, false)read_line.split.map(&.to_i).each do |i|t[i - 1] = trueendq = BinaryHeap.newq << 0_i128dist = Array.new(n << 1, INF)dist[0] = 0while (ud = q.pop)u, d = ud & Mask, ud >> 30next if dist[u] < dg[u].each do |(v, c)|next if dist[v] <= dist[u] + cdist[v] = dist[u] + cq << (dist[v].to_i128 << 30 | v)endif u < n && t[u] && dist[u] < s + e && dist[u + n] > [dist[u] + 1, s + 1].maxdist[u + n] = [dist[u] + 1, s.to_i64 + 1].maxq << (dist[u + n].to_i128 << 30 | (u + n))endendputs dist[-1] == INF ? -1 : dist[-1]