Proof: Building the planning graph

Proof: Building the planning graph is polynomial in l o j and t, where t is the number of time steps built (Blum & Furst, 1997). Now, in our case the total number O of actions is an upp er limit to the numb er of time steps. This is just because after this number of time steps has been built, all actions appear at some layer in the graph

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

bằng chứng: xây dựng đồ thị lập kế hoạch là đa thức trong loj và t, trong đó t là số bước thời gian xây dựng (blum & Furst, 1997). bây giờ, trong trường hợp của chúng tôi tổng số o của hành động là một UPP er giới hạn cho er tê bước thời gian. đây chỉ là bởi vì sau khi con số này của bước thời gian đã được xây dựng, tất cả các hành động xuất hiện ở một số lớp trong biểu đồ

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

Bằng chứng: Xây dựng các biểu đồ lập kế hoạch là đa thức trong l o j và t, nơi mà t là một số thời gian bước xây dựng (Blum & Furst, 1997). Bây giờ, trong trường hợp tổng số O hành động là một upp er giới hạn các tê er thời gian bước. Đây là chỉ vì sau khi con số này thời gian bước đã được xây dựng, tất cả hành động xuất hiện ở một số lớp trong đồ thị