क्यों मर्ज क्रमबद्ध का मर्ज () फ़ंक्शन एक सशर्त दूसरे पाश है?

merge1(int low, int high, int S[], U[]) 
{ 
    int k = (high - low + 1)/2
    for q (from low to high) U[q] = S[q]
    int j = low 
    int p = low 
    int i = low + k 

    while (j <= low + k - 1) and (i <= high) do 
    { 
        if ( U[j] <= U[i] ) 
        {
            S[p] := U[j] 
            j := j+1
        } 
        else 
        { 
            S[p] := U[i] 
            i := i+1 
        } 
        p := p+1 
    } 

    if (j <= low + k - 1) 
    { 
        for q from p to high do 
        { 
            S[q] := U[j] 
            j := j+1 
        } 
    }
}


merge_sort1(int low, int high, int S[], U[]) 
{ 
    if low < high 
    { 
        int k := (high - low + 1)/2 
        merge_sort1(low, low+k-1, S, U) 
        merge_sort1(low+k, high, S, U) 
        merge1(low, high, S, U) 
    } 
}

तो, मूल रूप से, यह मेरा व्याख्यान नोट्स पर है। मैं यह काफी सामान्य रूप में संशय है लेकिन मैं इसे का सबसे बड़ा हिस्सा समझते हैं। भाग - क्या मुझे समझ नहीं आता अगर (1 j <= कम + k) की जरूरत है। ऐसा लगता है कि यह जाँच करता है कि क्या कोई तत्व छोड़ बाएं हिस्से में हैं। कि यहां तक ​​कि संभव है जब mergesorting है?