یک ماتریس A={a[i,j]} از اعداد حقیقی با اندازهی m×n را ماتریس Monge میگوییم اگر به ازای همهی مقادیر i، j، k و l که 1≤i<k≤m و 1≤j<l≤n داشته باشیم:
a[i,j]+a[k,l]≤a[i,l]+a[k,j]
مثال: ماتریس زیر Monge است:
1017132823172216292324282234241113617745443237233633192167566515334
الف) اثبات کنید شرط لازم و کافی که یک ماتریس Monge باشد این است که برای همهی i=1,2,...,m−1 و j=1,2,...,n−1 داشته باشیم:
a[i,j]+a[i+1,j+1]≤a[i,j+1]+a[i+1,j]
ب) با فرض داشتن A، یک الگوریتم کارا (از مرتبهی نزدیک به O(m+nlogm) ) برای تشخیص Monge بودن A ارائه دهید و آن را اثبات و تحلیل کنید.