1. 项目概述一个看似简单的数学问题最近在整理一些编程竞赛的题目时又翻到了这道来自Codeforces的“B-Fedya and Maths”。乍一看标题很多人可能会觉得这又是一道关于数论或者组合数学的难题需要复杂的公式推导。但实际接触后你会发现它的核心非常巧妙甚至可以说如果你能跳出常规思维用计算机的视角去理解数学规律这道题会变得异常简单。它考察的并不是你的数学定理背诵能力而是对问题本质的洞察力、对数据边界的敏感度以及将数学问题转化为高效计算模型的能力。简单来说这道题是给那些喜欢“偷懒”的程序员准备的——如何用最少的计算量解决一个理论上计算量巨大的问题。题目的大意是给定一个巨大的整数 n你需要计算表达式 (1^n 2^n 3^n 4^n) 除以 5 的余数是多少。这里的 n 可以非常大远超任何编程语言中整数类型的直接表示范围比如 n 的长度可以达到 10^5 位。直接计算这个幂和显然是不可能的无论是时间还是空间上。所以这道题真正的核心在于寻找循环规律。它要求我们不是去硬算而是去发现当 n 变化时这个求和结果的模 5 余数是否存在一个固定的、可预测的模式。一旦找到了这个模式无论 n 有多大我们只需要观察 n 的某个“特征”就能在常数时间内得到答案。这正是算法竞赛中“数学思维”与“编程思维”结合的魅力所在。2. 问题本质与模运算下的规律探寻要解决这个问题我们首先要接受一个前提我们关心的不是 (1^n 2^n 3^n 4^n) 这个巨大无比的值本身而是它除以 5 之后的余数。在数学上这引导我们进入模运算的世界。模运算有一个非常强大的性质(a * b) mod m [(a mod m) * (b mod m)] mod m对于加法也类似。这意味着在计算幂的模时我们可以在每一步乘法后都取模从而让中间结果始终保持在一个很小的范围内这里是 0 到 4。因此对于任何一个底数a计算a^n mod 5我们并不需要真的计算a^n只需要模拟 n 次乘法每次乘完后对 5 取余即可。但问题在于n 可能极大10^5 位进行 n 次循环同样是天文数字级的操作不可行。这就引出了第二个关键点模运算下的幂循环节费马小定理与欧拉定理的简化场景。我们是在模 5 的意义下计算而 5 是一个质数。根据数论知识对于与模数互质的整数 a有a^(φ(5)) ≡ 1 (mod 5)其中 φ 是欧拉函数φ(5)4。这就是欧拉定理。更特殊地因为 5 是质数对于任意不被 5 整除的 a有a^(5-1) a^4 ≡ 1 (mod 5)这是费马小定理。这个定理告诉我们a^n mod 5的值随着 n 的增大会以 4 为周期进行循环。因为a^(n4) ≡ a^n * a^4 ≡ a^n * 1 ≡ a^n (mod 5)。也就是说a^n mod 5的结果只取决于n mod 4。让我们手动验证一下这个规律分别计算底数 1, 2, 3, 4 在模 5 下的幂循环对于底数 11^n mod 5 1恒为 1周期是 1自然也满足周期 4。对于底数 22^0 mod 5 12^1 mod 5 22^2 mod 5 42^3 mod 5 8 mod 5 32^4 mod 5 16 mod 5 1(回到起点验证了2^4 ≡ 1 mod 5)所以序列是[1, 2, 4, 3]周期为 4。对于底数 33^0 mod 5 13^1 mod 5 33^2 mod 5 9 mod 5 43^3 mod 5 27 mod 5 23^4 mod 5 81 mod 5 1所以序列是[1, 3, 4, 2]周期为 4。对于底数 44^0 mod 5 14^1 mod 5 44^2 mod 5 16 mod 5 14^3 mod 5 64 mod 5 44^4 mod 5 256 mod 5 1所以序列是[1, 4, 1, 4]周期为 2也是 4 的约数。现在我们的目标S(n) (1^n 2^n 3^n 4^n) mod 5。根据上面的循环规律S(n)也应该只与n mod 4有关。我们可以预先计算出当n mod 4分别等于 0, 1, 2, 3 时S(n)的值。令r n mod 4。当r 0(即 n 是 4 的倍数):S (1^0 2^0 3^0 4^0) mod 5 (1111) mod 5 4 mod 5 4当r 1:S (1^1 2^1 3^1 4^1) mod 5 (1234) mod 5 10 mod 5 0当r 2:S (1^2 2^2 3^2 4^2) mod 5 (1441) mod 5 10 mod 5 0当r 3:S (1^3 2^3 3^3 4^3) mod 5 (1324) mod 5 10 mod 5 0注意这里有一个非常有趣的发现除了当n是 4 的倍数即n mod 4 0时结果为 4其他三种情况n mod 4为 1, 2, 3时结果都是 0。这个规律比我们预想的还要简单。所以问题一下子被简化了我们不需要分别计算四个幂的模然后求和只需要判断巨大的整数 n 是否是 4 的倍数。如果是输出 4否则输出 0。3. 核心挑战如何判断一个超大整数是否是4的倍数现在问题从数学规律寻找转变为了一个编程实现问题给定一个可能长达 10^5 位的十进制数字符串n如何高效地判断它是否是 4 的倍数这是一个经典的“大数模运算”问题。对于较小的除数我们有不直接处理大数本身的方法。判断一个数是否能被 4 整除有一个众所周知的数学规则一个整数能被 4 整除当且仅当它的最后两位数字组成的数能被 4 整除。原理简述任何一个十进制整数都可以写成... a*100 b*10 c的形式即... (a*25*4) (b*10 c)。因为100是4的倍数所以更高位百位及以上的部分一定是 4 的倍数。因此整个数除以 4 的余数完全由最后两位数字组成的数(b*10 c)除以 4 的余数决定。举个例子数字123456。最后两位是56。56 / 4 14能整除所以123456一定能被 4 整除。验证123456 / 4 30864。因此无论n这个字符串有多长我们只需要看它的最后两个字符将它们转换成一个两位数然后判断这个两位数mod 4是否等于 0 即可。边界情况处理n 只有一位数例如n “8”。这时“最后两位”就是它本身即8。8 mod 4 0所以是 4 的倍数。n 是 “0”根据题目上下文n 是正整数但理论上如果输入 “0”最后两位000 mod 4 0也是 4 的倍数。结果应为 4因为0 mod 4 0。在实际竞赛中需要确认输入范围通常 n 是正整数不包含前导零但“0”本身可能是一个特例。不过根据我们推导的公式(1^0 ...) mod 5 4逻辑上是一致的。所以算法步骤清晰得令人发指读取字符串n。获取n的最后两位数字。如果n长度小于 2则取整个字符串。将这个两位数字符串转换为整数last_two。如果last_two % 4 0则输出4否则输出0。时间复杂度是 O(1)空间复杂度也是 O(1)完美处理了n可能极大的限制。4. 代码实现与不同语言下的细节处理虽然算法逻辑简单但在不同编程语言中实现时仍有一些细节需要注意。下面我将用几种常见的竞赛语言C, Python, Java来展示实现并说明关键点。4.1 C 实现C 中需要处理字符串输入和子串提取。#include iostream #include string using namespace std; int main() { string n; cin n; int len n.length(); int lastTwo; // 获取最后两位数字代表的整数 if (len 1) { lastTwo n[0] - 0; // 单个字符转数字 } else { // 取倒数第一个和倒数第二个字符 lastTwo (n[len-2] - 0) * 10 (n[len-1] - 0); } // 判断并输出 if (lastTwo % 4 0) { cout 4 endl; } else { cout 0 endl; } return 0; }关键点n[len-2] - 0这是一个将字符数字转换为整型数字的常用技巧。字符‘0’到‘9’在 ASCII 表中是连续的所以‘5’ - ‘0’的结果就是整数5。当len为 1 时n[len-2]会访问越界所以必须单独判断。4.2 Python 实现Python 处理字符串和大整数非常方便代码极其简洁。n input().strip() # 读取字符串去除可能的换行符/空格 # 直接取最后两位如果不足两位则取整个字符串 last_two_str n[-2:] if len(n) 2 else n last_two_int int(last_two_str) if last_two_int % 4 0: print(4) else: print(0)关键点n[-2:]是 Python 的切片语法表示从倒数第二个字符到末尾非常直观地获取了“最后两位”。int()函数可以直接将字符串转换为整数即使字符串以‘0’开头如“04”也能正确处理。Python 的简洁性在这里体现得淋漓尽致核心逻辑就三行。4.3 Java 实现Java 的实现思路与 C 类似但使用Scanner和String类的方法。import java.util.Scanner; public class Main { public static void main(String[] args) { Scanner scanner new Scanner(System.in); String n scanner.next(); int len n.length(); int lastTwo; if (len 1) { lastTwo n.charAt(0) - 0; } else { lastTwo (n.charAt(len - 2) - 0) * 10 (n.charAt(len - 1) - 0); } if (lastTwo % 4 0) { System.out.println(4); } else { System.out.println(0); } scanner.close(); } }关键点使用scanner.next()读取字符串。使用charAt(index)获取特定位置的字符同样需要用- ‘0’进行转换。5. 常见错误与思维陷阱这道题在比赛中很多选手即使找到了“判断最后两位”的规律依然可能出错。以下是我在实战和教学过程中总结的几个常见坑点陷阱一误用费马小定理的周期直接计算n mod 4这是最容易掉进去的坑。一些选手知道要用n mod 4于是尝试去计算这个大数n除以 4 的余数。他们可能会用循环处理大数字符串模拟除法运算来求n % 4。这当然是可行的时间复杂度 O(len(n))对于 10^5 的长度也完全能接受。但是这属于“杀鸡用牛刀”并且增加了代码复杂度和出错概率。更重要的是它没有抓住“整除4”判断的最优法则最后两位。在竞赛中追求代码的简洁、高效和可靠是第一位的。陷阱二对“最后两位”的处理不当边界情况当n的长度为 1 时必须单独处理否则访问n[-2]或n.charAt(len-2)会导致运行时错误索引越界。前导零影响如果最后两位是像“04”这样的形式int(“04”)在 Python 中结果是44 % 4 0判断正确。但在一些自己实现字符串转数字的逻辑中如果忽略了十位上的‘0’可能会错误地只取了个位4而实际上“04”和“4”在作为两位数判断时是不同的04是4的倍数但4也是4的倍数所以这个例子结果巧合相同。但考虑“20”和“0”如果只取最后一个字符‘0’就会把20是4的倍数误判为0也是4的倍数结果虽然碰巧对但逻辑是错的。最稳妥的办法就是严格按照“最后两个字符”来操作。陷阱三结果输出错误我们推导的规律是n是 4 的倍数时输出4否则输出0。但有些选手可能会因为记忆混淆或测试不全面输出1或5等其他数字。务必在编码后用几组测试数据验证n “4”(最后两位4, 4%40) - 输出应为4。n “5”(最后两位5, 5%41) - 输出应为0。n “12”(12%40) - 输出应为4。n “123456”(56%40) - 输出应为4。n “123457”(57%41) - 输出应为0。陷阱四被题目名字和形式吓到试图进行复杂数学推导或大数运算这是心理层面的陷阱。“Maths”这个词和巨大的n容易诱导人去想欧拉定理、快速幂、大数类等复杂概念。但实际上这道题的精髓在于“化简”。竞赛中很多数学题都是这样最终的实现代码可能非常简单但思维过程需要绕几个弯。关键在于训练自己先进行纸笔推理、寻找规律的习惯而不是一上来就敲代码。6. 举一反三类似问题的解题模式“B-Fedya and Maths”代表了一类经典的竞赛题目我称之为“大数背景下的模运算周期性问题”。它的解题模式可以总结如下识别模运算环境题目通常要求计算一个表达式对某个较小整数M常见的有 5, 7, 10, 1000000007 等取模的结果但输入数据如指数n极大。寻找循环节利用数论知识费马小定理、欧拉定理或直接暴力枚举前几项找出底数在模M意义下的幂次循环规律。循环节长度通常是φ(M)或其约数。化简问题将原问题中依赖于巨大指数n的计算转化为依赖于n mod T的计算其中T是找到的循环节长度或相关周期。高效计算n mod T由于n很大需要高效计算n除以T的余数。这里需要根据T的特点选择方法如果T是 2、4、5、8、10 等特殊数有基于数字最后几位或各位之和的快速判断法则。如果T没有特别简单的法则则需要模拟大数除法用n的字符串形式逐位计算余数时间复杂度为 O(len(n))对于长度 10^5 也是可行的。得出答案根据n mod T的值直接查表或计算得到最终结果。同类题目举例计算a^b mod m其中b很大使用快速幂算法结合b的二进制表示在计算过程中不断取模。这其实是上述思路的一种自动化实现。给定一个递归定义的数列求第 N 项模 M 的值N 很大通常需要找出数列在模 M 下的循环节可能通过计算数列前若干项直到出现重复的(a_i, a_{i1})状态对。判断一个巨大数字能否被某个数整除就像本题一样利用整除的数学特性如被 3/9 整除看各位和被 4 整除看末两位被 8 整除看末三位被 11 整除看奇偶位差等。掌握这种“化大为小寻找周期”的思维是解决许多编程竞赛中数学题的关键。它要求我们不仅仅是一名码农更要像一个数学家一样思考发现并利用问题中隐藏的结构和模式。这道“B-Fedya and Maths”就是一个绝佳的入门例子它用最简洁的形式展示了这种思维力量的强大之处。下次再遇到看似需要“超级计算”的问题时不妨先停下来想想有没有可能答案只是一个简单的周期函数