خوارزمية كارماركر

خوارزمية كارماركر هي خوارزمية قدمها ناريندرا كارماركر في عام 1984 لحل مسائل البرمجة الخطية . كانت أول خوارزمية ذات كفاءة معقولة لحل هذه المسائل في زمن متعدد الحدود . طريقة الإهليلجي هي أيضا متعددة الحدود لكنها أثبتت أنها غير فعالة عمليا.

بجعل ${\displaystyle n}$تدل على عدد المتغيرات و ${\displaystyle L}$ على عدد وحدات بت في مدخلات الخوارزمية، خوارزمية كارماركر تحتاج إلى ${\displaystyle O(n^{3.5}L)}$عملية على خانات ${\displaystyle O(L)}$, في المقابل تحتاج إلى ${\displaystyle O(n^{6}L)}$عمليات بخوارزمية الاهليجي.

بالتالي زمن تشغيل خوارزمية كارماركر هو:

${\displaystyle O(n^{3.5}L^{2}\cdot \log L\cdot \log \log L)}$

باستخدام الضرب القائم على FFT (انظر رمز O الكبير ).

تندرج خوارزمية كارماركر ضمن فئة أساليب النقاط الداخلية : لا يتبع التخمين الحالي للحل حدود المجموعة الممكنة كما هو الحال في طريقة simplex ، لكنه يتحرك بداخل المنطقة الممكنة، مما يحسن تقريب الحل الأمثل بكسر واضح مع كل التكرار، والوصول إلى الحل الأمثل مع البيانات المنطقية. ^[1]

الخوارزمية

بالنظر في مشكلة البرمجة الخطية في شكل المصفوفة:

تحدد خوارزمية كارماركر الاتجاه التالي الممكن إلى المثالية وتوازن بمعامل 0 < γ ≤ 1.^[2][3][4][5]

وسع كامارك الطريقة ^[6][7][8][9] ، لتحل مسائل بقيود اعداد صحيحة والمسائل غير المحدبة.^[10]

Input: A, b, c, ${\displaystyle x^{0}}$, stopping criterion, γ.

${\displaystyle k\leftarrow 0}$

do while stopping criterion not satisfied

${\displaystyle v^{k}\leftarrow b-Ax^{k}}$

${\displaystyle D_{v}\leftarrow \operatorname {diag} (v_{1}^{k},\ldots ,v_{m}^{k})}$

${\displaystyle h_{x}\leftarrow (A^{T}D_{v}^{-2}A)^{-1}c}$

${\displaystyle h_{v}\leftarrow -Ah_{x}}$

if ${\displaystyle h_{v}\geq 0}$ then

return unbounded

end if

${\displaystyle \alpha \leftarrow \gamma \cdot \min\{-v_{i}^{k}/(h_{v})_{i}\,\,|\,\,(h_{v})_{i}<0,\,i=1,\ldots ,m\}}$

${\displaystyle x^{k+1}\leftarrow x^{k}+\alpha h_{x}}$

${\displaystyle k\leftarrow k+1}$

end do

مثال

بالنظر في البرنامج الخطي

${\displaystyle {\begin{array}{lrclr}{\text{maximize}}&x_{1}+x_{2}\\{\text{subject to}}&2px_{1}+x_{2}&\leq &p^{2}+1,&p=0.0,0.1,0.2,\ldots ,0.9,1.0.\end{array}}}$

حيث يوجد متغيرين ${\displaystyle x_{1},x_{2}}$ و 11 قيود مرتبطة باختلاف قيم ${\displaystyle p}$ . يوضح هذا الشكل كل تكرار للخوارزمية كنقاط حمراء. وتظهر القيود كخطوط زرقاء.

جدل براءات الاختراع

في الوقت الذي ابتكر فيه الخوارزمية، توظف كامارك بواسطة آي بي إم كزميل لما بعد الدكتوراه في مختبر أبحاث سان خوسيه في كاليفورنيا. في 11 أغسطس 1983 ، ألقى ندوة في جامعة ستانفورد لشرح الخوارزمية، وانتمائه لا يزال مدرجًا باسم آي بي إم. بحلول خريف عام 1983 ، بدأ كارماركر العمل في إيه تي آند تي وقدم مقالته إلى Symposium on Theory of Computing ACM لعام 1984 حول نظرية الحوسبة (STOC ، التي عقدت في 30 أبريل - 2 مايو 1984) موضحًا أن انتمائه لمختبرات بيل لإيه تي آند تي . بعد تطبيق الخوارزمية على تحسين شبكة هاتف إيه تي آند تي، ^[11] أدركوا أن اختراعه يمكن أن يكون ذا أهمية عملية. في أبريل 1985 ، تقدمت إيه تي آند تي بطلب للحصول على براءة اختراع على خوارزمية كارماركر.

المراجع

• Adler, Ilan; Karmarkar, Narendra; Resende, Mauricio G.C.; Veiga, Geraldo (1989). "An Implementation of Karmarkar's Algorithm for Linear Programming". Mathematical Programming. 44 (1–3): 297–335. doi:10.1007/bf01587095.
• ناريندرا كارماركار (1984). " خوارزمية زمنية جديدة متعددة الحدود للبرمجة الخطية " ، Combinatorica ، المجلد 4 ، العدد. 4 ، ص.   373 – 395.

موسوعات ذات صلة :

• موسوعة علم الحاسوب