计算机科学算法伪代码撰写.pdfVIP

为什么算法如此重要？

算法始终是计算机科学领域许多的贡献；

这些算法往往是数月辛勤工作的成果；

一个算法的提交通常是基于大量讨论、头脑风暴、原型设计、测试、分析以及对

细节的反复辩论。

Whyisthealgorithmsoimportant?

Algorithmisalwaysthecorecontributioninmanypapersincomputerscience;

Thesealgorithmsareoftentheproductofmothsofhardwork;

Analgorithmisusuallysubmittedbasedonagreatdetailofdiscussion,

barnstorming,prototyping,testing,analysis,anddebateoverdetails.

如何在中描述算法？

Howtodescribealgorithmsinapaper?

一个算法的展示

a.它了一种新的或更好的方法来计算结果。

b.为了解释一个复杂的过程。

c.为了展示计算结果的可行性，而无需考虑代价，或者为了展示某个问题是可

判定的。

•正确性的形式化证明

•性能

•一个实验验证。当这样的演示时，应明确说明的。

Presentationofaalgorithm

a.Itprovidesaneworterwaytocomputearesult.

b.Inordertoexinacomplexprocess.

c.Inordertoshowitisfeasibletocomputearesult,regardsofthecost,orto

showthataproblemisdecidable.

•Aformaldemonstrationofcorrectness

•Performance

•Anexperimentalvalidation.

Whensuchdemonstrationsareabsent,thereasonfortheabsenceshouldbeclear.

读者会期望找到什么？

a.构成算法的步骤。b.算法的输入和输出，以及算法使用的数据结构。

c.算法的应用范围及其局限性。d.能够证明正确性的性质（即前提条件、后

置条件和循环不变式）。e.正确性的证明。f.对空间和时间需求的复杂度

分析。g.验证理论结果的实验。

Whatareaderwouldexpecttofind?

a.Thestepsthatmakeupthealgorithm.

b.Theinputandoutput,andtheinternaldatastructuresusedbythealgorithm.

c.Thescopeofapplicationofthealgorithmanditslimitations.

d.Thepropertiesthatwillallowdemonstrationofcorrectness(i.e.,preconditions,

postconditions,andloopinvariants).

e.Ademonstrationofcorrectness.

f.Acomplexityanalysis,forbothspaceandtimerequirements.

g.Experimentsconfirmingthetheoreticalresults.

形式化方法

a.列表风格，算法被分解为一系列编号或命名的步骤，并且循环

涉及多个步骤的用“转到步骤X”语句表示。b.伪代码，算法如同用块结构语言编

写的一样呈现，