昨天在科学网上得知这样一个新闻《越南小学数学题难倒博士》，据悉题目来自越南保禄小学三年班，不过报道称该题难倒了上至博士下至家长，未免也太言过其实了。
题目描述
学生需要在下图表格中按由上至下、从左到右的顺序，填入1~9的数字，可重复填写，并按先乘除后加减（图中冒号代表除法）的运算法则，完成整条算式。 
解题方法
显然，这题对于我们这种程序员来说完全不是问题，只要在大一上过C语言的学生(我们学校全校都学过C，即使是文科专业)基本上都可以用九重for循环来穷举解出此题，下面我分别用C和Matlab实现，并对Matlab算法进行了改进。
C语言实现：
#include<stdio.h>
#include<time.h>
void main()
{
clock_t start, finish; //用于计时
double duration;
start = clock();
double result=0;//存储计算结果来看是否与66相等
int index=0;
int num=0;
for(int a=1;a<10;a++)
for(int b=1;b<10;b++)
for(int c=1;c<10;c++)
for(int d=1;d<10;d++)
for(int e=1;e<10;e++)
for(int f=1;f<10;f++)
for(int g=1;g<10;g++)
for(int h=1;h<10;h++)
for(int i=1;i<10;i++)
{
result=a+13*b/float(c)+d+12*e-f-11+g*h/float(i)-10;
if(result==66)
{
//这里可以打印解的结果
num=num+1;
}
}
finish = clock();
duration = (double)(finish - start) / CLOCKS_PER_SEC;
printf("总共有%d种结果\n耗时为%f秒\n",num,duration);
}结果显示如下：
Matlab实现
- 最直接的方法：耗时4911.131591 秒。
clear all;ans=[];
tic
for a=1:9
for b=1:9
for c=1:9
for d=1:9
for e=1:9
for f=1:9
for g=1:9
for h=1:9
for i=1:9
result=a+13*b/c+d+12*e-f-11+g*h/i-10;
if result==66;
answer=[a b c d e f g h i]; ans=[ans;answer];
end
end
end
end
end
end
end
end
end
end
toc在上面的算法中，存储结果answer的操作十分耗时，我们可以想办法来优化。于是，我将存储结果的过程注释掉后（去掉if语句块），耗时为16.814298 秒，时间由一个小时缩短到了十几秒。不过即使不储存结果，也耗时16.814298 秒，这与用C语言（同样也没有存储结果）的4秒还是有差距的！下面我来讲讲如何改进算法。
改进的matlab实现
在之前的文章《Matlab高效编程技巧》中，提到了要尽量避免多重循环，多使用向量化函数。因此，我决定用矩阵来代替这9重循环。
首先从简单的例子出发：假设有2个一维数组a,b，其元素都是1：9，显然这2个数组任意元素之间进行四则运算（在这里我们假设是相乘）的结果有9*9项，可以用一个9*9的二维数组表示；同理，假设有3个一维数组a,b,c，其元素都是1：9，我们要计算这三个数组任意元素之间进行四则运算的结果，这样总共有9*9*9项，正好用一个9*9*9的三维数组存储；依此类推，我们可以得到9个一维数组元素间进行四则运算可以用9*9*9*9*9*9*9*9*9*9的9维数组表示。
然而，在matlab中，*只能用于二维数组的相乘，幸好我们可以通过bsxfun函数来进行不同维数数组的计算.下面举例演示一下bsxfun的用法：
clear all
a=ones(9,1);%注意一维列向量相当于一个大小为9*1的二维向量
b=ones(1,9);
c=ones(1,1,9);
a(1:9)=1:9
b(1,1:9)=1:9
c(1,1,1:9)=1:9;
temp1=bsxfun(@times,a,b)%乘法a*b temp1是9*9的二维数组
temp2=bsxfun(@plus,a,b)%加法a+b
temp3=bsxfun(@times,temp1,c)%乘法a*b*c 9*9*9的三维数组通过运行上述结果，你就可以发现，bsxfun完成了任意元素间两两进行四则运算的结果,而且并不要求维数相等。当然关于bsxfun的运算原理以及作用可以查看Matlab的自带文档。我们的算法只需要上述的功能就可以了，在程序中，我按照公式a+13*b/c+d+12*e-f-11+g*h/i-10计算了当
clear all
tic
%使得a,b,c,d,e,f,g,h,i分别为1，2，3，4，5，6，7，8，9维的向量
a=ones(9,1);%注意一维列向量相当于一个大小为9*1的二维向量
b=ones(1,9);
c=ones(1,1,9);
d=ones(1,1,1,9);
e=ones(1,1,1,1,9);
f=ones(1,1,1,1,1,9);
g=ones(1,1,1,1,1,1,9);
h=ones(1,1,1,1,1,1,1,9);
i=ones(1,1,1,1,1,1,1,1,9);
a(1:9)=1:9;
b(1,1:9)=1:9;
c(1,1,1:9)=1:9;
d(1,1,1,1:9)=1:9;
e(1,1,1,1,1:9)=1:9;
f(1,1,1,1,1,1:9)=1:9;
g(1,1,1,1,1,1,1:9)=1:9;
h(1,1,1,1,1,1,1,1:9)=1:9;
i(1,1,1,1,1,1,1,1,1:9)=1:9;
%主要使用bsxfun函数来实现不同维函数的四则运算
%a+13*b/c+d+12*e-f-11+g*h/i-10=66
b=bsxfun(@times,b,13);
bc=bsxfun(@rdivide,b,c);
gh=bsxfun(@times,g,h);
ghi=bsxfun(@rdivide,gh,i);
abc=bsxfun(@plus,a,bc);
abcd=bsxfun(@plus,abc,d);
e=bsxfun(@times,e,12);
abcde=bsxfun(@plus,abcd,e);
abcdef=bsxfun(@minus,abcde,f);
abcdef=bsxfun(@minus,abcdef,11);
abcdefghi=bsxfun(@plus,abcdef,ghi);
abcdefghi=bsxfun(@minus,abcdefghi,10);
toc
counter=find(abcdefghi==66);%找到下标索引
[l1,l2,l3,l4,l5,l6,l7,l8,l9]=ind2sub(size(abcdefghi),counter(1))%这就是一种可能的解
运行结果如下图：
从图中可以看到，此方法耗时4.183608秒，图中我只显示了前十个结果，并且只计算了第一个结果45所对应的abcdefghi的值，其值在下图的变量空间中：
从上图中可以看出，counter大小为442232，即总共有442232个解，其中counter(1)=45时，对应的解为abcdefghi=9 5 1 1 1 1 1 1 1 1 1。
注释：此程序在内存较小的电脑中会由于内存不够而运行不成功，我是在实验室的工作站（内存128g）上运行的。
结果分析
使用matlab编程时，要避免使用多重循环，尽量以矩阵的角度思考问题。由上面的程序耗时对比可以看出，用C语言实现和我改进的算法耗时都在4秒左右，而且用C语言实现是在没有存储解的结果的情况下，如果同样的要存储结果（存储结果可以用不同的数据结构：链表、队列等等）的话，谁更耗时还说不定！由文中提到的两种matlab实现可知，第一种方法占用内存小，可以在普通的电脑上运行，但是耗时长；而我们改进的算法，耗时短，但是占用内存大，在内存小的机器上无法运行。这就是所谓的时间换空间，空间换时间吧！
原文：http://blog.csdn.net/tengweitw/article/details/46012217
作者：nineheadedbird
