24小时热门版块排行榜

>论坛更新日志 (2891)
>虫友互识 (257)
>导师招生 (96)
>文献求助 (72)
>休闲灌水 (69)
>硕博家园 (50)
>考研 (32)
>论文投稿 (29)
>基金申请 (24)
>考博 (24)
>博后之家 (23)
>论文道贺祈福 (23)
>公派出国 (20)
>教师之家 (16)
>找工作 (16)
>健康生活 (15)

返回列表

当前主题已经存档。

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 的主题更新

返回列表