在页面置换算法中最有效的一种称为( )算法。