Proof. As indicated above, the algorithm can be implemented so that the work performed in matching any node X is on the order of one plus the number of pertinent children of X. Summing this over all nodes matched, we obtain O(/PRUNED(T, S)]).
พิสูจน์ ตามที่ระบุข้างต้น อัลกอริทึมที่สามารถใช้เพื่อให้ทำงานดำเนินการในการจับคู่ใด ๆโหนด x อยู่ในคำสั่งของหนึ่งบวกจำนวนที่เกี่ยวข้องเด็กของเอ็กซ์ ข้อสรุปนี้ผ่านทุกปม จับคู่ เราขอรับ O ( / ตัด ( t , s ) ] )