24.七-断言方法,判断质数

绝对素数:绝对素数是指本身是素数,其逆序数也是素数的数。例如:10321与12301是绝对素数。 笔者说:“ 以下代码为笔者大一初入C语言的笔记与作业,谨以此记录我的C学习生涯,重要之处皆有注释,若有疑问大可评论区留言。” 题目描述 绝对素数是指本身是素数,其逆序数也是素数的数。例如:10321与12301是绝对素数。编写一个程序,求出所有m~n(m≥11,n≤1000)之间的绝对素数。程序要求实现两个自定义函数,prime(n)用于判断一个整数n是否是素数,是则返回1,否则返回0;inv(n)用于对整数n进行逆序,函数返回逆序后的整数。主函数通过调用上述两个自定义函数实现绝对素数的判断和输出。 输入 阅读详情
from count_zhishu import is_prime
import unittest

class Test(unittest.TestCase):
    def setUp(self):
        'test1'
        #number =input("Enter a number:")
        #self.number=int(number)
        print("test start")

    def test_case(self):
        ' test1'
        #self.assertEqual(self.number,10,msg="Your input is not 10!")
        ' test2'
        #self.assertTrue(is_prime(6),msg="Is not prime!")

        a="hello"
        b="hello world"
        self.assertIn(a,b,msg="a is not in b")

    def tearDown(self):
        pass
if __name__=="__main__":
    unittest.main()
结果:
test start
.
----------------------------------------------------------------------
Ran 1 test in 0.008s


OK


Meta IMO级AI:断言驱动的数学推理新范式 数学推理正从端到端答案生成转向可审计、可验证的中间过程建模。其核心在于将人类模糊的‘结构直觉’转化为符号-几何联合表征下的可验证中间断言,依托形式化验证器(如Lean)实现推理链的实时反馈与纠错。这种断言驱动架构不仅提升逻辑严谨性,更支撑金融风控建模、芯片形式验证、密码协议分析等强可靠性场景。相比传统Seq2Seq模型,它通过双编码器解耦符号逻辑与几何语义,并以自回归约束机制模拟人类反思能力——真正让‘灵光一现’变成可追溯、可干预、可工程化的确定性模块。 阅读详情

相关推荐

蓝桥杯国赛真题解析:同余质数筛法与工程化思维

自然数序列生成是编程基础概念,但其背后常隐含数论约束与算法优化挑战。当涉及‘模7余3的质数’这类同余类质数筛选时,问题本质升华为狄利克雷定理下的等差数列质数分布建模。理解质数密度、上界估算与筛法空间压缩原理,是突破暴力遍历瓶颈的关键技术路径。该类问题广泛应用于密码学安全素数生成、分布式ID设计及竞赛算法优化场景,核心价值在于将数学抽象准确转化为高性能、低内存、可验证的工程实现。

weixin_34159110的博客 480

如何判断质数

输入n个整数m,判断它们是否为质数。如果是输出“YES”,否则输出“NO”(1≤n≤50)。第2-n+1行每行为一个正整数m(0≤m≤10000000)。输出文件有n行数据,每行分别是“YES”或者“NO”。输入文件有n+1行数据,第一行为n,

yuanshen_king的博客 274

24、C 语言编程:程序构建、调试与分析

本文详细介绍了C语言编程中程序构建、调试与分析的关键步骤和技术。内容涵盖从程序结构设计、源文件编译、静态库创建到可执行程序链接的完整构建流程,同时讨论了如何通过静态断言和运行时断言验证程序假设,提升代码可靠性。此外,还解析了在不同软件开发阶段(如构建、调试、测试、优化和发布)中如何选择合适的编译器标志,以增强代码的安全性、可调试性和性能。文章通过实例演示了GCC、Clang和Visual C++的常用编译选项,并总结了整个开发流程的实践建议。

php55的博客 112

7-4 判断素数 (10分)

本题的目标很简单,就是判断一个给定的正整数是否素数。 输入格式: 输入在第一行给出一个正整数N(≤ 10),随后N行,每行给出一个小于2​31​​的需要判断的正整数。 输出格式: 对每个需要判断的正整数,如果它是素数,则在一行中输出Yes,否则输出No。 输入样例: 2 11 111 输出样例: Yes No 需要注意的是对于大素数是否超时,还有1不是素数。 #include <bits/stdc++.h> using namespace std; int main() { long

