第 7 课 练习 ​

练习1：你能修改课堂上Fibonacci程序，使其成为宽度为 3 的 AIR 吗？

练习2：你能写一个仅在行$i=1$上应用RAP的多重集合相等性检查的约束吗？（提示：当$i=1$时，${\mathcal{L}}_1(X)=1$，否则为0; 因此只需要在行$i=1$上强制执行一个形如 ${\mathcal{L}}_1(X)\cdot f(X)$ 的约束。）