多项式时间归结相关论文