There are two main kinds of formulation for 8-queens problem. Which of the following one is the formulation that starts with all 8 queens on the board and moves them around? 
有两种8皇后问题的形式化方式。“初始时8个皇后都放在棋盘上，然后再进行移动”属于哪一种形式化方式？
A、Incremental formulation 增量形式化
B、Normal formulation 正则形式化
C、Complete-state formulation 全态形式化
D、Half-state formulation 半态形式化
E、None of the above is correct 以上都不正确