$k$ 不保证是正数/ng。唐完了。码了半个小时交上去 assert 没过。