clc
format compact
for x1=0:1
    for x2=0:1
        for x3=0:1
            for x4=0:1
                if x1^2==x1 & ...
                   x2^2==x2 & ...
                   x3^2==x3 & ...
                   x4^2==x4 & ...
                   x1^2==x1*x2*x3*x4
                disp([x1,x2,x3,x4]);
                end
            end
        end
    end
end

2楼: Originally posted by sogooda at 2012-03-25 21:26:47:
一共就4个数，每个数还都只能取0和1两种情况，那就穷举法就行了。
换句话说，编个4重循环，一下子就出来了。

4楼: Originally posted by snowwhite1 at 2012-03-26 00:14:08:
谢谢，我只是举例，实际情况是方程以及变量都很多，没办法穷举的。但方程的解就只有0或1两种情况，有没有什么较好的办法？

MultiRun = 30;
BinParameter x(4);
Function
x1^2=x1;
x2^2=x2;
x3^2=x3;
x4^2=x4;
x1^2=x1*x2*x3*x4;

8楼: Originally posted by feign_te at 2013-12-01 22:18:41
大概有多少个变量？
比如有n个变量，每个变量时0或者1，一个变量组就相当于一个2进制数字。
共有2^n组变量，要检验2^n次约束方程，1000万次时n=23，得考虑时间问题了。

n很大的话可能要分析约束方程，提取公因 ...