After reading the background, I thought it would always be q[i]<=p[i]. But it seems not so, and normal dp is ok...