خوارزمية الهيكل المحدب  تستخدم الخوارزميات التي تبني هياكلاً محدبة في مجالات الرياضيات وعلوم الحاسوب.  في الهندسة الحسابية، اقترح العديد من الخوارزميات لحساب الهيكل المحدب لمجموعة نقاط محددة، وكل خوارزمية من هذه الخوارزميات لها درجة مختلفة من تعقيد العمليات الحسابية.  تمثل خوارزمية الهيكل المحدب الشكل المطلوب لبناء الهيكل بطريقة فعالة وواضحة ومن الممكن تقدير تعقيد هذه الخوارزميات ب "n" والتي تمثل عدد النقاط المراد بناء الهيكل المحدب حولها. أو من الممكن تقديرها ب "h" والتي تمثل عدد النقاط على حدود الهيكل المحدب.  في البداية لنعتبر أن الحالة العامة لبناء الهيكل المحدب تكون مدخلاتها عبارة عن مجموعة محددة غير مرتبة من النقاط على مستوى ديكارت. وهناك حالة خاصة للمدخلات سيأتي فيما بعد توضيحها بحيث تكون فيها النقاط المدخلة مرتبة على حدود مضلع بسيط.  إذا لم تكن جميع النقاط على نفس الخط، فإن الهيكل المحدب يكون مضلعًا محدبًا رؤسه تكون أحد هذه النقاط. واكثر هذه الحلات شيوعا هي عندما تكون نقاط الهيكل المضلع مرتبة على طول حدوده في اتجاه عقارب الساعة أو عكس عقارب الساعة. وفي بعض التطبيقات يكون من الملائم تمثيل مضلع محدب كتقاطع لمجموعة من أنصاف المستويات.  إن معرفة التعقيد الحسابي لبناء الهيكل المحدب المضلع لمجموعة من النقاط في فضاء ثنائي الابعاد، يتم تمثيله بسهولة وذلك لامتلاكه نفس التعقيد الحسابي الموجود في خوارزمية ترتيب النقاط، باستخدام الإسقاط التالي: لكل مجموعة من الارقام  المراد ترتيبها formula_1 نقوم بإنشاء النقاط التالية في فضاء ثنائي الابعاد formula_2  ولأن كل نقطة من هذه النقاط تقع على القطع المكافئ والذي يعد بطبيعته منحنى محدب فانه من السهل ايجاد النقاط التي شكلت الهيكل المحدب حيث تكون على طول حدود القطع المكافئ، والتي يمكن الحصول عليها من خلال ترتيب الأرقام formula_1 . ومن الواضح ان عملية تحويل الارقام لنقاط تستهلك وقتا يمكن تمثيله بمنحنى خطي، وهذا يؤكد على عدم امكانية حساب الهيكل المحدب لمجموعة من النقاط في الحالة العامة بوقت اسرع من وقت ترتيب مجموعة من الأرقام.  إن نموذج شجرة القرار مستخدم في اثبات أن الحد الادنى من التعقيد الحسابي المطلوب لترتيب مجموعة من الأرقام هو Ω ("n" log "n"). ويجب التنويه هنا إلى أن هذا التعقيد الحسابي مرتبط فقط بعمليات المقارنة وليس بالعمليات الحسابية المستخدمة في ترتيب هذه الأرقام. ولكن لا يمكن أبدا استخدام هذه الطريقة لحساب الهياكل المحدبة. ولذلك فان الطريقة الأكثر ملائمة لحساب الهيكل المحدب بنفس التعقيد الحسابي هي شجرة القرار الجبري.  و نتيجة لأن نماذج حسابات الكمبيوتر التي تسمح بترتيب مجموعة من الارقام في وقت حسابي اسرع من "O"("n" log "n")، مثل استخدام خوارزمية ترتيب الاعداد الصحيحة،  فإن حساب الهياكل المحدبة المستوية يمكن ايجادها بطريقة أسرع: كخوارزمية جرهام للبحث المكونة من عملية ترتيب واحدة متبوعة بعمل إضافي يمكن تمثيله بوقت حسابي خطي.  يمكن تصنيف التعقيد الحسابي لبناء الهيكل المحدب بناءً على: عدد النقاط المدخلة - والتي ذكرنا سابقاً أن الحد الأدنى لتعقيدها الحسابي يمكن حصره ب (Ω ("n" log "n" - أو على عدد النقاط التي ستشكل الهيكل المحدب (h) ويمكن تسميتها ب بالخوارزميات المعتمدة على المخرجات والتي تستهلك تعقيد حسابي أكثر فاعلية من Θ ("n" log "n") في حال كان h=o(n).  ان الحد الأدنى للتعقيد الزمني في أسوأ حالة لخوارزميات الهيكل المحدب المعتمدة على المخرجات هي Ω (n log h) في فضاء ثنائي الأبعاد. وهناك العديد من الخوارزميات تصل لهذا الحد الأدنى من التعقيد الزمني. وقد قدمها كيركباتريك وزايدل في عام 1986 (الذين أطلقوا عليها اسم خوارزمية الهيكل المحدب القصوى. ومن ثم تم طور شان خوارزمية أبسط بكثير في عام 1996، وسميت على اسمه خوارزمية شان.  خوارزميات الهيكل المحدب المدرجة أدناه مرتبة حسب تاريخ نشرها الأول. ونجد أن التعقيد الحسابي لكل خوارزمية قد مُثِل بعدد النقاط المدخلة n وعدد نقاط الهيكل المحدب h.  ملاحظة: قد تكون "h" مساوية ل "n في أسوأ الحالات."   غالبًا ما يتم استخدام الاستدلال البسيط التالي كخطوة أولى في تنفيذ خوارزميات الهيكل المحدب لتحسين الأداء. وقد قام سليم عقل وتوسان باستحداث طريقة فعالة لايجاد الهيكل المحدب وتعتمد هذه الطريقة على استبعاد أكبر عدد ممكن من النقاط التي لا يمكن ان تشكل الهيكل المحدب من خلال إيجاد النقطتين اللتين تحتويان على أدنى وأعلى إحداثيات في محور x ، وأدنى وأعلى نقطتي إحداث في محور y. (كل من هذه العمليات تستغرق O(n)) وهذه النقاط الأربع تشكل محدباً رباعياً، وجميع النقاط التي تقع في هذا الرباعي (باستثناء الرؤوس الأربعة المختارة في البداية) ليست جزءًا من الهيكل المحدب أو يمكن أن نضيف إلى الشكل الرباعي النقاط التي تحتوي على أصغر وأكبر مجاميع من إحداثيات x وy وكذلك تلك التي تحتوي على أصغر وأكبر اختلافات في إحداثيات x و y ، وهطذا يصبح لدينا محدب ثماني غير منتظم، ثم نقوم بالتخلص من جميع النقاط التي بداخل الشكل الثماني بأمان.  إذا كانت النقاط عبارة عن متغيرات عشوائية -وهذا يكون فقط لفئة معينة وشائعة من دوال الكثافة الاحتمالية- فإن عملية التخلص من النقاط التي ذكرناها في الخطوة السابقة ستجعل الخوارزمية تستغرق زمناً خطياً، وحتى في اسوء الحالات فان الوقت المستغرق قد يصل إلى "n" .  ان في كل ما تم ذكره سابقا كانت النقاط المدخلة معروفة مسبقا، ولذلك فإننا يجب أن نأخذ بعين الاعتبار الخطوتين التاليتين عند بناء الهيكل المحدب:   قد يؤدي إدخال نقطة إلى زيادة عدد رؤوس الهيكل محدب بمقدار 1 على الأكثر، والعكس صحيح بالنسبة للحذف.  يمكن التعامل مع النقاط المدخلة للهيكل المحدب عبر الإنترنت خلال وقت يقدر ب O (log n) لكل نقطة، وهذا على أفضل تقدير. ويمكن التعامل مع النقاط المدخلة للهيكل المحدب المتغير خلال وقت يقدر ب O (log "n") لكل عملية.  يقسم الهيكل المحدب لمضلع بسيط إلى أجزاء من خلال جعل أحدها هو المضلع نفسه وأما باقي الهيكل فعبارة عن "جيوب" تحدها قطعة من حدود المضلع وحافة واحدة من الهيكل. على الرغم من نشر العديد من الخوارزميات لبناء الهيكل المحدب لمضلع بسيط، فإن نصفها تقريبًا غير صحيح. ويعد مكالوم وآفيس أول من قدم خوارزمية صحيحة. وقد استخدم جرهام وياو () ولي () بنية بيانات المكدس واحدة من أجل تبسيط الخوارزمية وتسير هذه الخوارزمية على المضلع في اتجاه عقارب الساعة، بدءً من النقطة الواقعة أقصى اليسار وخلال ذلك تقوم بتخزين النقاط الموجودة على المحدب (تلك التي لم يتم تحديدها بعد على أنها داخل الجيوب) في المكدس. في كل خطوة، تتبع الخوارزمية مسارًا على طول المضلع من قمة المكدس إلى النقطة التالية على ألا تكون ضمن أحد الجيوب المجاورة لأعلى المكدس. وطالما أن اخر نقطتين في أعلى المكدس لا يشكلان محدبا مع النقطة الجديدة نقوم بعملية إخراج النقطة العلوية من المكدس، ثم ادخال النقطة الجديدة. عندما تنتهي دورة قراءة الخوارزمية للنقاط في اتجاه عقارب الساعة نكون قد عدنا إلى نقطة البداية، وهنا ستكون نتيجة الخوارزمية عبارة عن تسلسل النقاط الموجودة في المكدس وهي ذاتها نقاط المكونة الهيكل.