الگوریتم انتخاب

در علوم کامپیوتر، یک الگوریتم انتخاب، یک الگوریتم برای پیدا کردن kامین کوچک‌ترین عدد در یک لیست است (به چنین عددی kامین مرتبه آماری گفته می‌شود). این الگوریتم‌ها شامل پیدا کردن کمینه، بیشینه و میانه‌ی عناصر است. الگوریتم‌های انتخاب از ، که در بدترین حالت خطی اند، وجود دارند. انتخاب یکی از زیرمسئله‌های مسائل پیچیده‌تر مانند مسئله نزدیک‌ترین همسایه و مسئله یافتن کوتاهترین مسیر است.

انتخاب با مرتب‌سازی

انتخاب ممکن است با مرتب کردن لیست و سپس استخراج عنصر دلخواه، به مرتب‌سازی تبدیل شود. این روش زمانی کارآمد است که به تعداد زیادی انتخاب از یک لیست نیاز باشد، در موردی که تنها یک بار مقداردهی می‌شود، یک مرتب‌سازی پرهزینه، همراه با چندین عمل استخراج کم‌هزینه انجام می‌شود. در حالت کلی، این روش نیازمند زمان  است، که در آن n طول لیست است.

الگوریتم‌های کمینه/بیشینه خطی

الگوریتم‌های خطی، از لحاظ زمانی، برای پیدا کردن کمینه‌ها یا بیشینه‌ها این گونه کار می‌کنند که روی لیست تکرار می‌کنند و رد کمینه یا بیشینه تا هر بار نگه می‌دارند.

الگوریتم کلی انتخاب بر پایهٔ افراز

یک الگوریتم فراگیر انتخاب که در عمل کارآمد است، اما در بدترین حالت کارایی ضعیفی دارد، توسط ابداع‌کنندهٔ مرتب‌سازی سریع، سی. اِی. آر هوار، ارائه شده‌است. این الگوریتم به نام الگوریتم انتخاب هوار یا انتخاب سریع شناخته می‌شود.
در مرتب‌سازی سریع، یک زیررَویه به نام افراز وجود دارد که می‌تواند در زمان خطی، یک لیست را به دو بخش left و right تقسیم‌بندی می‌کند که یک گروه کوچک‌تر از یک عنصر خاص و گروه دیگر بزرگ‌تر یا مساوی آن عنصر خاص هستند. اینجا سودوکدی را می‌بینیم که یک افراز را برای عنصر list[pivotIndex] اجرا می‌کند:
 function partition(list, left, right, pivotIndex)
 pivotValue := list[pivotIndex]
 swap list[pivotIndex] and list[right] // Move pivot to end
 storeIndex := left
 for i from left to right
 if list[i] <pivotValue
 swap list[storeIndex] and list[i]
 increment storeIndex
 swap list[right] and list[storeIndex] // Move pivot to its final place
 return storeIndex
در مرتب‌سازی سریع، ما به صورت بازگشتی هر دو شاخه را در بهترین حالت در زمان  مرتب می‌کنیم. اما، وقتی که انتخاب انجام می‌دهیم، از می‌دانیم که عنصر مورد نظر ما در کدام افراز قرار دارد، چون محور (انگلیسی: pivot) در محل نهایی مرتب‌شدهٔ خود قرار دارد و از همهٔ عناصر قبل از خود بزرگ‌تر و از همهٔ عناصر بعد از خود کوچک‌تر یا مساوی است. بنابراین یک فراخوانی بازگشتی می‌تواند مکان یک عنصر دلخواه را در افراز درست بیابد:
 function select(list, left, right, k)
 if left = right // If the list contains only one element
 return list[left]  // Return that element
 select pivotIndex between left and right
 pivotNewIndex := partition(list, left, right, pivotIndex)
 pivotDist := pivotNewIndex - left + 1
     // The pivot is in its final sorted position,
     // so pivotDist reflects its 1-based position if list were sorted
 if pivotDist = k
 return list[pivotNewIndex]
 else if k <pivotDist
 return select(list, left, pivotNewIndex - 1, k)
 else
 return select(list, pivotNewIndex + 1, right, k - pivotDist)

