n皇后问题的数学模型