🏠 首页
基准测试
📊 所有基准测试 🦖 恐龙 v1 🦖 恐龙 v2 ✅ 待办事项应用 🎨 创意自由页面 🎯 FSACB - 终极展示 🌍 翻译基准测试
模型
🏆 前 10 名模型 🆓 免费模型 📋 所有模型 ⚙️ 🛠️ 千行代码模式
资源
💬 💬 提示库 📖 📖 AI 词汇表 🔗 🔗 有用链接
Intermediate

Big O Notation Formal Proof

#analysis #math #proofs

Mathematically prove the asymptotic upper bound of a recursive function.

Using the formal definition of Big O notation, prove that the recurrence relation T(n) = 2T(n/2) + n is O(n log n). Detail every step of the substitution method or the recursion tree analysis used in your derivation.