-
一致性算法验证
分布性一致性算法的Isabella验证 we introduce a novel Broadcast-Free Algorithm that solves Consensusproblem in the presence of a Weak-Fairness property and an unreliablefailure detector -property, in asynchronous distributed systems, and later itsformal verication. The Broadcast-Free Algorithm Model is dened as a globaltransition system that is unambigously generated by local transition rules. At thesystem run, the algorithm model attempts involves two concepts : one to systemrun represents a innite computation and one to asynchronous communicationbetween processes without Broadcast.
- 2022-01-25 17:35:22下载
- 积分:1
-
堆排序算法的实现,不错的哦
堆排序算法的实现,不错的哦-heap sorting algorithm to achieve good oh
- 2023-06-01 09:10:03下载
- 积分:1
-
雅可比迭代等一些程序
雅可比迭代等一些程序-Jacobi iterative procedures such as
- 2022-03-04 01:26:36下载
- 积分:1
-
计算FFT的任何序列及其C语言写的
Calculates the FFT of any sequence and its written in C language
- 2023-06-26 22:00:03下载
- 积分:1
-
行编辑算法:可将输错的单个字符删除,也可将又错误的一行字符删除。操作简便。用栈来实现上述功能。...
行编辑算法:可将输错的单个字符删除,也可将又错误的一行字符删除。操作简便。用栈来实现上述功能。-line editor algorithm : can be wrong deletion of a single character, and it can also wrong to delete his characters. Easy to operate. Stack used to achieve the above functions.
- 2022-02-02 23:01:42下载
- 积分:1
-
找钱张数最少
二、问题
现只有面额为 11元、5元、1元的三种人民币。
给定一个 数目为 money 的人民币,如何用这三种面额的人民币 找开它,且用的人民币张数最少
如:给定 10元,我们可以有以下找法:
2张 5元面额
1张 5元面额 + 5 张 1元面额
10张 1元面额
我们 选择第一种找法。只用两张人民币。
三、分析
利用动态规划法可以找到最优解。
利用贪心算法可以找到最优解(问题满足贪心选择性质时。该找钱问题在 11、5、1三种面额的情况下不满足该性质)
或者找到近似 最优解(在本题设定的三种面额的情况下 便是如此)
如果现在要找开 15元钱,则
- 2022-03-06 11:17:09下载
- 积分:1
-
自己编写的一些小程序,希望对初学者有理解C语言帮助
自己编写的一些小程序,希望对初学者有理解C语言帮助-I have written a number of small procedures, in the hope that beginners have to understand C language help
- 2022-03-13 06:43:43下载
- 积分:1
-
RLS和遗传算法的PID在线整定
RLS和遗传算法的PID在线整定,优化效果较好,在线整定控制PID参数
- 2022-11-02 00:10:03下载
- 积分:1
-
滤波求大气风暴轴EKE
采用滤波方法来求取地球大气风暴轴EKE的一种算法,国内外已经有专家进行过这方面的研究,这是个人自编的算法代码
- 2022-03-07 18:26:19下载
- 积分:1
-
md5 类实现了RSA Data Security, Inc.在提交给IETF 的RFC1321中的MD5 message...
md5 类实现了RSA Data Security, Inc.在提交给IETF 的RFC1321中的MD5 message-digest 算法。 -md5 category achieved RSA Data Security, Inc. Submitted to the IETF RFC1321 The MD5 message-digest algorithm.
- 2022-10-14 07:35:03下载
- 积分:1