QOJ.ac

QOJ

IDProblemSubmitterResultTimeMemoryLanguageFile sizeSubmit timeJudge time
#284558#7940. Impossible Numbersucup-team2230#WA 1ms3728kbC++149.1kb2023-12-16 13:51:232023-12-16 13:51:24

Judging History

你现在查看的是最新测评结果

  • [2023-12-17 13:41:15]
  • hack成功,自动添加数据
  • (/hack/501)
  • [2023-12-16 13:51:24]
  • 评测
  • 测评结果:WA
  • 用时:1ms
  • 内存:3728kb
  • [2023-12-16 13:51:23]
  • 提交

answer

//Let's join Kaede Takagaki Fan Club !!
#pragma GCC optimize("Ofast")
#pragma GCC optimize("unroll-loops")
#include <cstdio>
#include <cstring>
#include <cstdlib>
#include <cmath>
#include <ctime>
#include <cassert>
#include <string>
#include <algorithm>
#include <vector>
#include <queue>
#include <stack>
#include <functional>
#include <iostream>
#include <map>
#include <set>
//#include <unordered_map>
//#include <unordered_set>
#include <cassert>
#include <iomanip>
#include <chrono>
#include <random>
#include <bitset>
#include <complex>
#include <ext/pb_ds/assoc_container.hpp>
#include <ext/pb_ds/tree_policy.hpp>
//#include <atcoder/convolution>
//#include <atcoder/lazysegtree>
//#include <atcoder/maxflow>
//#include <atcoder/mincostflow>
//#include <atcoder/segtree>
//#include <atcoder/string>
using namespace std;
//using namespace atcoder;
#define int long long
//#define L __int128
typedef long long ll;
typedef pair<int,int> P;
typedef pair<int,P> P1;
typedef pair<P,P> P2;
#define pu push
#define pb push_back
#define eb emplace_back
#define mp make_pair
#define eps 1e-7
#define INF 1000000000
#define a first
#define b second
#define fi first
#define sc second
#define rng(i,a,b) for(int i=(int)(a);i<(int)(b);i++)
#define rep(i,x) for(int i=0;i<x;i++)
#define gnr(i,a,b) for(int i=(int)(b)-1;i>=(int)(a);i--)
#define per(i,b) gnr(i,0,b)
#define repn(i,x) for(int i=1;i<=x;i++)
#define SORT(x) sort(x.begin(),x.end())
#define ERASE(x) x.erase(unique(x.begin(),x.end()),x.end())
#define POSL(x,v) (lower_bound(x.begin(),x.end(),v)-x.begin())
#define POSU(x,v) (upper_bound(x.begin(),x.end(),v)-x.begin())
#define all(x) x.begin(),x.end()
#define si(x) (int)(x.size())
#define pcnt(x) __builtin_popcountll(x)
#define all(x) x.begin(),x.end()

#ifdef LOCAL
#define dmp(x) cerr<<__LINE__<<" "<<#x<<" "<<x<<endl
#else
#define dmp(x) void(0)
#endif
 
template<class t,class u> bool chmax(t&a,u b){if(a<b){a=b;return true;}else return false;}
template<class t,class u> bool chmin(t&a,u b){if(b<a){a=b;return true;}else return false;}
 
template<class t> using vc=vector<t>;
 
template<class t,class u>
ostream& operator<<(ostream& os,const pair<t,u>& p){
	return os<<"{"<<p.fi<<","<<p.sc<<"}";
}
 
template<class t> ostream& operator<<(ostream& os,const vc<t>& v){
	os<<"{";
	for(auto e:v)os<<e<<",";
	return os<<"}";
}
 
 //https://codeforces.com/blog/entry/62393
