PTA打印杨辉三角全解析：递推公式、输出格式与滚动数组优化

PTA 实验7-2-6 打印杨辉三角，题目页面上往往只写一句话：输入一个正整数n，输出n行杨辉三角。看起来人畜无害，但我在带新人的过程中发现，这道题的提交失败率比很多排序题还要高。原因倒不在算法——能写出双层循环的人一抓一大把，真正的拦路虎是输出格式：空格多一个少一个、宽度没对齐、行尾多了个空格，全都会被判定为错误。这篇文章我想从递推原理、实现路线、格式细节、进阶优化和调试习惯五个方面，把这道经典题彻底讲透。不管是刚开始学数组的小白，还是想把这题写出花来的同学，都能找到自己需要的部分。

1. 杨辉三角的递推公式从来不是难点——边界条件才是

先放下代码，回到杨辉三角本身的定义。这题的核心递推只有一个式子：a[i][j] = a[i-1][j-1] + a[i-1][j]。它说的是，第i行第j个数，等于上一行第j-1个数和第j个数相加。为什么是这个式子？因为数字三角形的形状是每一行往右错开一位，视觉上a[i][j]正好站在a[i-1][j-1]和a[i-1][j]的"肩上"，两个父辈相加就是它。

如果你从组合数学的角度看，杨辉三角的第i行第j个数就是二项式系数C(i,j)，组合数有恒等式C(i,j) = C(i-1,j-1) + C(i-1,j)，和上面的递推式完全一致。理解这一点很重要，后面章节讲组合数公式直接输出时，就是从这里延伸出来的。但真正让新手翻车的，不是这个递推式本身，而是它旁边的边界条件。

1.1 每行首尾的1必须单独赋值

每行的第一个数字和最后一个数字都是1。对应到数组下标，就是a[i][0] = 1和a[i][i] = 1。这两个值不能靠递推式计算，因为a[i][0]想用递推式，会去取a[i-1][-1]，下标直接越界；a[i][i]同理，会取到a[i-1][i]，而上一行根本没有这个位置。

标准做法是先把整张表初始化成全0，然后每行首尾赋1，中间部分再用递推式填充：

c复制for (i = 0; i < n; i++) {
    a[i][0] = 1;
    a[i][i] = 1;
    for (j = 1; j < i; j++) {
        a[i][j] = a[i-1][j-1] + a[i-1][j];
    }
}

这样写，i=0那一行执行a[0][0]=1，i=1那一行首尾都是1，中间的循环j=1; j<1不执行，逻辑完全闭合。我见过一位同学只给a[i][0]=1，忘了给a[i][i]=1，结果每行最后一个数字全是0。他自己在本地盯着看了半天没发现，直到拿n=3的样例一对比才反应过来。这种错误特别隐蔽，因为前几行的最后一个数字本来就是1，少赋值一次看起来像"碰巧对了"，到第2行、第3行才露馅。

1.2 数组开多大、要不要初始化，都有讲究

PTA对n的范围一般写在题目里，常见的是1≤n≤10。有些同学一看n≤10就开int a[10][10]，其实下标0到9也够用。但我的习惯是留点余量，开a[15][15]甚至a[20][20]。原因是代码里偶尔会多写一个越界下标，或者调试时想临时打印中间某一行，余量能帮你兜住不少低级错误。C语言的数组越界不报错，表现是神秘的数据错乱，排查起来非常痛苦，所以从一开始就别卡着上限开。

另一个容易忽略的细节是定义数组时顺手初始化：int a[20][20] = {0};。如果不初始化，只有你写过的位置有值，没写过的位置是随机值。虽然最终打印时只打印填过的部分，但一旦循环条件写错一位，打印到没填过的位置，屏幕上就会出现莫名其妙的大数，很难联想到是数组未初始化导致的。初始化的成本几乎为零，但能帮你排除一整类问题。

2. 两条主流的实现路线：全量数组与逐行递推怎么选

