結果

問題 No.470 Inverse S+T Problem
コンテスト
ユーザー fgwiebfaoish
提出日時 2020-08-26 20:41:22
言語 C#(csc)
(csc 3.9.0)
結果
AC  
実行時間 32 ms / 2,000 ms
コード長 4,508 bytes
コンパイル時間 1,089 ms
コンパイル使用メモリ 119,424 KB
実行使用メモリ 27,240 KB
最終ジャッジ日時 2024-12-22 13:59:18
合計ジャッジ時間 3,087 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 27
権限があれば一括ダウンロードができます
コンパイルメッセージ
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;
	static void Main(){
		Sc sc=new Sc();
		var s=sc.Ia;
		if(s[0]>=26<<2){
			Console.WriteLine("Impossible");
			return;
		}
		var t=new string[s[0]];
		var sat=new Tsat(s[0]);
		for(int i = 0;i<s[0];i++) {
			t[i]=sc.S;
			for(int j = i-1;j>=0;j--) {
				if(t[i][0]==t[j][0]||t[i][1]+""+t[i][2]==t[j][1]+""+t[j][2]){
					sat.Edge(i<<1,(j<<1)+1);
					sat.Edge(j<<1,(i<<1)+1);
				}
				if(t[i][0]+""+t[i][1]==t[j][0]+""+t[j][1]||t[i][2]==t[j][2]){
					sat.Edge((i<<1)+1,j<<1);
					sat.Edge((j<<1)+1,i<<1);
				}
				if(t[i][0]==t[j][2]||t[i][1]+""+t[i][2]==t[j][0]+""+t[j][1]){
					sat.Edge(i<<1,j<<1);
					sat.Edge((j<<1)+1,(i<<1)+1);
				}
				if(t[i][2]==t[j][0]||t[i][0]+""+t[i][1]==t[j][1]+""+t[j][2]){
					sat.Edge((i<<1)+1,(j<<1)+1);
					sat.Edge(j<<1,i<<1);
				}
			}
		}
		sat.Scc();
		StringBuilder sb=new StringBuilder();
		for(int i = 0;i<s[0];i++) {
			int p=i<<1;
			if(sat.zt[p]==sat.zt[p+1]){
				Console.WriteLine("Impossible");
				return;
			}
			sb.Append((sat.zt[p]>sat.zt[p+1]?(t[i][0]+" "+t[i][1]+""+t[i][2]):(t[i][0]+""+t[i][1]+" "+t[i][2]))+"\n");
		}
		Console.Write(sb);
	}
}
public class Tsat{
	public List<int>[] li,lir,lid;
	public int[] zt;
	private int n;
	public Tsat(int n){
		this.n=n<<1;
		li=new List<int>[this.n];
		lir=new List<int>[this.n];
		for(int i=0;i<this.n;i++){
			li[i]=new List<int>();
			lir[i]=new List<int>();
		}
	}
	public void Edge(int a,int b){
		li[a].Add(b);
		lir[b].Add(a);
	}
	public void Edge(int a,int c,int b,int d){
		a=(a<<1)+c;b=(b<<1)+d;
		li[a].Add(b);
		lir[b].Add(a);
	}
	public void Scc(){
		var h=new int[n];
		var b=new bool[n];
		zt=new int[n];
		int kk=n-1,km=0;
		for(int i=0;i<n;i++){if(!b[i]){Fud1(i);}}
		for(int i=0;i<n;i++){
			if(b[h[i]]){
				Fud2(h[i]);
				km++;
			}
		}
		lid=new List<int>[km];
		for(int i=0;i<km;i++){lid[i]=new List<int>();}
		for(int i=0;i<n;i++){
			for(int j=0;j<li[i].Count;j++){if(zt[i]!=zt[li[i][j]]){lid[zt[i]].Add(zt[li[i][j]]);}}
		}
		for(int i=0;i<km;i++){
			lid[i]=lid[i].Distinct().ToList();
		}
		void Fud1(int a){
			b[a]=true;
			for(int i=0;i<li[a].Count;i++){if(!b[li[a][i]]){Fud1(li[a][i]);}}
			h[kk--]=a;
		}
		void Fud2(int a){
			zt[a]=km;
			b[a]=false;
			for(int i=0;i<lir[a].Count;i++){if(b[lir[a][i]]){Fud2(lir[a][i]);}}
		}
	}
}
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 int[] Ia3(int a){return Array.ConvertAll((Console.ReadLine()+" "+a.ToString()).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 long[] La3(int a){return Array.ConvertAll((Console.ReadLine()+" "+a.ToString()).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