Completeness

Hoàn thành trên một không gian trạng thái hữu hạn không có chu chình hay bất kỳ không
gian trạng thái hữu hạn nào khi chúng ta kiểm tra các nút cho các chu chình cho đến hết
đường đi
Optimality
Giống như BFS, IDS tối ưu khi tất cả các actions có cùng cost
Time complexity
Giả sử mỗi nút có b con và cây có độ sâu là d.
Nút ở cấp thấp nhất có độ sâu là d sẽ được tạo ra 1 lần duy nhất, nút ở độ sâu d – 1 sẽ
được tạo ra 2 lần, tương tự nút ở độ sâu d – 2 sẽ được tạo ra 3 lần… Nút con của nút gốc
sẽ được tạo ra d lần. Do vậy tổng số các nút được tạo ra trong trường hợp xấu nhất của
thuật toán là:
N(IDS) = db + (d – 1)b2 + (d – 2)b3 + … + bd
 Time complexity: O(bd)
Space complexity
Giống với DFS: O(bd)