結果

問題 No.262 面白くないビットすごろく
ユーザー sigma425
提出日時 2025-01-15 00:44:18
言語 C++23
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 4 ms / 2,000 ms
コード長 3,473 bytes
コンパイル時間 4,283 ms
コンパイル使用メモリ 284,420 KB
実行使用メモリ 6,820 KB
最終ジャッジ日時 2025-01-15 00:44:24
合計ジャッジ時間 4,112 ms
ジャッジサーバーID
(参考情報)
judge1 / judge4
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
other AC * 4
権限があれば一括ダウンロードができます

ソースコード

diff #

#line 1 "262.cpp"
// #pragma GCC target("avx2,avx512f,avx512vl,avx512bw,avx512dq,avx512cd,avx512vbmi,avx512vbmi2,avx512vpopcntdq,avx512bitalg,bmi,bmi2,lzcnt,popcnt")
// #pragma GCC optimize("Ofast")

#line 2 "/home/sigma/comp/library/template.hpp"

#include <bits/stdc++.h>
using namespace std;
using ll = long long;
using uint = unsigned int;
using ull = unsigned long long;
#define rep(i,n) for(int i=0;i<int(n);i++)
#define rep1(i,n) for(int i=1;i<=int(n);i++)
#define per(i,n) for(int i=int(n)-1;i>=0;i--)
#define per1(i,n) for(int i=int(n);i>0;i--)
#define all(c) c.begin(),c.end()
#define si(x) int(x.size())
#define pb push_back
#define eb emplace_back
#define fs first
#define sc second
template<class T> using V = vector<T>;
template<class T> using VV = vector<vector<T>>;
template<class T,class U> bool chmax(T& x, U y){
	if(x<y){ x=y; return true; }
	return false;
}
template<class T,class U> bool chmin(T& x, U y){
	if(y<x){ x=y; return true; }
	return false;
}
template<class T> void mkuni(V<T>& v){sort(all(v));v.erase(unique(all(v)),v.end());}
template<class T> int lwb(const V<T>& v, const T& a){return lower_bound(all(v),a) - v.begin();}
template<class T>
V<T> Vec(size_t a) {
    return V<T>(a);
}
template<class T, class... Ts>
auto Vec(size_t a, Ts... ts) {
  return V<decltype(Vec<T>(ts...))>(a, Vec<T>(ts...));
}
template<class S,class T> ostream& operator<<(ostream& o,const pair<S,T> &p){
	return o<<"("<<p.fs<<","<<p.sc<<")";
}
template<class T> ostream& operator<<(ostream& o,const vector<T> &vc){
	o<<"{";
	for(const T& v:vc) o<<v<<",";
	o<<"}";
	return o;
}
constexpr ll TEN(int n) { return (n == 0) ? 1 : 10 * TEN(n-1); }

#ifdef LOCAL
#define show(x) cerr << "LINE" << __LINE__ << " : " << #x << " = " << (x) << endl
void dmpr(ostream& os){os<<endl;}
template<class T,class... Args>
void dmpr(ostream&os,const T&t,const Args&... args){
	os<<t<<" ~ ";
	dmpr(os,args...);
}
#define shows(...) cerr << "LINE" << __LINE__ << " : ";dmpr(cerr,##__VA_ARGS__)
#define dump(x) cerr << "LINE" << __LINE__ << " : " << #x << " = {";  \
	for(auto v: x) cerr << v << ","; cerr << "}" << endl;
#else
#define show(x) void(0)
#define dump(x) void(0)
#define shows(...) void(0)
#endif

template<class D> D divFloor(D a, D b){
	return a / b - (((a ^ b) < 0 && a % b != 0) ? 1 : 0);
}
template<class D> D divCeil(D a, D b) {
	return a / b + (((a ^ b) > 0 && a % b != 0) ? 1 : 0);
}
#line 5 "262.cpp"

using P = pair<ll,ll>;

/*
	x -> x + popcount(x) + off をしたときに 2^h 以上になるまでの (val, 手数)
*/
map<array<ll,3>, P> memo;
P f(ll x, ll off, ll h){
	const array<ll,3> key = {x,off,h};
	if(memo.count(key)) return memo[key];
	shows(x,off,h);

	assert(x < (1LL<<h));
	if(h < 10){
		int step = 0;
		while(x < (1LL<<h)){
			x += __builtin_popcount(x) + off;
			step++;
		}
		return memo[key] = {x,step};
	}
	auto [xx,step] = f(x,off,h-1);
	if(xx >= (1LL<<h)) return memo[key] = {xx,step};
	auto [yy,step2] = f(xx-(1LL<<(h-1)),off+1,h-1);
	return memo[key] = {(1LL<<(h-1)) + yy, step+step2};
}

int main(){
	cin.tie(0);
	ios::sync_with_stdio(false);		//DON'T USE scanf/printf/puts !!
	cout << fixed << setprecision(20);

	ll N; cin >> N;
	ll x = 1;
	ll step = 0;
	for(int h = 40; h >= 0; h--){
		ll u = x>>h, d = x&((1LL<<h)-1);
		int off = __builtin_popcountll(u);
		auto [xx,step2] = f(d,off,h);
		ll nx = x + (xx-d);
		if(nx > N) continue;
		x = nx, step += step2;
	}
	show(x);
	if(x != N) cout << -1 << endl;
	else cout << step+1 << endl;
}
0