คำต่อไปนี้ (ใช้ bruijn-indexes):
BADTERM = λ((0 λλλλ((((3 λλ(((0 3) 4) (1 λλ0))) λλ(((0 4) 3) (1 0))) λ1) λλ1)) λλλ(2 (2 (2 (2 (2 (2 (2 (2 0)))))))))
เมื่อนำไปใช้เป็นจำนวนคริสตจักรN
ประเมินรูปแบบปกติได้อย่างรวดเร็วในการประเมินผลที่มีอยู่หลายแห่งรวมทั้งคนที่ไร้เดียงสา แต่ถ้าคุณเข้ารหัสคำนั้นเพื่อใช้อวนในการโต้ตอบและประเมินโดยใช้อัลกอริธึมบทคัดย่อของ Lamping มันต้องใช้จำนวนเลขชี้กำลังของการลดเบต้าที่สัมพันธ์N
กัน บน Optlam โดยเฉพาะ:
N interactions(betas) (BADTERM N)
1 129(72) λλλ(1 (2 (2 (2 (2 (2 (2 (2 0))))))))
2 437(205) λλλ(2 (1 (2 (2 (2 (2 (2 (2 0))))))))
3 976(510) λλλ(1 (1 (2 (2 (2 (2 (2 (2 0))))))))
4 1836(1080) λλλ(2 (2 (1 (2 (2 (2 (2 (2 0))))))))
5 3448(2241) λλλ(1 (2 (1 (2 (2 (2 (2 (2 0))))))))
6 6355(4537) λλλ(2 (1 (1 (2 (2 (2 (2 (2 0))))))))
7 11888(9181) λλλ(1 (1 (1 (2 (2 (2 (2 (2 0))))))))
8 22590(18388) λλλ(2 (2 (2 (1 (2 (2 (2 (2 0))))))))
9 43833(36830) λλλ(1 (2 (2 (1 (2 (2 (2 (2 0))))))))
10 85799(73666) λλλ(2 (1 (2 (1 (2 (2 (2 (2 0))))))))
11 169287(147420) λλλ(1 (1 (2 (1 (2 (2 (2 (2 0))))))))
12 335692(294885) λλλ(2 (2 (1 (1 (2 (2 (2 (2 0))))))))
13 668091(589821) λλλ(1 (2 (1 (1 (2 (2 (2 (2 0))))))))
14 1332241(1179619) λλλ(2 (1 (1 (1 (2 (2 (2 (2 0))))))))
15 2659977(2359329) λλλ(1 (1 (1 (1 (2 (2 (2 (2 0))))))))
สำหรับผู้ประเมินที่คล้ายกันเช่น BOHM ใช้ขั้นตอนเบต้าน้อยกว่า แต่มีปฏิสัมพันธ์มากกว่า หากผู้ประเมินที่ดีที่สุดดีที่สุดพวกเขาจะประเมินคำศัพท์เชิงเส้นกำกับได้ช้ากว่าผู้ประเมินที่มีอยู่ได้อย่างไร
ลิงค์นี้มีคำอธิบายเกี่ยวกับที่มาของคำเช่นเดียวกับการใช้งานฟังก์ชั่นเดียวกันที่ทำงานตรงข้ามเกือบจะแปลกประหลาดดังนั้นมันควรจะทำงานในเวลาเอ็กซ์โพเนนเชียล - มันทำงานในเวลาเอ็กซ์โพเนนเชียล ผู้ประเมินผลทำให้ปกติในเวลาเชิงเส้น!
Such a number must be, by definition, basically the same on a given term
ดังนั้นฉันคิดว่า. นั่นทำให้ฉันประหลาดใจตั้งแต่ Optlam ให้จำนวน betas เท่ากับ BOHM ในหลาย ๆ กรณีที่ฉันทดสอบ ในบางกรณีมันให้น้อยลงเนื่องจากกลยุทธ์การโทรตามความต้องการ มีคนบอกฉันว่าการลดระดับโดยไม่มี oracle นั้นไม่ดีที่สุดและตอนนี้ฉันก็ไม่รู้อีกแล้ว โดยรวมแล้วฉันสับสนอย่างมาก แต่ไม่ไม่มีหลักฐานใดที่ Optlam ทำงานได้อย่างถูกต้องเลย ฉันกำลังคิดเกี่ยวกับความคิดเห็นที่เหลือของคุณ - ขอบคุณ