結果

問題 No.468 役に立つ競技プログラミング実践編
ユーザー kuuso1kuuso1
提出日時 2016-12-10 04:58:50
言語 C#(csc)
(csc 3.9.0)
結果
AC  
実行時間 737 ms / 2,000 ms
コード長 2,446 bytes
コンパイル時間 1,153 ms
コンパイル使用メモリ 109,312 KB
実行使用メモリ 81,792 KB
最終ジャッジ日時 2024-05-07 09:55:35
合計ジャッジ時間 10,690 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 26 ms
18,816 KB
testcase_01 AC 25 ms
18,944 KB
testcase_02 AC 25 ms
19,072 KB
testcase_03 AC 26 ms
18,944 KB
testcase_04 AC 25 ms
18,816 KB
testcase_05 AC 25 ms
18,944 KB
testcase_06 AC 25 ms
18,816 KB
testcase_07 AC 25 ms
19,072 KB
testcase_08 AC 25 ms
18,944 KB
testcase_09 AC 26 ms
18,944 KB
testcase_10 AC 26 ms
18,944 KB
testcase_11 AC 25 ms
18,944 KB
testcase_12 AC 25 ms
18,944 KB
testcase_13 AC 27 ms
19,072 KB
testcase_14 AC 31 ms
20,608 KB
testcase_15 AC 30 ms
20,480 KB
testcase_16 AC 31 ms
20,480 KB
testcase_17 AC 30 ms
20,608 KB
testcase_18 AC 31 ms
20,608 KB
testcase_19 AC 31 ms
20,480 KB
testcase_20 AC 29 ms
20,608 KB
testcase_21 AC 29 ms
20,608 KB
testcase_22 AC 30 ms
20,608 KB
testcase_23 AC 30 ms
20,608 KB
testcase_24 AC 704 ms
81,652 KB
testcase_25 AC 713 ms
81,784 KB
testcase_26 AC 705 ms
81,784 KB
testcase_27 AC 702 ms
81,784 KB
testcase_28 AC 708 ms
81,648 KB
testcase_29 AC 697 ms
81,644 KB
testcase_30 AC 712 ms
81,664 KB
testcase_31 AC 737 ms
81,524 KB
testcase_32 AC 710 ms
81,780 KB
testcase_33 AC 737 ms
81,792 KB
testcase_34 AC 268 ms
72,056 KB
testcase_35 AC 30 ms
19,712 KB
testcase_36 AC 27 ms
18,816 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;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Diagnostics;

class TEST{
	static void Main(){
		Sol mySol =new Sol();
		mySol.Solve();
	}
}

class Sol{
	public void Solve(){
		
		int[] InDeg = new int[N];
		for(int i=0;i<N;i++){
			foreach(var nxt in E[i]) InDeg[nxt.Pos]++;
		}
		
		Debug.Assert( InDeg[0] == 0 );
		Debug.Assert( InDeg.Skip(1).Select(x => x !=0).Aggregate(true, (b,y) => b&y ) );
		
		int[] ENT = new int[N];	// Earliest Node Time
		for(int i=0;i<N;i++) ENT[i] = -1;
		ENT[0] = 0;
		
		Queue<int> Q = new Queue<int>(N);
		Q.Enqueue(0);
		while(Q.Count>0){
			var now = Q.Dequeue();
			foreach(var nxt in E[now]){
				InDeg[nxt.Pos]--;
				if(InDeg[nxt.Pos] == 0){
					Q.Enqueue(nxt.Pos);
				}
				ENT[nxt.Pos] = Math.Max(ENT[nxt.Pos], ENT[now] + nxt.Cost);
			}
		}
		
		Debug.Assert( InDeg.Select(x => x == 0).Aggregate(true, (b,y) => b&y ) );
		
		
		
		int[] OutDeg = new int[N];
		
		int[] LNT = new int[N]; // Latest Node Time
		for(int i=0;i<N;i++) LNT[i] = int.MaxValue;
		LNT[N-1] = ENT[N-1];
		
		Q = new Queue<int>(N);
		Q.Enqueue(N-1);
		while(Q.Count>0){
			var now = Q.Dequeue();
			foreach(var rev in XE[now]){
				OutDeg[rev.Pos]++;
				if(OutDeg[rev.Pos] == E[rev.Pos].Count){
					Q.Enqueue(rev.Pos);
				}
				LNT[rev.Pos] = Math.Min(LNT[rev.Pos], LNT[now] - rev.Cost);
			}
		}
		
		Debug.Assert( OutDeg[N-1] == 0 );
		Debug.Assert( OutDeg.Zip(E,(n,p) => n == p.Count).Aggregate(true, (b,y) => b&y ) );
		Debug.Assert( ENT.Zip(LNT,(e,l) => e > l).Count( b => b ) == 0);
		
		//Console.WriteLine(String.Join(" ",ENT));
		//Console.WriteLine(String.Join(" ",LNT));
		
		int marginPersonCount = ENT.Zip(LNT,(e,l) => l > e).Count( b => b );
		Console.WriteLine("{0} {1}/{2}",ENT[N-1],marginPersonCount,N);
		
	}
	
	int N,M;
	List<Pair>[] E;
	List<Pair>[] XE;
	
	public Sol(){
		// read input
		int[] d;
		d = Array.ConvertAll(Console.ReadLine().Split(' '), int.Parse);
		N = d[0]; M = d[1];
		
		E = new List<Pair>[N];
		for(int i=0;i<N;i++) E[i] = new List<Pair>(16);
		XE = new List<Pair>[N];
		for(int i=0;i<N;i++) XE[i] = new List<Pair>(16);
		
		for(int i=0;i<M;i++){
			d = Array.ConvertAll(Console.ReadLine().Split(' '), int.Parse);
			E[d[0]].Add(new Pair(d[1],d[2]));
			XE[d[1]].Add(new Pair(d[0],d[2]));
		}
	}
	
	class  Pair{
		public int Pos,Cost;
		public Pair(int pos, int cost){
			Pos = pos; Cost = cost;
		}
	}
	
}
0