lightoj1002隔板法加卢卡斯定理