算法－哲学家就餐－arbitrator solution