कर्मकार का एल्गोरिथम
करमरकर का कलन विधि 1984 में रैखिक क्रमादेशन समस्याओं को हल करने के लिए नरेंद्र करमरकर द्वारा प्रस्तुत की गई किया गया एक कलन विधि है। यह पहला यथोचित कुशल कलन विधि थी जो बहुपद समय में इन समस्याओं को हल करता है। दीर्घवृत्ताभ विधि भी बहुपद समय है लेकिन व्यवहार में अक्षम सिद्ध हुई।
को चरों की संख्या और को कलन विधि में निविष्ट के बिट्स की संख्या के रूप में नकारते हुए, कर्मकर के कलन विधि को दीर्घवृत्त कलन विधि के लिए ऐसे संचालन की तुलना में संचालन की आवश्यकता होती है। करमरकर के कलन विधि का कार्यावधि इस प्रकार है
शॉनहेज-स्ट्रैसन कलन विधि का उपयोग (बिग ओ नोटेशन देखें)।
करमरकर की कलन विधि आंतरिक-बिंदु विधियों की श्रेणी में आती है: समाधान के लिए वर्तमान अनुमान सरल विधि के रूप में व्यवहार्य सम्मुच्चय की सीमा का पालन नहीं करता है, लेकिन व्यवहार्य क्षेत्र के आंतरिक भाग के माध्यम से चलता है, इष्टतम समाधान के सन्निकटन में सुधार करता है। प्रत्येक पुनरावृत्ति के साथ एक निश्चित अंश द्वारा और तर्कसंगत आंकड़े के साथ एक इष्टतम समाधान में अभिसरण है। [1]
कलन विधि
आव्यूह रूप में एक रैखिक क्रमादेशन समस्या पर विचार करें:
अधिकतम cTx | |
अधीन | Ax ≤ b. |
करमरकर का कलन विधि इष्टतमता की ओर अगली व्यवहार्य दिशा निर्धारित करता है और एक कारक 0 < γ ≤ 1 द्वारा वापस मापता है। यह कई स्रोतों में वर्णित है। [2][3][4][5][6][7] करमरकर ने भी [8][9][10][11] पूर्णांक बाधाओं और गैर उत्तल समस्याओं के साथ समस्याओं को हल करने के लिए पद्धति का विस्तार किया है। [12]
Algorithm Affine-Scaling
चूंकि वास्तविक एल्गोरिथम बल्कि जटिल है, शोधकर्ताओं ने इसके अधिक सहज संस्करण की तलाश की, और 1985 में affine स्केलिंग विकसित की, कर्मकर के एल्गोरिथ्म का एक संस्करण जो affine परिवर्तन का उपयोग करता है जहां कर्मकर ने प्रक्षेपी ज्यामिति का उपयोग किया, केवल चार साल बाद महसूस करने के लिए कि उनके पास था 1967 में सोवियत संघ के गणितज्ञ आई। आई। डिकिन द्वारा प्रकाशित एक एल्गोरिथम को फिर से खोजा।[13] Affine-Scaling विधि को संक्षेप में निम्नानुसार वर्णित किया जा सकता है।[14] एफ़िन-स्केलिंग एल्गोरिदम, जबकि छोटे पैमाने की समस्याओं पर लागू होता है, बहुपद समय एल्गोरिदम नहीं है।[citation needed]
Input: A, b, c, , रोक कसौटी, γ.
do while stopping criterion not satisfied if then
असीमित वापसी अगर अंत
अंत करो
- "←" denotes assignment. For instance, "largest ← item" means that the value of largest changes to the value of item.
- "return" terminates the algorithm and outputs the following value.
उदाहरण
रैखिक कार्यक्रम पर विचार करें
अर्थात् 2 चर और 11 बाधाओं के अलग-अलग मूल्यों के साथ जुड़े हैं। यह आंकड़ा कलन विधि के प्रत्येक पुनरावृत्ति को लाल वृत्त बिंदुओं के रूप में दिखाता है। बाधाओं को नीली रेखाओं के रूप में दिखाया गया है।
एकस्व अधिकार विवाद - क्या गणित का एकस्व अधिकार कराया जा सकता है?
जिस समय उन्होंने कलन विधि का आविष्कार किया, करमरकर को आईबीएम ने कैलिफोर्निया में आईबीएम सैन जोस अनुसंधान प्रयोगशाला में पोस्टडॉक्टोरल व्यक्ति के रूप में नियुक्त किया था। 11 अगस्त, 1983 को उन्होंने स्टैनफोर्ड विश्वविद्यालय में कलन विधि की व्याख्या करते हुए एक परिसंवाद दिया, जिसमें उनकी संबद्धता अभी भी आईबीएम के रूप में सूचीबद्ध है। 1983 के आते-आते करमरकर ने एटी एंड टी में काम करना प्रारम्भ कर दिया और 1984 एसीएम कम्प्यूटिंग के सिद्धांत पर संगोष्ठी (एसटीओसी, 30 अप्रैल - 2 मई, 1984 को आयोजित) में एटी एंड टी बेल प्रयोगशालाओं को अपनी संबद्धता बताते हुए अपना लेख जमा किया।[15] एटी एंड टी के दूरभाष संजाल को अनुकूलित करने के लिए कलन विधि लागू करने के बाद,[16] उन्होंने अनुभव किया कि उनका आविष्कार व्यावहारिक महत्व का हो सकता है। अप्रैल 1985 में, एटी एंड टी ने तुरंत अपने कलन विधि पर एकस्व अधिकार के लिए आवेदन किया।
सॉफ्टवेयर एकस्व अधिकार के विषय पर चल रहे विवाद के लिए एकस्व अधिकार अधिक उत्तेजक बन गया। [17] इसने कई गणितज्ञों को असहज कर दिया, जैसे कि रोनाल्ड रिवेस्ट (स्वयं RSA (कलन विधि) कलन विधि पर एकस्व अधिकार धारकों में से एक), जिन्होंने यह राय व्यक्त की कि अनुसंधान इस आधार पर आगे बढ़ा कि कलन विधि मुक्त होना चाहिए। एकस्व अधिकार वास्तव में दिए जाने से पहले ही, यह तर्क दिया गया था कि हो सकता है कि कोई पूर्व कला हो जो लागू हो। [18] फिलिप गिल और अन्य सहित संख्यात्मक विश्लेषण में विशेषज्ञता रखने वाले गणितज्ञों ने दावा किया कि यदि मापदंडों को उपयुक्त रूप से चुना जाता है, तो करमरकर का कलन विधि लघुगणकीय बाधा फलन के साथ अनुमानित न्यूटन बैरियर विधि के बराबर है। [19] विधिक विद्वान एंड्रयू चिन की राय है कि गिल का तर्क त्रुटिपूर्ण था, क्योंकि वे जिस विधि का वर्णन करते हैं वह एक कलन विधि का गठन नहीं करती है, क्योंकि इसके लिए उन मापदंडों के विकल्पों की आवश्यकता होती है जो विधि के आंतरिक तर्क से पालन नहीं करते हैं, लेकिन बाहरी मार्गदर्शन, अनिवार्य रूप से करमरकर की कलन विधि पर निर्भर करते हैं। [20] इसके अतिरिक्त, करमरकर के योगदान को सभी पूर्व कार्यों के आलोक में स्पष्ट नहीं माना जाता है, जिसमें फियाको-मैककॉर्मिक, गिल और अन्य सम्मिलित हैं, जिन्हें साल्ट्ज़मैन ने उद्धृत किया है। [20][21][22] अमेरिकी सीनेट में एकस्व अधिकार पर चर्चा हुई थी[citation needed] और करमरकर के काम U.S. Patent 4,744,028: मई 1988 में "कुशल संसाधन आवंटन के लिए तरीके और उपकरण" को आवश्यक मौलिकता की पहचान के रूप में प्रदान किया गया।
एटी एंड टी ने विशेष रूप से करमरकर के कलन विधि को चलाने के लिए एक सदिश संसाधक बहु संसाधक कंप्यूटर प्रणाली तैयार करी, जो हार्डवेयर और सॉफ्टवेयर के परिणामी संयोजन को KORBX बुलाते हैं, [23] और US$8.9 मिलियन की कीमत पर इस प्रणाली का विपणन किया।[24][25] इसका पहला ग्राहक संयुक्त राज्य रक्षा विभाग था। [26][27]
सॉफ्टवेयर एकस्व अधिकार के विरोधियों ने आगे तर्क दिया है कि एकस्व अधिकार ने सकारात्मक बातचीत चक्रों को बर्बाद कर दिया है जो पहले रैखिक क्रमादेशन और उद्योग में शोधकर्ताओं के बीच संबंधों की विशेषता थी, और विशेष रूप से इसने अपने क्षेत्र में गणितीय शोधकर्ताओं के संजाल से खुद को अलग कर लिया।[28]
एकस्व अधिकार स्वयं अप्रैल 2006 में समाप्त हो गया, और कलन विधि वर्तमान में सार्वजनिक कार्यछेत्र में है।
संयुक्त राज्य अमेरिका के सर्वोच्च न्यायालय ने माना है कि गॉट्सचॉक बनाम बेन्सन में गणित का एकस्व अधिकार नहीं कराया जा सकता है,[29] उस स्तिथि में, न्यायालय ने सबसे पहले यह देखा कि क्या कंप्यूटर कलन विधि को एकस्व अधिकार कराया जा सकता है और यह माना कि वे नहीं कर सकते क्योंकि एकस्व अधिकार प्रणाली विचारों और इसी तरह के सार की रक्षा नहीं करती है। डायमंड वी. डाइहर में,[30] सुप्रीम कोर्ट ने कहा, एक गणितीय सूत्र को हमारे एकस्व अधिकार नियमों की सुरक्षा नहीं दी जाती है, और इस सिद्धांत को किसी विशेष तकनीकी वातावरण में सूत्र के उपयोग को सीमित करने का प्रयास करके दरकिनार नहीं किया जा सकता है।[31] मेयो कोलैबोरेटिव सर्विसेज वी. प्रोमेथियस लैब्स., इंक. में,[32] सर्वोच्च न्यायालय ने आगे समझाया कि केवल एक भौतिक यन्त्र, अर्थात् कंप्यूटर पर एक गणितीय सिद्धांत को लागू करना, [i] उस सिद्धांत का एकस्व अधिकार योग्य अनुप्रयोग नहीं है।[33]
संदर्भ
- 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. S2CID 12851754.
- Narendra Karmarkar (1984). "A New Polynomial Time Algorithm for Linear Programming", Combinatorica, Vol 4, nr. 4, p. 373–395.
- ↑ Strang, Gilbert (1 June 1987). "कर्मकार का एल्गोरिथम और अनुप्रयुक्त गणित में इसका स्थान". The Mathematical Intelligencer. 9 (2): 4–10. doi:10.1007/BF03025891. ISSN 0343-6993. MR 0883185. S2CID 123541868.
- ↑ Karmarkar, N. (1984). "A new polynomial-time algorithm for linear programming". Proceedings of the sixteenth annual ACM symposium on Theory of computing - STOC '84. pp. 302–311. doi:10.1145/800057.808695. ISBN 0897911334. S2CID 13101261.
- ↑ Karmarkar, N. (1984). "रैखिक प्रोग्रामिंग के लिए एक नया बहुपद-समय एल्गोरिद्म". Combinatorica. 4 (4): 373–395. doi:10.1007/BF02579150. S2CID 7257867.
- ↑ Karmarkar, Narendra K. (1989). "कर्मकार-प्रकार एल्गोरिदम के पावर सीरीज वेरिएंट". AT&T Technical Journal. 68 (3): 20–36. doi:10.1002/j.1538-7305.1989.tb00316.x. S2CID 42071587.
- ↑ Karmarkar, Narendra (1990). "An interior-point approach to NP-complete problems. I". Mathematical developments arising from linear programming (Brunswick, ME, 1988). Contemporary Mathematics. Vol. 114. Providence, RI: American Mathematical Society. pp. 297–308. doi:10.1090/conm/114/1097880. MR 1097880.
- ↑ Karmarkar, Narendra (1990). "Riemannian geometry underlying interior-point methods for linear programming". Mathematical developments arising from linear programming (Brunswick, ME, 1988). Contemporary Mathematics. Vol. 114. Providence, RI: American Mathematical Society. pp. 51–75. doi:10.1090/conm/114/1097865. MR 1097865.
- ↑ Karmarkar N. K., Lagarias, J.C., Slutsman, L., and Wang, P., Power Series Variants of KarmarkarType Algorithm, AT & T technical Journal 68, No. 3, May/June (1989).
- ↑ Karmarkar, N.K., Interior Point Methods in Optimization, Proceedings of the Second International Conference on Industrial and Applied Mathematics, SIAM, pp. 160181 (1991)
- ↑ Karmarkar, N. K. and Kamath, A. P., A continuous Approach to Deriving Upper Bounds in Quadratic Maximization Problems with Integer Constraints, Recent Advances in Global Optimization, pp. 125140, Princeton University Press (1992).
- ↑ 26. Karmarkar, N. K., Thakur, S. A., An Interior Point Approach to a Tensor Optimisation Problem with Application to Upper Bounds in Integer Quadratic Optimization Problems, Proceedings of Second Conference on Integer Programming and Combinatorial Optimisation, (May 1992).
- ↑ 27. Kamath, A., Karmarkar, N. K., A Continuous Method for Computing Bounds in Integer Quadratic Optimisation Problems, Journal of Global Optimization (1992).
- ↑ Karmarkar, N. K., Beyond Convexity: New Perspectives in Computational Optimization. Springer Lecture Notes in Computer Science LNCS 6457, Dec 2010
- ↑ Vanderbei, R. J.; Lagarias, J. C. (1990). "I. I. Dikin's convergence result for the affine-scaling algorithm". Mathematical developments arising from linear programming (Brunswick, ME, 1988). Contemporary Mathematics. Vol. 114. Providence, RI: American Mathematical Society. pp. 109–119. doi:10.1090/conm/114/1097868. MR 1097868.
- ↑ Robert J. Vanderbei; Meketon, Marc; Freedman, Barry (1986). "A Modification of Karmarkar's Linear Programming Algorithm" (PDF). Algorithmica. 1 (1–4): 395–407. doi:10.1007/BF01840454. S2CID 779577.
- ↑ Karmarkar Algorithm, IBM Research, retrieved 2016-06-01
- ↑ Sinha L.P., Freedman, B. A., Karmarkar, N. K., Putcha, A., and Ramakrishnan K.G., Overseas Network Planning, Proceedings of the Third International Network Planning Symposium, NETWORKS' 86, Tarpon Springs, Florida (June 1986).
- ↑ Kolata, Gina (1989-03-12). "IDEAS & TRENDS; Mathematicians Are Troubled by Claims on Their Recipes". The New York Times.
- ↑ Various posts by Matthew Saltzman, Clemson University
- ↑ Gill, Philip E.; Murray, Walter; Saunders, Michael A.; Tomlin, J. A.; Wright, Margaret H. (1986). "On projected Newton barrier methods for linear programming and an equivalence to Karmarkar's projective method". Mathematical Programming. 36 (2): 183–209. doi:10.1007/BF02592025. S2CID 18899771.
- ↑ 20.0 20.1 Andrew Chin (2009). "On Abstraction and Equivalence in Software Patent Doctrine: A Response to Bessen, Meurer and Klemens" (PDF). Journal of Intellectual Property Law. 16: 214–223.
- ↑ Mark A. Paley (1995). "The Karmarkar Patent: Why Congress Should "Open the Door" to Algorithms as Patentable Subject Matter". 22 Computer L. Rep. 7
- ↑ Margaret H. Wright (2004). "The Interior-Point Revolution in Optimization: History, Recent Developments, and Lasting Consequences" (PDF). Bulletin of the American Mathematical Society. 42: 39–56. doi:10.1090/S0273-0979-04-01040-7.
- ↑ Marc S. Meketon; Y.C. Cheng; D.J. Houck; J.M.Liu; L. Slutsman; Robert J. Vanderbei; P. Wang (1989). "The AT&T KORBX System". AT&T Technical Journal. 68 (3): 7–19. doi:10.1002/j.1538-7305.1989.tb00315.x. S2CID 18548851.
- ↑ Lowenstein, Roger (15 August 1988). "AT&T markets problem solver, based on math whiz's find, for $8.9 million" (PDF). Wall Street Journal. Archived from the original (PDF) on 8 June 2016. Retrieved 30 January 2016.
- ↑ Markoff, John (13 August 1988). "बिग ए.टी. एंड टी। जटिलताओं के लिए कंप्यूटर".
- ↑ "मिलिट्री एटी एंड टी सॉफ्टवेयर का पहला घोषित ग्राहक है". Associated Press. AP News. Retrieved 2019-06-11.
- ↑ Kennington, J.L. (1989). "Using KORBX for military airlift applications". Proceedings of the 28th IEEE Conference on Decision and Control. pp. 1603–1605. doi:10.1109/CDC.1989.70419. S2CID 60450719.
- ↑ "今野浩: カーマーカー特許とソフトウェア – 数学は 特許に なるか (Konno Hiroshi: The Kamarkar Patent and Software – Has Mathematics Become Patentable?)". FFII. Archived from the original on 2008-06-27. Retrieved 2008-06-27.
- ↑ 409 U.S. 63 (1972). The case concerned an algorithm for converting binary-coded decimal numerals to pure binary.
- ↑ 450 U.S. 175 (1981).
- ↑ 450 U.S. at 191. See also Parker v. Flook, 437 U.S. 584, 585 (1978) ("the discovery of a novel and useful mathematical formula may not be patented").
- ↑ 566 U.S. __, 132 S. Ct. 1289 (2012).
- ↑ Accord Alice Corp. v. CLS Bank Int’l, 573 U.S. __, 134 S. Ct. 2347 (2014).
| group5 = Metaheuristics | abbr5 = heuristic | list5 =
| below =
}} | group5 =Metaheuuristic |abbr5 = heuristic | list5 =*विकासवादी एल्गोरिथ्म
| below =* सॉफ्टवेयर
}}