erl_线性结构-Josephu(约瑟夫问题 )问题

Josephu(约瑟夫问题 )问题:

设编号分别为:1,2,…,n的n个人围坐一圈。约定序号为k(1 <= k < = n)的人从1开始计数，数到m的那个人出列，他的下一位又从1开始计数，数到m的那个人又出列，依次类推，直到所有人出列为止。

设n=8,k=3,m=4时，

出列为:6,2,7,4,3,5,1,8

算法思路:用一个不带头结点的循环链表来处理Josephu问题：先构成一个有n个结点的单循环链表，然后从第k结点起从1计数，计到m时，对应结点从链表中删除；然后再从被删除结点的下一个结点起又从1开始计数….,直到所有结点都列出时算法结束。

Josephu问题，在其他语言都是选用单循环链表循环，在erlang里面实现环的话，个人看法只能循环到尾接着头这样的lists处理，

代码如下:

josephu(N,K,M) when K > 1 andalso K<N andalso M > 1 andalso M<N ->
NList = lists:seq(1,N),
{H,T} = lists:split(K-1,NList),
NList1 = T ++ H,
josephu1(NList1,M);
josephu(_, _,_) ->
false.
josephu1([], _M) ->
final;
josephu1(NList ,M) when length(NList) >= M->
{H,[_Del|T]} = lists:split(M-1,NList),
io:format("josephu delete : ~p ~n",[_Del]),
josephu1(T++H ,M) ;
josephu1(NList, M) when length(NList) < M ->
{_,DVuale}=
lists:foldl(fun(K,{TL,_DelV})->
case length(TL) >= K of
true->
{TL,lists:nth(K,TL)};
_->
{TL++TL,lists:nth(K,TL++TL)}
end
end,{NList,0},lists:seq(1,M)),
io:format("josephu delete : ~p ~n",[DVuale]),
josephu1(lists:delete(DVuale,NList), M).