qq_45828951的博客 2285

双有源桥(DAB)进阶:EPS调制策略与Matlab/Simulink仿真实践

本文深入探讨了双有源桥(DAB)的扩展移相(EPS)调制策略及其在Matlab/Simulink中的仿真实践。通过分析EPS的两种黄金调制策略——回流功率消除和电流应力优化,结合实际工程案例,展示了如何提升DAB系统的效率和性能。文章还详细介绍了Simulink模型搭建要点和关键仿真结果,为工程师提供了实用的技术参考。

weixin_33734785的博客 484

宇树机器人G1二次开发:导览、起始点、目的地与完整示例

通过宇树G1 SDK的导航接口,开发者可以高效地实现机器人的自主移动功能。连接 -> 设置目标点 -> 发送命令 -> 监控状态。本文提供的完整示例涵盖了从环境搭建到代码实现的全部步骤,并解释了起始点、目的地等关键概念。开发者可以在此基础上,结合多目标点巡逻、动态避障(需高级配置)等功能,构建更复杂的机器人应用。建议读者先在小范围、熟悉的平坦环境中测试,成功后再逐步扩展到更复杂的场景。

m0_52645558的博客 748

绝对素数是指本身是素数,其逆序数也是素数的数。例如:10321与12301是绝对素数。编写一个程序,求出所有m~n(m≥11,n≤1000000)之间的绝对素数。

