| # | Time | Username | Problem | Language | Result | Execution time | Memory |
|---|---|---|---|---|---|---|---|
| 831292 | definitelynotmee | Rarest Insects (IOI22_insects) | C++17 | Compilation error | 0 ms | 0 KiB |
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 "insects.h"
#include<bits/stdc++.h>
#define all(x) x.begin(), x.end()
using ll = long long;
using namespace std;
template<typename T>
using matrix = vector<vector<T>>;
struct Machine {
set<int> s;
void insert(int id){
s.insert(id);
move_inside(id);
}
void erase(int id){
s.erase(id);
move_outside(id);
}
int resp(){
return press_button();
}
void clear(){
auto it = s.begin();
while(it!=s.end()){
move_outside(*it);
it = s.erase(it);
}
}
};
int min_cardinality(int N) {
mt19937 rng(time(nullptr));
vector<int> dif;
vector<int> resto;
Machine m;
for(int i = 0; i < N; i++){
m.insert(i);
if(m.resp() == 1){
dif.push_back(i);
} else m.erase(i), resto.push_back(i);
}
shuffle(all(dif),rng);
shuffle(all(resto),rng);
m.clear();
if(dif > sqrt(N)){
int ini = 1, fim = N/dif.size();
auto putless =[&](int mx){
for(int i : resto){
if(m.s.count(i))
continue;
m.insert(i);
if(m.resp() > mx)
m.erase(i);
}
};
int last = -1;
while(ini!=fim){
int mid = (fim-ini)*0.3+ini;
while(mid <= ini)
mid++;
// cerr << "mid = " << mid << '\n';
if(mid < last)
m.clear();
putless(mid-1);
bool ok = 1;
for(int i : dif){
m.insert(i);
ok&= m.resp() == mid;
m.erase(i);
}
if(ok)
ini = mid;
else fim = mid-1;
last = mid;
}
return ini;
} else {
vector<int> resp(resto.size());
int logg = log2(dif.size());
for(int k = 0; k <= logg; k++){
for(int i = 0; i < dif.size(); i++){
if((1<<k)&i){
if(!m.s.count(dif[i]))
m.insert(dif[i]);
} else {
if(m.s.count(dif[i]))
m.erase(dif[i]);
}
}
for(int i = 0; i < resto.size(); i++){
m.insert(resto[i]);
if(m.resp() == 2)
resp[i] |= 1<<k;
m.erase(resto[i]);
}
}
vector<int> ct(dif.size(), 1);
for(int i : resp)
ct[i]++;
return *min_element(all(ct));
}
}
Compilation message (stderr)
insects.cpp: In function 'int min_cardinality(int)':
insects.cpp:53:12: error: no match for 'operator>' (operand types are 'std::vector<int>' and '__gnu_cxx::__enable_if<true, double>::__type' {aka 'double'})
53 | if(dif > sqrt(N)){
| ~~~ ^ ~~~~~~~
| | |
| | __gnu_cxx::__enable_if<true, double>::__type {aka double}
| std::vector<int>
In file included from /usr/include/c++/10/regex:62,
from /usr/include/x86_64-linux-gnu/c++/10/bits/stdc++.h:110,
from insects.cpp:2:
/usr/include/c++/10/bits/regex.h:1108:5: note: candidate: 'template<class _BiIter> bool std::__cxx11::operator>(const std::__cxx11::sub_match<_BiIter>&, const std::__cxx11::sub_match<_BiIter>&)'
1108 | operator>(const sub_match<_BiIter>& __lhs, const sub_match<_BiIter>& __rhs)
| ^~~~~~~~
/usr/include/c++/10/bits/regex.h:1108:5: note: template argument deduction/substitution failed:
insects.cpp:53:20: note: 'std::vector<int>' is not derived from 'const std::__cxx11::sub_match<_BiIter>'
53 | if(dif > sqrt(N)){
| ^
In file included from /usr/include/c++/10/regex:62,
from /usr/include/x86_64-linux-gnu/c++/10/bits/stdc++.h:110,
from insects.cpp:2:
/usr/include/c++/10/bits/regex.h:1168:5: note: candidate: 'template<class _Bi_iter, class _Ch_traits, class _Ch_alloc> bool std::__cxx11::operator>(std::__cxx11::__sub_match_string<_Bi_iter, _Ch_traits, _Ch_alloc>&, const std::__cxx11::sub_match<_BiIter>&)'
1168 | operator>(const __sub_match_string<_Bi_iter, _Ch_traits, _Ch_alloc>& __lhs,
| ^~~~~~~~
/usr/include/c++/10/bits/regex.h:1168:5: note: template argument deduction/substitution failed:
insects.cpp:53:20: note: 'std::vector<int>' is not derived from 'std::__cxx11::__sub_match_string<_Bi_iter, _Ch_traits, _Ch_alloc>'
53 | if(dif > sqrt(N)){
| ^
In file included from /usr/include/c++/10/regex:62,
from /usr/include/x86_64-linux-gnu/c++/10/bits/stdc++.h:110,
from insects.cpp:2:
/usr/include/c++/10/bits/regex.h:1261:5: note: candidate: 'template<class _Bi_iter, class _Ch_traits, class _Ch_alloc> bool std::__cxx11::operator>(const std::__cxx11::sub_match<_BiIter>&, std::__cxx11::__sub_match_string<_Bi_iter, _Ch_traits, _Ch_alloc>&)'
1261 | operator>(const sub_match<_Bi_iter>& __lhs,
| ^~~~~~~~
/usr/include/c++/10/bits/regex.h:1261:5: note: template argument deduction/substitution failed:
insects.cpp:53:20: note: 'std::vector<int>' is not derived from 'const std::__cxx11::sub_match<_BiIter>'
53 | if(dif > sqrt(N)){
| ^
In file included from /usr/include/c++/10/regex:62,
from /usr/include/x86_64-linux-gnu/c++/10/bits/stdc++.h:110,
from insects.cpp:2:
/usr/include/c++/10/bits/regex.h:1335:5: note: candidate: 'template<class _Bi_iter> bool std::__cxx11::operator>(const typename std::iterator_traits<_Iter>::value_type*, const std::__cxx11::sub_match<_BiIter>&)'
1335 | operator>(typename iterator_traits<_Bi_iter>::value_type const* __lhs,
| ^~~~~~~~
/usr/include/c++/10/bits/regex.h:1335:5: note: template argument deduction/substitution failed:
insects.cpp:53:20: note: mismatched types 'const std::__cxx11::sub_match<_BiIter>' and '__gnu_cxx::__enable_if<true, double>::__type' {aka 'double'}
53 | if(dif > sqrt(N)){
| ^
In file included from /usr/include/c++/10/regex:62,
from /usr/include/x86_64-linux-gnu/c++/10/bits/stdc++.h:110,
from insects.cpp:2:
/usr/include/c++/10/bits/regex.h:1429:5: note: candidate: 'template<class _Bi_iter> bool std::__cxx11::operator>(const std::__cxx11::sub_match<_BiIter>&, const typename std::iterator_traits<_Iter>::value_type*)'
1429 | operator>(const sub_match<_Bi_iter>& __lhs,
| ^~~~~~~~
/usr/include/c++/10/bits/regex.h:1429:5: note: template argument deduction/substitution failed:
insects.cpp:53:20: note: 'std::vector<int>' is not derived from 'const std::__cxx11::sub_match<_BiIter>'
53 | if(dif > sqrt(N)){
| ^
In file included from /usr/include/c++/10/regex:62,
from /usr/include/x86_64-linux-gnu/c++/10/bits/stdc++.h:110,
from insects.cpp:2:
/usr/include/c++/10/bits/regex.h:1505:5: note: candidate: 'template<class _Bi_iter> bool std::__cxx11::operator>(const typename std::iterator_traits<_Iter>::value_type&, const std::__cxx11::sub_match<_BiIter>&)'
1505 | operator>(typename iterator_traits<_Bi_iter>::value_type const& __lhs,
| ^~~~~~~~
/usr/include/c++/10/bits/regex.h:1505:5: note: template argument deduction/substitution failed:
insects.cpp:53:20: note: mismatched types 'const std::__cxx11::sub_match<_BiIter>' and '__gnu_cxx::__enable_if<true, double>::__type' {aka 'double'}
53 | if(dif > sqrt(N)){
| ^
In file included from /usr/include/c++/10/regex:62,
from /usr/include/x86_64-linux-gnu/c++/10/bits/stdc++.h:110,
from insects.cpp:2:
/usr/include/c++/10/bits/regex.h:1605:5: note: candidate: 'template<class _Bi_iter> bool std::__cxx11::operator>(const std::__cxx11::sub_match<_BiIter>&, const typename std::iterator_traits<_Iter>::value_type&)'
1605 | operator>(const sub_match<_Bi_iter>& __lhs,
| ^~~~~~~~
/usr/include/c++/10/bits/regex.h:1605:5: note: template argument deduction/substitution failed:
insects.cpp:53:20: note: 'std::vector<int>' is not derived from 'const std::__cxx11::sub_match<_BiIter>'
53 | if(dif > sqrt(N)){
| ^
In file included from /usr/include/c++/10/bits/stl_algobase.h:64,
from /usr/include/c++/10/bits/specfun.h:45,
from /usr/include/c++/10/cmath:1927,
from /usr/include/x86_64-linux-gnu/c++/10/bits/stdc++.h:41,
from insects.cpp:2:
/usr/include/c++/10/bits/stl_pair.h:502:5: note: candidate: 'template<class _T1, class _T2> constexpr bool std::operator>(const std::pair<_T1, _T2>&, const std::pair<_T1, _T2>&)'
502 | operator>(const pair<_T1, _T2>& __x, const pair<_T1, _T2>& __y)
| ^~~~~~~~
/usr/include/c++/10/bits/stl_pair.h:502:5: note: template argument deduction/substitution failed:
insects.cpp:53:20: note: 'std::vector<int>' is not derived from 'const std::pair<_T1, _T2>'
53 | if(dif > sqrt(N)){
| ^
In file included from /usr/include/c++/10/bits/stl_algobase.h:67,
from /usr/include/c++/10/bits/specfun.h:45,
from /usr/include/c++/10/cmath:1927,
from /usr/include/x86_64-linux-gnu/c++/10/bits/stdc++.h:41,
from insects.cpp:2:
/usr/include/c++/10/bits/stl_iterator.h:378:5: note: candidate: 'template<class _Iterator> constexpr bool std::operator>(const std::reverse_iterator<_Iterator>&, const std::reverse_iterator<_Iterator>&)'
378 | operator>(const reverse_iterator<_Iterator>& __x,
| ^~~~~~~~
/usr/include/c++/10/bits/stl_iterator.h:378:5: note: template argument deduction/substitution failed:
insects.cpp:53:20: note: 'std::vector<int>' is not derived from 'const std::reverse_iterator<_Iterator>'
53 | if(dif > sqrt(N)){
| ^
In file included from /usr/include/c++/10/bits/stl_algobase.h:67,
from /usr/include/c++/10/bits/specfun.h:45,
from /usr/include/c++/10/cmath:1927,
from /usr/include/x86_64-linux-gnu/c++/10/bits/stdc++.h:41,
from insects.cpp:2:
/usr/include/c++/10/bits/stl_iterator.h:416:5: note: candidate: 'template<class _IteratorL, class _IteratorR> constexpr bool std::operator>(const std::reverse_iterator<_Iterator>&, const std::reverse_iterator<_IteratorR>&)'
416 | operator>(const reverse_iterator<_IteratorL>& __x,
| ^~~~~~~~
/usr/include/c++/10/bits/stl_iterator.h:416:5: note: template argument deduction/substitution failed:
insects.cpp:53:20: note: 'std::vector<int>' is not derived from 'const std::reverse_iterator<_Iterator>'
53 | if(dif > sqrt(N)){
| ^
In file included from /usr/include/c++/10/bits/stl_algobase.h:67,
from /usr/include/c++/10/bits/specfun.h:45,
from /usr/include/c++/10/cmath:1927,
from /usr/include/x86_64-linux-gnu/c++/10/bits/stdc++.h:41,
from insects.cpp:2:
/usr/include/c++/10/bits/stl_iterator.h:1469:5: note: candidate: 'template<class _IteratorL, class _IteratorR> constexpr bool std::operator>(const std::move_iterator<_IteratorL>&, const std::move_iterator<_IteratorR>&)'
1469 | operator>(const move_iterator<_IteratorL>& __x,
| ^~~~~~~~
/usr/include/c++/10/bits/stl_iterator.h:1469:5: note: template argument deduction/substitution failed:
insects.cpp:53:20: note: 'std::vector<int>' is not derived from 'const std::move_iterator<_IteratorL>'
53 | if(dif > sqrt(N)){
| ^
In file included from /usr/include/c++/10/bits/stl_algobase.h:67,
from /usr/include/c++/10/bits/specfun.h:45,
from /usr/include/c++/10/cmath:1927,
from /usr/include/x86_64-linux-gnu/c++/10/bits/stdc++.h:41,
from insects.cpp:2:
/usr/include/c++/10/bits/stl_iterator.h:1519:5: note: candidate: 'template<class _Iterator> constexpr bool std::operator>(const std::move_iterator<_IteratorL>&, const std::move_iterator<_IteratorL>&)'
1519 | operator>(const move_iterator<_Iterator>& __x,
| ^~~~~~~~
/usr/include/c++/10/bits/stl_iterator.h:1519:5: note: template argument deduction/substitution failed:
insects.cpp:53:20: note: 'std::vector<int>' is not derived from 'const std::move_iterator<_IteratorL>'
53 | if(dif > sqrt(N)){
| ^
In file included from /usr/include/c++/10/bits/basic_string.h:48,
from /usr/include/c++/10/string:55,
from /usr/include/c++/10/bits/locale_classes.h:40,
from /usr/include/c++/10/bits/ios_base.h:41,
from /usr/include/c++/10/ios:42,
from /usr/include/c++/10/istream:38,
from /usr/include/c++/10/sstream:38,
from /usr/include/c++/10/complex:45,
from /usr/include/c++/10/ccomplex:39,
from /usr/include/x86_64-linux-gnu/c++/10/bits/stdc++.h:54,
from insects.cpp:2:
/usr/include/c++/10/string_view:563:5: note: candidate: 'template<class _CharT, class _Traits> constexpr bool std::operator>(std::basic_string_view<_CharT, _Traits>, std::basic_string_view<_CharT, _Traits>)'
563 | operator> (basic_string_view<_CharT, _Traits> __x,
| ^~~~~~~~
/usr/include/c++/10/string_view:563:5: note: template argument deduction/substitution failed:
insects.cpp:53:20: note: 'std::vector<int>' is not derived from 'std::basic_string_view<_CharT, _Traits>'
53 | if(dif > sqrt(N)){
| ^
In file included from /usr/include/c++/10/bits/basic_string.h:48,
from /usr/include/c++/10/string:55,
from /usr/include/c++/10/bits/locale_classes.h:40,
from /usr/include/c++/10/bits/ios_base.h:41,
from /usr/include/c++/10/ios:42,
from /usr/include/c++/10/istream:38,
from /usr/include/c++/10/sstream:38,
from /usr/include/c++/10/complex:45,
from /usr/include/c++/10/ccomplex:39,
from /usr/include/x86_64-linux-gnu/c++/10/bits/stdc++.h:54,
from insects.cpp:2:
/usr/include/c++/10/string_view:569:5: note: candidate: 'template<class _CharT, class _Traits> constexpr bool std::operator>(std::basic_string_view<_CharT, _Traits>, std::__type_identity_t<std::basic_string_view<_CharT, _Traits> >)'
569 | operator> (basic_string_view<_CharT, _Traits> __x,
| ^~~~~~~~
/usr/include/c++/10/string_view:569:5: note: template argument deduction/substitution failed:
insects.cpp:53:20: note: 'std::vector<int>' is not derived from 'std::basic_string_view<_CharT, _Traits>'
53 | if(dif > sqrt(N)){
| ^
In file included from /usr/include/c++/10/bits/basic_string.h:48,
from /usr/include/c++/10/string:55,
from /usr/include/c++/10/bits/locale_classes.h:40,
from /usr/include/c++/10/bits/ios_base.h:41,
from /usr/include/c++/10/ios:42,
from /usr/include/c++/10/istream:38,
from /usr/include/c++/10/sstream:38,
from /usr/include/c++/10/complex:45,
from /usr/include/c++/10/ccomplex:39,
from /usr/include/x86_64-linux-gnu/c++/10/bits/stdc++.h:54,
from insects.cpp:2:
/usr/include/c++/10/string_view:576:5: note: candidate: 'template<class _CharT, class _Traits> constexpr bool std::operator>(std::__type_identity_t<std::basic_string_view<_CharT, _Traits> >, std::basic_string_view<_CharT, _Traits>)'
576 | operator> (__type_identity_t<basic_string_view<_CharT, _Traits>> __x,
| ^~~~~~~~
/usr/include/c++/10/string_view:576:5: note: template argument deduction/substitution failed:
insects.cpp:53:20: note: mismatched types 'std::basic_string_view<_CharT, _Traits>' and 'double'
53 | if(dif > sqrt(N)){
| ^
In file included from /usr/include/c++/10/string:55,
from /usr/include/c++/10/bits/locale_classes.h:40,
from /usr/include/c++/10/bits/ios_base.h:41,
from /usr/include/c++/10/ios:42,
from /usr/include/c++/10/istream:38,
from /usr/include/c++/10/sstream:38,
from /usr/include/c++/10/complex:45,
from /usr/include/c++/10/ccomplex:39,
from /usr/include/x86_64-linux-gnu/c++/10/bits/stdc++.h:54,
from insects.cpp:2:
/usr/include/c++/10/bits/basic_string.h:6305:5: note: candidate: 'template<class _CharT, class _Traits, class _Alloc> bool std::operator>(const std::__cxx11::basic_string<_CharT, _Traits, _Allocator>&, const std::__cxx11::basic_string<_CharT, _Traits, _Allocator>&)'
6305 | operator>(const basic_string<_CharT, _Traits, _Alloc>& __lhs,
| ^~~~~~~~
/usr/include/c++/10/bits/basic_string.h:6305:5: note: template argument deduction/substitution failed:
insects.cpp:53:20: note: 'std::vector<int>' is not derived from 'const std::__cxx11::basic_string<_CharT, _Traits, _Allocator>'
53 | if(dif > sqrt(N)){
| ^
In file included from /usr/include/c++/10/string:55,
from /usr/include/c++/10/bits/locale_classes.h:40,
from /usr/include/c++/10/bits/ios_base.h:41,
from /usr/include/c++/10/ios:42,
from /usr/include/c++/10/istream:38,
from /usr/include/c++/10/sstream:38,
from /usr/include/c++/10/complex:45,
from /usr/include/c++/10/ccomplex:39,
from /usr/include/x86_64-linux-gnu/c++/10/bits/stdc++.h:54,
from insects.cpp:2:
/usr/include/c++/10/bits/basic_string.h:6318:5: note: candidate: 'template<class _CharT, class _Traits, class _Alloc> bool std::operator>(const std::__cxx11::basic_string<_CharT, _Traits, _Allocator>&, const _CharT*)'
6318 | operator>(const basic_string<_CharT, _Traits, _Alloc>& __lhs,
| ^~~~~~~~
/usr/include/c++/10/bits/basic_string.h:6318:5: note: template argument deduction/substitution failed:
insects.cpp:53:20: note: 'std::vector<int>' is not derived from 'const std::__cxx11::basic_string<_CharT, _Traits, _Allocator>'
53 | if(dif > sqrt(N)){
| ^
In file included from /usr/include/c++/10/string:55,
from /usr/include/c++/10/bits/locale_classes.h:40,
from /usr/include/c++/10/bits/ios_base.h:41,
from /usr/include/c++/10/ios:42,
from /usr/include/c++/10/istream:38,
from /usr/include/c++/10/sstream:38,
from /usr/include/c++/10/complex:45,
from /usr/include/c++/10/ccomplex:39,
from /usr/include/x86_64-linux-gnu/c++/10/bits/stdc++.h:54,
from insects.cpp:2:
/usr/include/c++/10/bits/basic_string.h:6330:5: note: candidate: 'template<class _CharT, class _Traits, class _Alloc> bool std::operator>(const _CharT*, const std::__cxx11::basic_string<_CharT, _Traits, _Allocator>&)'
6330 | operator>(const _CharT* __lhs,
| ^~~~~~~~
/usr/include/c++/10/bits/basic_string.h:6330:5: note: template argument deduction/substitution failed:
insects.cpp:53:20: note: mismatched types 'const _CharT*' and 'std::vector<int>'
53 | if(dif > sqrt(N)){
| ^
In file included from /usr/include/c++/10/tuple:39,
from /usr/include/c++/10/functional:54,
from /usr/include/c++/10/pstl/glue_algorithm_defs.h:13,
from /usr/include/c++/10/algorithm:74,
from /usr/include/x86_64-linux-gnu/c++/10/bits/stdc++.h:65,
from insects.cpp:2:
/usr/include/c++/10/array:293:5: note: candidate: 'template<class _Tp, long unsigned int _Nm> bool std::operator>(const std::array<_Tp, _Nm>&, const std::array<_Tp, _Nm>&)'
293 | operator>(const array<_Tp, _Nm>& __one, const array<_Tp, _Nm>& __two)
| ^~~~~~~~
/usr/include/c++/10/array:293:5: note: template argument deduction/substitution failed:
insects.cpp:53:20: note: 'std::vector<int>' is not derived from 'const std::array<_Tp, _Nm>'
53 | if(dif > sqrt(N)){
| ^
In file included from /usr/include/c++/10/functional:54,
from /usr/include/c++/10/pstl/glue_algorithm_defs.h:13,
from /usr/include/c++/10/algorithm:74,
from /usr/include/x86_64-linux-gnu/c++/10/bits/stdc++.h:65,
from insects.cpp:2:
/usr/include/c++/10/tuple:1454:5: note: candidate: 'template<class ... _TElements, class ... _UElements> constexpr bool std::operator>(const std::tuple<_Tps ...>&, const std::tuple<_UTypes ...>&)'
1454 | operator>(const tuple<_TElements...>& __t,
| ^~~~~~~~
/usr/include/c++/10/tuple:1454:5: note: template argument deduction/substitution failed:
insects.cpp:53:20: note: 'std::vector<int>' is not derived from 'const std::tuple<_Tps ...>'
53 | if(