태그 Formal Power Series 형식적멱급수 수열과 쿼리 26 Atcoder Library Segment Tree Beats 세그먼트 트리 lazy propagation segment tree Polynomial ACL 조합론 다항식 정수론 추상화 잡담 FFT