結果

問題 No.2893 Minahoshi (Hard)
ユーザー 👑 amentorimaruamentorimaru
提出日時 2024-08-13 22:50:36
言語 C++23
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 65 ms / 2,000 ms
コード長 5,303 bytes
コンパイル時間 4,529 ms
コンパイル使用メモリ 245,968 KB
実行使用メモリ 11,992 KB
最終ジャッジ日時 2024-09-13 20:52:24
合計ジャッジ時間 8,542 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 26 ms
5,712 KB
testcase_02 AC 33 ms
7,344 KB
testcase_03 AC 22 ms
10,880 KB
testcase_04 AC 34 ms
9,376 KB
testcase_05 AC 27 ms
10,752 KB
testcase_06 AC 24 ms
5,376 KB
testcase_07 AC 16 ms
5,376 KB
testcase_08 AC 17 ms
5,376 KB
testcase_09 AC 46 ms
11,992 KB
testcase_10 AC 26 ms
7,888 KB
testcase_11 AC 30 ms
7,508 KB
testcase_12 AC 38 ms
8,236 KB
testcase_13 AC 22 ms
7,640 KB
testcase_14 AC 19 ms
5,968 KB
testcase_15 AC 7 ms
5,376 KB
testcase_16 AC 26 ms
7,888 KB
testcase_17 AC 25 ms
7,892 KB
testcase_18 AC 20 ms
7,636 KB
testcase_19 AC 29 ms
7,764 KB
testcase_20 AC 12 ms
5,716 KB
testcase_21 AC 20 ms
7,640 KB
testcase_22 AC 11 ms
5,504 KB
testcase_23 AC 24 ms
7,512 KB
testcase_24 AC 11 ms
5,716 KB
testcase_25 AC 7 ms
5,376 KB
testcase_26 AC 3 ms
5,376 KB
testcase_27 AC 17 ms
5,840 KB
testcase_28 AC 27 ms
8,024 KB
testcase_29 AC 40 ms
8,108 KB
testcase_30 AC 65 ms
11,860 KB
testcase_31 AC 23 ms
7,512 KB
testcase_32 AC 22 ms
7,640 KB
testcase_33 AC 57 ms
11,864 KB
testcase_34 AC 49 ms
11,992 KB
testcase_35 AC 20 ms
7,512 KB
testcase_36 AC 21 ms
7,644 KB
testcase_37 AC 52 ms
11,988 KB
testcase_38 AC 22 ms
7,508 KB
testcase_39 AC 22 ms
7,644 KB
testcase_40 AC 24 ms
7,768 KB
testcase_41 AC 22 ms
7,640 KB
testcase_42 AC 56 ms
11,992 KB
testcase_43 AC 48 ms
11,992 KB
testcase_44 AC 45 ms
11,992 KB
testcase_45 AC 45 ms
11,988 KB
testcase_46 AC 49 ms
11,864 KB
testcase_47 AC 47 ms
11,844 KB
testcase_48 AC 23 ms
7,516 KB
testcase_49 AC 21 ms
7,512 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#define ATCODER
#define _USE_MATH_DEFINES
#include <stdio.h>
#include <iostream>
#include <fstream>
#include <algorithm>
#include <vector>
#include <string>
#include <cassert>
#include <numeric>
#include <unordered_map>
#include <unordered_set>
#include <queue>
#include <math.h>
#include <climits>
#include <set>
#include <map>
#include <list>
#include <random>
#include <iterator>
#include <bitset>
#include <chrono>
#include <type_traits>
using namespace std;

using ll = long long;
using ld = long double;
using pll = pair<ll, ll>;
using pdd = pair<ld, ld>;


#define FOR(i, a, b) for (ll i = (a); i < (b); i++)
#define REP(i, n) for (ll i = 0; i < (n); i++)
#define ROF(i, a, b) for (ll i = (b - 1); i >= (a); i--)
#define PER(i, n) for (ll i = n - 1; i >= 0; i--)
#define VL vector<ll>
#define VVL vector<vector<ll>>
#define VP vector<pair<ll, ll>>
#define LPQ(T) priority_queue<T, vector<T>, greater<T>>
#define all(i) begin(i), end(i)
#define SORT(i) sort(all(i))
#define EXISTBIT(x, i) (((x >> i) & 1) != 0)
#define CHMAX(n, v) n = n < v ? v : n
#define CHMIN(n, v) n = n > v ? v : n
#define MP(a, b) make_pair(a, b)
#define DET2(x1, y1, x2, y2) (x1) * (y2) - (x2) * (y1)
#define DET3(x1, y1, z1, x2, y2, z2, x3, y3, z3) (x1) * (y2) * (z3) + (x2) * (y3) * (z1) + (x3) * (y1) * (z2) - (z1) * (y2) * (x3) - (z2) * (y3) * (x1) - (z3) * (y1) * (x2)
#define INC(a)      \
  for (auto &v : a) \
    v++;
#define DEC(a)      \
  for (auto &v : a) \
    v--;
#define SQU(x) (x) * (x)

