結果
| 問題 | No.1051 PQ Permutation | 
| コンテスト | |
| ユーザー |  leaf_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;
      |                                                       ~~~~~~^~~~~~
            
            ソースコード
#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;
}
            
            
            
        