发表于 | 更新于 | 分类于 | 评论数：
本文字数： 1k | 阅读时长 ≈ 0:01
例子 抽象例子 12345678910Procedure ALG #P Init #I while C #I and C S #I and not C Follow #Q 目标：P{ALG}QP\{ALG\}QP{ALG}Q ...
阅读全文 »

发表于 | 更新于 | 分类于 | 评论数：
本文字数： 70 | 阅读时长 ≈ 0:01
介绍 一个简约的日程管理软件。 您可以给日程分类，打上标记，选择推迟或设置重要性。 链接 反馈收集 请于下方评论区留言，谢谢。
阅读全文 »

发表于 | 更新于 | 分类于 | 评论数：
本文字数： 4k | 阅读时长 ≈ 0:04
Constructing a Number 计算用给出数的所有数位能否组成一个 333 的倍数 按位累加判断是否是 333 的倍数。 1234567891011121314151617181920212223#include <iostream>#include <cstdi ...
阅读全文 »

发表于 | 更新于 | 分类于 | 评论数：
本文字数： 5k | 阅读时长 ≈ 0:04
伽罗瓦云：五次及以上多项式方程没有根式解。但面对生活中求解各种复杂方程的真实需求，是否束手无策？非也，今用牛顿迭代法高效求解方程的近似根。本文介绍了牛顿迭代法的推导和其计算机实现，并使用牛顿迭代法实现了开方等运算。 牛顿迭代法 定义 我们已知：微分是曲线的线性逼近。 对于二阶连续可导函数 y ...
阅读全文 »

发表于 | 更新于 | 分类于 | 评论数：
本文字数： 6k | 阅读时长 ≈ 0:06
以下代码中的定义： mindiv[i]: i的最小质因子 phi[i]: 欧拉函数i的值 mindivq[i]: i的最小质因子的个数 d[i]: i的约数个数 sumd[i]: i的约数和 miu[i]: 莫比乌斯函数i的值 inv[i]: i在mod n意义下的乘法逆元 标准筛法 欧拉筛 ...
阅读全文 »

发表于 | 更新于 | 分类于 | 评论数：
本文字数： 3k | 阅读时长 ≈ 0:03
感谢来读，语文不好，表达有问题的还请指出。以下这段只是我的吐槽，可以跳过。 这个“助手”是这样来的：写题的时候，用了vscode后根本无法忍受devcpp的“丑陋”，然而vscode对C++的编译支持的并不好，一时间陷入两难。最终决定写个程序简化编译等做题中常用的功能，现在配合vscode十分舒 ...
阅读全文 »

发表于 | 更新于 | 分类于 | 评论数：
本文字数： 209 | 阅读时长 ≈ 0:01
版本 1.3 引入了 Lambda 表达式 示例：(x,y,z)=>(x+y+z) 可以使用 Lambda 表达式 表示函数，如果配合 func 则能定义极为复杂的函数 我们使用 Lambda 表达式 重写了 求导和积分 的表达方式，现在的表达更加自然 diff((x)=>x ...
阅读全文 »
0%