“初始时个皇后都放在棋盘上，然后再进行移动”是哪一种形式化方式