English: Here, at the data structures that are maintained by the algorithm, we assumed that the algorithm has access to an array called dist, short form for distance and for every vertex v, the element to the array dist index by v that is dist of v contains an upper bound on the length of the shortest path from s to v. This is an invariant that the algorithm maintains repeatedly.
Telugu: (Refer Slide Time: 04:04) ఇక్కడ, అల్గోరిథం ద్వారా నిర్వహించబడే డేటా స్ట్రక్చర్‌ల వద్ద, అల్గారిథమ్‌కి డిస్ట్ అని పిలువబడే అర్రే కి యాక్సెస్ ఉందని, దూరానికి షార్ట్ ఫారమ్ మరియు ప్రతి వర్టెక్స్ v కోసం, అర్రే డిస్ట్ ఇండెక్స్‌కి ఎలిమెంట్‌ని v నుండి దూరం అని మేము ఊహించాము.