Stuff-for-eig
ไปยังการนำทาง
ไปยังการค้นหา
พิจารณาการเดินทางจาก u ไป t ให้ d(u,t) แทนระยะทางจาก u ไป t ใน base graph
case 1: ถ้ามีเส้นเชื่อมกระโดดที่กระโดดจาก u ไป w ใน D(u,t) ที่ , สำหรับบาง c เราจะได้ว่า d(w,t) จะลดลงจาก d(u,t) มาก ดังนั้น case นี้น่าจะจัดการได้แล้ว
case 2: สมมติว่าไม่มีกรณีข้างต้น:
สำหรับระยะทาง r ใด ๆ ให้ Ball(u,r) แทน ball ที่มีจุดศูนย์กลางเป็น u รัศมี r
ให้ แบ่ง Ball(u,Z) ออกเป็น layer ตามระยะทางจาก u
สำหรับเซ็ต U ใด ๆ ให้ P(u,U) = Pr[มีเส้นเชื่อมกระโดดจาก u ไปบางโหนดในเซ็ต U]
ให้ สำหรับบาง constant
(A.1) สมมติว่า P(u,D(u,t)) มีค่ามากกว่าค่าคงที่บางค่า (assumption นี้ต้องมาจัดการต่อ)
Goal: จะแสดงว่ามีความน่าจะเป็นมากพอที่จะมีเส้นเชื่อมกระโดดจาก u ไป w ที่ สำหรับค่าคงที่ บางค่า