24小时热门版块排行榜

返回列表

当前主题已经存档。

wanderyao

新虫 (小有名气)

应助: 0 (幼儿园)
金币: 134.6
帖子: 113
在线: 49.1小时
虫号: 836026
注册: 2009-08-28
专业: 计算机科学的基础理论

[交流] 【求助】这种问题有没有一般解法？

把一个小程序写成逻辑表达式，比如

function d(n)
{ var a = 0; // initializing variable a
while (a+a+a+2 return(a); }

可以写成表达式

\forall x\forall y [(3 * d(x) <= x) ^ (3 * y <= x => y<=d(x))].

上面这个是例子

对下面这几个呢

function f(n)
{ var a = 0; var b = 0; var c = 0;
while (a+a+b < n)
{ c = c+b+b+b+a+a+a+1;
b = b+a+a+1; a = a+1; }
return(c); }

function g(n)
{ var a=1; var b=0; var c=2;
while ((c1)) // && means "and"
{ while (b if (b>n) { b=0; }
else { a=c; b=0; }
c=c+1; }
return(a); }

================================

我想知道是不是有一般性的方法，而不是一个程序一个方法，那也太累了

多谢了

回复此楼

» 猜你喜欢

1楼 2009-10-01 22:07:55

已阅回复此楼关注TA 给TA发消息送TA红花 TA的回帖

相关版块跳转我要订阅楼主 wanderyao 的主题更新

返回列表