Theorem 1 Let P 0 = (O0 ;I ;G ) be

Theorem 1 Let P 0 = (O0 ;I ;G ) be a solvable relaxed STRIPS task, where the length of the



longest add list of any action is l. Then GRAPHPLAN will find a solution to P 0 in time polynomial in l, jO j and jI j.

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

định lý 1 cho p = 0 (o0, tôi; g) là một dải thoải mái nhiệm vụ giải quyết được, mà chiều dài của



dài thêm danh sách của bất kỳ hành động là l. sau đó graphplan sẽ tìm thấy một giải pháp cho p 0 trong thời gian đa thức trong l, jo j và ji j.

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

Định lý 1 cho P 0 = (O0; tôi;G) là một nhiệm vụ DẢI mức thoải mái, nơi mà độ dài của các


dài nhất thêm danh sách của bất kỳ hành động là l. Sau đó GRAPHPLAN sẽ tìm thấy một giải pháp cho P 0 thời gian đa thức trong l, jO j và jI j.