UVA1434 YAPTCHA 题解

发布时间:2026/11/2 17:24:25

UVA1434 YAPTCHA 题解 UVA1434 YAPTCHA 题解老师才讲了这道题就趁热打铁写篇题解。文章目录UVA1434 YAPTCHA 题解零、前置知识一、思考过程二、本题做法零、前置知识威尔逊定理若p pp是一个质数那么必定有( p − 1 ) ! ≡ − 1 ( m o d p ) (p-1)! \equiv -1 \pmod{p}(p−1)!≡−1(modp)一、思考过程S n ∑ k 1 n [ ( 3 k 6 ) ! 1 3 k 7 − [ ( 3 k 6 ) ! 3 k 7 ] ] S_n \sum_{k1}^n \left[ \frac{(3k6)! 1}{3k 7} - \left[ \frac{(3k6)!}{3k 7} \right] \right]Sn​k1∑n​[3k7(3k6)!1​−[3k7(3k6)!​]]这道题给了一个看起来很难的式子让我们求它的值。我们再仔细观察一下容易发现3 k 6 ( 3 k 7 ) − 1 3k 6 (3k 7) - 13k6(3k7)−1那么我们不妨设3 k 7 p 3k 7 p3k7p则3 k 6 p − 1 3k 6 p - 13k6p−1则原式可表达为S n ∑ k 1 n [ ( p − 1 ) ! 1 p − [ ( p − 1 ) ! p ] ] S_n \sum_{k1}^n \left[ \frac{(p - 1)! 1}{p} - \left[ \frac{(p - 1)!}{p} \right] \right]Sn​k1∑n​[p(p−1)!1​−[p(p−1)!​]]我们就可以用分类讨论p pp为质数容易发现p pp为质数是满足威尔逊定理( p − 1 ) ! ≡ − 1 ( m o d p ) (p-1)! \equiv -1 \pmod{p}(p−1)!≡−1(modp)即( p − 1 ) ! 1 q × p ( q ∈ Z ) ( p − 1 ) ! q × p − 1 ( q ∈ Z ) (p - 1)! 1 q \times p(q \in \mathbb{Z})\\ (p - 1)! q \times p-1(q \in \mathbb{Z})(p−1)!1q×p(q∈Z)(p−1)!q×p−1(q∈Z)那么( p − 1 ) ! 1 p − ( p − 1 ) ! p q × p p − q × p − 1 p q − ( q − 1 p ) ∴ q − 1 q − 1 p q ∴ q − ( q − 1 p ) q − ( q − 1 ) 1 \begin{align} \frac{(p - 1)! 1}{p} - \frac{(p - 1)!}{p} \frac{q \times p}{p} - \frac{q \times p - 1}{p} \nonumber\\ q - (q - \frac{1}{p}) \nonumber \end{align}\\ \therefore q - 1 q - \frac{1}{p} q\\ \therefore q - (q - \frac{1}{p}) q - (q - 1) 1p(p−1)!1​−p(p−1)!​​pq×p​−pq×p−1​q−(q−p1​)​∴q−1q−p1​q∴q−(q−p1​)q−(q−1)1答案就加一。p pp为合数证明p ∣ ( p − 1 ) ! p \mid (p - 1)!p∣(p−1)!其中p ≥ 10 p \ge 10p≥10:令p a × b , ( 1 a b ) p a \times b,(1 a b)pa×b,(1ab)① a ≠ b ①a \ne b①ab( p − 1 ) ! 1 × 2 × 3 × ⋯ × a × ⋯ × b × ⋯ × ( p − 1 ) (p-1)! 1\times2\times3\times\dots\times a\times\dots\times b\times\dots\times (p - 1)(p−1)!1×2×3×⋯×a×⋯×b×⋯×(p−1)显然( a × b ) ∣ ( p − 1 ) ! (a\times b) \mid(p-1)!(a×b)∣(p−1)!。② a b 且 a , b 是质数 ②a b \text{且} a, b \text{ 是质数}②ab且a,b是质数∴ a 2 ∴ a × b a 2 2 × a 又 ∵ k 4 ∴ ( p − 1 ) ! 1 × 2 × ⋯ × a × ⋯ × ( 2 × a ) × ⋯ × ( p − 1 ) \therefore a 2\\ \therefore a \times b a ^ 2 2 \times a\\ \text{又}\because k 4\\ \therefore (p-1)!1\times2\times\dots\times a\times\dots\times (2 \times a) \times\dots\times (p - 1)∴a2∴a×ba22×a又∵k4∴(p−1)!1×2×⋯×a×⋯×(2×a)×⋯×(p−1)同样有( a × b ) ∣ ( p − 1 ) ! (a\times b) \mid(p-1)!(a×b)∣(p−1)!。综上如果p pp为合数则p ∣ ( p − 1 ) ! p \mid (p - 1)!p∣(p−1)!那么( p − 1 ) ! 1 p − ( p − 1 ) ! p 0 − 0 0 \begin{align} \frac{(p - 1)! 1}{p} - \frac{(p - 1)!}{p} 0 - 0 0 \nonumber \end{align}p(p−1)!1​−p(p−1)!​0−00​答案就加零。综上所述当p pp为质数时答案加1 11当p pp为合数时答案加0 00。二、本题做法挨个遍历判断3 k 7 3k 73k7为质数还是合数当3 k 7 3k 73k7为质数时答案加1 11当3 k 7 3k 73k7为合数时答案加0 00。问题转化为有多少个k ∈ [ 1 , n ] k\in[1,n]k∈[1,n]满足3 k 7 3k 73k7是质数。代码就不给了。完结撒花|||||||||||||||||||||⎛⎝≥⏝⏝≤⎛⎝
延伸阅读

