Toueg [27] and Christian et al. [8]

Toueg [27] and Christian et al. [8], respectively. The notion of wait-freedom was introduced by Lamport [20] and later developed by Herlihy [18]. The notions of the space, message, and time complexities have been around for a long time. The time and message complexity measures were formalized by Peterson and Fischer [28] and later by Awerbuch [3].
The various spanning tree algorithms are common knowledge and have been used informally in many contexts. Broadcast, convergecast, and distributed spanning trees are listed as part of a suite of elementary algorithms [13]. Segall [32] formally presented the broadcast and convergecast algorithms, and the breadth-first search span- ning tree algorithm, on which Algorithm 5.1 is based. Algorithms 5.3 and 5.4, which compute flooding-based and depth-first search based spanning trees, respectively, in the face of concurrent initiators, use the technique of supressing lower priority ini- tiations. This technique has been used in many other contexts in computer science (e.g., database transaction serialization, deadlock detection). An asynchronous DFS algorithm with a specified root was given by Cheung [7]. Algorithm 5.4 adapts this to handle concurrent initiators. The solution to Exercise 5.9, which asks for a linear-time DFS tree, was given by Awerbuch [2].
The synchronous Bellman–Ford algorithm is derived from the Bellman–Ford short- est path algorithm [4,12]. The asynchronous Bellman–Ford was formalized by Chandy and Misra [5]. The distance vector routing algorithm and synchronous flooding algo- rithm of Algorithm 5.10 are based on the Arpanet protocols [33]. The Floyd–Warshall algorithm is from [9] and its distributed version was given by Toueg [34]. The asynchronous flooding algorithm outlined in Algorithm 5.9 is based on the link state routing protocol used in the Internet [33].
The synchronous distributed minimum spanning tree algorithm was given by Gal- lagher et al. [14]. Its asynchronous version was also proposed by the same authors. The notion of synchronizers, and the a, þ, and ç synchronizers were introduced by Awerbuch [3]. The randomized algorithm for the maximal independent set (MIS) was proposed by Luby [24]. Several distributed algorithms to create connected dominating sets with a low approximation factor are surveyed by Wan et al. [36]. The randomized algorithm for connected dominating set by Dubhashi et al. [11] has an approximation factor of O(logA), where A is the maximum degree of the network. This algorithm also has a stretch factor of O(log n). Compact routing based on the tree topology was introduced by Santoro and Khatib [29]. Its generalization to interval routing was introduced by van Leeuwen and Tan [35]. A survey of interval routing mechanisms is given by Gavoille [15]. The LCR algorithm for leader election was proposed by LeLann [23] and Chang and Roberts who provided several optimizations [6]. The O(nlog n) alogrithm for leader election was given by Hirschberg and Sinclair [19]. The result on the impossibility of election on anonymous rings was shown by Angluin [1]. The adaptive replication algorithm was proposed by Wolfson et al. [37].

References
[1] D. Angluin, Local and global properties in networks of processors, Proceedings of the 12th ACM Symposium on Theory of Computing, 1980, 82–93.
[2] B. Awerbuch, Optimal distributed algorithms for minimum weight spanning tree, counting, leader election, and related problems, Proceedings of 19th ACM Symposium on Principles of Theory of Computing (STOC), 1987, 230–240.

Kết quả (Việt) 1:

