This submission is migrated from previous version of oj.uz, which used different machine for grading. This submission may have different result if resubmitted.
#include<bits/stdc++.h>
#include "insects.h"
using namespace std;
int groups, lft;
vector<bool> done;
int get_groups(int N){
	int groups = 0;
	for(int i = 0; i < N; i++){
		move_inside(i);
		int rep = press_button();
		if(rep > 1) { move_outside(i); }
		else { groups++; done[i] = 1; }
	}
	return groups;
}
int choose_best(int lo, int hi){
	//If I choose mid. Then in the case that all the groups are of size at least mid,
	//I discard (mid - lo + 1) * groups.
	//In the other case, I discard left - chosen (and chosen can be at most (mid - lo + 1) * groups).
	//So I want min((mid - lo + 1) * groups, left - (mid - lo + 1) * groups) to be the maximum.
	int x = lft / 2;
	int bst = x / groups;
	int mn1 = min(bst * groups, lft - bst * groups);
	bst++;
	int mn2 = min(bst * groups, lft - bst * groups);
	if(mn1 < mn2) bst--;
	return max(lo, min(hi, lo + bst - 1));
}
int min_cardinality(int N) {
	done.assign(N, 0);
	int ans = 1;
	groups = get_groups(N);
	lft = N - groups;
	int cnt = groups;
	int lo = 2;
	int hi = N / groups;
	while(lo <= hi && lft > 0) {
		int mid = choose_best(lo, hi);
		vector<int> good, bad;
		for(int i = 0; i < N; i++) {
			if(done[i]) { continue; }
			move_inside(i);
			int rep = press_button();
			if(rep > mid) {
				bad.push_back(i);
				move_outside(i);
			} else { good.push_back(i); }
		}
		// cout << "lo " << lo << " hi " << hi << " mid " << mid << " ans " << ans << " groups "<<groups << " lft " << lft << endl;
		if((int)good.size() + cnt == mid * groups) {
			ans = mid;
			lo = mid + 1;
			for(int x : good) done[x] = 1;
			cnt += (int)good.size();
			lft -= (int)good.size();
		} else {
			hi = mid - 1;
			for(int x : good) move_outside(x);
			for(int x : bad) done[x] = 1;
			lft -= (int)bad.size();
		}
	}
	return ans;
}
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... |