結果

問題 No.848 なかよし旅行
ユーザー magurogumamaguroguma
提出日時 2020-01-05 12:37:55
言語 Go
(1.21.3)
結果
AC  
実行時間 154 ms / 2,000 ms
コード長 9,606 bytes
コンパイル時間 12,838 ms
コンパイル使用メモリ 212,184 KB
実行使用メモリ 14,700 KB
最終ジャッジ日時 2023-08-07 19:59:03
合計ジャッジ時間 14,668 ms
ジャッジサーバーID
(参考情報)
judge15 / judge11
このコードへのチャレンジ(β)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 154 ms
14,700 KB
testcase_01 AC 2 ms
5,520 KB
testcase_02 AC 2 ms
5,516 KB
testcase_03 AC 2 ms
5,516 KB
testcase_04 AC 2 ms
5,516 KB
testcase_05 AC 2 ms
5,516 KB
testcase_06 AC 2 ms
5,532 KB
testcase_07 AC 2 ms
5,520 KB
testcase_08 AC 3 ms
5,544 KB
testcase_09 AC 4 ms
5,564 KB
testcase_10 AC 3 ms
5,544 KB
testcase_11 AC 36 ms
6,068 KB
testcase_12 AC 42 ms
8,172 KB
testcase_13 AC 54 ms
10,240 KB
testcase_14 AC 28 ms
7,984 KB
testcase_15 AC 47 ms
10,276 KB
testcase_16 AC 70 ms
12,460 KB
testcase_17 AC 51 ms
8,616 KB
testcase_18 AC 35 ms
6,224 KB
testcase_19 AC 31 ms
5,932 KB
testcase_20 AC 5 ms
5,600 KB
testcase_21 AC 59 ms
10,356 KB
testcase_22 AC 46 ms
10,340 KB
testcase_23 AC 34 ms
5,588 KB
testcase_24 AC 2 ms
5,516 KB
testcase_25 AC 83 ms
12,496 KB
testcase_26 AC 2 ms
5,520 KB
testcase_27 AC 2 ms
5,520 KB
testcase_28 AC 2 ms
5,516 KB
testcase_29 AC 2 ms
5,520 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

package main

import (
	"bufio"
	"container/heap"
	"errors"
	"fmt"
	"io"
	"math"
	"os"
	"strconv"
)

/*********** I/O ***********/

var (
	// ReadString returns a WORD string.
	ReadString func() string
	stdout     *bufio.Writer
)

func init() {
	ReadString = newReadString(os.Stdin)
	stdout = bufio.NewWriter(os.Stdout)
}

func newReadString(ior io.Reader) func() string {
	r := bufio.NewScanner(ior)
	// r.Buffer(make([]byte, 1024), int(1e+11)) // for AtCoder
	r.Buffer(make([]byte, 1024), int(1e+9)) // for Codeforces
	// Split sets the split function for the Scanner. The default split function is ScanLines.
	// Split panics if it is called after scanning has started.
	r.Split(bufio.ScanWords)

	return func() string {
		if !r.Scan() {
			panic("Scan failed")
		}
		return r.Text()
	}
}

// ReadInt returns an integer.
func ReadInt() int {
	return int(readInt64())
}
func ReadInt2() (int, int) {
	return int(readInt64()), int(readInt64())
}
func ReadInt3() (int, int, int) {
	return int(readInt64()), int(readInt64()), int(readInt64())
}
func ReadInt4() (int, int, int, int) {
	return int(readInt64()), int(readInt64()), int(readInt64()), int(readInt64())
}

// ReadInt64 returns as integer as int64.
func ReadInt64() int64 {
	return readInt64()
}
func ReadInt64_2() (int64, int64) {
	return readInt64(), readInt64()
}
func ReadInt64_3() (int64, int64, int64) {
	return readInt64(), readInt64(), readInt64()
}
func ReadInt64_4() (int64, int64, int64, int64) {
	return readInt64(), readInt64(), readInt64(), readInt64()
}

func readInt64() int64 {
	i, err := strconv.ParseInt(ReadString(), 0, 64)
	if err != nil {
		panic(err.Error())
	}
	return i
}

// ReadIntSlice returns an integer slice that has n integers.
func ReadIntSlice(n int) []int {
	b := make([]int, n)
	for i := 0; i < n; i++ {
		b[i] = ReadInt()
	}
	return b
}

// ReadInt64Slice returns as int64 slice that has n integers.
func ReadInt64Slice(n int) []int64 {
	b := make([]int64, n)
	for i := 0; i < n; i++ {
		b[i] = ReadInt64()
	}
	return b
}

