自然数集N的(a,b,k)型可加划分

设N是自然数集,U={u_m}是一个自然数的递推序列,其递推公式u_m=u_(m-2)+u_(m-1)+k,k≥0,m≥3,初始值u_1=a≥1,u_2=b≥1。若N有一个无序划分