投機解碼：先猜後驗（實驗場）

import%20marimo%0A%0A__generated_with%20%3D%20%220.23.16%22%0Aapp%20%3D%20marimo.App(width%3D%22medium%22%2C%20app_title%3D%22%E6%8A%95%E6%A9%9F%E8%A7%A3%E7%A2%BC%EF%BC%9A%E5%85%88%E7%8C%9C%E5%BE%8C%E9%A9%97%EF%BC%88%E5%AF%A6%E9%A9%97%E5%A0%B4%EF%BC%89%22)%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%20%F0%9F%A7%AA%20%E6%8A%95%E6%A9%9F%E8%A7%A3%E7%A2%BC%EF%BC%9A%E5%85%88%E7%8C%9C%E5%BE%8C%E9%A9%97%EF%BC%88%E5%AF%A6%E9%A9%97%E5%A0%B4%EF%BC%89%0A%0A%20%20%20%20%E5%B7%A6%E9%82%8A%E8%AC%9B%E7%9A%84%E6%98%AF**%E7%82%BA%E4%BB%80%E9%BA%BC**%EF%BC%8C%E9%80%99%E8%A3%A1%E6%98%AF**%E7%AE%97%E7%B5%A6%E4%BD%A0%E7%9C%8B**%E3%80%82%0A%0A%20%20%20%20%E6%8A%95%E6%A9%9F%E8%A7%A3%E7%A2%BC%E5%8F%AA%E6%9C%89%E5%85%A9%E5%80%8B%E6%97%8B%E9%88%95%EF%BC%9A%E8%8D%89%E7%A8%BF**%E7%8C%9C%E5%BE%97%E6%BA%96%E4%B8%8D%E6%BA%96**%EF%BC%88%E6%8E%A5%E5%8F%97%E7%8E%87%20%CE%B1%EF%BC%89%E3%80%81**%E4%B8%80%E6%AC%A1%E7%8C%9C%E5%B9%BE%E5%80%8B%E5%AD%97**%EF%BC%88K%EF%BC%89%E3%80%82%0A%20%20%20%20%E9%80%99%E5%85%A9%E5%80%8B%E6%95%B8%E5%AD%97%E4%B8%80%E6%97%A6%E5%AE%9A%E4%BA%86%EF%BC%8C%E3%80%8C%E6%AF%8F%E8%BC%AA%E8%83%BD%E8%B3%BA%E5%B9%BE%E5%80%8B%E5%AD%97%E3%80%8D%E3%80%8C%E7%AB%AF%E5%88%B0%E7%AB%AF%E5%BF%AB%E5%B9%BE%E5%80%8D%E3%80%8D%E3%80%8C%E4%BB%80%E9%BA%BC%E6%99%82%E5%80%99%E8%A9%B2%E9%97%9C%E6%8E%89%E3%80%8D%0A%20%20%20%20%E5%85%A8%E9%83%A8%E9%83%BD%E6%98%AF%E7%AE%97%E5%BE%97%E5%87%BA%E4%BE%86%E7%9A%84%E2%80%94%E2%80%94%E4%B8%8B%E9%9D%A2%E6%AF%8F%E5%80%8B%E7%B5%90%E8%AB%96%E9%83%BD%E5%90%8C%E6%99%82%E7%B5%A6**%E7%90%86%E8%AB%96%E5%85%AC%E5%BC%8F**%E8%88%87**%E8%92%99%E5%9C%B0%E5%8D%A1%E7%BE%85%E7%9C%9F%E6%8A%BD**%EF%BC%8C%0A%20%20%20%20%E5%85%A9%E9%82%8A%E5%B0%8D%E5%BE%97%E4%B8%8A%EF%BC%8C%E4%BD%A0%E6%89%8D%E8%A9%B2%E7%9B%B8%E4%BF%A1%E5%AE%83%E3%80%82%0A%0A%20%20%20%20%E6%AF%8F%E4%B8%80%E6%A0%BC%E7%A8%8B%E5%BC%8F%E7%A2%BC%E9%83%BD%E5%8F%AF%E4%BB%A5**%E7%9B%B4%E6%8E%A5%E4%BF%AE%E6%94%B9%E3%80%81%E7%AB%8B%E5%8D%B3%E9%87%8D%E8%B7%91**%EF%BC%88%E9%BB%9E%E6%A0%BC%E5%AD%90%E5%8F%B3%E4%B8%8A%E7%9A%84%20%E2%96%B6%EF%BC%8C%E6%88%96%E6%8C%89%20%60Ctrl%2BEnter%60%EF%BC%89%E3%80%82%0A%20%20%20%20%E6%94%B9%E5%A3%9E%E4%BA%86%E9%87%8D%E6%96%B0%E6%95%B4%E7%90%86%E9%A0%81%E9%9D%A2%E5%B0%B1%E5%9B%9E%E5%88%B0%E5%8E%9F%E7%89%88%E3%80%82%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_()%3A%0A%20%20%20%20import%20marimo%20as%20mo%0A%0A%20%20%20%20return%20(mo%2C)%0A%0A%0A%40app.cell%0Adef%20_()%3A%0A%20%20%20%20%23%20%E7%A7%91%E5%AD%B8%E5%A5%97%E4%BB%B6%E9%9B%86%E4%B8%AD%E5%9C%A8%E9%80%99%E6%A0%BC%20import%EF%BC%8C%E5%9B%9E%E5%82%B3%E7%B5%A6%E5%85%A8%20notebook%20%E7%94%A8%0A%20%20%20%20import%20matplotlib.pyplot%20as%20plt%0A%20%20%20%20import%20numpy%20as%20np%0A%0A%20%20%20%20return%20np%2C%20plt%0A%0A%0A%40app.cell%0Adef%20_()%3A%0A%20%20%20%20%23%20%E2%94%80%E2%94%80%20%E5%85%A8%20notebook%20%E5%85%B1%E7%94%A8%E7%9A%84%E5%B8%B8%E6%95%B8%20%E2%94%80%E2%94%80%E2%94%80%E2%94%80%E2%94%80%E2%94%80%E2%94%80%E2%94%80%E2%94%80%E2%94%80%E2%94%80%E2%94%80%E2%94%80%E2%94%80%E2%94%80%E2%94%80%E2%94%80%E2%94%80%E2%94%80%E2%94%80%E2%94%80%E2%94%80%E2%94%80%E2%94%80%E2%94%80%E2%94%80%E2%94%80%E2%94%80%E2%94%80%E2%94%80%0A%20%20%20%20%23%20%E9%A1%8F%E8%89%B2%E8%AA%9E%E7%BE%A9%EF%BC%88%E5%92%8C%E5%B7%A6%E9%82%8A%E6%95%99%E5%AD%B8%E9%A0%81%E4%B8%80%E8%87%B4%EF%BC%89%EF%BC%9A%E8%8D%89%E7%A8%BF%EF%BC%9D%E6%A9%98%E3%80%81%E5%A4%A7%E6%A8%A1%E5%9E%8B%EF%BC%9D%E8%97%8D%E3%80%81%E6%8E%A5%E5%8F%97%EF%BC%9D%E7%B6%A0%E3%80%81%E6%8B%92%E7%B5%95%EF%BC%8F%E5%9B%9E%E6%BB%BE%EF%BC%9D%E7%B4%85%0A%20%20%20%20C_DRAFT%20%3D%20%22%23DD8452%22%0A%20%20%20%20C_TARGET%20%3D%20%22%234C72B0%22%0A%20%20%20%20C_OK%20%3D%20%22%2355A868%22%0A%20%20%20%20C_NO%20%3D%20%22%23C44E52%22%0A%20%20%20%20C_GREY%20%3D%20%22%2352646E%22%0A%0A%20%20%20%20N_SIM%20%3D%2030_000%20%20%20%20%20%23%20%E8%92%99%E5%9C%B0%E5%8D%A1%E7%BE%85%E8%BC%AA%E6%95%B8%EF%BC%88%E6%8B%89%E6%A1%BF%E4%B8%80%E5%8B%95%E5%B0%B1%E9%87%8D%E8%B7%91%EF%BC%8C%E5%88%A5%E9%96%8B%E5%A4%AA%E5%A4%A7%EF%BC%89%0A%0A%20%20%20%20%23%204%EF%B8%8F%E2%83%A3%20%E4%BD%B5%E7%99%BC%E6%A8%A1%E5%9E%8B%E7%94%A8%E7%9A%84%E4%B8%89%E5%80%8B%E6%88%90%E6%9C%AC%E5%8F%83%E6%95%B8%EF%BC%88%E6%AD%A3%E8%A6%8F%E5%8C%96%EF%BC%8CT_MEM%20%3D%201%EF%BC%89%0A%20%20%20%20T_MEM%20%3D%201.00%20%20%20%20%20%20%20%23%20%E4%B8%80%E6%AC%A1%E5%89%8D%E5%90%91%E8%A6%81%E6%8A%8A%E6%95%B4%E4%BB%BD%E6%AC%8A%E9%87%8D%E5%BE%9E%20HBM%20%E6%90%AC%E9%81%8E%E4%BE%86%E7%9A%84%E6%99%82%E9%96%93%0A%20%20%20%20T_FLOP%20%3D%200.04%20%20%20%20%20%20%23%20%E6%AF%8F%E5%80%8B%E5%BA%8F%E5%88%97%E3%80%81%E6%AF%8F%E5%80%8B%E4%BD%8D%E7%BD%AE%E7%9A%84%E5%AF%A6%E9%9A%9B%E8%A8%88%E7%AE%97%E6%99%82%E9%96%93%0A%20%20%20%20D_COST%20%3D%200.06%20%20%20%20%20%20%23%20%E8%8D%89%E7%A8%BF%E6%A8%A1%E5%9E%8B%E8%B7%91%E4%B8%80%E6%AD%A5%20%E2%89%88%20%E5%A4%A7%E6%A8%A1%E5%9E%8B%E7%9A%84%206%25%0A%20%20%20%20return%20C_DRAFT%2C%20C_GREY%2C%20C_NO%2C%20C_OK%2C%20C_TARGET%2C%20D_COST%2C%20N_SIM%2C%20T_FLOP%2C%20T_MEM%0A%0A%0A%40app.cell%0Adef%20_(np)%3A%0A%20%20%20%20%23%20%E2%94%80%E2%94%80%20%E4%B8%89%E5%80%8B%E6%A0%B8%E5%BF%83%E5%87%BD%E5%BC%8F%EF%BC%9A%E4%B8%80%E5%80%8B%E7%9C%9F%E6%8A%BD%E3%80%81%E5%85%A9%E5%80%8B%E7%90%86%E8%AB%96%E5%BC%8F%20%E2%94%80%E2%94%80%E2%94%80%E2%94%80%E2%94%80%E2%94%80%E2%94%80%E2%94%80%E2%94%80%E2%94%80%E2%94%80%E2%94%80%E2%94%80%E2%94%80%E2%94%80%E2%94%80%E2%94%80%E2%94%80%0A%20%20%20%20def%20accepted_lengths(alpha%2C%20k%2C%20n%3D30_000%2C%20seed%3D7)%3A%0A%20%20%20%20%20%20%20%20%22%22%22%E8%92%99%E5%9C%B0%E5%8D%A1%E7%BE%85%EF%BC%9A%E8%B7%91%20n%20%E8%BC%AA%EF%BC%8C%E5%9B%9E%E5%82%B3%E6%AF%8F%E8%BC%AA%E3%80%8C%E9%80%A3%E7%BA%8C%E7%8C%9C%E5%B0%8D%E5%B9%BE%E5%80%8B%E5%AD%97%E3%80%8D%EF%BC%880%20%E5%88%B0%20k%EF%BC%89%E3%80%82%0A%0A%20%20%20%20%20%20%20%20%E8%8D%89%E7%A8%BF%E4%B8%80%E6%97%A6%E7%8C%9C%E9%8C%AF%EF%BC%8C%E5%BE%8C%E9%9D%A2%E5%B0%B1%E5%BE%9E%E9%8C%AF%E7%9A%84%E5%AD%97%E6%8E%A5%E4%B8%8B%E5%8E%BB%E7%8C%9C%EF%BC%8C%E6%95%B4%E6%AE%B5%E9%83%BD%E6%9C%83%E8%A2%AB%E4%B8%9F%E6%8E%89%E2%80%94%E2%80%94%0A%20%20%20%20%20%20%20%20%E6%89%80%E4%BB%A5%E5%8F%AA%E8%A6%81%E6%89%BE%E5%87%BA%E6%AF%8F%E8%BC%AA%E7%AC%AC%E4%B8%80%E5%80%8B%E6%B2%92%E4%B8%AD%E7%9A%84%E4%BD%8D%E7%BD%AE%E5%B0%B1%E5%A5%BD%E3%80%82%0A%20%20%20%20%20%20%20%20%22%22%22%0A%20%20%20%20%20%20%20%20rng%20%3D%20np.random.default_rng(seed)%0A%20%20%20%20%20%20%20%20hit%20%3D%20rng.random((n%2C%20k))%20%3C%20alpha%0A%20%20%20%20%20%20%20%20return%20np.where(hit.all(axis%3D1)%2C%20k%2C%20np.argmin(hit%2C%20axis%3D1))%0A%0A%20%20%20%20def%20expected_tokens(alpha%2C%20k)%3A%0A%20%20%20%20%20%20%20%20%22%22%22%E7%90%86%E8%AB%96%E5%80%BC%EF%BC%9A%E6%AF%8F%E8%BC%AA%E6%9C%9F%E6%9C%9B%E7%94%A2%E5%87%BA%20%3D%20%CE%B1%20%2B%20%CE%B1%C2%B2%20%2B%20%E2%80%A6%20%2B%20%CE%B1%5EK%20%2B%201%E3%80%82%0A%0A%20%20%20%20%20%20%20%20%E9%82%A3%E5%80%8B%20%2B1%20%E6%98%AF%E5%A4%A7%E6%A8%A1%E5%9E%8B%E5%9C%A8%E9%A9%97%E8%AD%89%E7%9A%84%E5%90%8C%E6%99%82%E9%A0%86%E6%89%8B%E7%B5%A6%E7%9A%84%E5%AD%97%EF%BC%9A%E5%85%A8%E4%B8%AD%E6%99%82%E5%AE%83%E6%98%AF%20bonus%20token%EF%BC%8C%0A%20%20%20%20%20%20%20%20%E8%A2%AB%E6%8B%92%E6%99%82%E5%AE%83%E6%98%AF%E4%BF%AE%E6%AD%A3%E5%AD%97%E2%80%94%E2%80%94%E6%89%80%E4%BB%A5%E6%9C%80%E5%A3%9E%E6%83%85%E6%B3%81%E4%B9%9F%E9%82%84%E6%9C%89%201%20%E5%80%8B%EF%BC%8C%E7%AD%89%E5%90%8C%E4%B8%8D%E5%8A%A0%E9%80%9F%E3%80%82%0A%20%20%20%20%20%20%20%20%22%22%22%0A%20%20%20%20%20%20%20%20return%20sum(alpha**i%20for%20i%20in%20range(1%2C%20k%20%2B%201))%20%2B%201%0A%0A%20%20%20%20def%20speedup(alpha%2C%20k%2C%20draft_cost)%3A%0A%20%20%20%20%20%20%20%20%22%22%22%E7%AB%AF%E5%88%B0%E7%AB%AF%E5%8A%A0%E9%80%9F%E6%AF%94%20%E2%89%88%20%E6%AF%8F%E8%BC%AA%E7%94%A2%E5%87%BA%20%C3%B7%20(1%20%E6%AC%A1%E5%A4%A7%E6%A8%A1%E5%9E%8B%E5%89%8D%E5%90%91%20%2B%20K%20%E6%AC%A1%E8%8D%89%E7%A8%BF%E5%89%8D%E5%90%91)%E3%80%82%22%22%22%0A%20%20%20%20%20%20%20%20return%20expected_tokens(alpha%2C%20k)%20%2F%20(1%20%2B%20k%20*%20draft_cost)%0A%0A%20%20%20%20return%20accepted_lengths%2C%20expected_tokens%2C%20speedup%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%23%201%EF%B8%8F%E2%83%A3%20%E6%AF%8F%E8%BC%AA%E8%83%BD%E8%B3%BA%E5%B9%BE%E5%80%8B%E5%AD%97%0A%0A%20%20%20%20%E5%A4%A7%E6%A8%A1%E5%9E%8B%E9%A9%97%E4%B8%80%E6%AC%A1%EF%BC%8C%E8%83%BD%E5%BE%80%E5%89%8D%E6%8E%A8%E9%80%B2%E5%B9%BE%E5%80%8B%E5%AD%97%EF%BC%9F%E6%8B%89%E6%8B%89%E7%9C%8B%E9%80%99%E5%85%A9%E5%80%8B%E6%97%8B%E9%88%95%EF%BC%9A%0A%0A%20%20%20%20-%20**%CE%B1%EF%BC%88%E6%8E%A5%E5%8F%97%E7%8E%87%EF%BC%89**%EF%BC%9D%E8%8D%89%E7%A8%BF%E7%8C%9C%E7%9A%84%E5%AD%97%E9%80%9A%E9%81%8E%E5%A4%A7%E6%A8%A1%E5%9E%8B%E6%AA%A2%E6%9F%A5%E7%9A%84%E6%A9%9F%E7%8E%87%E3%80%82%E5%AE%83%E7%94%B1%E8%8D%89%E7%A8%BF%E6%A8%A1%E5%9E%8B%E7%9A%84%E5%93%81%E8%B3%AA%E6%B1%BA%E5%AE%9A%E3%80%82%0A%20%20%20%20-%20**K**%EF%BC%9D%E6%AF%8F%E8%BC%AA%E7%8C%9C%E5%B9%BE%E5%80%8B%E5%AD%97%EF%BC%8C%E4%B9%9F%E5%B0%B1%E6%98%AF%20vLLM%20%E7%9A%84%20%60num_speculative_tokens%60%E3%80%82%0A%0A%20%20%20%20%E8%97%8D%E7%B7%9A%E6%98%AF%E5%85%AC%E5%BC%8F%E7%AE%97%E7%9A%84%EF%BC%8C%E7%B6%A0%E5%9C%88%E6%98%AF%E7%9C%9F%E7%9A%84%E6%8A%BD%2030%2C000%20%E8%BC%AA%E9%AA%B0%E5%AD%90%E8%B7%91%E5%87%BA%E4%BE%86%E7%9A%84%E2%80%94%E2%80%94%E5%85%A9%E8%80%85%E7%96%8A%E5%9C%A8%E4%B8%80%E8%B5%B7%EF%BC%8C%0A%20%20%20%20%E8%A1%A8%E7%A4%BA%E9%80%99%E6%A2%9D%E3%80%8C%E5%85%88%E7%8C%9C%E5%BE%8C%E9%A9%97%E3%80%8D%E7%9A%84%E5%B8%B3%E6%B2%92%E6%9C%89%E5%94%AC%E4%BA%BA%E3%80%82%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20alpha%20%3D%20mo.ui.slider(%0A%20%20%20%20%20%20%20%20start%3D0.30%2C%20stop%3D0.95%2C%20step%3D0.05%2C%20value%3D0.85%2C%0A%20%20%20%20%20%20%20%20label%3D%22%CE%B1%20%E8%8D%89%E7%A8%BF%E5%91%BD%E4%B8%AD%E7%8E%87%22%2C%20show_value%3DTrue%2C%0A%20%20%20%20)%0A%20%20%20%20k%20%3D%20mo.ui.slider(%0A%20%20%20%20%20%20%20%20start%3D1%2C%20stop%3D12%2C%20step%3D1%2C%20value%3D5%2C%0A%20%20%20%20%20%20%20%20label%3D%22K%20%E6%AF%8F%E8%BC%AA%E7%8C%9C%E5%B9%BE%E5%80%8B%E5%AD%97%22%2C%20show_value%3DTrue%2C%0A%20%20%20%20)%0A%20%20%20%20mo.vstack(%5Balpha%2C%20k%5D)%0A%20%20%20%20return%20alpha%2C%20k%0A%0A%0A%40app.cell%0Adef%20_(%0A%20%20%20%20C_DRAFT%2C%0A%20%20%20%20C_GREY%2C%0A%20%20%20%20C_OK%2C%0A%20%20%20%20C_TARGET%2C%0A%20%20%20%20N_SIM%2C%0A%20%20%20%20accepted_lengths%2C%0A%20%20%20%20alpha%2C%0A%20%20%20%20expected_tokens%2C%0A%20%20%20%20k%2C%0A%20%20%20%20np%2C%0A%20%20%20%20plt%2C%0A)%3A%0A%20%20%20%20ks_grid%20%3D%20np.arange(1%2C%2013)%0A%20%20%20%20theory_curve%20%3D%20np.array(%0A%20%20%20%20%20%20%20%20%5Bexpected_tokens(alpha.value%2C%20int(_kk))%20for%20_kk%20in%20ks_grid%5D%0A%20%20%20%20)%0A%20%20%20%20sim_curve%20%3D%20np.array(%0A%20%20%20%20%20%20%20%20%5Baccepted_lengths(alpha.value%2C%20int(_kk)%2C%20N_SIM).mean()%20%2B%201%20for%20_kk%20in%20ks_grid%5D%0A%20%20%20%20)%0A%20%20%20%20e_now%20%3D%20expected_tokens(alpha.value%2C%20k.value)%0A%0A%20%20%20%20_fig%2C%20_ax%20%3D%20plt.subplots(figsize%3D(7%2C%204.2))%0A%20%20%20%20_ax.plot(%0A%20%20%20%20%20%20%20%20ks_grid%2C%20theory_curve%2C%20color%3DC_TARGET%2C%20lw%3D2.5%2C%0A%20%20%20%20%20%20%20%20label%3D%22theory%3A%20%201%20%2B%20alpha%20%2B%20...%20%2B%20alpha%5EK%22%2C%0A%20%20%20%20)%0A%20%20%20%20_ax.scatter(%0A%20%20%20%20%20%20%20%20ks_grid%2C%20sim_curve%2C%20s%3D46%2C%20facecolor%3D%22white%22%2C%20edgecolor%3DC_OK%2C%20lw%3D2%2C%20zorder%3D3%2C%0A%20%20%20%20%20%20%20%20label%3Df%22Monte%20Carlo%20(%7BN_SIM%3A%2C%7D%20rounds)%22%2C%0A%20%20%20%20)%0A%20%20%20%20_ax.plot(%0A%20%20%20%20%20%20%20%20%5Bk.value%5D%2C%20%5Be_now%5D%2C%20marker%3D%22*%22%2C%20ms%3D20%2C%20color%3DC_DRAFT%2C%20zorder%3D4%2C%0A%20%20%20%20%20%20%20%20label%3Df%22your%20setting%3A%20K%3D%7Bk.value%7D%20-%3E%20%7Be_now%3A.2f%7D%20tokens%22%2C%0A%20%20%20%20)%0A%20%20%20%20_ax.axhline(1.0%2C%20color%3DC_GREY%2C%20ls%3D%22%3A%22%2C%20lw%3D1.5)%0A%20%20%20%20_ax.text(%0A%20%20%20%20%20%20%20%200.9%2C%201.06%2C%20%22no%20speculation%20%3D%201%20token%20per%20forward%20pass%22%2C%0A%20%20%20%20%20%20%20%20fontsize%3D9%2C%20color%3DC_GREY%2C%0A%20%20%20%20)%0A%20%20%20%20_ax.set_xlabel(%22K%20%20(draft%20tokens%20guessed%20per%20round)%22)%0A%20%20%20%20_ax.set_ylabel(%22tokens%20produced%20per%20round%22)%0A%20%20%20%20_ax.set_title(f%22acceptance%20rate%20alpha%20%3D%20%7Balpha.value%3A.2f%7D%22)%0A%20%20%20%20_ax.set_xticks(ks_grid)%0A%20%20%20%20_ax.set_ylim(0%2C%2013.5)%0A%20%20%20%20_ax.grid(alpha%3D0.3)%0A%20%20%20%20_ax.legend(loc%3D%22upper%20left%22%2C%20fontsize%3D9)%0A%20%20%20%20_fig.tight_layout()%0A%20%20%20%20_fig%0A%20%20%20%20return%20e_now%2C%20sim_curve%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(N_SIM%2C%20alpha%2C%20e_now%2C%20k%2C%20mo%2C%20sim_curve)%3A%0A%20%20%20%20mo.md(%0A%20%20%20%20%20%20%20%20f%22%22%22%0A%20%20%20%20**%CE%B1%20%3D%20%7Balpha.value%3A.2f%7D%E3%80%81K%20%3D%20%7Bk.value%7D**%EF%BC%9A%E7%90%86%E8%AB%96%E6%AF%8F%E8%BC%AA%E7%94%A2%E5%87%BA%20**%7Be_now%3A.2f%7D**%20%E5%80%8B%E5%AD%97%EF%BC%8C%0A%20%20%20%20%7BN_SIM%3A%2C%7D%20%E8%BC%AA%E8%92%99%E5%9C%B0%E5%8D%A1%E7%BE%85%E5%AF%A6%E9%9A%9B%E8%B7%91%E5%87%BA%20**%7Bsim_curve%5Bk.value%20-%201%5D%3A.2f%7D**%E2%80%94%E2%80%94%E5%85%AC%E5%BC%8F%E5%92%8C%E7%9C%9F%E6%8A%BD%E5%B0%8D%E5%BE%97%E4%B8%8A%E3%80%82%0A%0A%20%20%20%20%E9%80%99%E4%B8%80%E8%BC%AA%E8%A3%A1%E5%A4%A7%E6%A8%A1%E5%9E%8B%E5%8F%AA%E5%81%9A%E4%BA%86%20**1%20%E6%AC%A1%E5%89%8D%E5%90%91**%EF%BC%8C%E6%89%80%E4%BB%A5%E5%AE%83%E7%9A%84%E5%89%8D%E5%90%91%E6%AC%A1%E6%95%B8%E7%9B%B4%E6%8E%A5%E7%9C%81%E4%B8%8B%20**%7Be_now%3A.1f%7D%20%E5%80%8D**%E3%80%82%0A%20%20%20%20%E6%B3%A8%E6%84%8F%E6%9B%B2%E7%B7%9A%E7%9A%84%E5%BD%A2%E7%8B%80%EF%BC%9AK%20%E8%B6%8A%E5%A4%A7%E8%B6%8A%E8%B3%BA%EF%BC%8C%E4%BD%86**%E8%B6%8A%E5%BE%8C%E9%9D%A2%E8%B6%8A%E5%B9%B3**%EF%BC%88%E6%AF%8F%E5%A4%9A%E7%8C%9C%E4%B8%80%E5%80%8B%E5%AD%97%EF%BC%8C%0A%20%20%20%20%E8%A6%81%E5%AE%83%E6%9C%89%E7%94%A8%E7%9A%84%E5%89%8D%E6%8F%90%E6%98%AF%E5%89%8D%E9%9D%A2%E5%85%A8%E4%B8%AD%EF%BC%8C%E6%A9%9F%E7%8E%87%E6%98%AF%20%CE%B1%20%E7%9A%84%E9%80%A3%E4%B9%98%EF%BC%89%E3%80%82%E9%80%99%E5%B0%B1%E6%98%AF%E3%80%8C%E7%8C%9C%E5%A4%AA%E5%A4%9A%E6%B2%92%E6%9C%89%E7%94%A8%E3%80%8D%E7%9A%84%E4%BE%86%E6%BA%90%EF%BC%8C%0A%20%20%20%203%EF%B8%8F%E2%83%A3%20%E6%9C%83%E6%8A%8A%E8%8D%89%E7%A8%BF%E7%9A%84%E6%88%90%E6%9C%AC%E5%8A%A0%E9%80%B2%E4%BE%86%EF%BC%8C%E7%9C%8B%E5%AE%83%E4%BB%80%E9%BA%BC%E6%99%82%E5%80%99%E5%BE%9E%E8%B3%BA%E8%AE%8A%E8%B3%A0%E3%80%82%0A%20%20%20%20%22%22%22%0A%20%20%20%20)%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%23%202%EF%B8%8F%E2%83%A3%20%E4%B8%80%E8%BC%AA%E4%B8%80%E8%BC%AA%E7%9C%8B%EF%BC%9A%E6%8E%A5%E5%8F%97%E9%95%B7%E5%BA%A6%E7%9A%84%E5%88%86%E5%B8%83%0A%0A%20%20%20%20%E5%B9%B3%E5%9D%87%E5%80%BC%E6%9C%83%E9%A8%99%E4%BA%BA%E3%80%82%E5%90%8C%E6%A8%A3%E3%80%8C%E5%B9%B3%E5%9D%87%E6%AF%8F%E8%BC%AA%204%20%E5%80%8B%E5%AD%97%E3%80%8D%EF%BC%8C%E5%8F%AF%E8%83%BD%E6%98%AF%E6%AF%8F%E8%BC%AA%E9%83%BD%E7%A9%A9%E7%A9%A9%204%20%E5%80%8B%EF%BC%8C%0A%20%20%20%20%E4%B9%9F%E5%8F%AF%E8%83%BD%E6%98%AF%E4%B8%80%E5%8D%8A%E5%85%A8%E4%B8%AD%E4%B8%80%E5%8D%8A%E5%85%A8%E6%BB%85%E3%80%82%E5%AF%A6%E9%9A%9B%E7%9A%84%E5%88%86%E5%B8%83%E9%95%B7%E9%80%99%E6%A8%A3%E2%80%94%E2%80%94**%E5%85%88%E7%8C%9C%E5%86%8D%E7%9C%8B**%EF%BC%9A%0A%20%20%20%20%CE%B1%3D0.85%E3%80%81K%3D5%20%E6%99%82%EF%BC%8C%E6%9C%80%E5%B8%B8%E8%A6%8B%E7%9A%84%E6%83%85%E6%B3%81%E6%98%AF%E3%80%8C%E5%85%A8%E4%B8%AD%E3%80%8D%E9%82%84%E6%98%AF%E3%80%8C%E5%8F%AA%E4%B8%AD%E4%B8%80%E5%85%A9%E5%80%8B%E3%80%8D%EF%BC%9F%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(C_NO%2C%20C_OK%2C%20N_SIM%2C%20accepted_lengths%2C%20alpha%2C%20k%2C%20np%2C%20plt)%3A%0A%20%20%20%20_acc%20%3D%20accepted_lengths(alpha.value%2C%20k.value%2C%20N_SIM)%0A%20%20%20%20_share%20%3D%20np.bincount(_acc%2C%20minlength%3Dk.value%20%2B%201)%20%2F%20N_SIM%0A%20%20%20%20_xs%20%3D%20np.arange(k.value%20%2B%201)%0A%20%20%20%20acc_mean%20%3D%20float(_acc.mean())%0A%0A%20%20%20%20_fig%2C%20_ax%20%3D%20plt.subplots(figsize%3D(7%2C%204))%0A%20%20%20%20_ax.bar(%0A%20%20%20%20%20%20%20%20_xs%2C%20_share%2C%20color%3D%5BC_NO%5D%20%2B%20%5BC_OK%5D%20*%20k.value%2C%0A%20%20%20%20%20%20%20%20edgecolor%3D%22%231C2B33%22%2C%20lw%3D1.2%2C%0A%20%20%20%20)%0A%20%20%20%20for%20_x%2C%20_s%20in%20zip(_xs%2C%20_share)%3A%0A%20%20%20%20%20%20%20%20_ax.text(_x%2C%20_s%20%2B%200.012%2C%20f%22%7B_s%3A.0%25%7D%22%2C%20ha%3D%22center%22%2C%20fontsize%3D9)%0A%20%20%20%20_ax.annotate(%0A%20%20%20%20%20%20%20%20%22rejected%20at%20the%201st%20guess%5Cn(still%20%2B1%20correct%20token)%22%2C%0A%20%20%20%20%20%20%20%20xy%3D(0%2C%20_share%5B0%5D)%2C%20xytext%3D(0.35%2C%20max(_share)%20*%200.72)%2C%0A%20%20%20%20%20%20%20%20fontsize%3D9%2C%20color%3DC_NO%2C%0A%20%20%20%20%20%20%20%20arrowprops%3D%7B%22arrowstyle%22%3A%20%22-%3E%22%2C%20%22color%22%3A%20C_NO%7D%2C%0A%20%20%20%20)%0A%20%20%20%20_ax.set_xlabel(%22draft%20tokens%20accepted%20in%20one%20round%22)%0A%20%20%20%20_ax.set_ylabel(%22share%20of%20rounds%22)%0A%20%20%20%20_ax.set_title(%0A%20%20%20%20%20%20%20%20f%22alpha%20%3D%20%7Balpha.value%3A.2f%7D%2C%20K%20%3D%20%7Bk.value%7D%20%20%20%22%0A%20%20%20%20%20%20%20%20f%22(mean%20accepted%20%3D%20%7Bacc_mean%3A.2f%7D%2C%20produced%20%3D%20%7Bacc_mean%20%2B%201%3A.2f%7D)%22%0A%20%20%20%20)%0A%20%20%20%20_ax.set_xticks(_xs)%0A%20%20%20%20_ax.set_ylim(0%2C%20max(_share)%20*%201.25)%0A%20%20%20%20_ax.grid(alpha%3D0.25%2C%20axis%3D%22y%22)%0A%20%20%20%20_fig.tight_layout()%0A%20%20%20%20_fig%0A%20%20%20%20return%20(acc_mean%2C)%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(acc_mean%2C%20alpha%2C%20k%2C%20mo)%3A%0A%20%20%20%20mo.md(%0A%20%20%20%20%20%20%20%20f%22%22%22%0A%20%20%20%20%E5%9C%A8%E9%A0%90%E8%A8%AD%E9%82%A3%E7%B5%84%E8%A8%AD%E5%AE%9A%E4%B8%8B%EF%BC%8C%E5%88%86%E5%B8%83%E6%98%AF**%E5%85%A9%E9%A0%AD%E9%AB%98**%E7%9A%84%EF%BC%9A%E6%9C%80%E5%8F%B3%E9%82%8A%E9%82%A3%E6%A0%B9%EF%BC%88%E5%85%A8%E4%B8%AD%20%7Bk.value%7D%20%E5%80%8B%EF%BC%89%E5%9C%A8%20%CE%B1%20%E5%A4%A0%E9%AB%98%E6%99%82%E9%80%9A%E5%B8%B8%E6%9C%80%E7%B2%97%EF%BC%8C%0A%20%20%20%20%E5%9B%A0%E7%82%BA%E3%80%8C%E9%80%A3%E5%B0%8D%20K%20%E6%AC%A1%E3%80%8D%E4%B8%80%E9%BB%9E%E9%83%BD%E4%B8%8D%E7%A8%80%E5%A5%87%EF%BC%9B%E6%9C%80%E5%B7%A6%E9%82%8A%E7%9A%84%E7%B4%85%E6%9F%B1%E6%98%AF%E3%80%8C%E7%AC%AC%E4%B8%80%E5%80%8B%E5%AD%97%E5%B0%B1%E8%A2%AB%E6%8B%92%E3%80%8D%EF%BC%8C%0A%20%20%20%20%E6%A9%9F%E7%8E%87%E5%9B%BA%E5%AE%9A%E6%98%AF%201%E2%88%92%CE%B1%20%3D%20**%7B1%20-%20alpha.value%3A.0%25%7D**%E3%80%82%E7%9B%AE%E5%89%8D%E9%80%99%E7%B5%84%E8%A8%AD%E5%AE%9A%E5%B9%B3%E5%9D%87%E6%8E%A5%E5%8F%97%0A%20%20%20%20**%7Bacc_mean%3A.2f%7D**%20%E5%80%8B%E8%8D%89%E7%A8%BF%E5%AD%97%E3%80%82%0A%0A%20%20%20%20%E7%B4%85%E6%9F%B1%E6%98%AF%E9%80%99%E5%A0%82%E8%AA%B2%E6%9C%80%E9%87%8D%E8%A6%81%E7%9A%84%E4%B8%80%E6%A0%B9%EF%BC%9A**%E5%AE%83%E4%B8%8D%E6%98%AF%E9%9B%B6%EF%BC%8C%E4%BD%86%E4%B9%9F%E4%B8%8D%E6%98%AF%E8%B2%A0%E7%9A%84**%E3%80%82%E7%AC%AC%E4%B8%80%E6%A0%BC%E5%B0%B1%E8%A2%AB%E6%8B%92%E7%9A%84%E9%82%A3%E4%B8%80%E8%BC%AA%EF%BC%8C%0A%20%20%20%20%E5%A4%A7%E6%A8%A1%E5%9E%8B%E4%BB%8D%E7%84%B6%E5%90%90%E5%87%BA%E4%B8%80%E5%80%8B%E5%AE%83%E8%87%AA%E5%B7%B1%E8%AA%8D%E8%AD%89%E9%81%8E%E7%9A%84%E6%AD%A3%E7%A2%BA%E5%AD%97%E2%80%94%E2%80%94%E9%80%99%E4%B8%80%E8%BC%AA%E7%AD%89%E5%90%8C%E6%B2%92%E5%8A%A0%E9%80%9F%EF%BC%8C%0A%20%20%20%20%E4%BD%86%E4%B9%9F**%E6%B2%92%E6%9C%89%E6%AF%94%E4%B8%8D%E5%8A%A0%E9%80%9F%E6%9B%B4%E6%85%A2**%EF%BC%88%E9%99%A4%E4%BA%86%E8%8D%89%E7%A8%BF%E9%82%A3%E9%BB%9E%E6%88%90%E6%9C%AC%EF%BC%89%E3%80%82%E6%8A%95%E6%A9%9F%E8%A7%A3%E7%A2%BC%E6%B2%92%E6%9C%89%E3%80%8C%E7%8C%9C%E9%8C%AF%E5%B0%B1%E5%80%92%E9%80%80%E3%80%8D%E9%80%99%E5%9B%9E%E4%BA%8B%EF%BC%9A%0A%20%20%20%20%E6%AF%8F%E4%B8%80%E8%BC%AA%E7%9A%84%E8%B5%B7%E9%BB%9E%E6%B0%B8%E9%81%A0%E6%98%AF%E9%A9%97%E8%AD%89%E9%81%8E%E7%9A%84%E4%B9%BE%E6%B7%A8%E5%89%8D%E7%B6%B4%EF%BC%8C%E6%89%80%E4%BB%A5%E9%8C%AF%E8%AA%A4%E4%B8%8D%E6%9C%83%E7%B4%AF%E7%A9%8D%E3%80%82%0A%0A%20%20%20%20%E6%8A%8A%20%CE%B1%20%E6%8B%89%E5%88%B0%E6%9C%80%E4%BD%8E%EF%BC%880.30%EF%BC%89%E5%86%8D%E7%9C%8B%E4%B8%80%E6%AC%A1%EF%BC%9A%E7%B4%85%E6%9F%B1%E8%AE%8A%E6%88%90%E6%9C%80%E7%B2%97%E7%9A%84%E4%B8%80%E6%A0%B9%EF%BC%8870%25%20%E7%9A%84%E8%BC%AA%E6%AC%A1%E7%AC%AC%E4%B8%80%E5%80%8B%E5%AD%97%E5%B0%B1%E8%A2%AB%E6%8B%92%EF%BC%89%EF%BC%8C%0A%20%20%20%20%E5%B9%B3%E5%9D%87%E6%8E%A5%E5%8F%97%E4%B8%8D%E5%88%B0%E5%8D%8A%E5%80%8B%E5%AD%97%E2%80%94%E2%80%94%E8%B3%BA%E5%BE%97%E5%B0%91%EF%BC%8C%E4%BD%86%E4%B8%8D%E6%9C%83%E8%B3%A0%E3%80%82%0A%20%20%20%20%22%22%22%0A%20%20%20%20)%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%23%203%EF%B8%8F%E2%83%A3%20%E8%8D%89%E7%A8%BF%E4%B8%8D%E6%98%AF%E5%85%8D%E8%B2%BB%E7%9A%84%EF%BC%9A%E6%9C%80%E4%BD%B3%20K%20%E5%9C%A8%E5%93%AA%0A%0A%20%20%20%201%EF%B8%8F%E2%83%A3%20%E7%9A%84%E6%9B%B2%E7%B7%9A%E5%8F%AA%E7%AE%97%E4%BA%86%E3%80%8C%E8%B3%BA%E5%A4%9A%E5%B0%91%E5%AD%97%E3%80%8D%EF%BC%8C%E6%B2%92%E7%AE%97%E3%80%8C%E8%8D%89%E7%A8%BF%E8%8A%B1%E5%A4%9A%E5%B0%91%E6%99%82%E9%96%93%E3%80%8D%E3%80%82%0A%20%20%20%20K%20%E5%80%8B%E8%8D%89%E7%A8%BF%E5%AD%97%E8%A6%81%E8%8D%89%E7%A8%BF%E6%A8%A1%E5%9E%8B%E8%87%AA%E5%9B%9E%E6%AD%B8%E8%B7%91%20K%20%E6%AC%A1%EF%BC%88EAGLE%20%E9%80%99%E9%A1%9E%E6%96%B9%E6%B3%95%E5%B0%B1%E5%8D%A1%E5%9C%A8%E9%80%99%EF%BC%89%EF%BC%8C%0A%20%20%20%20%E6%89%80%E4%BB%A5%E6%AF%8F%E8%BC%AA%E7%9A%84%E6%88%90%E6%9C%AC%E6%98%AF%20%601%20%E6%AC%A1%E5%A4%A7%E6%A8%A1%E5%9E%8B%E5%89%8D%E5%90%91%20%2B%20K%20%E6%AC%A1%E8%8D%89%E7%A8%BF%E5%89%8D%E5%90%91%60%EF%BC%9A%0A%0A%20%20%20%20%60%60%60%0A%20%20%20%20%E5%8A%A0%E9%80%9F%E6%AF%94%20%E2%89%88%20%E6%AF%8F%E8%BC%AA%E7%94%A2%E5%87%BA%20%2F%20(1%20%2B%20K%20%C3%97%20%E8%8D%89%E7%A8%BF%E5%96%AE%E6%AD%A5%E6%88%90%E6%9C%AC)%0A%20%20%20%20%60%60%60%0A%0A%20%20%20%20%E5%88%86%E5%AD%90%E6%98%AF**%E9%81%9E%E6%B8%9B**%E7%9A%84%EF%BC%88%CE%B1%20%E9%80%A3%E4%B9%98%EF%BC%89%EF%BC%8C%E5%88%86%E6%AF%8D%E6%98%AF**%E7%B7%9A%E6%80%A7**%E6%88%90%E9%95%B7%E7%9A%84%E2%80%94%E2%80%94%E6%89%80%E4%BB%A5%E4%B8%80%E5%AE%9A%E6%9C%89%E4%B8%80%E5%80%8B%E6%9C%80%E4%BD%B3%20K%EF%BC%8C%0A%20%20%20%20%E8%80%8C%E4%B8%94%E8%8D%89%E7%A8%BF%E6%A8%A1%E5%9E%8B%E8%B6%8A%E8%B2%B4%EF%BC%8C%E9%82%A3%E5%80%8B%E6%9C%80%E4%BD%B3%E9%BB%9E%E8%B6%8A%E9%9D%A0%E5%B7%A6%E3%80%82%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(C_DRAFT%2C%20C_GREY%2C%20C_NO%2C%20C_OK%2C%20C_TARGET%2C%20alpha%2C%20k%2C%20np%2C%20plt%2C%20speedup)%3A%0A%20%20%20%20_ks%20%3D%20np.arange(1%2C%2021)%0A%20%20%20%20_costs%20%3D%20%5B0.03%2C%200.06%2C%200.15%2C%200.30%5D%0A%20%20%20%20_colors%20%3D%20%5BC_TARGET%2C%20C_OK%2C%20C_DRAFT%2C%20C_NO%5D%0A%0A%20%20%20%20best_ks%20%3D%20%7B%7D%0A%20%20%20%20_fig%2C%20_ax%20%3D%20plt.subplots(figsize%3D(7%2C%204.2))%0A%20%20%20%20for%20_c%2C%20_color%20in%20zip(_costs%2C%20_colors)%3A%0A%20%20%20%20%20%20%20%20_y%20%3D%20np.array(%5Bspeedup(alpha.value%2C%20int(_kk)%2C%20_c)%20for%20_kk%20in%20_ks%5D)%0A%20%20%20%20%20%20%20%20_best%20%3D%20int(np.argmax(_y))%0A%20%20%20%20%20%20%20%20best_ks%5B_c%5D%20%3D%20int(_ks%5B_best%5D)%0A%20%20%20%20%20%20%20%20_ax.plot(%0A%20%20%20%20%20%20%20%20%20%20%20%20_ks%2C%20_y%2C%20lw%3D2.2%2C%20color%3D_color%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20label%3Df%22draft%20cost%20%7B_c%3A.0%25%7D%20%20-%3E%20%20best%20K%20%3D%20%7B_ks%5B_best%5D%7D%20(%7B_y%5B_best%5D%3A.2f%7Dx)%22%2C%0A%20%20%20%20%20%20%20%20)%0A%20%20%20%20%20%20%20%20_ax.plot(%5B_ks%5B_best%5D%5D%2C%20%5B_y%5B_best%5D%5D%2C%20marker%3D%22o%22%2C%20ms%3D8%2C%20color%3D_color%2C%20zorder%3D3)%0A%20%20%20%20_ax.axhline(1.0%2C%20color%3DC_GREY%2C%20ls%3D%22%3A%22%2C%20lw%3D1.5)%0A%20%20%20%20_ax.text(1.2%2C%201.05%2C%20%221.0x%20%3D%20no%20faster%20than%20plain%20decoding%22%2C%20fontsize%3D9%2C%20color%3DC_GREY)%0A%20%20%20%20_ax.axvline(k.value%2C%20color%3D%22%231C2B33%22%2C%20ls%3D%22--%22%2C%20lw%3D1.2)%0A%20%20%20%20_ax.text(k.value%20%2B%200.2%2C%200.15%2C%20f%22your%20K%20%3D%20%7Bk.value%7D%22%2C%20fontsize%3D9%2C%20rotation%3D90)%0A%20%20%20%20_ax.set_xlabel(%22K%20%20(draft%20tokens%20guessed%20per%20round)%22)%0A%20%20%20%20_ax.set_ylabel(%22end-to-end%20speedup%22)%0A%20%20%20%20_ax.set_title(f%22acceptance%20rate%20alpha%20%3D%20%7Balpha.value%3A.2f%7D%22)%0A%20%20%20%20_ax.set_xticks(_ks%5B%3A%3A2%5D)%0A%20%20%20%20_ax.set_ylim(0%2C%20None)%0A%20%20%20%20_ax.grid(alpha%3D0.3)%0A%20%20%20%20_ax.legend(loc%3D%22lower%20right%22%2C%20fontsize%3D8.5)%0A%20%20%20%20_fig.tight_layout()%0A%20%20%20%20_fig%0A%20%20%20%20return%20(best_ks%2C)%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(alpha%2C%20best_ks%2C%20mo%2C%20speedup)%3A%0A%20%20%20%20mo.md(%0A%20%20%20%20%20%20%20%20f%22%22%22%0A%20%20%20%20%E5%9B%9B%E6%A2%9D%E7%B7%9A%E9%83%BD%E6%98%AF%E5%90%8C%E4%B8%80%E5%80%8B%20%CE%B1%EF%BC%88**%7Balpha.value%3A.2f%7D**%EF%BC%89%EF%BC%8C%E5%B7%AE%E5%88%A5%E5%8F%AA%E5%9C%A8%E8%8D%89%E7%A8%BF%E5%A4%9A%E8%B2%B4%E3%80%82%E5%9C%93%E9%BB%9E%E6%98%AF%E5%90%84%E8%87%AA%E7%9A%84%E6%9C%80%E4%BD%B3%20K%EF%BC%9A%0A%0A%20%20%20%20%7C%20%E8%8D%89%E7%A8%BF%E5%96%AE%E6%AD%A5%E6%88%90%E6%9C%AC%20%7C%20%E6%9C%80%E4%BD%B3%20K%20%7C%20%E8%AA%B0%E9%95%B7%E9%80%99%E6%A8%A3%20%7C%0A%20%20%20%20%7C%20---%20%7C%20---%20%7C%20---%20%7C%0A%20%20%20%20%7C%203%25%20%7C%20**%7Bbest_ks%5B0.03%5D%7D**%20%7C%20n-gram%E3%80%81EAGLE%20head%20%E9%80%99%E7%A8%AE%E6%A5%B5%E8%BC%95%E9%87%8F%E8%8D%89%E7%A8%BF%20%7C%0A%20%20%20%20%7C%206%25%20%7C%20**%7Bbest_ks%5B0.06%5D%7D**%20%7C%20%E5%90%8C%E5%AE%B6%E6%97%8F%E7%9A%84%E5%B0%8F%E6%A8%A1%E5%9E%8B%EF%BC%88%E4%BE%8B%E5%A6%82%208B%20%E9%85%8D%200.6B%EF%BC%89%20%7C%0A%20%20%20%20%7C%2015%25%20%7C%20**%7Bbest_ks%5B0.15%5D%7D**%20%7C%20%E8%8D%89%E7%A8%BF%E9%81%B8%E5%A4%AA%E5%A4%A7%E4%BA%86%20%7C%0A%20%20%20%20%7C%2030%25%20%7C%20**%7Bbest_ks%5B0.30%5D%7D**%20%7C%20%E8%8D%89%E7%A8%BF%E5%B9%BE%E4%B9%8E%E8%B7%9F%E5%A4%A7%E6%A8%A1%E5%9E%8B%E4%B8%80%E6%A8%A3%E8%B2%B4%EF%BC%8C%E5%B7%B2%E7%B6%93%E6%B2%92%E4%BB%80%E9%BA%BC%E5%A5%BD%E8%B3%BA%20%7C%0A%0A%20%20%20%20**%E8%8D%89%E7%A8%BF%E8%B6%8A%E8%B2%B4%EF%BC%8C%E6%9C%80%E4%BD%B3%E9%BB%9E%E8%B6%8A%E5%BE%80%E5%B7%A6**%E2%80%94%E2%80%94%E8%80%8C%E4%B8%94%E4%B8%8D%E5%8F%AA%E6%98%AF%E8%B3%BA%E5%B0%91%E8%80%8C%E5%B7%B2%EF%BC%8C%E6%9C%83%E7%9B%B4%E6%8E%A5%E5%80%92%E8%B3%A0%EF%BC%9A%0A%20%20%20%20%CE%B1%20%3D%200.60%E3%80%81%E8%8D%89%E7%A8%BF%2030%25%20%E6%99%82%E6%9C%80%E4%BD%B3%20K%20%E5%8F%AA%E5%89%A9%201%EF%BC%9B%E7%85%A7%E6%8A%84%E5%88%A5%E4%BA%BA%E7%9A%84%20K%20%3D%205%20%E5%B0%B1%E6%8E%89%E5%88%B0%0A%20%20%20%20**%7Bspeedup(0.60%2C%205%2C%200.30)%3A.2f%7Dx**%EF%BC%88%E6%AF%94%E4%B8%8D%E9%96%8B%E9%82%84%E6%85%A2%EF%BC%89%EF%BC%8C%E7%A1%AC%E6%8B%89%E5%88%B0%2012%20%E6%9B%B4%E6%98%AF%0A%20%20%20%20**%7Bspeedup(0.60%2C%2012%2C%200.30)%3A.2f%7Dx**%E3%80%82%0A%0A%20%20%20%20%E9%80%99%E5%B0%B1%E6%98%AF%E7%82%BA%E4%BB%80%E9%BA%BC%20DFlash%20%E9%82%A3%E9%A1%9E%E6%96%B9%E6%B3%95%E8%A6%81%E6%8A%8A%E8%8D%89%E7%A8%BF%E5%81%9A%E6%88%90%E3%80%8C%E4%B8%80%E6%AC%A1%E5%89%8D%E5%90%91%E5%90%90%E4%B8%80%E6%95%B4%E5%A1%8A%E3%80%8D%EF%BC%9A%0A%20%20%20%20%E5%88%86%E6%AF%8D%E7%9A%84%20%60K%20%C3%97%20%E8%8D%89%E7%A8%BF%E6%88%90%E6%9C%AC%60%20%E8%A2%AB%E5%A3%93%E6%88%90%E5%B8%B8%E6%95%B8%EF%BC%8C%E6%9C%80%E4%BD%B3%20K%20%E6%89%8D%E6%8E%A8%E5%BE%97%E5%9B%9E%E5%8F%B3%E9%82%8A%E3%80%82%0A%20%20%20%20%22%22%22%0A%20%20%20%20)%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%23%204%EF%B8%8F%E2%83%A3%20%E4%BD%B5%E7%99%BC%E4%B8%80%E4%B8%8A%E4%BE%86%EF%BC%8C%E5%B8%B3%E5%B0%B1%E7%BF%BB%E4%BA%86%0A%0A%20%20%20%20%E5%89%8D%E9%9D%A2%E4%B8%89%E7%AF%80%E9%83%BD%E5%9C%A8%E7%AE%97%E3%80%8C%E4%B8%80%E5%80%8B%E4%BA%BA%E7%94%A8%E3%80%8D%E7%9A%84%E6%83%85%E6%B3%81%E3%80%82%E5%A4%9A%E4%BA%BA%E5%85%B1%E7%94%A8%E5%90%8C%E4%B8%80%E5%BC%B5%E5%8D%A1%E6%99%82%EF%BC%8C%E5%B8%B3%E5%AE%8C%E5%85%A8%E4%B8%8D%E4%B8%80%E6%A8%A3%EF%BC%9A%0A%0A%20%20%20%20-%20%E4%B8%80%E6%AC%A1%E5%89%8D%E5%90%91%E7%9A%84%E6%99%82%E9%96%93%20%E2%89%88%20%60%E6%90%AC%E6%AC%8A%E9%87%8D%E7%9A%84%E6%99%82%E9%96%93%60%20%2B%20%60%E4%BD%B5%E7%99%BC%E6%95%B8%20%C3%97%20%E6%AF%8F%E5%80%8B%E5%BA%8F%E5%88%97%E7%9A%84%E8%A8%88%E7%AE%97%E6%99%82%E9%96%93%60%0A%20%20%20%20-%20%E6%90%AC%E6%AC%8A%E9%87%8D%E7%9A%84%E6%88%90%E6%9C%AC**%E4%B8%8D%E9%9A%A8%E4%BA%BA%E6%95%B8%E5%A2%9E%E5%8A%A0**%EF%BC%88%E5%A4%A7%E5%AE%B6%E5%85%B1%E7%94%A8%E5%90%8C%E4%B8%80%E4%BB%BD%E6%AC%8A%E9%87%8D%EF%BC%89%EF%BC%8C%E8%A8%88%E7%AE%97%E6%88%90%E6%9C%AC**%E9%9A%A8%E4%BA%BA%E6%95%B8%E7%B7%9A%E6%80%A7%E9%95%B7**%0A%20%20%20%20-%20%E6%8A%95%E6%A9%9F%E8%A7%A3%E7%A2%BC%E6%8A%8A%E6%AF%8F%E5%80%8B%E5%BA%8F%E5%88%97%E7%9A%84%E8%A8%88%E7%AE%97%E9%87%8F%E4%B9%98%E4%B8%8A%20(K%2B1)%20%E5%80%8D%E2%80%94%E2%80%94%E4%BD%8E%E4%BD%B5%E7%99%BC%E6%99%82%E9%82%A3%E4%BA%9B%E7%AE%97%E5%8A%9B%E6%9C%AC%E4%BE%86%E5%B0%B1%E9%96%92%E8%91%97%EF%BC%8C%0A%20%20%20%20%20%20%E9%AB%98%E4%BD%B5%E7%99%BC%E6%99%82%E5%AE%83%E6%98%AF%E5%9C%A8%E8%B7%9F%E5%88%A5%E7%9A%84%E4%BD%BF%E7%94%A8%E8%80%85%E6%90%B6%E5%90%8D%E9%A1%8D%0A%0A%20%20%20%20%E4%B8%8B%E9%9D%A2%E6%98%AF%E4%B8%80%E5%80%8B**%E6%95%99%E5%AD%B8%E7%94%A8%E7%9A%84%E7%B0%A1%E5%8C%96%E6%A8%A1%E5%9E%8B**%EF%BC%88%E5%8F%AA%E4%BF%9D%E7%95%99%E4%B8%8A%E9%9D%A2%E4%B8%89%E8%A1%8C%E7%9A%84%E9%97%9C%E4%BF%82%EF%BC%8C%E6%96%B9%E4%BE%BF%E7%9C%8B%E8%B6%A8%E5%8B%A2%EF%BC%9B%0A%20%20%20%20%E7%9C%9F%E5%AF%A6%E7%B3%BB%E7%B5%B1%E7%9A%84%E6%9B%B2%E7%B7%9A%E8%A6%81%E7%94%A8%20%60vllm%20bench%20serve%60%20%E6%8E%83%E5%87%BA%E4%BE%86%EF%BC%89%EF%BC%9A%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(%0A%20%20%20%20C_DRAFT%2C%0A%20%20%20%20C_GREY%2C%0A%20%20%20%20C_TARGET%2C%0A%20%20%20%20D_COST%2C%0A%20%20%20%20T_FLOP%2C%0A%20%20%20%20T_MEM%2C%0A%20%20%20%20alpha%2C%0A%20%20%20%20expected_tokens%2C%0A%20%20%20%20k%2C%0A%20%20%20%20np%2C%0A%20%20%20%20plt%2C%0A)%3A%0A%20%20%20%20_conc%20%3D%20np.array(%5B1%2C%202%2C%204%2C%208%2C%2016%2C%2032%2C%2064%2C%20128%5D)%0A%20%20%20%20_tau%20%3D%20expected_tokens(alpha.value%2C%20k.value)%0A%0A%20%20%20%20_t_off%20%3D%20T_MEM%20%2B%20_conc%20*%20T_FLOP%0A%20%20%20%20_t_on%20%3D%20T_MEM%20*%20(1%20%2B%20k.value%20*%20D_COST)%20%2B%20_conc%20*%20(k.value%20%2B%201)%20*%20T_FLOP%0A%20%20%20%20_pu_off%2C%20_pu_on%20%3D%201.0%20%2F%20_t_off%2C%20_tau%20%2F%20_t_on%0A%20%20%20%20_tot_off%2C%20_tot_on%20%3D%20_conc%20*%20_pu_off%2C%20_conc%20*%20_pu_on%0A%0A%20%20%20%20_fig%2C%20(_a1%2C%20_a2)%20%3D%20plt.subplots(1%2C%202%2C%20figsize%3D(9.4%2C%204.1))%0A%20%20%20%20for%20_ax%2C%20_off%2C%20_on%2C%20_t%20in%20(%0A%20%20%20%20%20%20%20%20(_a1%2C%20_pu_off%2C%20_pu_on%2C%20%22per-user%20speed%22)%2C%0A%20%20%20%20%20%20%20%20(_a2%2C%20_tot_off%2C%20_tot_on%2C%20%22total%20throughput%22)%2C%0A%20%20%20%20)%3A%0A%20%20%20%20%20%20%20%20_ax.plot(_conc%2C%20_off%2C%20%22o-%22%2C%20color%3DC_TARGET%2C%20lw%3D2.2%2C%20label%3D%22speculation%20OFF%22)%0A%20%20%20%20%20%20%20%20_ax.plot(_conc%2C%20_on%2C%20%22s-%22%2C%20color%3DC_DRAFT%2C%20lw%3D2.2%2C%20label%3D%22speculation%20ON%22)%0A%20%20%20%20%20%20%20%20_ax.set_xscale(%22log%22%2C%20base%3D2)%0A%20%20%20%20%20%20%20%20_ax.set_xticks(_conc)%0A%20%20%20%20%20%20%20%20_ax.set_xticklabels(_conc)%0A%20%20%20%20%20%20%20%20_ax.set_xlabel(%22concurrent%20users%22)%0A%20%20%20%20%20%20%20%20_ax.set_ylabel(%22tokens%20%2F%20s%20%20(normalized)%22)%0A%20%20%20%20%20%20%20%20_ax.set_title(_t)%0A%20%20%20%20%20%20%20%20_ax.grid(alpha%3D0.3)%0A%20%20%20%20%20%20%20%20_ax.legend(fontsize%3D9)%0A%0A%20%20%20%20_cross%20%3D%20np.where(_tot_on%20%3C%20_tot_off)%5B0%5D%0A%20%20%20%20if%20len(_cross)%3A%0A%20%20%20%20%20%20%20%20_a2.axvline(_conc%5B_cross%5B0%5D%5D%2C%20color%3DC_GREY%2C%20ls%3D%22--%22%2C%20lw%3D1.3)%0A%20%20%20%20%20%20%20%20_a2.text(%0A%20%20%20%20%20%20%20%20%20%20%20%20_conc%5B_cross%5B0%5D%5D%20*%201.08%2C%20max(_tot_off)%20*%200.35%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20f%22ON%20loses%20from%5Cn%7B_conc%5B_cross%5B0%5D%5D%7D%20users%20up%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20fontsize%3D9%2C%20color%3DC_GREY%2C%0A%20%20%20%20%20%20%20%20)%0A%20%20%20%20_fig.suptitle(%0A%20%20%20%20%20%20%20%20f%22simplified%20model%3A%20alpha%3D%7Balpha.value%3A.2f%7D%2C%20K%3D%7Bk.value%7D%2C%20%22%0A%20%20%20%20%20%20%20%20f%22draft%20cost%3D%7BD_COST%3A.0%25%7D%2C%20compute%20cost%20per%20seq%3D%7BT_FLOP%7D%22%2C%0A%20%20%20%20%20%20%20%20fontsize%3D10%2C%0A%20%20%20%20)%0A%20%20%20%20_fig.tight_layout()%0A%20%20%20%20_fig%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%E5%B7%A6%E5%9C%96%EF%BC%88%E6%AF%8F%E5%80%8B%E4%BA%BA%E7%9A%84%E9%80%9F%E5%BA%A6%EF%BC%89%E5%B9%BE%E4%B9%8E%E6%B0%B8%E9%81%A0%E6%98%AF%E9%96%8B%E8%91%97%E6%AF%94%E8%BC%83%E5%BF%AB%E2%80%94%E2%80%94**%E4%BD%BF%E7%94%A8%E8%80%85%E7%9A%84%E9%AB%94%E6%84%9F%E5%B0%B1%E6%98%AF%E9%80%99%E5%BC%B5%E5%9C%96**%E3%80%82%0A%20%20%20%20%E5%8F%B3%E5%9C%96%EF%BC%88%E7%B8%BD%E7%94%A2%E8%83%BD%EF%BC%89%E6%89%8D%E6%98%AF%E8%80%81%E9%97%86%E7%9C%8B%E7%9A%84%EF%BC%9A%E4%BD%8E%E4%BD%B5%E7%99%BC%E6%99%82%E9%96%8B%E8%91%97%E4%B9%9F%E8%B4%8F%EF%BC%8C%E4%BD%86%E9%81%8E%E4%BA%86%E4%BA%A4%E5%8F%89%E9%BB%9E%E4%B9%8B%E5%BE%8C%EF%BC%8C%0A%20%20%20%20%E5%90%8C%E4%B8%80%E5%BC%B5%E5%8D%A1%E6%9C%8D%E5%8B%99%E6%89%80%E6%9C%89%E4%BA%BA%E7%9A%84%E7%B8%BD%E7%94%A2%E8%83%BD%E5%8F%8D%E8%80%8C**%E6%8E%89%E4%B8%8B%E5%8E%BB**%E3%80%82%0A%0A%20%20%20%20%E5%85%A9%E5%BC%B5%E5%9C%96%E8%AA%AA%E7%9A%84%E6%98%AF%E5%90%8C%E4%B8%80%E4%BB%B6%E4%BA%8B%EF%BC%9A%E6%8A%95%E6%A9%9F%E8%A7%A3%E7%A2%BC%E8%B2%B7%E7%9A%84%E6%98%AF**per-user%20%E9%80%9F%E5%BA%A6**%EF%BC%8C%E4%BB%98%E7%9A%84%E6%98%AF**%E7%AE%97%E5%8A%9B**%E3%80%82%0A%20%20%20%20%E7%AE%97%E5%8A%9B%E5%85%8D%E8%B2%BB%EF%BC%88%E4%BD%8E%E4%BD%B5%E7%99%BC%EF%BC%89%E6%99%82%E5%AE%83%E6%98%AF%E7%99%BD%E6%8B%BF%E7%9A%84%EF%BC%9B%E7%AE%97%E5%8A%9B%E7%A8%80%E7%BC%BA%EF%BC%88%E9%AB%98%E4%BD%B5%E7%99%BC%EF%BC%89%E6%99%82%E4%BD%A0%E6%98%AF%E5%9C%A8%E6%8B%BF%E5%88%A5%E4%BA%BA%E7%9A%84%E5%90%8D%E9%A1%8D%E6%8F%9B%E8%87%AA%E5%B7%B1%E7%9A%84%E9%80%9F%E5%BA%A6%E3%80%82%0A%0A%20%20%20%20%E6%8A%8A%20K%20%E6%8B%89%E5%88%B0%2012%20%E5%86%8D%E7%9C%8B%E5%8F%B3%E5%9C%96%EF%BC%9A%E4%BA%A4%E5%8F%89%E9%BB%9E%E6%9C%83%E5%BE%80%E5%B7%A6%E7%A7%BB%E2%80%94%E2%80%94%E7%8C%9C%E8%B6%8A%E5%A4%9A%EF%BC%8C%E8%B6%8A%E6%97%A9%E9%96%8B%E5%A7%8B%E6%8B%96%E5%9E%AE%E7%B8%BD%E5%90%9E%E5%90%90%E3%80%82%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%23%205%EF%B8%8F%E2%83%A3%20%E7%B7%B4%E7%BF%92%EF%BC%9A%E6%8F%9B%E4%BD%A0%E5%8B%95%E6%89%8B%0A%0A%20%20%20%20%E4%B8%8B%E9%9D%A2%E9%80%99%E6%A0%BC%E6%98%AF%E4%BD%A0%E7%9A%84%E5%AF%A6%E9%A9%97%E5%8D%80%EF%BC%8C%E6%94%B9%E5%AE%8C%E6%8C%89%20%E2%96%B6%20%E9%87%8D%E8%B7%91%E3%80%82%E4%B8%89%E5%80%8B%E6%8C%91%E6%88%B0%EF%BC%9A%0A%0A%20%20%20%201.%20**LEVEL%201**%EF%BC%9A%E6%8A%8A%201%EF%B8%8F%E2%83%A3%20%E7%9A%84%20%CE%B1%20%E5%BE%9E%200.40%20%E6%8B%89%E5%88%B0%200.95%EF%BC%88K%20%E5%9B%BA%E5%AE%9A%205%EF%BC%89%EF%BC%8C%0A%20%20%20%20%20%20%20%E8%A8%98%E4%B8%8B%E6%AF%8F%E8%BC%AA%E6%9C%9F%E6%9C%9B%E7%94%A2%E5%87%BA%E5%90%84%E6%98%AF%E5%A4%9A%E5%B0%91%E3%80%82%0A%20%20%20%202.%20**LEVEL%202**%EF%BC%9A%CE%B1%20%3D%200.85%E3%80%81%E8%8D%89%E7%A8%BF%E6%88%90%E6%9C%AC%206%25%20%E6%99%82%EF%BC%8C**%E6%9C%80%E4%BD%B3%20K%20%E6%98%AF%E5%A4%9A%E5%B0%91**%EF%BC%9F%0A%20%20%20%20%20%20%20%E7%94%A8%20%60speedup()%60%20%E6%8E%83%20K%20%3D%201%E2%80%A620%20%E6%89%BE%E5%87%BA%E6%9C%80%E5%A4%A7%E5%80%BC%E3%80%82%0A%20%20%20%203.%20**LEVEL%203**%EF%BC%9A4%EF%B8%8F%E2%83%A3%20%E7%9A%84%20%60T_FLOP%60%EF%BC%88%E6%AF%8F%E5%80%8B%E5%BA%8F%E5%88%97%E7%9A%84%E8%A8%88%E7%AE%97%E5%96%AE%E5%83%B9%EF%BC%89%E5%A6%82%E6%9E%9C%E8%AE%8A%E6%88%90%200.01%0A%20%20%20%20%20%20%20%EF%BC%88%E6%8F%9B%E4%B8%80%E5%BC%B5%E7%AE%97%E5%8A%9B%E6%9B%B4%E5%BC%B7%E7%9A%84%E5%8D%A1%EF%BC%89%EF%BC%8C%E4%BA%A4%E5%8F%89%E9%BB%9E%E6%9C%83%E5%BE%80%E5%B7%A6%E9%82%84%E6%98%AF%E5%BE%80%E5%8F%B3%E7%A7%BB%EF%BC%9F%E5%85%88%E7%8C%9C%EF%BC%8C%E5%86%8D%E6%94%B9%E5%B8%B8%E6%95%B8%E9%A9%97%E8%AD%89%E3%80%82%0A%0A%20%20%20%20%E5%81%9A%E5%AE%8C%E8%A8%98%E5%BE%97%EF%BC%9A**%E9%BB%9E%E5%8F%B3%E4%B8%8A%E8%A7%92%E4%B8%8B%E8%BC%89%E6%8C%89%E9%88%95%EF%BC%88%E6%88%96%E5%B7%A6%E5%81%B4%E6%95%99%E5%AD%B8%E9%A0%81%E7%9A%84%E3%80%8C%E4%B8%8B%E8%BC%89%20.py%E3%80%8D%EF%BC%89%E6%8A%8A%E4%BD%A0%E7%9A%84%E7%89%88%E6%9C%AC%E5%B8%B6%E8%B5%B0**%EF%BC%8C%0A%20%20%20%20%E5%9C%A8%E8%87%AA%E5%B7%B1%E9%9B%BB%E8%85%A6%E7%94%A8%20%60uvx%20marimo%20edit%20lesson.py%60%20%E5%B0%B1%E8%83%BD%E7%B9%BC%E7%BA%8C%E7%8E%A9%E3%80%82%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(expected_tokens%2C%20speedup)%3A%0A%20%20%20%20%23%20%3D%3D%3D%3D%3D%20%E4%BD%A0%E7%9A%84%E5%AF%A6%E9%A9%97%E5%8D%80%20%3D%3D%3D%3D%3D%0A%20%20%20%20%23%20%E6%94%B9%E9%80%99%E4%B8%89%E5%80%8B%E6%95%B8%E5%AD%97%EF%BC%8C%E7%9C%8B%E5%AE%83%E5%80%91%E6%80%8E%E9%BA%BC%E6%B1%BA%E5%AE%9A%E4%B8%80%E5%88%87%0A%20%20%20%20my_alpha%20%3D%200.85%0A%20%20%20%20my_k%20%3D%205%0A%20%20%20%20my_draft_cost%20%3D%200.06%0A%0A%20%20%20%20print(f%22%E6%AF%8F%E8%BC%AA%E6%9C%9F%E6%9C%9B%E7%94%A2%E5%87%BA%20%3A%20%7Bexpected_tokens(my_alpha%2C%20my_k)%3A.2f%7D%20tokens%22)%0A%20%20%20%20print(f%22%E7%AB%AF%E5%88%B0%E7%AB%AF%E5%8A%A0%E9%80%9F%E6%AF%94%20%3A%20%7Bspeedup(my_alpha%2C%20my_k%2C%20my_draft_cost)%3A.2f%7Dx%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo)%3A%0A%20%20%20%20mo.accordion(%0A%20%20%20%20%20%20%20%20%7B%0A%20%20%20%20%20%20%20%20%20%20%20%20%22%F0%9F%92%A1%20LEVEL%201%20%E5%8F%83%E8%80%83%E8%A7%A3%E7%AD%94%22%3A%20mo.md(%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20r%22%22%22%0A%20%20%20%20%E7%9B%B4%E6%8E%A5%E6%8B%89%201%EF%B8%8F%E2%83%A3%20%E7%9A%84%E6%BB%91%E6%A1%BF%E5%B0%B1%E7%9C%8B%E5%BE%97%E5%88%B0%EF%BC%8C%E4%B9%9F%E5%8F%AF%E4%BB%A5%E4%B8%80%E6%AC%A1%E5%8D%B0%E5%87%BA%E4%BE%86%EF%BC%9A%0A%0A%20%20%20%20%60%60%60python%0A%20%20%20%20for%20a%20in%20(0.40%2C%200.60%2C%200.85%2C%200.95)%3A%0A%20%20%20%20%20%20%20%20print(f%22alpha%3D%7Ba%7D%3A%20%7Bexpected_tokens(a%2C%205)%3A.2f%7D%20tokens%2Fround%22)%0A%20%20%20%20%60%60%60%0A%0A%20%20%20%20%E4%BD%A0%E6%87%89%E8%A9%B2%E7%9C%8B%E5%88%B0%20**1.66%20%E2%86%92%202.38%20%E2%86%92%204.15%20%E2%86%92%205.30**%E3%80%82%0A%20%20%20%20%CE%B1%20%E5%BE%9E%200.40%20%E5%88%B0%200.95%EF%BC%8C%E6%AF%8F%E8%BC%AA%E7%94%A2%E5%87%BA%E7%BF%BB%E4%BA%86%203%20%E5%80%8D%E5%A4%9A%E2%80%94%E2%80%94%0A%20%20%20%20**%E6%8E%A5%E5%8F%97%E7%8E%87%E6%89%8D%E6%98%AF%E4%B8%BB%E6%97%8B%E9%88%95**%EF%BC%8C%E9%80%99%E4%B9%9F%E6%98%AF%20Medusa%20%E2%86%92%20EAGLE%20%E2%86%92%20DSpark%20%E4%B8%80%E8%B7%AF%E5%9C%A8%E6%94%B9%E7%9A%84%E6%9D%B1%E8%A5%BF%E3%80%82%0A%20%20%20%20%22%22%22%0A%20%20%20%20%20%20%20%20%20%20%20%20)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22%F0%9F%92%A1%20LEVEL%202%20%E5%8F%83%E8%80%83%E8%A7%A3%E7%AD%94%22%3A%20mo.md(%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20r%22%22%22%0A%20%20%20%20%60%60%60python%0A%20%20%20%20best%20%3D%20max(range(1%2C%2021)%2C%20key%3Dlambda%20kk%3A%20speedup(0.85%2C%20kk%2C%200.06))%0A%20%20%20%20for%20kk%20in%20range(1%2C%2021)%3A%0A%20%20%20%20%20%20%20%20mark%20%3D%20%22%20%20%3C--%20best%22%20if%20kk%20%3D%3D%20best%20else%20%22%22%0A%20%20%20%20%20%20%20%20print(f%22K%3D%7Bkk%3A2d%7D%3A%20%7Bspeedup(0.85%2C%20kk%2C%200.06)%3A.3f%7Dx%7Bmark%7D%22)%0A%20%20%20%20%60%60%60%0A%0A%20%20%20%20%E4%BD%A0%E6%87%89%E8%A9%B2%E7%9C%8B%E5%88%B0%E6%9C%80%E4%BD%B3%20**K%20%3D%209%EF%BC%8C%E5%8A%A0%E9%80%9F%E6%AF%94%20%E2%89%88%203.48x**%E3%80%82%E6%B3%A8%E6%84%8F%20K%20%3D%206%20%E5%B0%B1%E5%B7%B2%E7%B6%93%E6%9C%89%203.33x%20%E4%BA%86%E2%80%94%E2%80%94%0A%20%20%20%20%E6%9C%80%E5%BE%8C%E9%82%A3%203%20%E5%80%8B%E5%AD%97%E5%8F%AA%E5%A4%9A%E6%8F%9B%E5%88%B0%204%25%20%E9%80%9F%E5%BA%A6%EF%BC%8C%E5%8D%BB%E8%AE%93%E6%AF%8F%E8%BC%AA%E5%A4%9A%E7%87%92%203%20%E6%AC%A1%E8%8D%89%E7%A8%BF%E5%89%8D%E5%90%91%E8%88%87%203%20%E5%80%8B%20batch%20%E5%90%8D%E9%A1%8D%E3%80%82%0A%20%20%20%20**%E5%AF%A6%E5%8B%99%E4%B8%8A%E5%AF%A7%E5%8F%AF%E9%81%B8%E6%9B%B2%E7%B7%9A%E9%96%8B%E5%A7%8B%E8%AE%8A%E5%B9%B3%E7%9A%84%E9%82%A3%E5%80%8B%20K%EF%BC%8C%E4%B8%8D%E6%98%AF%E6%9C%80%E9%AB%98%E9%BB%9E%E7%9A%84%E9%82%A3%E5%80%8B%20K%E3%80%82**%0A%20%20%20%20%22%22%22%0A%20%20%20%20%20%20%20%20%20%20%20%20)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22%F0%9F%92%A1%20LEVEL%203%20%E6%8F%90%E7%A4%BA%22%3A%20mo.md(%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20r%22%22%22%0A%20%20%20%20%E6%96%B9%E5%90%91%EF%BC%9A%60T_FLOP%60%20%E6%98%AF%E3%80%8C%E6%AF%8F%E5%80%8B%E5%BA%8F%E5%88%97%E6%AF%8F%E5%80%8B%E4%BD%8D%E7%BD%AE%E7%9A%84%E8%A8%88%E7%AE%97%E6%99%82%E9%96%93%E3%80%8D%EF%BC%8C%E5%AE%83%E8%AE%8A%E5%B0%8F%EF%BC%9D%E9%80%99%E5%BC%B5%E5%8D%A1%E7%9A%84%E7%AE%97%E5%8A%9B%E6%9B%B4%E5%85%85%E8%A3%95%EF%BC%8C%0A%20%20%20%20%E6%89%80%E4%BB%A5%E7%AE%97%E5%8A%9B%E8%A6%81%E6%9B%B4%E6%99%9A%E6%89%8D%E6%9C%83%E8%A2%AB%E5%A1%9E%E6%BB%BF%E3%80%82%E6%94%B9%E5%B8%B8%E6%95%B8%E9%82%A3%E6%A0%BC%E7%9A%84%20%60T_FLOP%20%3D%200.04%60%20%E2%86%92%20%600.01%60%20%E5%86%8D%E7%9C%8B%204%EF%B8%8F%E2%83%A3%20%E5%8F%B3%E5%9C%96%E3%80%82%0A%0A%20%20%20%20%E6%80%8E%E9%BA%BC%E9%A9%97%E8%AD%89%E8%87%AA%E5%B7%B1%E5%81%9A%E5%B0%8D%E4%BA%86%EF%BC%9A%E4%BA%A4%E5%8F%89%E9%BB%9E%EF%BC%88%E8%99%9B%E7%B7%9A%EF%BC%89%E6%87%89%E8%A9%B2%E5%BE%80**%E5%8F%B3**%E7%A7%BB%EF%BC%8C%E7%94%9A%E8%87%B3%E8%B7%91%E5%87%BA%20128%20%E4%BB%A5%E5%A4%96%E6%B6%88%E5%A4%B1%0A%20%20%20%20%EF%BC%88%E4%BB%A3%E8%A1%A8%E5%9C%A8%E9%80%99%E5%80%8B%E7%AF%84%E5%9C%8D%E5%85%A7%E9%96%8B%E8%91%97%E6%B0%B8%E9%81%A0%E4%B8%8D%E8%99%A7%EF%BC%89%E3%80%82%E5%8F%8D%E9%81%8E%E4%BE%86%E6%8A%8A%20%60T_FLOP%60%20%E8%AA%BF%E5%A4%A7%E5%88%B0%200.12%EF%BC%8C%0A%20%20%20%20%E4%BA%A4%E5%8F%89%E9%BB%9E%E6%9C%83%E5%BE%80%E5%B7%A6%E8%A1%9D%E5%88%B0%E5%BE%88%E5%B0%8F%E7%9A%84%E4%BD%B5%E7%99%BC%E6%95%B8%E2%80%94%E2%80%94**%E5%90%8C%E4%B8%80%E7%B5%84%20%CE%B1%20%E8%88%87%20K%EF%BC%8C%E6%8F%9B%E4%B8%80%E5%BC%B5%E5%8D%A1%E7%B5%90%E8%AB%96%E5%B0%B1%E6%9C%83%E5%8F%8D%E9%81%8E%E4%BE%86**%EF%BC%8C%0A%20%20%20%20%E9%80%99%E5%B0%B1%E6%98%AF%E7%82%BA%E4%BB%80%E9%BA%BC%E5%B7%A6%E9%82%8A%E6%95%99%E5%AD%B8%E9%A0%81%E4%B8%80%E7%9B%B4%E8%AA%AA%E3%80%8C%E9%AB%98%E4%BD%B5%E7%99%BC%E5%8B%99%E5%BF%85%E8%87%AA%E5%B7%B1%E5%AF%A6%E6%B8%AC%20on%2Foff%E3%80%8D%E3%80%82%0A%20%20%20%20%22%22%22%0A%20%20%20%20%20%20%20%20%20%20%20%20)%2C%0A%20%20%20%20%20%20%20%20%7D%0A%20%20%20%20)%0A%20%20%20%20return%0A%0A%0Aif%20__name__%20%3D%3D%20%22__main__%22%3A%0A%20%20%20%20app.run()%0A