“…contains the rank of agent x in the preference list of agent y. Herein, the rank of agent y in agent x's preference list is defined as the number of agents that are strictly preferred to y by x. For example, if the preference list of agent 1 is 1 2 3 ∼ 4 5 ∼ 6 7, then we may have L 1 =[1,2,3,4,5,6,7] and have R[1,1] = 0, R[1, 2] = 1, R[1, 3] = 2, R[1, 4] = 2, R[1, 5] = 4, R[1, 6] = 4, and R[1, 7] = 6.Before we show the correctness of Algorithm 2, we first claim the following. Each call of InsertMostPreferred(z)(a) assumes D[z] = 0, (b) finds all unmatched agents y which are tied with agent L z [ p z ] and sets A[z, y ] = 1 (Lines (17)-(23)), and (c) pushes a possible matching event {z, y } to Q if, additionally, y also finds z most acceptable (Lines (20)-(21)).…”