以前,提出這樣的證明、運行模擬等等,我需要花大約一個月的時間。現在,我只花了一個下午就完成了。 有興趣的讀者可以在 https://t.co/IfotVApR3X 的第四章第四節中找到完整的證明和更多細節。 感恩節快樂!