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 以上都不正确