问答题 [说明] 以下[C程序]所完成的功能是在3X3方格中填入数字1~N(N≥10)内的某9个互不相同的整数,使所有相邻两个方格内的两个整数之和为质数。系统输出满足该要求的所有填法。系统的部分输出结果如图3-18所示。
【正确答案】
【答案解析】无论从程序规模还是从问题的复杂程度上看,这是一道有一定难度的试题。解题时可以先分析题干说明,然后再从程序的结构入手。结合试题说明及在程序中的使用情况,可以确定以下各个变量的含义,以及各个函数的功能。 1) b[N+1]存储可选择的整数的状态,若其值为1则表示未被选中,可以选;若其值为0则表示已被选中,不可再选。 2) pos记录当前正在处理的方格的位置。 3) 数组checkMatrix[][3]中每个元素的含义是,每个非负整数表示在填入某个位置时需要检查的方格;“-1”表示一个方格的关联方格罗列结束。 4) 在函数find()中使用了变量ok,从语句“ok=check()”,以及“if(ok)”可知,该变量表示一次check()的成功。 5) 从函数的内容上看,函数write()是打印一个合理的填写方法。 6) 函数isPrime()是判断一个整数是否为质数。 7) 函数selectNum()是为当前方格选择—个整数,至于该整数是否合理,还有待函数check()检查。 解题时,不妨再从函数find()读起。 if ({{U}} (7) {{/U}}) { write(a); change(); } 由题干说明中的关键信息“直至序号为8的方格也填入合理的整数后,就找到了一个解,将该解输出,并调整序号为8的方格所填整数,继续去找下一个解”可知,(7)空缺处所在的if...else处理语句是上述自然描述语言的表达形式。(7)空缺处所填写的内容就是判断当前填好的方格的位置是否为8,因此可以填入“pos==8”,也可以填写“pop>7”,或者其他等价的语句形式。 对于函数check(), 该函数是检查填入的整数是否合理,从“(j= {{U}}(1) {{/U}})>=0”和“if(isPrime(a[pos]+a[j])”两个语句来看,变量j在(1)空缺处取得了方格pos的一个相关位置的位置值。方格pos的一个相关位置如何取得呢?可以通过取数组checkMatrix的一个元素来获取。获取时可以通过变量i来计数,使用“checkMatrix[pos][i]”来依次取得方格pos的每一个相关位置的值,即(1)空缺处所填写的内容是“checkMatrix[pos][i]”。 由于函数isPrime()在m为质数时返回值为1,否则返回值为0,由此可以判断,(2)空缺处所在的语句是在检查到不合理的情况时的处理,即对检查到不合理的情况时的返回处理。如果(2)、(3)空缺处所在的for循环能够顺利结束,则说明检查结果是合理的,即该填写的内容是合理的。此时也应该进行返回处理,即(3)空缺处所在的语句也是一个返回控制。由于函数check()需要一个返回值以表明检查结果,其中,返回非0的值表示成功,否则即为失败(这从函数find()中if(ok)与ok=check()两条语句也可以看出),因此(2)空缺处所填写的内容是“return0”或"return j<0?1:0”,(3)空缺处所填写的内容是“return 1”或“return j<0?1:0”。 (4)空缺处所在的extend()函数中,由于在调用该函数时指针pos仍然指向当前方格,因此在为下一个方格pos寻找尚未使用的整数时,首先必须是指针pos加1,使之指向下一个方格。另外,(4)空缺处之后有“b[a[pos]]=0”的操作,结合对函数selectNum()的理解可知,这是将已经选用过的整数在b[N+1]的相应响应位置0。这也间接要求(4)空缺处所进行的操作还必须改变pos的值,因此,(4)空缺处所填写的内容是“++pos”。 从函数change()的整体结构可以看出,这是—个回溯处理过程。如果回溯到“pos<O”时,回溯处理过程就结束;否则选中j为位置pos的值。那么这个回溯过程是怎样实现的呢?函数change()是通过while循环来实现。(5)空缺处是构造函数selectNum()的start的值,由于在选a[pos]时已经从1开始搜寻了,a[pos]之前的值显然不必再搜寻了,且a[pos]也被证明不合适,因此start的值只需从a[pos]+1开始,即(5)空缺处所填写的内容是“a[pos]+1”,而不是“++a[pos]”或者“a[pos]++”。 当函数change()的while循环条件成立时,需要进行回退处理。此时先前已经被选中的整数不再有效,应恢复b[N+1]中相应位置的元素值,并将该元素值置1(表示未被选中)。考虑到需要修改pos以适应下一次对换,因此(6)空缺处所填写的内容是“b[a[pos--]]=1”,而不是“b[a[pos-1]]=1”。