// ReadFloat64 returns an float64.
func ReadFloat64() float64 {
	return float64(readFloat64())
}

func readFloat64() float64 {
	f, err := strconv.ParseFloat(ReadString(), 64)
	if err != nil {
		panic(err.Error())
	}
	return f
}

// ReadFloatSlice returns an float64 slice that has n float64.
func ReadFloat64Slice(n int) []float64 {
	b := make([]float64, n)
	for i := 0; i < n; i++ {
		b[i] = ReadFloat64()
	}
	return b
}

// ReadRuneSlice returns a rune slice.
func ReadRuneSlice() []rune {
	return []rune(ReadString())
}

/*********** Debugging ***********/

// ZeroPaddingRuneSlice returns binary expressions of integer n with zero padding.
// For debugging use.
func ZeroPaddingRuneSlice(n, digitsNum int) []rune {
	sn := fmt.Sprintf("%b", n)

	residualLength := digitsNum - len(sn)
	if residualLength <= 0 {
		return []rune(sn)
	}

	zeros := make([]rune, residualLength)
	for i := 0; i < len(zeros); i++ {
		zeros[i] = '0'
	}

	res := []rune{}
	res = append(res, zeros...)
	res = append(res, []rune(sn)...)

	return res
}

// Strtoi is a wrapper of strconv.Atoi().
// If strconv.Atoi() returns an error, Strtoi calls panic.
func Strtoi(s string) int {
	if i, err := strconv.Atoi(s); err != nil {
		panic(errors.New("[argument error]: Strtoi only accepts integer string"))
	} else {
		return i
	}
}

// PrintIntsLine returns integers string delimited by a space.
func PrintIntsLine(A ...int) string {
	res := []rune{}

	for i := 0; i < len(A); i++ {
		str := strconv.Itoa(A[i])
		res = append(res, []rune(str)...)

		if i != len(A)-1 {
			res = append(res, ' ')
		}
	}

	return string(res)
}

// PrintIntsLine returns integers string delimited by a space.
func PrintInts64Line(A ...int64) string {
	res := []rune{}

	for i := 0; i < len(A); i++ {
		str := strconv.FormatInt(A[i], 10) // 64bit int version
		res = append(res, []rune(str)...)

		if i != len(A)-1 {
			res = append(res, ' ')
		}
	}

	return string(res)
}

// PrintDebug is wrapper of fmt.Fprintf(os.Stderr, format, a...)
func PrintDebug(format string, a ...interface{}) {
	fmt.Fprintf(os.Stderr, format, a...)
}

/********** FAU standard libraries **********/

//fmt.Sprintf("%b\n", 255) 	// binary expression

/********** I/O usage **********/

//str := ReadString()
//i := ReadInt()
//X := ReadIntSlice(n)
//S := ReadRuneSlice()
//a := ReadFloat64()
//A := ReadFloat64Slice(n)

//str := ZeroPaddingRuneSlice(num, 32)
//str := PrintIntsLine(X...)

/*
ASCII code

ASCII   10進数  ASCII   10進数  ASCII   10進数
!       33      "       34      #       35
$       36      %       37      &       38
'       39      (       40      )       41
*       42      +       43      ,       44
-       45      .       46      /       47
0       48      1       49      2       50
3       51      4       52      5       53
6       54      7       55      8       56
9       57      :       58      ;       59
<       60      =       61      >       62
?       63      @       64      A       65
B       66      C       67      D       68
E       69      F       70      G       71
H       72      I       73      J       74
K       75      L       76      M       77
N       78      O       79      P       80
Q       81      R       82      S       83
T       84      U       85      V       86
W       87      X       88      Y       89
Z       90      [       91      \       92
]       93      ^       94      _       95
`       96      a       97      b       98
c       99      d       100     e       101
f       102     g       103     h       104
i       105     j       106     k       107
l       108     m       109     n       110
o       111     p       112     q       113
r       114     s       115     t       116
u       117     v       118     w       119
x       120     y       121     z       122
{       123     |       124     }       125
~       126             127
*/

/*******************************************************************/

const (
	// General purpose
	MOD          = 1000000000 + 7
	ALPHABET_NUM = 26
	INF_INT64    = math.MaxInt64
	INF_BIT60    = 1 << 60
	INF_INT32    = math.MaxInt32
	INF_BIT30    = 1 << 30
	NIL          = -1

	// for dijkstra, prim, and so on
	WHITE = 0
	GRAY  = 1
	BLACK = 2
)

