erlang下lists模塊sort(排序)方法源碼解析(二)
阿新 • • 發佈:2018-05-23
比較 應該 源碼解析 tudou 解析 [] sort bsp 時間差
上接erlang下lists模塊sort(排序)方法源碼解析(一),到目前為止,list列表已經被分割成N個列表,而且每個列表的元素是有序的(從大到小)
下面我們重點來看看mergel和rmergel模塊,因為我們先前主要分析的split_1_*對應的是rmergel,我們先從rmergel查看,如下
.......................................................
split_1(X, Y, [], R, Rs) ->
rmergel([[Y, X | R] | Rs], []).
....................................................... split_1_1(X, Y, [], R, Rs, S)-> rmergel([[S], [Y, X | R] | Rs], []). .............................................................
rmergel的代碼比較多,看一下發現其實思路非常清晰,
1 rmergel([[H3 | T3], [H2 | T2], T1 | L], Acc) -> 2 rmergel(L, [rmerge3_1(T1, [], H2, T2, H3, T3) | Acc]); 3 rmergel([[H2 | T2], T1], Acc) -> 4 mergel([rmerge2_1(T1, H2, T2, []) | Acc], []);5 rmergel([L], Acc) -> 6 mergel([lists:reverse(L, []) | Acc], []); 7 rmergel([], Acc) -> 8 mergel(Acc, []).
當列表的個數>=3超過就用拿3個進行比較合並rmerge3_1實現,把這3個列表拼成1個有序的列表(拼完成了從小到大);剩下的按照這個邏輯
當然列表=2就拿2個進行比較合並rmerge2_1實現,把這2個列表拼成1個有序的列表(拼完成了從小到大)
當列表只有1個的時候,這個列表就是有序的了
按照這個理解,復雜程度應該是log3n*n不是先前理解的n,
可是這裏不能理解的是為什麽要拿3個來比較,
我按照一次拿2個的邏輯來寫,代碼就簡單很多,可是運行的時間差不多是原作者的的1.5-2倍,實在不能理解
附上我一次拿2個列表的邏輯代碼
my_rmerge([H1,H2|T], R) -> my_rmerge(T, [my_rmerge2(H1, H2, [])|R]); my_rmerge([H1], R) -> my_merge([lists:reverse(H1)|R], []); my_rmerge([], [R]) -> R; my_rmerge([], R) -> my_merge(R, []). my_rmerge2([H1|T1],[H2|T2], List) when H2 >= H1 -> ([H1|T1], T2, [H2|List]); my_rmemy_rmerge2rge2([H1|T1],[H2|T2], List) -> my_rmerge2(T1, [H2|T2], [H1|List]); my_rmerge2([], L2, List) -> lists:reverse(L2, List); my_rmerge2(L1, [], List) -> lists:reverse(L1, List). my_merge([H1,H2|T], R) -> my_merge(T, [my_merge2(H1, H2, [])|R]); my_merge([H1], R) -> my_rmerge([lists:reverse(H1)|R], []); my_merge([], [R]) -> lists:reverse(R); my_merge([], R) -> my_rmerge(R, []). my_merge2([H1|T1],[H2|T2], List) when H2 < H1 -> my_merge2([H1|T1], T2, [H2|List]); my_merge2([H1|T1],[H2|T2], List) -> my_merge2(T1, [H2|T2], [H1|List]); my_merge2([], L2, List) -> lists:reverse(L2, List); my_merge2(L1, [], List) -> lists:reverse(L1, List).
查看對比結果
1 95> timer:tc(tt1, mysort, [B2]). 2 {48842, 3 [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22, 4 23,24,25,26,27|...]} 5 96> timer:tc(tt1, mysort, [B2]). 6 {53618, 7 [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22, 8 23,24,25,26,27|...]} 9 97> timer:tc(lists, sort, [B2]). 10 {31179, 11 [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22, 12 23,24,25,26,27|...]} 13 98> timer:tc(lists, sort, [B2]). 14 {29326, 15 [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22, 16 23,24,25,26,27|...]}
B2是一個1到100000的亂序列表,為什麽差別會這麽大,
有沒有大神解釋一下,按這樣的邏輯,如果一次拿4個是不是更塊,代碼當然更多~~~
erlang下lists模塊sort(排序)方法源碼解析(二)