搞懂递推之后，实现路线就看个人偏好了。常见的有两条：全量二维数组和逐行递推。两条路线都能AC，但写代码时的心态完全不同，我分开讲。

2.1 全量二维数组：先算完整张表再打印

最简单直白的做法：声明一个二维数组，把所有行的值都算好、都存在表里，然后从头到尾统一打印。打印部分的核心代码是这样：

c复制for (i = 0; i < n; i++) {
    for (j = 0; j < (n - 1 - i) * 2; j++) {
        printf(" ");
    }
    for (j = 0; j <= i; j++) {
        printf("%4d", a[i][j]);
    }
    printf("\n");
}

这里的(n-1-i)*2是前导空格数量，下一章我会详细讲为什么乘以2。这种写法的优点是逻辑和物理结构一一对应：二维表就是三角形本身，调试时随时可以打印任意一行，看看某个位置到底算对了没有。缺点是空间占用是O(n^2)，但对这道题来说完全无压力。

我给新人的建议是：第一次做这道题，优先选二维数组方案。原因很实际——初学阶段最需要的是把问题结构看清楚，而不是省那几百字节内存。先把二维数组的填坑流程走顺，后面的优化才有意义。

2.2 逐行递推：边算边打印，只留上一行

第二种路线是只保留上一行数据，边算当前行边打印。典型代码如下：

c复制int prev[20] = {0}, cur[20] = {0};
for (i = 0; i < n; i++) {
    cur[0] = 1;
    cur[i] = 1;
    for (j = 1; j < i; j++) {
        cur[j] = prev[j-1] + prev[j];
    }

    for (j = 0; j < (n - 1 - i) * 2; j++) printf(" ");
    for (j = 0; j <= i; j++) printf("%4d", cur[j]);
    printf("\n");

    for (j = 0; j <= i; j++) prev[j] = cur[j];
}

这个方案里，计算当前行时循环体只读prev，不碰cur自己，逻辑上不容易串行。代价是每行算完多了一次拷贝循环，把cur的内容复制到prev。注意拷贝循环的结束条件是j <= i，不是j < i，因为当前行有i+1个数。有个同学在这里写成j < i，结果每行最后一个数没复制过去，下一行计算时少了一位，整个三角形从第2行开始就歪了。

2.3 两条路线的直接对比，以及我的选择建议

我的建议很明确：PTA这道题用二维数组，稳妥、直观、好调试。逐行递推适合你把二维数组方案写顺之后，作为进阶练习再做一遍。我自己当年是把两种都写了一遍，写完你会对"每一行只依赖上一行"这个性质有更深的体会，以后学动态规划里的滚动数组时，这个直觉会派上用场。

3. 空格、对齐、换行：PTA评分系统眼里的"格式洁癖"

接下来是重量级内容——格式。这道题挂在PTA上，有相当一部分提交不是答案错，而是Presentation Error，也就是输出格式不符。PTA的判题机制是把你程序的输出和标准答案做逐字符比对，多一个空格、少一个空格、多个换行、少个换行，全都判错。很多人觉得"差不多就行"，但在评测系统面前，差一点都不行。

3.1 为什么说"每个数字占4格"是个硬指标

先记住一个原则：题目要求"每个数占4个字符位、右对齐"时，对应的printf格式是%4d。怎么理解？数字1用%4d打出来是" 1"（三个空格加一个1），数字126用%4d打出来是" 126"（一个空格加126）。没有数字能超过4位，所以每列宽度固定，数字之间自然形成均匀的间距。

如果你把%4d写成%d，输出就会变成"1 1 1"挤成一团，虽然每个数字本身没错，但字符序列和标准输出完全对不上，在PTA判题里等于错了。这类错误有时候会被归到"答案错误"里，因为最终比对的是整段文本，不是逐个数字。

3.2 前导空格数量到底怎么算出来的

