The algorithm’s completeness and ro

The algorithm’s completeness and robustness can be proven similarly to the completeness and robustness of the non-backtracking Algorithm 2. With respect to its backtracking, it can be easily shown that any point that is covered more than once, is covered by the same robot, and that there is no point that is covered more than twice.

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

Các thuật toán đầy đủ và mạnh mẽ có thể được chứng minh tương tự để đầy đủ và mạnh mẽ của các thuật toán backtracking phòng không 2. Đối với backtracking của nó, nó có thể được dễ dàng hiển thị bất kỳ điểm nào được bao phủ nhiều hơn một lần, được bao phủ bởi cùng một robot, và rằng có là không có điểm được bao phủ nhiều hơn gấp đôi.

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

Đầy đủ của thuật toán và mạnh mẽ có thể được chứng minh tương tự như tính đầy đủ và mạnh mẽ của các phi backtracking Thuật toán 2. Đối với backtracking của nó với, nó có thể dễ dàng chỉ ra rằng bất kỳ điểm nào đó được bao phủ nhiều hơn một lần, được bao phủ bởi các robot tương tự, và rằng không có thời điểm đó được bao phủ hơn hai lần.