谁能帮我想想这个程序要怎么写呢，谢谢。
Prince of Persia里面的一个puzzle,需要先用c语言实现，然后再用model checker 验证。
 
迷宫里面的cell有三种不同的type构成，每种type有不同的沟让水流过。H代表摇杆可以控制其周围的cell。摇杆转动时，周围的cell同时转动。要求给出摇杆转动的顺序，使得能让水从入口流向出口。

具体描述见图片

[img]http://xzptpw.bay.livefilestore.com/y1pjaGDsYGqDql21ScY0ssrZqoG_U1-D9cn-7ymsm3xWQSQ2T1K8E1_j2xMw2fxib492rJqPGxIc_6DZUdc9Ra8-s_wrwMa0KdC/maze.jpg[/img]

Areas rotated中黑色代表顺时针转动，[color=FF0000]红色[/color]代表逆时针转动。

我C语言和算法的基础比较差，明白的同学帮帮忙吧，先谢谢了~~~~~[em2]