rt，dp bitset 优化和数学证明都有思维难度，将近 $2200$ 的题评绿有些不合理。