مجموعة أدلة

استخدامات أخرى

وعلى صعيد آخر، في نظرية التعقيد الحسابي والتعمية، تُعرَّف مجموعة الأدلة بأنها مجموعة لها خوارزمية تمكننا من اختيار عينات منها بكفاءة.

علاوةً على ذلك، كمثال: لو اخترنا كمدخل للخوارزمية، يمكن لـ اختيار بكفاءة عنصر واحد منها في زمن محدود ب n.

أمثلة

لكل تكون على هي الدالة التي تحقق التالي:

ومن جهة أخرى، مجموعة جميع الدوال المؤشرة هذه، ، هي مجموعة غير قابلة للعد يستدل عليها (أي يشار لها) بمجموعة الأعداد الحقيقة .

إضافةً إلى ذلك، تعداد مجموعة يعطي مجموعة أدلة ، بحيث أن الدلة تعتبر تعداد خاص لـ .

وعلى صعيد آخر، أي مجموعة غير منتهية قابلة للعد يمكن الاستدلال عليها (بشكل أحادي) بمجموعة الأعداد الطبيعية .