結果

問題 No.848 なかよし旅行
ユーザー fgwiebfaoishfgwiebfaoish
提出日時 2020-06-13 18:44:35
言語 C#(csc)
(csc 3.9.0)
結果
AC  
実行時間 294 ms / 2,000 ms
コード長 5,559 bytes
コンパイル時間 1,849 ms
コンパイル使用メモリ 114,144 KB
実行使用メモリ 55,376 KB
最終ジャッジ日時 2024-04-25 14:17:03
合計ジャッジ時間 4,768 ms
ジャッジサーバーID
(参考情報)
judge3 / judge1
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 294 ms
55,376 KB
testcase_01 AC 26 ms
24,368 KB
testcase_02 AC 26 ms
26,028 KB
testcase_03 AC 26 ms
26,036 KB
testcase_04 AC 26 ms
23,992 KB
testcase_05 AC 27 ms
22,072 KB
testcase_06 AC 28 ms
24,112 KB
testcase_07 AC 27 ms
26,168 KB
testcase_08 AC 29 ms
23,852 KB
testcase_09 AC 30 ms
23,996 KB
testcase_10 AC 28 ms
24,252 KB
testcase_11 AC 98 ms
33,736 KB
testcase_12 AC 121 ms
32,912 KB
testcase_13 AC 153 ms
34,424 KB
testcase_14 AC 68 ms
31,292 KB
testcase_15 AC 142 ms
34,224 KB
testcase_16 AC 231 ms
38,076 KB
testcase_17 AC 160 ms
37,312 KB
testcase_18 AC 95 ms
33,208 KB
testcase_19 AC 89 ms
30,652 KB
testcase_20 AC 56 ms
26,628 KB
testcase_21 AC 188 ms
36,424 KB
testcase_22 AC 191 ms
39,028 KB
testcase_23 AC 78 ms
24,512 KB
testcase_24 AC 26 ms
21,936 KB
testcase_25 AC 248 ms
35,780 KB
testcase_26 AC 26 ms
24,240 KB
testcase_27 AC 27 ms
23,872 KB
testcase_28 AC 27 ms
23,872 KB
testcase_29 AC 26 ms
24,128 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
Microsoft (R) Visual C# Compiler version 3.9.0-6.21124.20 (db94f4cc)
Copyright (C) Microsoft Corporation. All rights reserved.

ソースコード

diff #

