結果

問題 No.1051 PQ Permutation
ユーザー leaf_1415leaf_1415
提出日時 2020-05-08 22:50:20
言語 C++11
(gcc 13.3.0)
結果
AC  
実行時間 352 ms / 2,000 ms
コード長 2,480 bytes
コンパイル時間 812 ms
コンパイル使用メモリ 87,376 KB
実行使用メモリ 30,080 KB
最終ジャッジ日時 2024-07-05 19:52:28
合計ジャッジ時間 6,619 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 46
権限があれば一括ダウンロードができます
コンパイルメッセージ
main.cpp: In function ‘bool dfs(long long int)’:
main.cpp:50:61: warning: ‘pos’ may be used uninitialized in this function [-Wmaybe-uninitialized]
   50 |                         for(int j = i; j <= pos; j++) ok[j] = true;
      |                                                       ~~~~~~^~~~~~

ソースコード

diff # 

#include <iostream>
#include <cstdio>
#include <cmath>
#include <ctime>
#include <cstdlib>
#include <cassert>
#include <vector>
#include <list>
#include <stack>
#include <queue>
#include <deque>
#include <map>
#include <set>
#include <bitset>
#include <string>
#include <algorithm>
#include <utility>
#define llint long long
#define inf 1e18
#define rep(x, s, t) for(llint (x) = (s); (x) < (t); (x)++)
#define Rep(x, s, t) for(llint (x) = (s); (x) <= (t); (x)++)
#define chmin(x, y) (x) = min((x), (y))
#define chmax(x, y) (x) = max((x), (y))
#define mod 1000000007

using namespace std;
typedef pair<llint, llint> P;

llint n, p, q;
llint a[200005], b[200005];
bool ok[200005];

set<llint> S;
bool dfs(llint i)
{
	if(i == n) return false;
	
	bool ret = false;
	if(S.count(p) == 0){
		bool flag = false;
		for(int j = i; j < n; j++){
			if(a[j] < a[j+1]) flag = true;
		}
		ret |= flag;
		if(flag){
			llint pos;
			for(int j = i; j < n; j++) {
				if(a[j] < a[j+1]) pos = j;
			}
			for(int j = i; j <= pos; j++) ok[j] = true;
		}
	}
	else{
		if(a[i] != q){
			S.erase(a[i]);
			ret |= dfs(i+1);
			S.insert(a[i]);
		}
	}
	
	//cout << i << " " << ret << endl;
	
	auto it = S.upper_bound(a[i]);
	if(it == S.end()) return ok[i] = ret;
	if(!(*it == q && S.count(p))) return ok[i] = true;
	
	it++;
	if(it == S.end()) return ok[i] = ret;
	if(!(*it == q && S.count(p))) return ok[i] = true;
	
	return ok[i] = ret;
}

void make(llint l)
{
	//cout << l << endl;
	for(int i = l; i <= n; i++){
	//for(auto x:S) cout << x << " "; cout << endl;
		
		auto it = S.begin();
		if(!(*it == q && S.count(p))){
			b[i] = *it;
			S.erase(*it);
			continue;
		}
		it++;
		if(!(*it == q && S.count(p))){
			b[i] = *it;
			S.erase(*it);
			continue;
		}
		
	}
}

int main(void)
{
	ios::sync_with_stdio(0);
	cin.tie(0);
	
	cin >> n >> p >> q;
	for(int i = 1; i <= n; i++) cin >> a[i];
	
	for(int i = 1; i <= n; i++) S.insert(i);
	dfs(1);
	//for(int i = 1; i <= n; i++) cout << ok[i] << " "; cout << endl;
	
	if(!ok[1]){
		cout << -1 << endl;
		return 0;
	}
	
	for(int i = 1; i <= n; i++){
		if(ok[i+1]){
			b[i] = a[i];
			S.erase(a[i]);
			continue;
		}
		auto it = S.upper_bound(a[i]);
		if(!(it == S.end() || (*it == q && S.count(p)))){
			b[i] = *it;
			S.erase(*it);
			make(i+1);
			break;
		}
		it++;
		if(!(it == S.end() || (*it == q && S.count(p)))){
			b[i] = *it;
			S.erase(*it);
			make(i+1);
			break;
		}
	}
	
	for(int i = 1; i <= n; i++) cout << b[i] << " "; cout << endl;
	
	return 0;
}
0