绝对素数是指本身是素数,其逆序数也是素数的数。例如:10321与12301是绝对素数。编写一个程序,求出所有m~n(m≥11,n≤1000000)之间的绝对素数。 JAVA垃圾代码实现 import java.util.Scanner; public class Test { public static void main(String[] args) { Scanner...

qq_42818946的博客 2376

告别OLE!Delphi操作Excel的3种轻量级方案横向评测(FlexCel/XLSReadWriteII/LibXL)

本文深入评测了Delphi操作Excel的三种轻量级方案:FlexCel、XLSReadWriteII和LibXL。通过技术架构、API设计、性能测试和实战案例的全面对比,帮助开发者选择最适合的工具,提升Excel文件处理效率,告别传统OLE方案的依赖和性能问题。

onion的博客 929

序位算术的基础:经由融智学三理想结构,消解质数中心主义

摘要 本文挑战了延续两千余年的算术基本定理(AFT)将质数视为自然数“原子”的传统观点,提出“质数中心主义”是范畴论偏见——它过度强调乘法分解而忽略了自然数的序位(Rank)本质。基于融智学的三理想结构(单一/分层/分类集合与态射/函子/自然变换映射)与三大定律(序位守恒、同义转换、全域测序),研究证明:序位才是算术的绝对不变量,质数分解仅是特定代数语境(Th×)下的态射表现。通过进制转换的函子性涌现(如1010₂↔10₁₀)揭示,数学实在的深层结构由序位测序而非质数乘法支配,标志着数学基础从集合论向序位认

geneculture的专栏 356

Windows 11 IoT企业版LTSC 24H2/25H2中文版安装指南(含OEM激活教程)

本文详细介绍了Windows 11 IoT企业版LTSC 24H2/25H2中文版的安装与OEM激活全流程。从系统镜像准备、硬件兼容性检查到自动化安装配置,再到OEM激活方案(包括SLIC注入和数字许可证激活),为工业自动化、数字标牌等物联网设备提供稳定可靠的系统部署指南。

weixin_29198045的博客 8864

PyTorch 面试题及详细答案120题(54-70)-- 模型训练与评估

本文介绍了PyTorch模型训练的基本流程和核心概念。主要内容包括: 模型训练基本流程:通过代码示例展示了数据准备、模型定义、损失函数和优化器选择、训练循环(前向传播、反向传播、参数更新)的完整过程,并包含验证集评估的实现。 训练过程中的关键概念: Epoch:完整遍历一次训练集 Batch:将数据分成小批次 Iteration:一个Batch的参数更新过程 三者关系:1 Epoch = N/B Batch = N/B Iteration(N为样本数,B为batch_size) PyTorch数据加载机制:

大剑师兰特的GIS世界 489

软件测试第三次作业主路径覆盖测试

Primes.java 1 package findPrimes; 2 3 public class Primes { 4 5 private final static int MAXPRIMES = 100; 6 7 private boolean isDvisible(int a, int b) { 8 ...

ddbw0711的博客 255

【推荐100个unity插件之8】实现多人在线联机游戏——Mirror插件的使用介绍(附项目源码)

基于Mirror的Unity多人游戏开发指南 本文介绍了使用Mirror插件开发Unity多人游戏的基本流程。Mirror是Unity的高级网络API,替代了已废弃的UNet系统。文章详细讲解了如何导入Mirror插件,创建NetworkManager网络管理器,处理常见错误,以及创建玩家角色和出生点。 主要内容包括: 创建场景NetworkManager并配置必要组件 为玩家添加NetworkIdentity和NetworkTransform组件 设置玩家初始生成位置和生成方式 常见错误及解决方法 通过M

向宇的博客,专注php/web全栈 unity游戏开发,欢迎大家评论纠错 1万+

HarmonyOS ArkTS API 24 班级管理助手当 `build()` 方法或 `@Builder` 方法中读取了某个 `@State` 变量,框架会记录该 UI 片段依赖此变量

健身管理类应用与之前分析的外卖、招聘等应用有本质差异——它的核心数据不是"交易"或"任务",而是"时间序列的身体状态数据":每次训练有时长、卡路里、组数、重量;每次饮食有热量、蛋白质、碳水、脂肪;每周有运动时长趋势图。这些数据的共同特征是"随时间积累,用户需要横向对比和趋势分析"。这导致健身App的数据层设计必须从第一天就考虑"历史数据查询"和"多维度聚合"的需求,而非仅关注当前单条记录的增删改查。健身应用的用户行为模式也有独特之处:用户使用健身App的目标是"坚持",而不是"一次性完成任务"。这意味着激励

2301_79516720的博客 328

YOLOv5算法改进(22)— 更换主干网络MobileNetv3 + 添加CA注意力机制

本节课就让我们结合论文来对YOLOv5进行组合改进(更换主干网络MobileNetv3 + 添加CA注意力机制),小白必学~!🌈

小哥谈 2817

snmp MIB详解

每个 MIB 对象都由一个对象标识符(OID)和对象类型组成。OID 是一个由多个数字组成的路径(类似于 IP 地址),它标识了 MIB 中对象的层次结构。

dlz0836的博客 3722

junit测试类的编写

junit 测试类可以直接通过eclipse自带功能来编写框架 我们设置文件class名为checktest eclipse为我们自动生成下列形式 的文件 我们只需要修改test中的内容即可 import static org.junit.Assert.*; import org.junit.Test; public class TestGeneratePrimes {...

qq_40760706的博客 2万+

WINCC7.3破解文件

WINCC7.3硬件够破解文件,有需要的下载!WINCC7.3硬件够破解文件,有需要的下载!

唯一分解定理

唯一分解定理,也叫算术基本定理,指的是任何n>=2,都可以分解为n=p1*p2*p3*.....pn,其中pi为质数。 其包括两个断言:断言1:数n可以以某种方式分解成素数乘积。 断言2:仅有一种这样的因数分解。(除因数重排外)。 其可以化简为 n=p1^x1*p2^x2*p3^x3.....pn^xn。其中pi均为质...

weixin_30793643的博客 230

C# WinForm 基于DirectShow.dll编写的程序,可边预览边保存视频,音频和图片

基于微软的DirectShow.dll的二次开发1.自动识别连接的摄像头跟麦克风且可以对其进行选择(默认选中第一个)2.可录制wmv和avi两种格式的视频并且都带有音频,avi可以录制的分辨率和帧数进行选择,wmv默认进行了淸晰度优化如不喜欢可去除代码中有相关提示3.可在预览点开之后进行拍照,也可边录制视频边拍照4.添加了视频和音频的压缩功能(酌情使用)这次二次开发发现C#对DirectShow的相关信息太少,这次做完也不敢藏私共享出来,还望大家指正

复分析 阿尔福斯(Ahlfors) 第三版答案 英文

答案分为十章,有部分习题没有答案,全英文复分析阿尔福斯(Ahlfors) 第三版答案

数论概论读书笔记 24.哪些素数可表成两个平方数之和

哪些素数可表成两个平方数之和 定理 设ppp是素数,则ppp是两平方数之和的充要条件是p≡1&nbsp;(mod&nbsp;4)p≡1&nbsp;(mod&nbsp;4)p\equiv 1 \ (mod \ 4) 或p=2p=2p=2 这里有两个断言 断言A ppp是两平方数之和 断言B p≡1&nbsp;(mod&nbsp;4)p≡1&nbsp;(mod&nbsp;4)p\e...

Feynman1999的博客 2785

android 蓝牙通讯demo

android 下蓝牙通讯demo,实现了发现蓝牙,使能蓝牙,通过蓝牙发送消息。

python问题描述_“鬼谷子问徒”问题的简明描述和Python表达

按百度百科:http://baike.baidu.com/view/1127810.htm"""鬼谷子问徒本题为广为流传的一经典逻辑推理题目,原题如下:孙膑,庞涓都是鬼谷子的徒弟。一天鬼谷子出了这道题目:他从2到99中选出两个不同的整数,把积告诉孙,把和告诉庞;庞说:我虽然不能确定这两个数是什么,但是我肯定你也不知道这两个数是什么。孙说:我本来的确不知道,但是听你这么一说,我现在能够确定这两个数字...

weixin_42515376的博客 502

C++模板本质:编译期元编程与类型安全实践

C++模板不是泛型语法糖,而是深度绑定编译器的元编程机制——它在符号解析后、代码生成前完成类型实例化,生成零开销、硬件适配的专用指令。其核心价值在于编译期类型推导、静态约束与特化能力,支撑高性能系统(如高频交易、嵌入式固件)实现类型安全与极致优化。典型应用场景包括函数模板的SFINAE容错、类模板偏特化定制行为、可变参数模板构建类型安全日志,以及C++20前基于static_assert和decltype的契约式编程。理解template<typename T>背后的实例化时机与推导规则,是突破vector

weixin_30675247的博客 269

费马小定理

转载自:http://www.xieguofang.cn/Maths/Number_Theory/Fermat%27s_Little_Theorem_1.htm#cj2 神奇的费马小定理 (1)  ——从实验、观察、发现到猜想和证明       谢国芳(Roy Xie)                               Email:  roixie@163.com   

zhangxian___的博客 1932

精选著名未解决数学问题概览

本文概述了数学领域100个著名未解决问题,涵盖数论、代数几何、拓扑学、分析学、组合数学等多个分支。包括黎曼假设、P vs NP问题、纳维-斯托克斯方程光滑性等七大千禧年难题,以及孪生素数猜想、哥德巴赫猜想、ABC猜想等经典数论问题。这些问题涉及素数分布、计算复杂性、流体力学、量子场论等基础理论,其解决将深刻影响数学及相关学科发展。部分问题如庞加莱猜想、费马大定理虽已获证,但衍生出新的研究方向。这些问题展现了数学的深度与广度,是推动学科进步的重要动力。

junecauzhang的专栏 1660

离散数学 自学 第一天

第一章 :数理逻辑 1.1,命题 1、判断命题 :一是 陈述语句(断言) ,二是 或真或假 但不可 兼具(未确定 真值也算是命题) 小技巧 :1、含有 不等符号的不是命题;2、不是 陈述句的不是命题 不是 命题的 断言,无法指定 其真假性 表示 悖论; 1.1一个命题 已无法 分解成更简单的命题 ,则这个命题叫做 原子命题或者 本原命题 用 大写字母表示 例如 P : 4 是质数; 1.2 命...

myxk_的博客 743

HarmonyOS 6.1 实战:模块级常量缓存const PODCASTS在模块加载时执行一次buildPodcasts()调用并缓存结果

技术引言HarmonyOS 6.1.1作为华为鸿蒙操作系统的最新迭代版本,搭载了HarmonyOS ArkTS API 24这一强大的应用开发框架。ArkTS API 24在声明式UI范式的基础上进一步强化了状态管理、组件化架构和动画能力,为开发者提供了更加高效、流畅的原生应用构建体验。本文以"QQ电台·播客台"这一播客音频社区应用为例,深入剖析了基于HarmonyOS API 24构建复杂社区型应用的全套技术方案。该应用集成了底部四Tab导航、顶部六分类切换、四种弹窗交互、音波粒子动画特效、七日收听柱状图

2501_92985290的博客 477
上一篇: 23.七-判断质数
下一篇: 25.七-计算器类
lxting21
博客等级 码龄18年 33粉丝 49原创
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付:10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值