using System;
using System.Collections.Generic;
using System.Collections;
using System.Collections.Specialized;
using System.Linq;
using System.Text;
using System.IO;
using System.Reflection;
using static System.Math;
using System.Numerics;
static class Program{
	const int mod=(int)1e9+7;
	const long inf=long.MaxValue-1;
	static List<Tuple<int,int>>[] li;
	static bool[] b;
	static void Main(){
		Sc sc=new Sc();
		var s=sc.Ia;
		int n=s[0],m=s[1];
		li=new List<Tuple<int,int>>[n+1];
		var c=new long[n+1];
		var d=new long[n+1];
		var f=new long[n+1];
		for(int i=1;i<=n;i++){
			li[i]=new List<Tuple<int,int>>();
			c[i]=d[i]=f[i]=inf;
		}
		for(int i=0;i<m;i++){
			var e=sc.Ia;
			li[e[0]].Add(Tuple.Create(e[1],e[2]));
			li[e[1]].Add(Tuple.Create(e[0],e[2]));
		}
		c[s[2]]=d[s[3]]=f[1]=0;
		var pq=new Rheap<int>(32);
		b=new bool[n+1];
		pq.Push(new Rheap<int>.Dt(0,s[2]));
		while(pq.cnt>0){
			var e=pq.Dequeue;
			if(b[e.d]){continue;}
			b[e.d]=true;
			for(int i=0;i<li[e.d].Count;i++){
				if(!b[li[e.d][i].Item1]&&c[li[e.d][i].Item1]>li[e.d][i].Item2+e.n){
					pq.Push(new Rheap<int>.Dt(li[e.d][i].Item2+e.n,li[e.d][i].Item1));
					c[li[e.d][i].Item1]=li[e.d][i].Item2+e.n;
				}
			}
		}

		pq=new Rheap<int>(32);
		b=new bool[n+1];
		pq.Push(new Rheap<int>.Dt(0,s[3]));
		while(pq.cnt>0){
			var e=pq.Dequeue;
			if(b[e.d]){continue;}
			b[e.d]=true;
			for(int i=0;i<li[e.d].Count;i++){
				if(!b[li[e.d][i].Item1]&&d[li[e.d][i].Item1]>li[e.d][i].Item2+e.n){
					pq.Push(new Rheap<int>.Dt(li[e.d][i].Item2+e.n,li[e.d][i].Item1));
					d[li[e.d][i].Item1]=li[e.d][i].Item2+e.n;
				}
			}
		}

		pq=new Rheap<int>(32);
		b=new bool[n+1];
		pq.Push(new Rheap<int>.Dt(0,1));
		while(pq.cnt>0){
			var e=pq.Dequeue;
			if(b[e.d]){continue;}
			b[e.d]=true;
			for(int i=0;i<li[e.d].Count;i++){
				if(!b[li[e.d][i].Item1]&&f[li[e.d][i].Item1]>li[e.d][i].Item2+e.n){
					pq.Push(new Rheap<int>.Dt(li[e.d][i].Item2+e.n,li[e.d][i].Item1));
					f[li[e.d][i].Item1]=li[e.d][i].Item2+e.n;
				}
			}
		}
		if(f[s[2]]+f[s[3]]+c[s[3]]<=s[4]){
			Console.WriteLine(s[4]);
			return;
		}
		long ans=-1;
		for(int i = 1;i<=n;i++) {
			for(int j = 1;j<=n;j++) {
				long p=Max(c[i]+c[j],d[i]+d[j])+f[i]+f[j];
				if(p<=s[4]){ans=Max(ans,s[4]-Max(c[i]+c[j],d[i]+d[j]));}
			}
		}
		Console.WriteLine("{0}",ans);
	}
}
public class Rheap<T>{
	public class Dt{
		public long n;
		public T d;
		public Dt(long n,T d){this.n=n;this.d=d;}
		public override string ToString()=>"d:"+d.ToString()+" n:"+n.ToString();
	}
	private const int m=65;
	private long la=0;
	private Dt[][] bf;
	private int[] h;
	public int cnt=0;
	public Rheap(int max){
		bf=new Dt[m][];
		h=new int[m];
		for(int i = 0;i<m;i++) {bf[i]=new Dt[max];}
	}
	public void Push(Dt x){
		int a=x.n!=la?Bsr(la^x.n)+1:0;
		if(h[a]==bf[a].Length){Extend(a);}
		bf[a][h[a]]=x;
		cnt++;
		h[a]++;
	}
	public Dt Peek{get{
		if(h[0]==0){
			for(int i = 1;i<m;i++) {
				if(h[i]>0){
					int p=0;
					for(int j = 1;j<h[i];j++) {
						if(bf[i][p].n>bf[i][j].n){p=j;}
					}
					la=bf[i][p].n;
					for(int j = 0;j<h[i];j++) {
						Push(bf[i][j]);
						cnt--;
					}
					h[i]=0;
					break;
				}
			}
		}
		return bf[0][h[0]-1];
	}}
	public Dt Dequeue{get{
		var e=Peek;
		h[0]--;
		cnt--;
		return e;
	}}
	private void Extend(int n){
		var nhe=new Dt[bf[n].Length<<1];
		Array.Copy(bf[n],nhe,bf[n].Length);
		bf[n]=nhe;
	}
	private int Bsr(long b){
		int n=0;
		if(b==0){return -1;}
		if((b&-4294967296)!=0){b=b&-4294967296;n+=32;}
		if((b&-281470681808896)!=0){b=b&-281470681808896;n+=16;}
		if((b&-71777214294589696)!=0){b=b&-71777214294589696;n+=8;}
		if((b&-1085102592571150096)!=0){b=b&-1085102592571150096;n+=4;}
		if((b&-3689348814741910324)!=0){b=b&-3689348814741910324;n+=2;}
		if((b&-6148914691236517206)!=0){b=b&-6148914691236517206;n+=1;}
		return n;
	}
}
public class Sc{
	public int I{get{return int.Parse(Console.ReadLine());}}
	public long L{get{return long.Parse(Console.ReadLine());}}
	public double D{get{return double.Parse(Console.ReadLine());}}
	public string S{get{return Console.ReadLine();}}
	public int[] Ia{get{return Array.ConvertAll(Console.ReadLine().Split(),int.Parse);}}
	public long[] La{get{return Array.ConvertAll(Console.ReadLine().Split(),long.Parse);}}
	public double[] Da{get{return Array.ConvertAll(Console.ReadLine().Split(),double.Parse);}}
	public string[] Sa{get{return Console.ReadLine().Split();}}
	public object[] Oa{get{return Console.ReadLine().Split();}}
	public int[] Ia2{get{return Array.ConvertAll(("0 "+Console.ReadLine()+" 0").Split(),int.Parse);}}
	public int[] Ia3(string a,string b){return Array.ConvertAll((a+Console.ReadLine()+b).Split(),int.Parse);}
	public long[] La2{get{return Array.ConvertAll(("0 "+Console.ReadLine()+" 0").Split(),long.Parse);}}
	public long[] La3(string a,string b){return Array.ConvertAll((a+Console.ReadLine()+b).Split(),long.Parse);}
	public double[] Da2{get{return Array.ConvertAll(("0 "+Console.ReadLine()+" 0").Split(),double.Parse);}}
	public double[] Da3(string a,string b){return Array.ConvertAll((a+Console.ReadLine()+b).Split(),double.Parse);}
	public T[] Arr<T>(int n,Func<T> f){var a=new T[n];for(int i=0;i<n;i++){a[i]=f();}return a;}
	public T[] Arr<T>(int n,Func<int,T> f){var a=new T[n];for(int i=0;i<n;i++){a[i]=f(i);}return a;}
	public T[] Arr<T>(int n,Func<string[],T> f){var a=new T[n];for(int i=0;i<n;i++){a[i]=f(Console.ReadLine().Split());}return a;}
	public T[] Arr<T>(int n,Func<int,string[],T> f){var a=new T[n];for(int i=0;i<n;i++){a[i]=f(i,Console.ReadLine().Split());}return a;}
}
0