严格上升子序列

洛谷 P1637 / SPOJ SP2815 INCSEQ 复盘：长度 k 严格上升子序列的树状数组模板

从洛谷 P1637 三元上升子序列出发，推广到 SPOJ INCSEQ 的长度 k 严格上升子序列计数问题，复盘分层动态规划与树状数组优化的通用做法。