結果

問題 No.470 Inverse S+T Problem
ユーザー cielciel
提出日時 2016-12-20 03:29:55
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 195 ms / 2,000 ms
コード長 2,130 bytes
コンパイル時間 1,037 ms
コンパイル使用メモリ 88,224 KB
実行使用メモリ 7,444 KB
最終ジャッジ日時 2024-06-01 22:35:38
合計ジャッジ時間 2,360 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
6,816 KB
testcase_01 AC 2 ms
6,940 KB
testcase_02 AC 1 ms
6,940 KB
testcase_03 AC 2 ms
6,948 KB
testcase_04 AC 2 ms
6,940 KB
testcase_05 AC 2 ms
6,940 KB
testcase_06 AC 2 ms
6,944 KB
testcase_07 AC 1 ms
6,944 KB
testcase_08 AC 2 ms
6,940 KB
testcase_09 AC 2 ms
6,944 KB
testcase_10 AC 1 ms
6,944 KB
testcase_11 AC 2 ms
6,940 KB
testcase_12 AC 1 ms
6,944 KB
testcase_13 AC 2 ms
6,940 KB
testcase_14 AC 1 ms
6,940 KB
testcase_15 AC 2 ms
6,940 KB
testcase_16 AC 1 ms
6,940 KB
testcase_17 AC 1 ms
6,944 KB
testcase_18 AC 1 ms
6,940 KB
testcase_19 AC 2 ms
6,944 KB
testcase_20 AC 1 ms
6,944 KB
testcase_21 AC 2 ms
6,940 KB
testcase_22 AC 2 ms
6,940 KB
testcase_23 AC 1 ms
6,940 KB
testcase_24 AC 1 ms
6,944 KB
testcase_25 AC 1 ms
6,944 KB
testcase_26 AC 1 ms
6,940 KB
testcase_27 AC 2 ms
6,944 KB
testcase_28 AC 1 ms
6,940 KB
testcase_29 AC 195 ms
7,444 KB
testcase_30 AC 2 ms
6,944 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <iostream>
#include <string>
#include <vector>
#include <stack>
#include <algorithm>
using namespace std;

typedef vector<vector<int> > Graph;

#define VAR(x) ((x) << 1)
#define NOT(x) ((x) ^ 1)
void visit(int v, const Graph &g,
    vector<int> &ord, vector<int> &num, int k) {
  if (num[v] >= 0) return;
  num[v] = k;
  for (int i = 0; i < g[v].size(); ++i)
    visit(g[v][i], g, ord, num, k);
  ord.push_back(v);
}
typedef pair<int,int> clause;
void two_satisfiability(int m, const vector<clause> &cs, vector<int> &num) {
  int n = m * 2; // m positive vars and m negative vars
  Graph g(n), h(n);
  for (int i = 0; i < cs.size(); ++i) {
    int u = cs[i].first, v = cs[i].second;
    g[NOT(u)].push_back( v );
    g[NOT(v)].push_back( u );
    h[v].push_back( NOT(u) );
    h[u].push_back( NOT(v) );
  }
  vector<int> ord, dro;
  num.resize(n);
  fill(num.begin(),num.end(),-1);
  for (int i = 0; i < n; ++i)
    visit(i, g, ord, num, i);
  reverse(ord.begin(), ord.end());
  fill(num.begin(), num.end(), -1);
  for (int i = 0; i < n; ++i)
    visit(ord[i], h, dro, num, i);
}

int main(){
	cin.tie(0);
	ios::sync_with_stdio(false);
	int N,i;
	cin>>N;
	if(N>52*52){
		cout<<"Impossible"<<'\n';
		return 0;
	}
	vector<string>v(N);
	for(int i=0;i<N;i++)cin>>v[i];
	vector<clause>cs;
	for(int i=0;i<N;i++)for(int j=i+1;j<N;j++){
		if(v[i].substr(0,1)==v[j].substr(0,1) || v[i].substr(1,2)==v[j].substr(1,2))cs.emplace_back(NOT(VAR(i)),NOT(VAR(j)));
		if(v[i].substr(0,1)==v[j].substr(2,1) || v[i].substr(1,2)==v[j].substr(0,2))cs.emplace_back(NOT(VAR(i)),VAR(j));
		if(v[i].substr(0,2)==v[j].substr(1,2) || v[i].substr(2,1)==v[j].substr(0,1))cs.emplace_back(VAR(i),NOT(VAR(j)));

		if(v[i].substr(0,2)==v[j].substr(0,2) || v[i].substr(2,1)==v[j].substr(2,1))cs.emplace_back(VAR(i),VAR(j));
	}
	vector<int>num;
	two_satisfiability(N,cs,num);
	for(i=0;i<N;i++)if(num[VAR(i)]==num[NOT(VAR(i))])break;
	if(i<N)cout<<"Impossible"<<'\n';
	else for(i=0;i<N;i++){
		if(num[VAR(i)]>num[NOT(VAR(i))]){
			cout<<v[i].substr(0,1)<<' '<<v[i].substr(1,2)<<'\n';
		}else{
			cout<<v[i].substr(0,2)<<' '<<v[i].substr(2,1)<<'\n';
		}
	}
}
0