Thời gian bao phủ tốt nhất cho các thuật toán MSTC quay lùi là giống như đối với các phiên bản không quay lui, tức là, n / k - 1. Bởi vì trong trường hợp tốt nhất, các vị trí ban đầu của các robot cách đều nội, và các robot có Bulgaria bao phủ phần của nó mà không cần quay lui. Các trường hợp xấu nhất thời gian bao phủ được phân tích dưới đây:Định lý 3.2.1 (trường hợp MSTC quay lui xấu nhất). Thời gian chạy của trường hợp xấu nhất cho thuật toán 5 là khi n / 2-1 k > 2, và 2n / 3-1 khi k = 2.Bằng chứng. Có hai trường hợp, tùy thuộc vào giá trị của k. trường hợp 1 (k = 2). Trong trường hợp xấu nhất, một trong các robot có một phần x mà là nhỏ hơn hoặc bằng một nửa con đường. Nếu x là dài hơn một phần ba (1/3) của đường dẫn toàn bộ, bao gồm robot khác một phần ít hơn 2/3 của con đường, và chúng tôi đang thực hiện. Nếu x là tương đương với một 1/3 của con đường, sau đó các robot khác bao gồm 2/3 của con đường, ví dụ, d2n/3 − 1e, và chúng tôi đang thực hiện. Nếu không, x là ngắn hơn 1/3 của con đường, ví dụ, x = n/3 − y, y > 0. Các robot bao gồm x backtracks đấy. Trong thời gian này các robot khác đi hai lần chiều dài, ví dụ, 2 (n/3 − y) = 2n/3 − 2 y. Tại thời điểm này, phần đường còn lại phát hiện là n − (n/3 − y) − (2n/3 − 2y) = 3 y. Các robot hai bao gồm nó với nhau để mỗi người trong số họ bao gồm một nửa của nó. Do đó, tổng thời gian thực hiện bởi mỗi là 2n/3 − 2y + 1.5y = 2n/3 − y/2. Nếu y là thậm chí, sau đó, điều này là tối đa 2n/3 − 1. Nếu y là lẻ, thì một robot bao gồm bởi / 2c và khác bởi / 2 c + 1; tức là, thời gian tồi tệ nhất trong trường hợp này là 2n/3 − bởi / 2c − 1 = 2n/3 − 1. Trường hợp 2 (k > 2). Nếu không có không có phần dài hơn một nửa con đường, sau đó khi mỗi robot nằm trên một phần của mình, không có robot bao gồm hơn một nửa con đường. Mặt khác, nếu đó là một phần dài hơn một nửa con đường, nhất thiết phải thì thôi. Chúng tôi biểu thị nó như là [Sh, Si) (như trong các thuật toán). Có ba trường hợp có thể
đang được dịch, vui lòng đợi..
