Theorem 5.1.2 (Non-Redundancy). If

Theorem 5.1.2 (Non-Redundancy). If all robots use Algorithm 11, and no robot fails, no cell is visited more than once. Proof. If no robot fails, then each robot only covers the cells for which it builds a tree edge. If there is already a tree edge to a cell, the robot will not enter it (Line 5). Thus every cell is covered only by a single robot. Since robots never backtrack, every point is only covered once

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

Định lý 5.1.2 (Non-Redundancy). Nếu tất cả các robot sử dụng thuật toán 11, và không có con robot không thành công, không có tế bào được truy cập nhiều hơn một lần. Bằng chứng. Nếu không có con robot không thành công, sau đó mỗi robot chỉ bao gồm các tế bào mà nó xây dựng một lợi thế cạnh cây. Nếu có được một lợi thế cạnh cây để một tế bào, các robot sẽ không nhập nó (dòng 5). Do đó mỗi tế bào chỉ được đề cập bởi một robot duy nhất. Từ robot không bao giờ quay lại, tất cả các điểm được chỉ bảo hiểm một lần