除雪问题的数学模型