الفكرة هي قسّم تسُد: نقسم المصفوفة إلى نصفين، نرتّب كل نصف، ثم ندمجهما. عندما يصل طول الجزء إلى صفر أو واحد يكون مرتبًا أصلًا.

دمج قائمتين مرتبتين سهل: انظر إلى الرأس غير المستخدم في كل نصف، وخذ الأصغر. نريد ناتجًا مرتبًا يحوي العناصر نفسها وبالتكرار نفسه؛ الترتيب وحده لا يكفي.

نستخدم مجالًا نصف مفتوح $[l,r)$ ونقسمه عند $m=l+\lfloor(r-l)/2\rfloor$. هذه الحدود تمنع تكرار العنصر الوسطي أو فقدانه.