中文知识库
从约束识别、模板选择到证明义务与错误模式,适合系统学习和面试复习。
把算法题压缩成可迁移、可复习的模板系统。A bilingual knowledge base for recognizing constraints, selecting patterns, proving correctness, and reviewing efficiently.
从约束识别、模板选择到证明义务与错误模式,适合系统学习和面试复习。
A compact system for transferring reusable algorithmic ideas across problem families.
Selection, prerequisites, complexity, modeling transformations, proof obligations, error invariants, and more.
Each template records recognition signals, invariants, complexity, edge cases, implementation traps, and related approaches.