伪代码

概述

伪代码 是CLRS中用于描述算法的形式化描述语言。它介于自然语言与编程语言之间，结构清晰、无歧义，便于表达算法的逻辑而不依赖特定编程语言的细节。

定义

伪代码

CLRS伪代码是一种结构化的算法描述语言，使用缩进表示块结构（如循环体、条件分支体），采用类似Pascal/Python的语法风格，旨在精确表达算法逻辑同时保持可读性。

核心性质

• 缩进表示块结构：不使用花括号，而是通过缩进层级表示代码块的嵌套关系。
• 数组下标从1开始：遵循数学惯例，数组 $A$ 的元素为 $A[1],A[2],\dots ,A[n]$（而非从0开始）。
• 赋值使用 $\leftarrow$：如 $x\leftarrow A[j]$ 表示将 $A[j]$ 的值赋给 $x$。
• 关键字：for、while、if、then、else、return、to、by、do 等。
• 参数传递：默认按值传递（标量），数组按引用传递。
• 注释：用 $▹$（双右箭头）引出注释。

章节扩展

第2章：入门

• 2.1 插入排序：首次使用伪代码描述 INSERTION-SORT 过程，展示了伪代码的基本语法规范。
• 2.3 分治法：使用伪代码描述 MERGE-SORT 和 MERGE 过程，展示了递归算法的伪代码表达方式。

参见

• 算法
• 插入排序
• 归并排序