הגדרה: מערך הוא מערך k-מודולו ממוין אם הוא מסודר כך שלכל שני אינדקסים i, j מתקיים שאם i < j אזי:

arr[i] mod k ≤ arr[j] mod k (פעולת mod היא פעולת השארית שמתבצעת על-ידי האופרטור % ב-Java).

נתון מערך של מספרים שלמים a, ומספר טבעי k. יש למיין את המערך כך שיהיה k-מודולו ממוין.

לדוגמה, עבור המערך להלן, ועבור k = 10

0	1	2	3	4	5	6	7	8
35	17	13	252	4	128	7	3	81

המערך הk-מודולו-ממוין יכול להיות:

0	1	2	3	4	5	6	7	8
81	252	13	3	4	35	17	7	128

k הוא קבוע. למרות זאת, אסור להקצות מערך נוסף בשום גודל. גם לא בגודל k. גם לא להקצות רשימה מקושרת בגודל k או k משתנים בודדים, או כל מבנה נתונים אחר.

השיטה שתכתבו צריכה להיות יעילה ככל הניתן, גם מבחינת סיבוכיות הזמן וגם מבחינת סיבוכיות המקום.