Submission #734039

# Submission time Handle Problem Language Result Execution time Memory
734039 2023-05-01T14:18:11 Z minhcool Swap (BOI16_swap) C++17
48 / 100
413 ms 262144 KB
#include<bits/stdc++.h>
#include <ext/pb_ds/assoc_container.hpp>
using namespace __gnu_pbds;
using namespace std;
 
//#define int long long
#define fi first
#define se second
#define pb push_back
 
typedef pair<int, int> ii;
typedef pair<ii, int> iii;
typedef pair<ii, ii> iiii;
 
const int N = 2e5 + 5;
const int oo = 1e18 + 7, mod = 1e9 + 7;
 
int n;
int arr[N];
 
// if initially arr[i] = j, what is the minimum array?
vector<ii> dp[N][19];
gp_hash_table<int, int> mp[N];
 
vector<ii> merge(vector<ii> a, vector<ii> b){
	vector<ii> c;
	int itr1 = 0, itr2 = 0;
	while(itr1 < a.size() || itr2 < b.size()){
		if(itr1 == a.size()){
			c.pb(b[itr2]);
			itr2++;
		}
		else if(itr2 == b.size()){
			c.pb(a[itr1]);
			itr1++;
		}
		else if(a[itr1].fi < b[itr2].fi){
			c.pb(a[itr1]);
			itr1++;
		}
		else{
			c.pb(b[itr2]);
			itr2++;
		}
	}
	return c;
}
 
void ins(int i, int j){
    if(mp[i].find(j) != mp[i].end()) return;
    mp[i][j] = 0;
    mp[i][j] = mp[i].size();
}
 
void process(){
	cin >> n;
	for(int i = 1; i <= n; i++) cin >> arr[i];
	//cout << "OK\n";
	//return;
	for(int i = 1; i <= n; i++){
        int itr = i;
        mp[i][arr[i]] = 1;
        while(itr != 1){
            itr /= 2;
            ins(i, arr[itr]);
            ins(i, arr[itr << 1]);
            ins(i, arr[itr << 1 | 1]);
            //if(itr == 1) break;
        }
	}
	//return;
	for(int i = n; i >= 1; i--){
		if(i * 2 > n){
			//for(int j = 1; j <= n; j++) dp[i][j].pb({i, j});
			for(auto it : mp[i]) dp[i][it.se].pb({i, it.fi});
		}
		else if(i * 2 + 1 > n){
			for(auto it : mp[i]){
                int j = it.fi;
				//if(j == arr[i * 2]) continue;
				dp[i][it.se].pb({i, min(j, arr[i * 2])});
				dp[i][it.se].pb({i * 2, max(j, arr[i * 2])});
			}
		}
		else{//continue;
			for(auto it1 : mp[i]){
                int ind = it1.se, j = it1.fi;
				int temp = min(j, min(arr[i * 2], arr[i * 2 + 1]));
				//cout << i << " " << j << " " << temp << "\n";
				if(temp == j){// no swapping
                    int temp1 = mp[i * 2][arr[i * 2]], temp2 = mp[i * 2 + 1][arr[i * 2 + 1]];
					vector<ii> temp = merge(dp[i * 2][temp1], dp[i * 2 + 1][temp2]);
					dp[i][ind].pb({i, j});
					for(auto it : temp) dp[i][ind].pb(it);
				}
				else if(temp == arr[i * 2]){
                    //cout << "OK\n";
                    int temp1 = mp[i * 2 + 1][arr[i * 2 + 1]], temp2 = mp[i * 2][j];
					vector<ii> temp = merge(dp[i * 2][temp2], dp[i * 2 + 1][temp1]);
					dp[i][ind].pb({i, arr[i * 2]});
					for(auto it : temp) dp[i][ind].pb(it);
				}
				else{
                        //continue;
                    int tempo1 = mp[i * 2 + 1][arr[i * 2]], tempo2 = mp[i * 2][arr[i * 2]];
					vector<ii> temp1 = merge(dp[i * 2][mp[i * 2][j]], dp[i * 2 + 1][tempo1]), temp2 = merge(dp[i * 2][tempo2], dp[i * 2 + 1][mp[i * 2 + 1][j]]);
					dp[i][ind].pb({i, arr[i * 2 + 1]});
					bool ck = 0;
					assert(temp1.size() == temp2.size());
					for(int i = 0; i < temp1.size(); i++){
						assert(temp1[i].fi == temp2[i].fi);
						if(temp1[i].se != temp2[i].se){
							ck = (temp1[i].se < temp2[i].se);
							break;
						}
					}
					if(!ck) for(auto it : temp2) dp[i][ind].pb(it);
					else for(auto it : temp1) dp[i][ind].pb(it);
                }
            }
            for(int j = 1; j <= mp[i * 2].size(); j++) dp[i * 2][j].clear();
            for(int j = 1; j <= mp[i * 2 + 1].size(); j++) dp[i * 2 + 1][j].clear();
        }
	}
	for(auto it : dp[1][mp[1][arr[1]]]) cout << it.se << " ";
}
 
