Kiểm tra các thủ tục hoạt động như sau. Chúng tôi nhận được một cấu hình của robot, i, và chuyển động của nó, và phải tính toán, nếu các robot khác có thể hoàn thành bảo hiểm trong cùng một thời gian để Robot i hoàn thành các phần của nó. Ý tưởng là khi xác định chuyển động của một robot để xác định thời gian bao phủ nói chung, tất cả các robot khác chỉ có một cơ hội để di chuyển trong khung thời gian tương tự, vì vậy việc kiểm tra tính hợp lệ của giải pháp là tuyến tính trong số lượng robot. Đầu tiên, robot i của thời gian bảo hiểm được tính toán. Để giảm thiểu tổng thời gian bảo hiểm, nếu con robot i có phải quay lại, nó sẽ làm như vậy trong phần nhỏ hơn (dòng 1). Sau đó chúng tôi kiểm tra khoảng cách mà các robot tiếp theo có thể được bao gồm trong cùng một thời gian là gì. Nếu có một khu vực còn lại giữa các robot mà cả hai đã không bao gồm nó không phải là một giải pháp hợp lệ (dòng 4). Nếu không, robot này có một khu vực còn lại giữa nó và robot bên cạnh nó (dòng 7,10) mà đã được bao gồm trong cùng khoảng thời gian, vì vậy chúng tôi lặp lại việc kiểm tra giữa chúng. Việc kiểm tra được thực hiện theo chu kỳ cho tất cả các robot (dòng 3), và nếu tổng diện tích có thể được bao phủ trong khung thời gian được xác định bởi cấu hình nhất định, giải pháp là hợp lệ.
đang được dịch, vui lòng đợi..