پرش به محتوای اصلی

Residual چیست و چرا جواب عددی را باید بررسی کرد؟

یک جواب عددی فقط یک بردار یا یک عدد نیست؛ باید ببینیم تا چه حد شرط‌های اصلی مسئله را ارضا می‌کند.

برنامه‌نویسی و محاسبات علمیمتوسط

هدف یادگیری

Residual را در دستگاه خطی بفهمید و ارتباط آن را با بررسی جواب‌های عددی در optimization توضیح دهید.

پیش‌نیازها

  • جبر خطی مقدماتی
  • آشنایی با norm

Residual چیست؟

اگر Ax=b را حل کنیم و x̂ جواب تقریبی باشد، residual چیزی است که پس از قرار دادن x̂ در معادله باقی می‌ماند.

Residual
r=b−Ax^

چگونه اندازه آن را بسنجیم؟

Residual norm
∥r∥2=∥b−Ax^∥2

هرچه این مقدار کوچک‌تر باشد، x̂ از دید همان معادله سازگارتر است؛ البته در مسائل عددی باید conditioning و مقیاس را نیز در نظر گرفت.

ارتباط با Convex QP

در یک solver بهینه‌سازی، objective value به‌تنهایی کافی نیست. stationarity، primal feasibility، complementarity و duality gap کمک می‌کنند کیفیت جواب را از چند زاویه مستقل بررسی کنیم.

مثال ساده

یک دستگاه خطی
A=\begin{bmatrix}1&1\\2&-1\end{bmatrix},\quad b=\begin{bmatrix}3\\0\end{bmatrix},\quad \hat{x}=\begin{bmatrix}1\\2\end{bmatrix}

در این مثال A x̂ برابر [3,0] است، بنابراین residual صفر می‌شود. این عادت مهم‌تر از خود مثال است: خروجی محاسبات را با شرط اصلی مسئله مقایسه کنیم.

پروژه مرتبط

Convex QP Solver

تشخیص‌های عددی پروژه برای بررسی شرایط KKT و کیفیت حل.

باز کردن منبع

جواب عددی شما قابل اعتماد است؟

می‌توان معیارهای ریاضی و عددی لازم برای بررسی خروجی را تعریف کرد.