更多相关文章

2026/10/25 17:42:33

从时钟对齐到频率合成:深入解析DLL与PLL的核心差异与应用选型

1. 时钟同步的两种核心方案:DLL与PLL基础解析 在数字电路设计中,时钟信号就像人体心脏的起搏器,控制着所有逻辑单元的运作节奏。当我们需要处理高速数据传输(比如DDR内存接口)或精确时序控制时,时钟信号的相…

2026/11/2 17:23:20

低成本51单片机恒流源电阻测量:ADC采样、量程切换与校准

电阻测量看起来简单,拿万用表一夹就完事,但一旦要把这件事交给51单片机自己完成,麻烦就来了:没有内置ADC、IO口有限、供电只有5V,还要兼顾量程、精度和成本。这个标题里的“恒流源”三个字,其实就是整个方案…

2026/11/2 17:23:20

网络设备开局配置生成器1.1.6.2安装与批量生成避坑指南

简介:这是一款面向网络工程师、运维人员及网络实验学习者的开局配置辅助工具,针对交换机重复配置耗时、批量部署易出错等问题,提供华为、华三、锐捷等设备的脚本生成与自动下发能力。它可在约1分钟内生成单台或上百台差异化配置,支…

2026/11/2 17:23:20

Meta Muse架构拆解:从问答式AI到Agent式AI的范式跃迁

前阵子团队内部讨论 AI 产品方向时,有个同事扔给我一个任务:把 Meta Muse 的架构逻辑梳理出来,重点说清楚它和传统对话式 AI 到底差在哪。说实话,第一次接触 Meta Muse 这个概念时,我也觉得它不过是一个包装更好的聊天…

2026/11/2 17:23:20

云沙箱文件通道:Agent 的 Workspace 到底写到哪里去了?

从去年开始,我一直在搭一套面向团队内部的云沙箱平台,用途是让各种 AI Agent 在隔离环境里跑代码、操作文件、调 API。期间踩过最多坑的不是模型本身,而是一个听起来特别基础的问题:Agent 在沙箱里写文件,到底写到哪里…

2026/11/2 17:23:19

Meta Muse智能体架构拆解:从任务规划到工具调用的工程实践

1. 从“聊天框”到“执行器”:Meta Muse 的核心命题如果今天还有人把AI当成一个“高级搜索框”,那你大概率还没真正接触过Agent架构。我最近把Meta Muse这套系统从头到尾梳理了一遍,最直观的感受是:整条链条的设计目标只有一个——…

2026/11/2 17:18:16

Sony手机解锁工具全指南:从fastboot命令到回锁避坑

简介:这份资源是面向Sony手机用户的网络解锁工具包,主要解决设备被运营商网络锁定、无法使用其他SIM卡的问题。适合希望更换运营商或出境使用当地SIM卡、又不想深入钻研命令行的普通用户,通过批处理脚本把解锁流程自动化,降低操作…

2026/11/2 6:08:01

面向复杂光照与角度的宠物面部识别鲁棒性增强策略

在智慧养宠时代,基于视觉的宠物身份识别技术正逐步从实验室走向家庭应用。然而,与配合度高的人类不同,宠物是典型的“非合作生物识别对象”——它们不会主动配合摄像头调整姿态,更无法控制光照环境。实际应用中,我们常…

2026/11/2 6:39:12

SSM电子书店源码全解析:结构、原理、部署与排错实战

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …

2026/11/2 1:04:04

工业级SPI隔离设计:硬件抗扰与信号完整性实战指南

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …

2026/11/2 1:04:04

PLFM_RADAR:主动探测数据通道,构建低误报的数据感知系统

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …

2026/11/2 1:04:04

工业SPI隔离设计:MAX14431与STM32F746硬件抗干扰实战

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …

2026/11/2 6:08:01

面向复杂光照与角度的宠物面部识别鲁棒性增强策略

在智慧养宠时代,基于视觉的宠物身份识别技术正逐步从实验室走向家庭应用。然而,与配合度高的人类不同,宠物是典型的“非合作生物识别对象”——它们不会主动配合摄像头调整姿态,更无法控制光照环境。实际应用中,我们常…

2026/11/2 6:39:12

SSM电子书店源码全解析:结构、原理、部署与排错实战

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …

还想了解更多?直接咨询顾问

免费诊断 + 免费方案 + 透明报价。

全国咨询热线400-8866-253
免费获取方案
☎咨询二维码 ☎ ↑