11.2 对称哲学家用餐算法的不存在性