这是整个题最容易被低估的细节。要让三角形视觉上居中，每行开头要打多少空格？答案是(n-1-i)*2个。为什么是2倍？因为每个数字占4格，相邻两行之间错开的距离是2格——也就是半格数字宽度。第0行在整个三角形的顶端，前面要空(n-1)*2格，下一行少2格，依此类推。这个推导很多人没搞懂，直接抄别人代码里的printf(" ")写n-1-i次，结果n=6时看着还行，n=10时整体往左偏了一大截。

有的题目描述可能改成"行首不空格"或"每个数后面跟一个空格"，那就按题目来。但如果题目给的是那种标准的居中三角形样例，前导空格用(n-1-i)*2通常就是对的。写代码之前最好先看一眼题目给的输入输出示例，别凭感觉来。

3.3 行尾空格、换行、空行：三宗罪

先讲最容易犯的行尾空格。很多人打完前导空格和数字后，习惯性地在每行末尾补一个空格再换行，觉得这样整齐。但在判题系统看来这就是格式错误，因为标准输出行尾是没有空格的。正确做法是数字打完立刻换行，printf("\n")放在内层循环外面，紧跟最后一个%4d，中间不要有任何多余字符。

再讲换行。每行末尾要有一个换行符，最后一行也要有。有些同学最后一行省略换行，本地看没什么问题，提交直接判错。还有一些同学在行与行之间多打了一个空行，输出行数翻倍，也是必挂。判断标准很简单：题目要求输出n行，你就只输出n行，多一行少一行都算错。

最后提醒：不要用\t代替空格。制表符和空格是两个完全不同的ASCII字符，判题系统不认。就算本地显示效果看起来对齐了，提交照样错。我在社区里见过好几个案例，都是"看起来对齐，但一直PE"，最后发现是tab在作祟。

3.4 怎么在提交前自己验证格式

我习惯用一个很土但有效的方法：把输出重定向到文件，然后和题目样例做逐字对比。Linux/Mac下用diff，Windows下用fc。比对前先打开样例文件里的隐藏空格，或者用cat -A查看，行尾出现$符号就代表没有多余空格。做过一次你就会发现，很多"为什么本地对、提交错"的诡异问题，全是行尾空格惹的祸。

另外一个经验是不要轻易改格式方案。有的同学看到样例里数字之间似乎有一个空格，就在%4d后面又加了一个空格，结果整行长度多出一列，全部错位。除非题目明确说明"数字之间用空格分隔"，否则优先假设没有额外分隔符，一切靠%4d的宽度撑出对齐效果。

4. 通过只是及格线：滚动数组与组合数公式的进阶玩法

如果你已经用二维数组把这道题AC了，先不要急着关页面。这道题真正值钱的地方在后面——它是一道非常适合做空间优化的题目。接下来我讲两种进阶写法，它们并不复杂，但能让你的思路转个弯，之后再遇到"只需要保留上一状态"的动态规划题，你会觉得非常亲切。

4.1 滚动数组：一张一维表原地更新

先看一种非常经典的技巧：只用一个一维数组，从后往前更新。核心代码很短：

c复制int row[20] = {1};
for (i = 0; i < n; i++) {
    for (j = i; j >= 1; j--) {
        row[j] += row[j-1];
    }
    for (j = 0; j < (n - 1 - i) * 2; j++) printf(" ");
    for (j = 0; j <= i; j++) printf("%4d", row[j]);
    printf("\n");
}

为什么必须从后往前更新？因为row[j]的新值等于旧的row[j]加上旧的row[j-1]。如果从前往后更新，等你算row[j]的时候，row[j-1]已经被覆盖成新值了，加出来就错。从后往前时，row[j]和row[j-1]都还是上一行的旧值，正好符合递推式C(i,j) = C(i-1,j-1) + C(i-1,j)的语义。

这段代码初始化row[0] = 1，代表第0行。外层循环每走一遍，row数组就从"上一行的值"变成"当前行的值"。第一次进入时i=0，内层循环j >= 1不执行，row[0]还是1，打印第0行；第二次i=1，j从1到1，row[1] += row[0]变成1，row数组就是第1行的"1 1"。整个过程非常优雅，代码量比二维数组方案还少。

