Algorithm 6 generates the optimal a

Algorithm 6 generates the optimal allocation of robots to sections (and their backtracking, if necessary), such that coverage is achieved at the best possible time. This is proven in Theorem 4.1.1 below. The optimality is according to the MSTC movement rules which introduced before: all the robots move along the same spanning tree without crossing it, and every robot backtracks only on its own steps. The only case where a robot has to cover another robot’s cell is where the latter failed and its entire allocated section has to be covered by another robot.

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

Thuật toán 6 tạo ra việc phân bổ tối ưu các robot để phần (và của backtracking, nếu cần thiết), như vậy mà phạm vi bảo hiểm được thực hiện tại thời gian tốt nhất có thể. Điều này được chứng minh định lý 4.1.1 dưới đây. Điều là theo các quy tắc phong trào MSTC giới thiệu trước khi: tất cả các robot di chuyển dọc theo cùng một cây khung mà không đi qua nó, và mỗi robot backtracks chỉ trên bước riêng của mình. Các trường hợp duy nhất nơi một robot có để trang trải một robot di động là nơi không thành công sau này và toàn bộ của nó giao phần đã được bao phủ bởi một robot.

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

Thuật toán 6 tạo ra sự phân bổ tối ưu các robot phần (và tùy ý họ, nếu cần thiết), như vậy là phạm vi bảo hiểm được thực hiện tại thời gian tốt nhất có thể. Điều này được chứng minh trong định lý 4.1.1 dưới đây. Việc tối ưu là theo các quy tắc phong trào MSTC trong đó giới thiệu trước: tất cả các robot di chuyển dọc theo cây bao trùm cùng mà không đi qua nó, và mỗi con robot backtracks chỉ về các bước của riêng mình. Chỉ trường hợp một robot có để che di động của robot khác là nơi mà sau này đã thất bại và toàn bộ phần phân bổ của nó đã được bao phủ bởi robot khác.