Ada區間中唯一隨機數的列表

Question

我很抱歉打擾你我知道this question已被問了很多，但從來沒有與Ada ......我想知道是否有在Ada標準庫中的一種方法生成一個唯一的隨機數列表（你永遠不會選擇兩倍相同的數字）在O（n） 在某種程度上Ada中的Knuth-Fisher-Yates算法的實現？

Answer 1

有一個實施Fisher–Yates洗牌here的討論。基本上，您需要在每次迭代中使用不同範圍的Discrete_Random，如here所示; Float_Random是另一種選擇，如A.5.2(50), Note 16中所述。如果偏差不重要，這個example可能就足夠了。

在任何情況下，洗牌是O（n）的，但選擇可以O（1）。

附錄：複製創建該集取決於implementation。例如，Containers.Hashed_Sets, A.18.8(88/2)和Containers.Ordered_Sets, A.18.9(116/2)。

Answer 2

既然你想： 一）隨機數從0到1000 和 b）該數字不是根據你提供的鏈接重複 ，你可以這樣做比較容易。

只需使用值的範圍填充數組，然後在隨機選擇的元素上執行一些交換;這保證了這兩個要求都得到了保證。

Answer 3

我冒昧地編碼它。 您需要使用Ada.Numerics.Discrete_Random。

Generic 
     Low, High : Integer; 
    Package Initialization is 
     SubType Element is Integer Range Low..High; 
     Function Incrementor Return Element; 
     Type Element_Array is Array(Element) of Element; 

     Values : Element_Array; 
     Procedure Print; 
    End Initialization; 

    Package Body Initialization is 
     Count : Element := Element'Last; 

     Function Incrementor Return Element is 
     begin 
     Return Result : Element:= Count do 
      Null; 
      Count:= Element'Pred(Result); 
     Exception 
       When Constraint_Error => Count:= Element'Last; 
     End Return; 
     end Incrementor; 

     Procedure Swap(Index_1, Index_2 : In Integer) is 
     Temp : Constant Element:= Values(Integer(Index_1)); 
     begin 
     Values(Integer(Index_1)):= Values(Integer(Index_2)); 
     Values(Integer(Index_2)):= Temp; 
     end Swap; 

     Procedure Print is 
     begin 
     Put_Line("Length: " & Values'Length'Img); 
     Put("("); 
     For Index in Values'First..Integer'Pred(Values'Last) loop 
      Put(Values(Index)'Img & ','); 
     end loop; 
     Put(Values(Values'Last)'Img); 
     Put_Line(")"); 
     end Print; 


    Begin 
     Shuffle: 
     Declare 
     Package Random_Element is New 
     Ada.Numerics.Discrete_Random(Element); 
     Number : Random_Element.Generator; 
     Use Random_Element; 
     Begin 
     Values:= Element_Array'(Others => Incrementor); 
     Reset(Number); 
     For Index in Element'Range loop 
      Swap(Integer(Index), Integer(Random(Number))); 
     end loop; 
     End Shuffle; 
    End Initialization; 

你還可以用像測試一下：

Test: 
    Declare 
     Package Q is new 
    Initialization(Low => 0, High => 1000); 
    Begin 
     Q.Print; 
    End Test;