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

推荐订阅源

Recent Commits to openclaw:main
Recent Commits to openclaw:main
U
Unit 42
WordPress大学
WordPress大学
Microsoft Azure Blog
Microsoft Azure Blog
Martin Fowler
Martin Fowler
人人都是产品经理
人人都是产品经理
Microsoft Security Blog
Microsoft Security Blog
T
The Blog of Author Tim Ferriss
博客园 - Franky
云风的 BLOG
云风的 BLOG
酷 壳 – CoolShell
酷 壳 – CoolShell
P
Palo Alto Networks Blog
NISL@THU
NISL@THU
cs.CL updates on arXiv.org
cs.CL updates on arXiv.org
Vercel News
Vercel News
Threat Intelligence Blog | Flashpoint
Threat Intelligence Blog | Flashpoint
P
Privacy & Cybersecurity Law Blog
C
Cyber Attacks, Cyber Crime and Cyber Security
J
Java Code Geeks
Google DeepMind News
Google DeepMind News
C
Cisco Blogs
OSCHINA 社区最新新闻
OSCHINA 社区最新新闻
Spread Privacy
Spread Privacy
小众软件
小众软件
T
Threat Research - Cisco Blogs
Project Zero
Project Zero
博客园 - 三生石上(FineUI控件)
D
Darknet – Hacking Tools, Hacker News & Cyber Security
The Register - Security
The Register - Security
The Hacker News
The Hacker News
F
Fortinet All Blogs
Security Latest
Security Latest
Cisco Talos Blog
Cisco Talos Blog
The GitHub Blog
The GitHub Blog
Stack Overflow Blog
Stack Overflow Blog
T
The Exploit Database - CXSecurity.com
量子位
Blog — PlanetScale
Blog — PlanetScale
奇客Solidot–传递最新科技情报
奇客Solidot–传递最新科技情报
P
Proofpoint News Feed
G
GRAHAM CLULEY
D
DataBreaches.Net
P
Privacy International News Feed
Y
Y Combinator Blog
Simon Willison's Weblog
Simon Willison's Weblog
H
Hackread – Cybersecurity News, Data Breaches, AI and More
I
InfoQ
CTFtime.org: upcoming CTF events
CTFtime.org: upcoming CTF events
Recent Announcements
Recent Announcements
P
Proofpoint News Feed

博客园_首页

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主分片和副本分片概念详解 【002】HTTPS 粗解:证书、TLS 握手与对后端配置的影响 Hermes Agent 一周暴涨五万 Star,但我劝你别急着追 明明连接的是Redis的DB0,为什么能查到DB3的数据? 【从0到1构建一个ClaudeAgent】协作-Agent团队 熟悉电子元器件之后,电子小白下一步该怎么走? MAF快速入门(23)通过C#类定义Skills .NET 高级开发 | 手写一个对象映射框架 FastAPI数据库ORM怎么选?我肝了三个Demo后,终于不再纠结了 mysqldump 参数拾遗:在遗忘与铭记之间 C# .NET 周刊|2026年3月5期 Claude code入门 - 陈彦斌 一文学习入门 ThingsBoard 开源物联网平台 GitHub 热门项目 | 2026年04月16日 如何为GIT设置全局勾子,为每次提交追加信息 Number.isFinite和isFinite与isNaN()和Number.isNaN的区别 PortSwigger SQL注入LAB2 推荐一个测试人必备的Skills,从功能到性能全搞定(附详细实操和安装下载方式) 筑基期:掌握Odoo基础核心知识点02(Odoo XML 开发方式详解) GLM模型这么火,咱们用vllm也咧一个呗! 深入理解 AbortController:从底层原理到跨语言设计哲学 字符串学习笔记 多租户系统框架的基础模块设计和分析设计 Apache SeaTunnel Zeta 为什么能做到“又快又稳”? AI开发-python-LangGraph框架(3-26-LangGraph基本概念及第一个简单样例) Vue 3 组件通信,别只会用 Props 和 Emits 了,这几个狠活儿你得看看 ElasticSearch7.X版本配置密码 用Manim实现动态交点计算--从一个动点问题说起 团结引擎+Addressable+Instant Game打包抖音小游戏 function call 实战:让 LLM 自动判断 pod 异常、调用日志工具并完成故障分析 bubseek —— 让 Agent 的足迹,变成团队的洞察 通过 C# 读取并导出 PDF 书签 如何用 GitHub Actions 实现 Steam 自动化发布 【从0到1构建一个ClaudeAgent】并发-后台任务 .NET 高级开发 | 定制 ASP.NET Core 框架 电子小白:什么是运算放大器(运放) zero2Agent:面向大厂面试的 Agent 工程教程,从概念到生产的完整学习路线 堆上的ORW HC32F460 USB CDC通信异常:非对齐访问异常排查 20260413-Hyperbridge 攻击事件:发生在默克尔山上的验证绕过 那些喊着AI 要淘汰你的人,正在靠你的焦虑赚大钱! 深度学习进阶(八)Swin Transformer 最小二乘问题详解19:带先验约束的增量式SFM优化与实现 SnapTranslate 3.0 正式发布:全局划词翻译 + 完整英语学习闭环,一站式搞定查词、记词、复习 工作的意义、工作的困难认知再思考 .NET + AI 进阶实战:基于类的技能开发 - 打造可治理的 Agent 能力模块 【从0到1构建一个ClaudeAgent】规划与协调-技能 上周热点回顾(4.6-4.12) 电子小白的工具三件套:面包板、杜邦线、万能板 单表五亿数据的查询优化 | Mysql、StarRocks 2. WorkBuddy:从“我是谁”到“帮我干活” C# 如何减少代码运行时间:7 个实战技巧 基于HelixToolkit.SharpDX 渲染3D模型 - 笺上知微 从零开始的双臂具身VLA起源及现阶段发展综述 - SkyXZ 记对 xonsh shell 的使用, 脚本编写, 迁移及调优 - pluvium27 受够了Vibe Coding的失控?换个起点,让AI事半功倍 从开始配置漏洞环境到漏洞复现流程 - 難しい 关于10年工作经验的程序员对OpenClaw的实战经验分享以及看法 - 虚无境 Any metadata 的内存布局 C# .NET 周刊|2026年3月2期 - InCerry 我帮你测过了,测试圈排名第二的 Skill 依然很牛逼 Skill Discovery | 无监督技能发现的经典工作总结 - MoonOut 上下文工程是什么?过时了么?一文讲明白! - 一枫说码 开了 TUN 模式还是直连?90% 的人都踩过这个坑 AScript扩展多种脚本语言 - rockey627 AI 学习笔记:Agent 的记忆机制 你能被装进一个文件里吗?——7 万人把同事"蒸馏"成了 AI - 我没有三颗心脏 Claude Code 通关手册(七):给 AI 装上技能包——Skills 完全指南 - 暮色之狐 在浏览器中快速编辑代码:VSCode Web 集成实践 - Newbe36524 蒸馏自己 skill?基于 Deepseek 的蒸馏器,丐版蒸馏方式,简单便捷 - To_Carpe_Diem Spring AI Aliababa和AgentScope,哪个更好? - 苏三说技术
洛谷-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;
}