struct custom_hash {
	static uint64_t splitmix64(uint64_t x) {
		// http://xorshift.di.unimi.it/splitmix64.c
		x += 0x9e3779b97f4a7c15;
		x = (x ^ (x >> 30)) * 0xbf58476d1ce4e5b9;
		x = (x ^ (x >> 27)) * 0x94d049bb133111eb;
		return x ^ (x >> 31);
	}
 
	size_t operator()(uint64_t x) const {
		static const uint64_t FIXED_RANDOM = chrono::steady_clock::now().time_since_epoch().count();
		return splitmix64(x + FIXED_RANDOM);
	}
	//don't make x negative!
	size_t operator()(pair<int,int> x)const{
		return operator()(uint64_t(x.first)<<32|x.second);
	}
};
//unordered_set -> dtype, null_type
//unordered_map -> dtype(key), dtype(value)
using namespace __gnu_pbds;
template<class t,class u>
using hash_table=gp_hash_table<t,u,custom_hash>;

template<class T>
void o(const T &a,bool space=false){
	cout << a << (space?' ':'\n');
}
//ios::sync_with_stdio(false);
const ll mod = 998244353;
//const ll mod = 1000000007;
mt19937_64 mt(chrono::steady_clock::now().time_since_epoch().count());

struct mint{
	ll v;
	mint(ll vv=0){s(vv%mod+mod);}
	mint& s(ll vv){
		v=vv<mod?vv:vv-mod;
		return *this;
	}
	mint operator-()const{return mint()-*this;}
	mint &operator+=(const mint&rhs){return s(v+rhs.v);}
	mint &operator-=(const mint&rhs){return s(v+mod-rhs.v);}
	mint &operator*=(const mint&rhs){v=ll(v)*rhs.v%mod;return *this;}
	mint &operator/=(const mint&rhs){return *this*=rhs.inv();}
	mint operator+(const mint&rhs)const{return mint(*this)+=rhs;}
	mint operator-(const mint&rhs)const{return mint(*this)-=rhs;}
	mint operator*(const mint&rhs)const{return mint(*this)*=rhs;}
	mint operator/(const mint&rhs)const{return mint(*this)/=rhs;}
	mint pow(ll n)const{
		if(n<0)return inv().pow(-n);
		mint res(1),x(*this);
		while(n){
			if(n&1)res*=x;
			x*=x;
			n>>=1;
		}
		return res;
	}
	mint inv()const{return pow(mod-2);}
	friend mint operator+(ll x,const mint&y){
		return mint(x)+y;
	}
	friend mint operator-(ll x,const mint&y){
		return mint(x)-y;
	}
	friend mint operator*(ll x,const mint&y){
		return mint(x)*y;
	}
	friend mint operator/(ll x,const mint&y){
		return mint(x)/y;
	}
	friend ostream& operator<<(ostream&os,const mint&m){
		return os<<m.v;
	}
	friend istream& operator>>(istream&is,mint&m){
		ll x;is>>x;
		m=mint(x);
		return is;
	}
	bool operator<(const mint&r)const{return v<r.v;}
	bool operator==(const mint&r)const{return v==r.v;}
	bool operator!=(const mint&r)const{return v!=r.v;}
	explicit operator bool()const{
		return v;
	}
};
ll modpow(ll x,ll n,ll _md=mod){
	ll res=1;
	while(n>0){
		if(n&1) res=res*x%_md;
		x=x*x%_md;
		n>>=1;
	}
	return res;
}
#define _sz 1
mint F[_sz],R[_sz];
void make(){
	F[0] = 1;
	for(int i=1;i<_sz;i++) F[i] = F[i-1] * i;
	R[_sz-1] = F[_sz-1].pow(mod-2);
	for(int i=_sz-2;i>=0;i--) R[i] = R[i+1] * (i+1);
}
mint C(int a,int b){
	if(b < 0 || a < b) return mint();
	return F[a]*R[b]*R[a-b];
}
using ld=long double;
using vi=vc<int>;
using ull=unsigned long long;
/*int dst(P p, P q){
	return (p.a-q.a)*(p.a-q.a)+(p.b-q.b)*(p.b-q.b);
}*/
/*template<class t>
void add_inplace(t &a, t b){
	if(a.size() < b.size()) swap(a, b);
	for(int i=0;i<si(b);i++){
		a[i] += b[i];
		if(a[i] < 0) a[i] += mod;
		if(a[i] >= mod) a[i] -= mod;
	}
	return ;
}*/
template<class t>
void ov(const vc<t>&a){
	if(a.empty()) return;
	rep(i, si(a)) cout << a[i] << (i+1==si(a)?'\n':' ');
}
//o(ans?"Yes":"No");
int n,k,dd[105];
int f[1<<10], c[1<<10];
int look[1<<10], idx;
vi look2[10];
vc<string>cand;
int use[10];
int d, b;
void dfs(int dep, int las, bool z){
	if(si(cand) == k) return;
	if(dep == d){
		rep(i, idx) if(c[look[i]] < 0) goto nn;
		assert(false);
		nn:;
		string str = "";
		str.pb('0'+b);
		rep(i,10){
			rep(j,use[i]-(i==b?1:0)) str.pb('0'+i);
		}
		cand.eb(str);
		return;
	}
	bool ok[10] = {};
	int mn[10], rui[10];
	fill(mn, mn+10, 1e18);
	fill(rui, rui+10, 1e18);
	rep(j,idx){
		int i = look[j];
		rep(x,10){
			if(((i>>x)&1)) chmin(mn[x], c[i]);
			rep(y, x) chmin(rui[y], mn[x]);
		}
		if(c[i] < d-dep){
			int mx = -1;
			for(int x=9;x>=0;x--){
				if(((i>>x)&1)){
					chmax(mx, x);
					if(mx > x and mx > las) ok[x] = 1;
				}
			}
		}
	}
	/*rep(i,10){
		cout<<ok[i] << " " << mn[i] << endl;
	}
	rep(i,idx) if(c[look[i]] == 0) cout << look[i] << endl;*/
	rep(nxt,10){
		if(!z and nxt == 0) continue;
		if(nxt and las >= nxt) continue;
		if(ok[nxt] or d > n){
			for(int go=d-dep;go>=1;go--){
				for(auto b:look2[nxt]) c[b] -= go;
				use[nxt] += go;
				dfs(dep+go, max(las,nxt), false);
				if(si(cand) == k) return;
				use[nxt] -= go;
				for(auto b:look2[nxt]) c[b] += go;
			}
		}
		else{
			for(int go=d-dep;go>=1;go--){
				if(mn[nxt] < d-dep and go > mn[nxt]){
					for(auto b:look2[nxt]) c[b] -= go;
					use[nxt] += go;
					dfs(dep+go, max(las,nxt), false);
					if(si(cand) == k) return;
					use[nxt] -= go;
					for(auto b:look2[nxt]) c[b] += go;
				}
				else if(rui[nxt] < d-(dep+go)){
					for(auto b:look2[nxt]) c[b] -= go;
					use[nxt] += go;
					dfs(dep+go, max(las,nxt), false);
					if(si(cand) == k) return;
					use[nxt] -= go;
					for(auto b:look2[nxt]) c[b] += go;
				}
				if(go == d-dep-6){
					chmin(go, 7LL);
				}
			}
		}
	}
}
void solve(){
	cin>>n>>k;
	rep(i,n){
		rep(j,6){
			int a;cin>>a;
			dd[i] |= (1<<a);
		}
		rep(mask,(1<<10)){
			if(dd[i]&mask) f[mask] ++;
		}
	}
	int mn = INF;
	rep(i,10) chmin(mn, f[(1<<i)]);
	rep(i,(1<<10)) if(i){
		look[idx++] = i;
		rep(j,10) if(((i>>j)&1)) look2[j].pb(i);
	}
	vc<string> ans;
	for(d=mn+1;d<=mn+6 and si(ans)<k;d++){
		cand.clear();
		rep(i,(1<<10)) c[i]=f[i];
		repn(i,9){
			bool ok = 0;
			rep(j,idx){
				if(((look[j]>>i)&1)){
					c[look[j]] --;
				}
				if(c[look[j]] < d-1){
					if(look[j]&1) ok = 1;
					rng(k,i,10) if(((look[j]>>k)&1)) ok = 1;
				}
			}
			if(ok){
				memset(use, 0, sizeof(use));
				use[i] = 1; b = i;
				dfs(1,i-1,true);
			}
			rep(j,idx){
				if(((look[j]>>i)&1)){
					c[look[j]] ++;
				}
			}
		}
		//o(cand);
		priority_queue<string,vc<string>,greater<string>>que;
		for(auto x:cand) que.push(x);
		while(!que.empty()){
			auto s = que.top(); que.pop();
			ans.pb(s);
			if(si(ans) == k) break;
			for(int i=d-2;i>=0;i--){
				if(s[i] < s[i+1]){
					char c='9';
					rng(j,i+1,d){
						if(s[i] < s[j]) chmin(c, s[j]);
					}
					int cnt[10] = {};
					rng(j,i,d){
						cnt[s[j]-'0'] ++;
					}
					cnt[c-'0']--;
					s = s.substr(0,i);
					s.pb(c);
					rep(i,10) rep(j,cnt[i]) s.pb('0'+i);
					que.push(s);
					break;
				}
			}
		}
	}
	ov(ans);
}
signed main(){
	cin.tie(0);
	ios::sync_with_stdio(0);
	cout<<fixed<<setprecision(20);
	int t; t = 1; //cin >> t;
	while(t--) solve();
}

