分面筛选背后的数学：集合、格与自适应选项
用集合论把体裁/主题/标签三维筛选形式化为一条交并表达式，导出单调性与 Galois 对应，给出自适应选项的可用性判定与复杂度。
体裁
主题
标签
为 Markdown 公式添加自动编号支持
服务端 Markdown 扩展为公式分配编号、把 \label 变成锚点、把 \eqref/\ref 解析成可点击引用，KaTeX 只负责排版；三步流程、实现细节与边界。
向奶奶解释：什么是幂集？
$2^{V_d}$ 是「$V_d$ 的幂集」（power set），也就是 $V_d$ 的所有子集构成的集合。那么，怎么向奶奶解释什么是幂集呢？
没有符合当前筛选的文章。