QOJ.ac
QOJ
ID | Problem | Submitter | Result | Time | Memory | Language | File size | Submit time | Judge time |
---|---|---|---|---|---|---|---|---|---|
#284558 | #7940. Impossible Numbers | ucup-team2230# | WA | 1ms | 3728kb | C++14 | 9.1kb | 2023-12-16 13:51:23 | 2023-12-16 13:51:24 |
Judging History
你现在查看的是最新测评结果
- [2023-12-17 13:41:15]
- hack成功,自动添加数据
- (/hack/501)
- [2023-12-16 17:44:29]
- hack成功,自动添加数据
- (//qoj.ac/hack/496)
- [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'