מערך של מספרים שלמים יקרא "מסודר" אם הוא מקיים את התנאים הבאים: גודל המערך ארבעה תאים לפחות; גודל המערך הוא מספר זוגי; סכום האיברים הנמצאים בחצי הראשון של המערך שווה לסכום האיברים הנמצאים בחצי השני של המערך.

לדוגמה: המערך arr={22, 56, 10, 13, 31, 44} הוא "מערך מסודר" מאחר שהוא עונה על כל שלוש הדרישות: אורכו של המערך הוא 6 - גדול מ-4 וזוגי; סכום האיברים בחצי הראשון במערך 88 (22+56+10) והוא שווה לסכום האיברים הנמצאים בחצי השני של המערך (13+31+44).