signed main(){
	ios_base::sync_with_stdio(0);
	process();
}

Compilation message

swap.cpp:16:21: warning: overflow in conversion from 'double' to 'int' changes value from '1.0e+18' to '2147483647' [-Woverflow]
   16 | const int oo = 1e18 + 7, mod = 1e9 + 7;
      |                ~~~~~^~~
swap.cpp: In function 'std::vector<std::pair<int, int> > merge(std::vector<std::pair<int, int> >, std::vector<std::pair<int, int> >)':
swap.cpp:28:13: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<std::pair<int, int> >::size_type' {aka 'long unsigned int'} [-Wsign-compare]
   28 |  while(itr1 < a.size() || itr2 < b.size()){
      |        ~~~~~^~~~~~~~~~
swap.cpp:28:32: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<std::pair<int, int> >::size_type' {aka 'long unsigned int'} [-Wsign-compare]
   28 |  while(itr1 < a.size() || itr2 < b.size()){
      |                           ~~~~~^~~~~~~~~~
swap.cpp:29:11: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<std::pair<int, int> >::size_type' {aka 'long unsigned int'} [-Wsign-compare]
   29 |   if(itr1 == a.size()){
      |      ~~~~~^~~~~~~~~~~
swap.cpp:33:16: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<std::pair<int, int> >::size_type' {aka 'long unsigned int'} [-Wsign-compare]
   33 |   else if(itr2 == b.size()){
      |           ~~~~~^~~~~~~~~~~
swap.cpp: In function 'void process()':
swap.cpp:110:23: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<std::pair<int, int> >::size_type' {aka 'long unsigned int'} [-Wsign-compare]
  110 |      for(int i = 0; i < temp1.size(); i++){
      |                     ~~^~~~~~~~~~~~~~
swap.cpp:121:30: warning: comparison of integer expressions of different signedness: 'int' and '__gnu_pbds::detail::gp_ht_map<int, int, std::tr1::hash<int>, std::equal_to<int>, std::allocator<char>, false, __gnu_pbds::direct_mask_range_hashing<>, __gnu_pbds::linear_probe_fn<long unsigned int>, __gnu_pbds::hash_standard_resize_policy<__gnu_pbds::hash_exponential_size_policy<>, __gnu_pbds::hash_load_check_resize_trigger<>, false, long unsigned int> >::size_type' {aka 'long unsigned int'} [-Wsign-compare]
  121 |             for(int j = 1; j <= mp[i * 2].size(); j++) dp[i * 2][j].clear();
      |                            ~~^~~~~~~~~~~~~~~~~~~
swap.cpp:122:30: warning: comparison of integer expressions of different signedness: 'int' and '__gnu_pbds::detail::gp_ht_map<int, int, std::tr1::hash<int>, std::equal_to<int>, std::allocator<char>, false, __gnu_pbds::direct_mask_range_hashing<>, __gnu_pbds::linear_probe_fn<long unsigned int>, __gnu_pbds::hash_standard_resize_policy<__gnu_pbds::hash_exponential_size_policy<>, __gnu_pbds::hash_load_check_resize_trigger<>, false, long unsigned int> >::size_type' {aka 'long unsigned int'} [-Wsign-compare]
  122 |             for(int j = 1; j <= mp[i * 2 + 1].size(); j++) dp[i * 2 + 1][j].clear();
      |                            ~~^~~~~~~~~~~~~~~~~~~~~~~
# Verdict Execution time Memory Grader output
1 Correct 81 ms 131788 KB Output is correct
2 Correct 86 ms 131704 KB Output is correct
3 Correct 93 ms 131824 KB Output is correct
4 Correct 95 ms 131820 KB Output is correct
5 Correct 87 ms 131816 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 81 ms 131788 KB Output is correct
2 Correct 86 ms 131704 KB Output is correct
3 Correct 93 ms 131824 KB Output is correct
4 Correct 95 ms 131820 KB Output is correct
5 Correct 87 ms 131816 KB Output is correct
6 Correct 101 ms 131764 KB Output is correct
7 Correct 131 ms 131836 KB Output is correct
8 Correct 107 ms 131840 KB Output is correct
9 Correct 89 ms 131784 KB Output is correct
10 Correct 96 ms 131836 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 81 ms 131788 KB Output is correct
2 Correct 86 ms 131704 KB Output is correct
3 Correct 93 ms 131824 KB Output is correct
4 Correct 95 ms 131820 KB Output is correct
5 Correct 87 ms 131816 KB Output is correct
6 Correct 101 ms 131764 KB Output is correct
7 Correct 131 ms 131836 KB Output is correct
8 Correct 107 ms 131840 KB Output is correct
9 Correct 89 ms 131784 KB Output is correct
10 Correct 96 ms 131836 KB Output is correct
11 Correct 104 ms 133468 KB Output is correct
12 Correct 115 ms 133432 KB Output is correct
13 Correct 96 ms 133376 KB Output is correct
14 Correct 98 ms 133448 KB Output is correct
15 Correct 99 ms 133408 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 81 ms 131788 KB Output is correct
2 Correct 86 ms 131704 KB Output is correct
3 Correct 93 ms 131824 KB Output is correct
4 Correct 95 ms 131820 KB Output is correct
5 Correct 87 ms 131816 KB Output is correct
6 Correct 101 ms 131764 KB Output is correct
7 Correct 131 ms 131836 KB Output is correct
8 Correct 107 ms 131840 KB Output is correct
9 Correct 89 ms 131784 KB Output is correct
10 Correct 96 ms 131836 KB Output is correct
11 Correct 104 ms 133468 KB Output is correct
12 Correct 115 ms 133432 KB Output is correct
13 Correct 96 ms 133376 KB Output is correct
14 Correct 98 ms 133448 KB Output is correct
15 Correct 99 ms 133408 KB Output is correct
16 Runtime error 413 ms 262144 KB Execution killed with signal 6
17 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 81 ms 131788 KB Output is correct
2 Correct 86 ms 131704 KB Output is correct
3 Correct 93 ms 131824 KB Output is correct
4 Correct 95 ms 131820 KB Output is correct
5 Correct 87 ms 131816 KB Output is correct
6 Correct 101 ms 131764 KB Output is correct
7 Correct 131 ms 131836 KB Output is correct
8 Correct 107 ms 131840 KB Output is correct
9 Correct 89 ms 131784 KB Output is correct
10 Correct 96 ms 131836 KB Output is correct
11 Correct 104 ms 133468 KB Output is correct
12 Correct 115 ms 133432 KB Output is correct
13 Correct 96 ms 133376 KB Output is correct
14 Correct 98 ms 133448 KB Output is correct
15 Correct 99 ms 133408 KB Output is correct
16 Runtime error 413 ms 262144 KB Execution killed with signal 6
17 Halted 0 ms 0 KB -