var n, m, p, q, t int

func main() {
	n, m = ReadInt2()
	p, q, t = ReadInt3()
	p, q = p-1, q-1
	for i := 0; i < m; i++ {
		a, b, c := ReadInt3()
		a, b = a-1, b-1
		G[a] = append(G[a], Edge{to: b, cost: c})
		G[b] = append(G[b], Edge{to: a, cost: c})
	}

	ss := dijkstra(0)
	ps := dijkstra(p)
	qs := dijkstra(q)
	PrintDebug("%v\n", ss[:n])
	PrintDebug("%v\n", ps[:n])
	PrintDebug("%v\n", qs[:n])

	if ss[p]+ps[q]+qs[0] <= t {
		fmt.Println(t)
		return
	}

	if Max(2*ss[p], 2*ss[q]) > t {
		fmt.Println(-1)
		return
	}

	// 別行動の最小時間を求める
	divMax := INF_BIT60
	for i := 0; i < n; i++ {
		for j := 0; j < n; j++ {
			// 一緒に行動する時間
			share := ss[i] + ss[j]
			// 別行動する時間の大きい方
			div := Max(ps[i]+ps[j], qs[i]+qs[j])

			if share+div <= t {
				ChMin(&divMax, div)
			}
		}
	}

	fmt.Println(t - divMax)
}

// ChMin accepts a pointer of integer and a target value.
// If target value is SMALLER than the first argument,
//	then the first argument will be updated by the second argument.
func ChMin(updatedValue *int, target int) bool {
	if *updatedValue > target {
		*updatedValue = target
		return true
	}
	return false
}

// Max returns the max integer among input set.
// This function needs at least 1 argument (no argument causes panic).
func Max(integers ...int) int {
	m := integers[0]
	for i, integer := range integers {
		if i == 0 {
			continue
		}
		if m < integer {
			m = integer
		}
	}
	return m
}

func dijkstra(sid int) []int {
	dp, colors, parents := make([]int, NUM), make([]int, NUM), make([]int, NUM)
	for i := 0; i < NUM; i++ {
		dp[i], colors[i], parents[i] = INF_BIT60, WHITE, NIL
	}
	dp[sid], colors[sid] = 0, GRAY

	temp := make(VertexPQ, 0, 100000+1)
	pq := &temp
	heap.Init(pq)
	heap.Push(pq, &Vertex{pri: dp[sid], id: sid})

	for pq.Len() > 0 {
		cv := heap.Pop(pq).(*Vertex)
		cid, ccost := cv.id, cv.pri
		colors[cid] = BLACK

		if dp[cid] < ccost {
			continue
		}

		for _, e := range G[cid] {
			if colors[e.to] == BLACK {
				continue
			}

			if dp[e.to] > dp[cid]+e.cost {
				dp[e.to] = dp[cid] + e.cost
				colors[e.to] = GRAY
				parents[e.to] = cid
				heap.Push(pq, &Vertex{pri: dp[e.to], id: e.to})
			}
		}
	}

	return dp
}

type Edge struct {
	to, cost int
}

const NUM = 2000 + 5

var G [NUM][]Edge

type Vertex struct {
	pri int
	id  int
}
type VertexPQ []*Vertex

func (pq VertexPQ) Len() int           { return len(pq) }
func (pq VertexPQ) Less(i, j int) bool { return pq[i].pri < pq[j].pri } // <: ASC, >: DESC
func (pq VertexPQ) Swap(i, j int) {
	pq[i], pq[j] = pq[j], pq[i]
}
func (pq *VertexPQ) Push(x interface{}) {
	item := x.(*Vertex)
	*pq = append(*pq, item)
}
func (pq *VertexPQ) Pop() interface{} {
	old := *pq
	n := len(old)
	item := old[n-1]
	*pq = old[0 : n-1]
	return item
}

// how to use
// temp := make(VertexPQ, 0, 100000+1)
// pq := &temp
// heap.Init(pq)
// heap.Push(pq, &Vertex{pri: intValue})
// popped := heap.Pop(pq).(*Vertex)

/*
- まずは全探索を検討しましょう
- MODは最後にとりましたか?
- ループを抜けた後も処理が必要じゃありませんか?
- 和・積・あまりを求められたらint64が必要ではありませんか?
- いきなりオーバーフローはしていませんか?
- MOD取る系はint64必須ですよ?
*/

/*******************************************************************/
0