提出 #7405488

---

ソースコード 拡げる

#include <bits/stdc++.h>
#ifdef DEBUG
  #include "debug.hpp"
#else
  #define DUMP(var)
#endif

using namespace std;
template< class T1, class T2 > inline istream &
operator>>( istream & fin, pair< T1, T2 > & pr )
{ fin >> pr.first >> pr.second; return fin; }
template< class T0, class T1, class T2 > inline istream &
operator>>( istream & fin, tuple< T0, T1, T2 > & t )
{ fin >> get<0>(t) >> get<1>(t) >> get<2>(t); return fin; }
template< class T > inline istream &
operator>>( istream & fin, vector< T > & a ) {
for(auto & u: a) fin >> u; return fin; }
template<class T, size_t n> inline istream &
operator>>( istream & fin, array<T, n> & a ) {
for(auto & u: a) fin >> u; return fin; }
template<class FwdIter> inline auto
dump(FwdIter first, FwdIter last, const char * dlm = " ") -> void {
using value_type = typename iterator_traits<FwdIter>::value_type;
copy(first, last, ostream_iterator<value_type>(cout, dlm)); }
template<typename T> vector<T> & operator--(vector<T> & a)
{ for(auto & i: a) --i; return a; }
/* @@@ ----------------------------------- */


int main(const int /*argc*/, char ** /*argv*/) {
  ios_base::sync_with_stdio(false); cin.tie(nullptr); cout.tie(nullptr);

  size_t n;
  cin >> n;
  vector<size_t> a(1ULL << n);
  cin >> a;
  map<size_t, size_t, greater<size_t>> cnt;
  for (const auto i: a) {
    ++cnt[i];
  }
  map<size_t, size_t> xs;
  {
    auto i = cnt.begin(); // std::prev(cnt.end());
    xs.emplace(i->first, 1);
    if (--(i->second) == 0) {
      cnt.erase(i);
    }
  }

  for (size_t k = 0; k < n; ++k) {
    vector<size_t> buf;
    for (auto iter = xs.crbegin(); iter != xs.crend(); ++iter) {
      const auto pr = *iter;
      auto i = cnt.upper_bound(pr.first);
      for (size_t j = 0; j < pr.second; ++j) {
        if (i == cnt.end()) {
          cout << "No";
          return 0;
        }
        buf.push_back(i->first);
        if (--(i->second) == 0) {
          i = cnt.erase(i);
        }
      }
    }
    for (const auto i: buf) {
      ++xs[i];
    }
  }
  cout << "Yes";

  return EXIT_SUCCESS;
}

提出情報

ジャッジ結果