树状数组正确性证明 - AC-wyr

Wait 5 sec.

【摘要】（证明并不严谨，都是自己想的方法） 我将以下代码为后面证明过程中的树状数组模板 void add(int x, int k){ for(;x