Toueg [27] và Christian et al. [8], tương ứng. Các khái niệm của chờ đợi-tự do được giới thiệu bởi Lamport [20] và sau đó phát triển bởi Herlihy [18]. Các khái niệm của không gian, tin nhắn, và thời gian phức tạp đã khoảng một thời gian dài. Các biện pháp phức tạp thời gian và tin nhắn đã được chính thức hóa bởi Peterson và Fischer [28] và sau đó là Awerbuch [3].Các thuật toán cây khung khác nhau là phổ biến kiến thức và đã được sử dụng không chính thức trong nhiều bối cảnh. Phát sóng, convergecast, và cây khung phân phối được liệt kê như là một phần của một bộ tiểu học thuật toán [13]. Segall [32] chính thức trình bày việc phát sóng và convergecast thuật toán, và thuật toán tìm kiếm theo chiều rộng khoảng-ning cây, mà thuật toán 5.1 dựa. Thuật toán 5,3 và 5.4, tính toán dựa trên lũ lụt và chiều sâu đầu tiên tìm kiếm dựa trên khung cây, tương ứng, khi đối mặt với khởi xướng đồng thời, sử dụng các kỹ thuật của supressing thấp ưu tiên ini-tiations. Kỹ thuật này đã được sử dụng nhiều ngôn ngữ trong khoa học máy tính (ví dụ như, cơ sở dữ liệu giao dịch đăng trên, bế tắc phát hiện). Một thuật toán DFS không đồng bộ với bản gốc được chỉ định đã được đưa ra bởi Cheung [7]. Thuật toán 5.4 điều chỉnh này để xử lý đồng thời người khởi xướng. Các giải pháp để tập thể dục 5.9, mà yêu cầu một cây DFS thời gian tuyến tính, đã được đưa ra bởi Awerbuch [2].Thuật toán Bellman-Ford đồng bộ có nguồn gốc từ thuật toán Bellman-Ford đường dẫn ngắn-est [4,12]. Không đồng bộ Bellman-Ford được chính thức hóa bởi thanh và Misra [5]. Các thuật toán định tuyến vector khoảng cách và đồng bộ lũ lụt algo-rithm của thuật toán 5,10 được dựa trên giao thức mạng Arpanet [33]. Thuật toán Floyd-Warshall là từ [9] và phiên bản phân phối đã được đưa ra bởi Toueg [34]. Các thuật toán không đồng bộ của lũ lụt được nêu trong thuật toán 5.9 dựa trên liên kết nhà nước giao thức định tuyến được sử dụng trong Internet [33].Đồng bộ phân phối tối thiểu spanning tree thuật toán đã được đưa ra bởi Gal-lagher et al. [14]. Phiên bản không đồng bộ của nó cũng được đề xuất bởi các tác giả tương tự. Các khái niệm của synchronizers, và một, þ, và ç synchronizers đã được giới thiệu bởi Awerbuch [3]. Thuật toán ngẫu nhiên để tập độc lập tối đa (MIS) đã được đề xuất bởi Luby [24]. Một số thuật toán phân phối để tạo ra bộ thống trị được kết nối với một yếu tố thấp xấp xỉ được khảo sát bởi Wan et al. [36]. Các thuật toán ngẫu nhiên cho kết nối thống trị thiết lập bởi Dubhashi et al. [11] có một yếu tố xấp xỉ của O(logA), nơi A là mức độ tối đa của mạng. Thuật toán này cũng có một yếu tố căng của O (log n). Nhỏ gọn định tuyến dựa trên cấu trúc liên kết của cây được giới thiệu bởi Santoro và Khatib [29]. Của nó tổng quát để định tuyến khoảng thời gian đã được giới thiệu bởi van Leeuwen và Tan [35]. Một cuộc khảo sát của khoảng thời gian cơ chế định tuyến được đưa ra bởi Gavoille [15]. Thuật toán LCR cho cuộc bầu cử lãnh đạo đã được đề xuất bởi LeLann [23] và Chang và Roberts người cung cấp một số tối ưu hóa [6]. Alogrithm O (nlog n) cho cuộc bầu cử lãnh đạo đã được đưa ra bởi Hirschberg và Sinclair [19]. Kết quả trên impossibility của cuộc bầu cử vào vòng vô danh đã được hiển thị bởi Angluin [1]. Thuật toán nhân rộng thích nghi đã được đề xuất bởi Wolfson et al. [37].Tài liệu tham khảo[1] D. Angluin, địa phương và toàn cầu tài sản trong các mạng của bộ vi xử lý, thủ tục tố tụng của hội nghị chuyên đề ACM 12 trên lý thuyết của máy tính, 1980, 82-93.[2] sinh Awerbuch, Optimal phân phối các thuật toán cho trọng lượng tối thiểu bao trùm cây, đếm, cuộc bầu cử lãnh đạo và các vấn đề liên quan, thủ tục tố tụng của 19 ACM hội nghị chuyên đề về nguyên tắc của lý thuyết của máy tính (STOC), năm 1987, 230-240.

Kết quả (Việt) 2:

