惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

B
Blog RSS Feed
Jina AI
Jina AI
雷峰网
雷峰网
Blog — PlanetScale
Blog — PlanetScale
Hugging Face - Blog
Hugging Face - Blog
奇客Solidot–传递最新科技情报
奇客Solidot–传递最新科技情报
Last Week in AI
Last Week in AI
博客园 - 司徒正美
罗磊的独立博客
J
Java Code Geeks
Engineering at Meta
Engineering at Meta
WordPress大学
WordPress大学
Vercel News
Vercel News
A
About on SuperTechFans
I
InfoQ
D
DataBreaches.Net
爱范儿
爱范儿
freeCodeCamp Programming Tutorials: Python, JavaScript, Git & More
U
Unit 42
aimingoo的专栏
aimingoo的专栏
宝玉的分享
宝玉的分享
P
Proofpoint News Feed
Microsoft Azure Blog
Microsoft Azure Blog
美团技术团队

博客园_首页

Plist 二进制格式 Milvus 和 PGVector,哪个更好? OpenClaw 已过时?在 VS Code 中运行 Hermes Agent! 第30篇文章:一个大三计科生的自白 Manim如何在数学公式中完美显示中文? Docker 部署 RocketMQ 5 并发编程核心概念辨析 C#事务处理最佳实践:别再让“主表存了、明细丢了”的破事发生 CLI 是什么?为什么大厂突然集体卷命令行? 【从0到1构建一个ClaudeAgent】协作-自主Agent UIImageView 设置图片不生效的原因排查 最小二乘问题详解20:无先验约束下的增量式SFM自由网平差 痞子衡嵌入式:大话双核i.MXRT1180之XIP应用里借助MU实现可靠Flash IAP的方法 AI Chat 封装, SemanticKerne.AiProvider.Unified 已发布 Windows下右键编辑js文件无法打开记事本——在注册表中使用环境变量 在后台服务中使用 Scoped 服务,为什么总是报错? H200 安装驱动并使用sglang启动模型 wireshark 抓包Trap上报告警内容 我用 AI 辅助开发了一系列小工具(2):图片压缩工具 [A Primer On MC and CC] 2.1 Memory Consistency 1 - 指令重排序和 SC 模型 Oracle数据库SCN推进技术详解与实践指南 玩转控件:封装个带图片的Label控件 Claude Code 4.7 真正该升级的不是模型,而是你的工作流 前端小白一句话,AI 帮我做了个颜值拉满的桌面媒体播放器。当代码不再是门槛,一句话编程就是现实。 5. WorkBuddy: 小龙虾的灵魂三件套,让你的小龙虾不只是工具 SQLite 分片方案实战:三种分片策略的深度对比 告别简陋 UI!一款基于 Fluent Design 和基于 WinUI 的开源免费、现代化的 Avalonia UI 控件库 关于二进制排列组合枚举的总结 AI开发-python-LangGraph框架(3-27-LangGraph从零实现大模型智能决策工作流) ElasticSearch主分片和副本分片概念详解
洛谷-P11196 [COTS 2021] 数独传串 Novine
xiaoniu14285 · 2026-05-01 · via 博客园_首页

QOJ 可以评测

Solution

所有合法数独终盘约 \(6.67\times10^{21}\) 个。而字符串共 \(\sum_{k=1}^{15}26^k < 1.75 \times 10^{21}\) 种。合法数独的数量大于字符串数量,因此一定存在一种映射方案。

直接处理字符串并不方便,可以转换成它在所有可能字符串中字典序排名(从 \(0\) 开始),设为 \(x\)

把每个 \(3\times 3\) 的块看作整体,预处理所有 \(9!\) 种块,从上到下从左往右逐块确定,就能先解决块内不重复的限制。设当前可以填 \(d\) 种块,则填第 \(x\bmod d\) 种,然后令 \(x\leftarrow \lfloor x/d\rfloor\),相当于把 \(x\) 看成多进制数。但是这样限制太严,极易填到一半就填不下去了。

尝试优先填充限制最少的区域,先填数独中左上 \((0,0)\)、中间 \((1,1)\) 和右下 \((2,2)\) 这三个互相独立的块,但是上述问题仍然存在。

注意到填完对角线上三个块后:

\[x< \frac{1.75\times 10^{21}}{(9!)^3}<37000 \]

而填完这三个块后一定仍有大量解。对于剩下的空格,我们已经能够直接爆搜出第 \(x\) 个解。可以在时限内通过。

由于解密是加密的严格逆过程,上述加密过程直接倒过来即可。

Code

#include <bits/stdc++.h>
#define rep(i,a,b) for(int i(a);i<b;++i)
#define per(i,a,b) for(int i(a);i>b;--i)
#define rept(i,a,b) for(int i(a);i<=b;++i)
#define pert(i,a,b) for(int i(a);i>=b;--i)
#define fi first
#define se second
#define pii pair<int,int>
#define me(a,x) memset(a,x,sizeof(a))
using namespace std;
constexpr int N=16,F=362880;
int n,cnt;
bool suc;
string s;
pair<int,int> ord[54];
__int128 x,pw[N],sm[N];
char p[3][3][F],t[9][9],a[9][9];
int f1[9],f2[9],f3[3][3];
void init(){
    char t[9];
    int k=0;
    iota(t,t+9,0);
    do{
        rep(i,0,3) rep(j,0,3) p[i][j][k]=t[i*3+j];
        ++k;
    }while(next_permutation(t,t+9));
    pw[0]=1;
    rept(i,1,15){
        pw[i]=pw[i-1]*26;
        sm[i]=sm[i-1]+pw[i];
    }
    k=0;
    rep(i,0,9) rep(j,0,9) if(i/3^j/3) ord[k++]={i,j};
}
void reset(){
    n=cnt=suc=x=0;
    s.clear();
    me(f1,0),me(f2,0),me(f3,0),me(t,0);
}
void dfs(int id,bool tp){
    if(id==54){
        if(tp&&cnt==x){
            suc=true;
            rep(i,0,9){
                rep(j,0,9) cout<<char(t[i][j]+'1');
                cout<<'\n';
            }
        }else if(!tp&&!memcmp(a,t,sizeof(a))) return suc=true,void();
        ++cnt;
        return;
    }
    int i=ord[id].fi,j=ord[id].se,bi=i/3,bj=j/3;
    rep(c,0,9){
        if(!(f1[i]>>c&1)&&!(f2[j]>>c&1)&&!(f3[bi][bj]>>c&1)){
            f1[i]|=1<<c,f2[j]|=1<<c,f3[bi][bj]|=1<<c;
            t[i][j]=c;
            dfs(id+1,tp);
            if(suc) return;
            f1[i]^=1<<c,f2[j]^=1<<c,f3[bi][bj]^=1<<c;
        }
    }
}
void encode(){
    reset();
    cin>>n>>s;
    pert(i,n-1,0) x=x*26+(s[i]-'a');
    x+=sm[n-1];
    rep(b,0,3){
        int k=x%F;
        rep(i,0,3) rep(j,0,3){
            char c=p[i][j][k];
            t[b*3+i][b*3+j]=c;
            f1[b*3+i]|=1<<c,f2[b*3+j]|=1<<c,f3[b][b]|=1<<c;
        }
        x/=F;
    }
    dfs(0,1);
}
void decode(){
    reset();
    rep(i,0,9) rep(j,0,9) cin>>a[i][j],a[i][j]-='1';
    __int128 d=1;
    rep(b,0,3){
        rep(k,0,F){
            bool f=true;
            rep(i,0,3) rep(j,0,3) if(p[i][j][k]^a[b*3+i][b*3+j]) f=false;
            if(f){
                rep(i,0,3) rep(j,0,3){
                    char c=p[i][j][k];
                    f1[b*3+i]|=1<<c,f2[b*3+j]|=1<<c,f3[b][b]|=1<<c;
                }
                x+=d*k;
                break;
            }
        }
        d*=F;
    }
    memcpy(t,a,sizeof(t));
    dfs(0,0);
    x+=d*cnt;
    while(sm[n]<=x) ++n;
    x-=sm[n-1];
    s.resize(n);
    rep(i,0,n) s[i]=x%26+'a',x/=26;
    cout<<s<<'\n';
}
signed main(){
    int op,t;
    cin>>op>>t;
    init();
    if(op==1) while(t--) encode();
    else while(t--) decode();
    return 0;
}