Details

Tip: Click on the bar to expand more detailed information

Test #1:

score: 100
Accepted
time: 1ms
memory: 3700kb

input:

2 3
1 8 7 0 6 2
1 2 5 4 9 3

output:

33 34 35

result:

ok single line: '33 34 35'

Test #2:

score: 0
Accepted
time: 1ms
memory: 3704kb

input:

1 10
1 5 2 2 6 4

output:

3 7 8 9 10 11 12 13 14 15

result:

ok single line: '3 7 8 9 10 11 12 13 14 15'

Test #3:

score: 0
Accepted
time: 0ms
memory: 3696kb

input:

4 10
1 5 7 1 2 4
0 1 5 8 9 4
3 5 2 2 7 8
6 1 7 0 2 2

output:

33 66 99 133 166 199 233 266 299 303

result:

ok single line: '33 66 99 133 166 199 233 266 299 303'

Test #4:

score: 0
Accepted
time: 0ms
memory: 3696kb

input:

5 10
5 9 4 8 3 3
1 1 9 2 8 9
6 3 3 0 2 1
2 6 0 3 6 4
3 6 4 2 9 4

output:

7 17 27 37 47 55 57 67 70 71

result:

ok single line: '7 17 27 37 47 55 57 67 70 71'

Test #5:

score: 0
Accepted
time: 1ms
memory: 3700kb

input:

5 10
8 7 1 4 8 9
2 5 0 1 0 1
9 5 5 3 9 7
6 0 0 2 3 1
1 0 0 4 9 3

output:

66 88 166 188 222 226 262 266 288 366

result:

ok single line: '66 88 166 188 222 226 262 266 288 366'

Test #6:

score: -100
Wrong Answer
time: 1ms
memory: 3728kb

input:

5 10
6 8 7 7 0 0
0 5 1 9 4 1
5 9 6 9 5 4
0 4 6 9 1 6
2 8 7 4 4 0

output:

3 13 22 23 30 31 32 33 103 111

result:

wrong answer 1st lines differ - expected: '3 13 22 23 30 31 32 33 34 35', found: '3 13 22 23 30 31 32 33 103 111'