我们面对一个 Problem，如排序问题时，我们会想到相应的候选算法如快速排序（Quicksort），归并排序（Merge sort）和堆排序（Heapsort）等，然后我们会去分析它们相应的时间复杂度和空间复杂度，以选取符合我们应用场景和需求的一个作为 Solution。
但在我们实现算法后，往往我们不知道或者不会去做的一步是 证明算法的正确性 。
|
|
相关文章推荐
|
玩足球的登山鞋 · 计算机图形学算法 CGAL 模型减面 ...· 3 周前 · |
|
|
瘦瘦的菠萝 · 英特尔® 多线程应用开发指南 - ...· 1 年前 · |
|
|
时尚的蘑菇 · Stable Diffusion ...· 1 年前 · |
|
|
冲动的显示器 · excel checkbox 互斥-掘金· 1 年前 · |
|
|
坏坏的板栗 · 具有不同ORDER ...· 1 年前 · |
|
|
刀枪不入的小摩托 · Quartz-Cron表达式统计最近几次的执 ...· 1 年前 · |