مانند مرتب‌سازی سریع، کارایی الگوریتم به محوری که انتخاب می‌شود بستگی دارد. اگر محورهای نامناسب به‌طور متوالی انتخاب شوند، این رویه به انتخاب بر پایهٔ کمینه، که قبلاً گفته شد، تنزل پیدا می‌کند و در نتیجه به زمان (O(n² نیاز پیدا خواهد کرد.

الگوریتم کلی انتخاب به صورت خطی - الگوریتم میانهٔ میانه‌ها

یک الگوریتم با بدترین زمان اجرای خطی برای حالت کلی انتخاب kامین بزرگ‌ترین عنصر توسط بلوم، فلوید، پرت، ریوست و ترجان در مقاله سال ۱۹۳۷ با نام «حدود زمانی برای انتخاب» منتشر شد. گاهی از این الگوریتم با نام BFPRT، که حروف اول نام خانوادگی نویسندگان آن است، یاد می‌شود. این الگوریتم بر اساس الگوریتم انتخاب سریع کار می‌کند و هم‌چنین به نام الگوریتم میانه میانه‌ها شناخته می‌شود.
هرچند انتخاب سریع به‌طور میانگین دارای زمان خطی است، زمانی که محورهای ضعیفی استفاده شوند می‌تواند به زمان از درجه دوم نیاز پیدا کند (حالتی را در نظر بگیرید که در هر گام، محور در نزدیکی کوچک‌ترین عنصر انتخاب شود). راه چاره برای اینکه آن را به  در بدترین حالت تبدیل کنیم این است که به‌طور پیوسته در هر گام محور مناسب را بیابیم. یک محور خوب باید به گونه‌باشد که بتوانیم اطمینان داشته باشیم نسبت ثابتی از عناصر قبل از آن و بعد از آن قرار بگیرند.
الگوریتم انتخاب لیست را به گروه‌هایی شامل پنج عنصر تقسیم می‌کند. (فعلاً با عناصر باقی‌مانده کاری نداریم). سپس، برای هر گروه پنج‌تایی، میانه محاسبه می‌شود (اگر آن پنج مقدار داخل ثبّات‌ها بارگذاری شوند و مقایسه شوند، عملیات به‌طور بالقوه بسیار سریع انجام می‌شود). (اگر مرتب‌سازی به صورت درجا صورت گیرد، این میانه‌ها به یک بلوک پیوسته در لیست منتقل می‌شوند) انتخاب به صورت بازگشتی در این زیرلیست‌های n/5 عنصری فراخوانده می‌شود تا مقدار واقعی میانه یافت شود. سرانجام، میانهٔ میانه‌ها به عنوان محور انتخاب می‌شود.

اثبات زمان اجرای (O(n

محاسبهٔ میانه به‌طور بازگشتی، در بدترین حالت از درجه خطی بیشتر نخواهد شد، زیرا لیست میانه‌ها ۲۰٪ از اندازهٔ لیست است، در حالی که فراخوانی بازگشتی دیگر حداکثر روی ۷۰٪ لیست لیست اجرا می‌شود. بنا بر این زمان اجرا به صورت زیر می‌شود:
 T(n) ≤ T(n/5) + T(7n/10) + O(n)
زمان (O(n ناشی از عمل افراز کردن است (ما هر عنصر را به تعداد دفعات ثابتی ملاقات می‌کنیم، تا آن‌ها را به گروه‌های (O(n دسته‌بندی کنیم و هر میانه را در زمان (O(n به دست آوریم. به این ترتیب می‌توان نشان داد که
 T(n) ≤ c*n*(1 + (9/10) + (9/10)² + ...) = O(n).