Loading [MathJax]/jax/output/HTML-CSS/jax.js

المپدیا

دانش‌نامه‌ی المپیاد کامپیوتر ایران

ابزار کاربر

ابزار سایت


سوالات المپیاد:دوره ی تابستان:دوره ی ۱۰:الگوریتم ها:سوال ۱۲

سوال ۱۲

یک ماتریس A={a[i,j]} از اعداد حقیقی با اندازه‌ی m×n را ماتریس Monge می‌گوییم اگر به ازای همه‌ی مقادیر i، j، k و l که 1i<km و 1j<ln داشته باشیم:

a[i,j]+a[k,l]a[i,l]+a[k,j]

مثال: ماتریس زیر Monge است:

1017132823172216292324282234241113617745443237233633192167566515334

الف) اثبات کنید شرط لازم و کافی که یک ماتریس Monge باشد این است که برای همه‌ی i=1,2,...,m1 و j=1,2,...,n1 داشته باشیم:

a[i,j]+a[i+1,j+1]a[i,j+1]+a[i+1,j]

ب) با فرض داشتن A، یک الگوریتم کارا (از مرتبه‌ی نزدیک به O(m+nlogm) ) برای تشخیص Monge بودن A ارائه دهید و آن را اثبات و تحلیل کنید.


ابزار صفحه