首页 > 试题广场 >

仍然使用上一题中的 Samelevel的定义和查询,使用下面

[问答题]
仍然使用上一题中的 Samelevel的定义和查询,使用下面的遂归规则
SatmtLeekS1. St).- Assembly PI: S1, QI).
Assembly(PI. 52, QD
ELaveMsl. 52) I- Awnhly P: SL Q1).
el(PI, RI). SameLewek KI, P2), Asstmbly'P2, SZ, Q2)
(1)写出 Adorned程序
(2)写出 Magic程序,
(3)写出用半优化方法重写后的 Magic程序。
(4)构造一个 Assembly的示例,使得求解优化后的程序得到的事实比求解原始程序得到的事实少不到1%。

这道题你会答吗?花几分钟告诉大家答案吧!