C++如何判断一个整数是否为强素数(Strong Prime)-C++-PHP中文网

强素数是数论中定义的素数p_n，满足p_n > (p_{n-1} + p_{n+1})/2，即严格大于其前后相邻素数的平均值；需预筛素数表并用二分查找定位索引，再验证边界与不等式。

c++如何判断一个整数是否为强素数(strong prime)

什么是强素数？先看定义再写代码

强素数不是标准库函数或语言内置概念，而是数论里的一个定义：一个素数 p 是强素数，当且仅当它严格大于其前后两个相邻素数的平均值。即：若 p_n 是第 n 个素数，则 p_n > (p_{n-1} + p_{n+1}) / 2。注意，最小的几个素数（如 2、3、5）没有前驱或后继，因此通常从第 3 个素数（即 5）开始判断。

这意味着你不能只判断单个数是否为素数，还必须知道它在素数序列中的位置，以及它的前一个和后一个素数——所以「判断强素数」本质上是个**上下文依赖操作**，不是单个整数的独立属性。

如何获取前驱/后继素数？别硬算，用预生成+二分

暴力对每个查询都向前向后试除找邻近素数，效率极低，尤其当输入可能达 10⁵ 或更高时。更实用的做法是预先筛出足够范围内的素数（比如用埃氏筛到 10⁶），存进 std::vector<int></int>，再用 std::lower_bound 定位目标值。

若 lower_bound 找到的是 vec.begin() 或 vec.end()，说明该数不在素数表中，直接返回 false
若找到索引 i，需检查 vec[i] == target（避免把合数误判为素数）
确认是素数后，检查 i > 0 && i + 1 ，否则无前驱或后继，按定义不构成强素数
然后计算：vec[i] * 2 > vec[i-1] + vec[i+1]（用乘法避免浮点和整数除法截断问题）

C++ 实现的关键细节和易错点

常见错误不是逻辑写错，而是边界处理漏掉：

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

is_prime(n) 函数如果只用于预筛，就别重复实现；筛完直接查表更快更安全
强素数定义中「严格大于」，所以用 >，不是 >=；例如 11 是素数，前驱 7、后继 13，(7+13)/2 = 10 → 11 > 10，成立
输入为负数、0、1 时，lower_bound 可能越界，必须先排除非正整数
筛表大小要覆盖可能的「后继素数」——比如你要判断 997，就得筛到至少 1009（下一个素数），建议上限设为 max_input * 2 或固定 1.5×10⁶

示例片段（简化版）：

std::vector<int> primes = sieve(1200); // 确保含 997 和 1009
int x = 11;
auto it = std::lower_bound(primes.begin(), primes.end(), x);
if (it == primes.end() || *it != x) return false;
int i = it - primes.begin();
if (i == 0 || i == (int)primes.size()-1) return false;
return primes[i] * 2 > primes[i-1] + primes[i+1];
</int>