Toueg [27] và Christian et al. [8], tương ứng. Các khái niệm chờ đợi tự do đã được giới thiệu bởi Lamport [20] và sau đó được phát triển bởi Herlihy [18]. Những khái niệm về không gian, tin nhắn, và sự phức tạp thời gian đã được khoảng một thời gian dài. Thời gian và nhắn biện pháp phức tạp đã được chính thức hóa bởi Peterson và Fischer [28] và sau đó bởi Awerbuch [3].
Các thuật toán cây khung khác nhau là hiểu biết thông thường và đã được sử dụng chính thức trong nhiều ngữ cảnh. Broadcast, convergecast, và cây spanning phân phối được liệt kê như là một phần của một bộ thuật toán tiểu học [13]. Segall [32] trình bày chính thức phát sóng và các thuật toán convergecast, và việc tìm kiếm span- bề rộng-đầu tiên thuật toán cây ning, trên đó Algorithm 5.1 dựa. Thuật toán 5.3 và 5.4, trong đó tính toán tìm kiếm dựa cây spanning lũ lụt dựa trên và chiều sâu-đầu tiên, tương ứng, trong khuôn mặt của người khởi đồng thời, sử dụng các kỹ thuật của supressing ưu tiên thấp hơn tiations ini-. Kỹ thuật này đã được sử dụng trong nhiều bối cảnh khác trong khoa học máy tính (ví dụ, giao dịch cơ sở dữ liệu tuần tự, phát hiện bế tắc). Một thuật toán DFS không đồng bộ với một gốc quy định đã được đưa ra bởi Cheung [7]. Algorithm 5.4 điều chỉnh này để xử lý đồng thời khởi xướng. Các giải pháp cho Vận động 5.9, mà yêu cầu cho một cây DFS tuyến tính thời gian, đã được đưa ra bởi Awerbuch [2].
Các đồng bộ thuật toán Bellman-Ford có nguồn gốc từ ngắn Bellman-Ford est thuật toán đường dẫn [4,12]. Sự không đồng bộ Bellman-Ford đã chính thức hóa bởi Chandy và Misra [5]. Các thuật toán vector khoảng cách định tuyến và đồng bộ lũ thuật toán của thuật toán 5.10 dựa trên giao thức Arpanet [33]. Các Thuật toán Floyd-Warshall là từ [9] và phiên bản phân phối của nó đã được đưa ra bởi Toueg [34]. Các thuật toán ngập lụt không đồng bộ được nêu trong Algorithm 5.9 dựa trên giao thức định tuyến trạng thái liên kết được sử dụng trong Internet [33].
Các thuật toán spanning tree tối thiểu được phân phối đồng bộ đã được đưa ra bởi Gal- lagher et al. [14]. Phiên bản không đồng bộ của nó cũng đã được đề xuất bởi các tác giả cùng. Các khái niệm về synchronizers, và một, þ, và synchronizers ç đã được giới thiệu bởi Awerbuch [3]. Các thuật toán ngẫu nhiên cho các thiết lập độc lập tối đa (MIS) được đề xuất bởi Luby [24]. Một số thuật toán phân phối để tạo ra bộ trận đấu bên phía kết nối với một yếu tố xấp xỉ thấp được khảo sát bởi Wan et al. [36]. Các thuật toán ngẫu nhiên cho kết nối được thiết lập bởi trận đấu bên phía Dubhashi et al. [11] có một yếu tố xấp xỉ của O (Loga), trong đó A là mức độ tối đa của mạng. Thuật toán này cũng có một yếu tố căng của O (log n). Định tuyến nhỏ gọn dựa trên topo cây đã được giới thiệu bởi Santoro và Khatib [29]. Khái quát của mình cho khoảng thời gian định tuyến đã được giới thiệu bởi van Leeuwen và Tân [35]. Một cuộc khảo sát của các cơ chế định tuyến khoảng thời gian được cho bởi Gavoille [15]. Các thuật toán LCR cho lãnh đạo cuộc bầu cử đã được đề xuất bởi LeLann [23] và Chang và Roberts đã cung cấp một số tối ưu hóa [6]. The O (nLog n) alogrithm cho lãnh đạo cuộc bầu cử đã được đưa ra bởi Hirschberg và Sinclair [19]. Các kết quả về việc không của cuộc bầu cử vào chiếc nhẫn vô danh đã được thể hiện bởi Angluin [1]. Các thuật toán nhân rộng thích ứng đã được đề xuất bởi Wolfson et al. [37]. Tài liệu tham khảo [1] D. Angluin, tính chất địa phương và toàn cầu trong mạng lưới của bộ vi xử lý, Kỷ yếu của Hội nghị lần thứ 12 ACM trên lý thuyết của máy tính, năm 1980, 82-93. [2] B. Awerbuch, thuật toán phân bố tối ưu cho tối thiểu trọng lượng cây mở rộng, đếm, lãnh đạo cuộc bầu cử, và các vấn đề liên quan, Kỷ thứ 19 ACM Hội nghị chuyên đề về các nguyên tắc của lý thuyết của Computing (STOC), 1987, 230-240.