4.2 组合数公式：连数组都省掉

再往前走一步。前面说过，杨辉三角第i行第j个数就是组合数C(i,j)。组合数在同一行内有个实用的递推写法：C(i,j) = C(i,j-1) * (i-j+1) / j。举个例子，第5行（i=5）：C(5,0)=1，C(5,1)=1*5/1=5，C(5,2)=5*4/2=10，C(5,3)=10*3/3=10，C(5,4)=10*2/4=5，C(5,5)=5*1/5=1。每一步都是先乘一个数，再除一个数，靠整数运算精确得到下一个组合数。

对应代码长这样：

c复制for (i = 0; i < n; i++) {
    long long val = 1;
    for (j = 0; j < (n - 1 - i) * 2; j++) printf(" ");
    for (j = 0; j <= i; j++) {
        printf("%4lld", val);
        val = val * (i - j) / (j + 1);
    }
    printf("\n");
}

这里val声明成long long，是因为C(i,j)在i较大时可能超过int范围，尤其是中间过程。PTA这道题n一般不超过10，int其实够，但写成long long是好习惯，万一以后把n加大到20也不会立刻炸。注意乘法一定要在除法之前，val * (i - j)先算，再除以(j + 1)，这样中间不会出现小数，也不需要浮点运算。

4.3 三种方案怎么选：我的真实推荐

工程上如果只是做这一道题，我推荐二维数组。但如果你把这题当成练习动态规划思想的起点，滚动数组是必练的，因为它在后面很多DP题里都会以类似形态出现。组合数公式看起来最省空间，但理解和调试都有一定门槛，适合已经能无障碍写出前两种的人拿来玩。做题不是唯一目的，思路的拓展才是这篇文章想传达的东西。

5. 我总结的高频错误清单与自查顺序

最后把我在带新人过程中见过的报错和排查顺序整理出来。这些东西没有写在任何题解里，但价值不亚于代码本身。

5.1 高频报错与对应原因速查表

5.2 提交前我必做的三次自查

第一次自查看形状。分别用n=1、n=2、n=6跑一遍，重点看首尾是不是1，行数是不是n行，整体有没有歪掉。n=1是最容易被忽略的边界，输出应该只有一行"1"，很多同学在这里多打了一个前导空格，或者干脆什么都不输出。

第二次自查看空格。打开编辑器的"显示空格和制表符"功能，确认每行行尾没有多余空格，行首空格数符合(n-1-i)*2。如果你不确定样例行尾是几个空格，直接把题目原文的样例复制出来，用文本比对工具和你的输出对一遍。

第三次自查做文本比对。把输出重定向到文件，和样例文本做diff。这一步能抓出几乎所有格式问题。没有diff工具，就把两个文件并排打开，肉眼逐行扫一遍，重点看行尾和行首。养成这个习惯之后，你会发现提交一次就通过的几率大幅上升。

5.3 两个真实的翻车现场

第一个：某同学算法完全正确，但他习惯在每行输出后用printf(" \n")结尾，就是想打印"空格+换行"。本地看屏幕上完全没区别，因为空格在行尾根本看不到。PTA连续报了几次格式错误，他以为是系统问题，后来我让他把输出重定向到文件，用cat -A一看，行尾全是空格，改掉立即通过。

第二个：某同学想省事，在%4d后面又加了一个空格，说"这样每个数字之间会更好看"。结果整个三角形的对齐全变了，他一度以为是自己前导空格算错。其实只要数字之间没有额外空格，靠%4d自然形成的间隔就够了。这道题里你的审美不重要，评测系统说了算。如果让我在这篇最后留一句经验，那就是：在线评测的题目，输出格式大于自尊心。本地永远显示不出行尾空格，但评测系统看得很清楚。把格式当成题目本身的一部分，你就能少走很多弯路。