#ifdef ATCODER
#include <atcoder/all>
using namespace atcoder;
using mint = modint1000000007;
using mint2 = modint998244353;
#endif
template <typename T = ll>
vector<T> read(size_t n)
{
  vector<T> ts(n);
  for (size_t i = 0; i < n; i++)
    cin >> ts[i];
  return ts;
}

template <typename TV, const ll N>
void read_tuple_impl(TV &) {}
template <typename TV, const ll N, typename Head, typename... Tail>
void read_tuple_impl(TV &ts)
{
  get<N>(ts).emplace_back(*(istream_iterator<Head>(cin)));
  read_tuple_impl<TV, N + 1, Tail...>(ts);
}
template <typename... Ts>
decltype(auto) read_tuple(size_t n)
{
  tuple<vector<Ts>...> ts;
  for (size_t i = 0; i < n; i++)
    read_tuple_impl<decltype(ts), 0, Ts...>(ts);
  return ts;
}

using val = ll;
using func = ll;

val op(val a, val b)
{
  return max(a, b);
}
val e() { return -1e18; }

val mp(func f, val a)
{
  return a + f;
}
func comp(func f, func g)
{
  return f + g;
}
func id() { return 0; }

ll di[4] = {1, 0, -1, 0};
ll dj[4] = {0, 1, 0, -1};
ll si[4] = {0, 3, 3, 0};
ll sj[4] = {0, 0, 3, 3};
// ll di[4] = { -1,-1,1,1 };
// ll dj[4] = { -1,1,-1,1 };
ll di8[8] = {0, -1, -1, -1, 0, 1, 1, 1};
ll dj8[8] = {-1, -1, 0, 1, 1, 1, 0, -1};


void solve()
{
  ll n;
  cin>>n;
  vector<unordered_set<ll>> lfsr={
    {},
    {},
    {0,1},
    {0,1},
    {0,1},
    {0,2},
    {0,1},
    {0,1},
    {0,2,3,4},
    {0,4},
    {0,3},
    {0,2},
    {0,1,2,8},
    {0,1,2,5},
    {0,1,2,12},
    {0,1},
    {0,2,3,5},
    {0,3},
    {0,7},
    {0,1,2,5}
  };
  ll c=1;
  while((1<<c)+c-1 <= n){
    c++;
  }
  c--;
  if(lfsr[c].empty()){
    ll bn=1<<n;
    ll mnlcp=1e18;
    string ans;
    REP(b,bn){
      string tmp;
      REP(i,n){
        if(EXISTBIT(b,i)){
          tmp.push_back('b');
        }else{
          tmp.push_back('a');
        }
      }
      auto sa=suffix_array(tmp);
      auto lcp=lcp_array(tmp,sa);
      ll sum=0;
      REP(i,n-1)
        sum+=lcp[i];
      if(mnlcp>sum){
        mnlcp=sum;
        ans=tmp;
      }
    }
    cout<<ans<<endl;
  }else{
    ll bc=1<<c;
    VVL g(bc);
    ll first = 1<<(c-1);
    ll len=c;
    ll reg = first;
    while(1){
      ll bit=0;
      for(auto&v:lfsr[c]){
        bit^=(reg>>v) & 1;
      }
      ll n_reg = (reg>>1)|(bit<<(c-1));
      if(n_reg==first)
        break;
      assert(g[reg].empty());
      g[reg].push_back(n_reg);
      reg = n_reg;
      len++;
    }
    g[1].push_back(0);
    g[0].push_back(first);
    g[0].push_back(0);
    len+=3;

    auto output=[&](ll start){
      string ans;
      REP(b,c){
        if(EXISTBIT(start,b)){
          ans.push_back('b');
        }else{
          ans.push_back('a');
        }
      }
      ll now=start;
      while(1){
        assert(ans.size()<=n);
        if(ans.size()==n){
          // auto sa=suffix_array(ans);
          // auto lcp=lcp_array(ans,sa);
          // ll sum=0;
          // REP(i,n-1)
          //   sum+=lcp[i];
          // cout<<sum<<":"<<ans<<endl;
          cout<<ans<<endl;
          return;
        }
        if(g[now].back() >> (c-1)){
          ans.push_back('b');
        }else{
          ans.push_back('a');
        }
        ll next=g[now].back();
        g[now].pop_back();
        now=next;
      }
    };
    if(len>=n){
      output(first);
      return;
    }
    REP(b,bc){
      if(g[b].size()>1)continue;
      first = b;
      reg = b;
      VL adds;
      while(1){
        ll n_reg = g[reg][0] ^ (1<<(c-1));
        if(n_reg==first)
          break;
        adds.push_back(reg);
        g[reg].push_back(n_reg);
        reg = n_reg;
        len++;
      }
      if(len>=n){
        for(auto&v:adds){
          swap(g[v][0],g[v][1]);
        }
        output(first);
        return;
      }
    }
  }
  return;
}

int main()
{
  ll t = 1;
  cin >> t;
  while (t--)
  {
    solve();
  }
  return 0;
}
0