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ụ khả năng giải quyết, trong đó chiều dài của tiện ích danh sách dài nhất 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, độ dài của danh sách thêm dài nhất của bất kỳ hành động đâu 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.