关于if else的进一步优化

zasdfgbnm · 发表于 2010-4-3 09:14:35

突破了两条分支只能给同一个变量赋值的局限性，可以同时给三个变量赋值

if(condition){
x = exp1;
}else{
y = exp2;
}

复制代码

可以用
Rec(Pol(exp1*condition+x*(not(condition)),exp2*condition+y*not(condition)),Y)

if(condition){
x = exp1;
y = exp2;
a = exp5;
}else{
x = exp3;
y = exp4;
a = exp6;
}

复制代码

可以用
Rec(Pol(exp1*condition+exp3*(not(condition)),exp2*condition+exp4*not(condition)),Y)*0+exp5*condition+exp6*not(condition) → A
此方法实质上是rec、pol组合赋值和乘零法的应用

Nero · 发表于 2010-4-3 09:23:34

很好，但是很耗（空间）

zasdfgbnm · 发表于 2010-4-3 09:55:20

很耗是因为代码本身很复杂，而不是在转换为es代码过程中变复杂的，这中复杂的代码占用代码空间是不可避免的

账号		自动登录	找回密码
密码			注册

关于if else的进一步优化

评分

相关帖子