Özkan Yılmaz

Konular / Operasyon / Kuyruk teorisi

Kuyruk teorisi

Kapasiteyi sonuna kadar kullanmanın neden felakete yol açtığını açıklayan matematik. Bekleme, kullanım oranıyla doğrusal değil patlayarak artar.

Kuyruk teorisi nedir

Kuyruk teorisi, hizmet talebinin rastgele geldiği ve hizmet süresinin değişken olduğu sistemlerde bekleme süreleriyle kuyruk uzunluklarını hesaplayan matematik dalıdır.

Alanın başlangıcı 1909'a, Danimarkalı mühendis A. K. Erlang'ın telefon santrallerinde kaç hat gerektiğini hesaplamak için yaptığı çalışmalara dayanır; bugün hâlâ kullanılan pek çok formül o çalışmalardan geliyor.

Cevapladığı sorular pratiktir: kaç banko açmalıyım, kaç kurye yeter, sorter kaç hat olmalı, müşteri ortalama ne kadar bekler? Zaman etüdü ve kapasite planlama ortalamalarla çalışır; kuyruk teorisi değişkenliği hesaba katar ve sonuç dramatik biçimde farklı çıkar.

Sistemin çekirdeğinde üç kavram var:

SembolAdıAnlamı
λ (lambda)Varış hızıBirim zamanda gelen müşteri/iş sayısı
μ (mü)Hizmet hızıBir kanalın birim zamanda bitirebileceği iş sayısı
ρ (ro)Kullanım oranıλ ÷ (c × μ) — sistemin ne kadar dolu çalıştığı
Kararlılık şartı: ρ < 1. ρ ≥ 1 ise kuyruk sonsuza büyür, sistem hiçbir zaman dengeye gelmez. Bu, "kapasite talebe eşit olsun" diye planlama yapmanın neden işlemediğinin matematiksel ifadesidir.

Kendall notasyonu

Kuyruk sistemleri A/B/c biçiminde adlandırılır.

KonumAnlamıYaygın değerler
AVarışlar arası süre dağılımıM = Markov (üstel), D = sabit, G = genel
BHizmet süresi dağılımıM, D, G
cParalel hizmet kanalı sayısı1, 2, 3…

En basit ve en öğretici model M/M/1'dir: varışlar rastgele, hizmet süresi değişken ve tek bir hizmet kanalı var. M/M/c ise aynı yapının çok kanallı halidir. Buradaki rastgele varış varsayımı, varışların Poisson dağılımına uyduğu anlamına gelir; çağrı merkezi, şube kabul bankosu ve acil servis gibi sistemlerde bu varsayım genellikle gerçeğe yakın sonuç verir.

M/M/1 formülleri

BüyüklükSembolFormül
Kullanım oranıρλ ÷ μ
Sistemdeki ortalama işLρ ÷ (1 − ρ)
Kuyruktaki ortalama işLqρ² ÷ (1 − ρ)
Sistemde geçen ortalama süreW1 ÷ (μ − λ)
Kuyrukta beklenen ortalama süreWqρ ÷ (μ − λ)

Formüllerde dikkat çeken şey paydada tekrar eden (1 − ρ) terimidir. Kullanım oranı 1'e yaklaştıkça bu payda sıfıra yaklaşır ve bölme işleminin sonucu hızla büyür. Kuyruk teorisinin bütün pratik sonuçları da aslında bu tek terimden doğar: bekleme, kullanım oranıyla doğrusal değil hızlanarak artar.

Kullanım oranı tuzağı

Çözümlü örnek — şube kabul bankosu

Zaman etüdü sayfasında kabul işleminin standart süresi 83,43 saniye olarak hesaplanmıştı. Bu değer, hizmet hızını doğrudan verir:

μ = 3.600 ÷ 83,43 = 43,15 gönderi/saat

Şimdi varış hızını kademeli artırıp bekleme süresinin ne olduğuna bakalım.

ρλ (gönderi/saat)Wq — kuyrukta beklemeLq — kuyruk uzunluğu
0,5021,571,39 dk0,50
0,7030,203,24 dk1,63
0,8034,525,56 dk3,20
0,9038,8312,51 dk8,10
0,9540,9926,42 dk18,05
0,98542,5091,31 dk64,68
ρ = 0,90 için: Wq = 0,90 ÷ (43,15 − 38,83) = 0,2083 saat = 12,51 dk
ρ = 0,95 için: Wq = 0,95 ÷ (43,15 − 40,99) = 0,4403 saat = 26,42 dk
ρ = 0,985 için: Wq = 0,985 ÷ (43,15 − 42,50) = 1,5218 saat = 91,31 dk

Sayıların söylediği

  1. %50'den %80'e çıkmak beklemeyi 1,39'dan 5,56 dakikaya çıkarıyor — 4,0 kat. Kullanım %60 arttı, bekleme %300 arttı.
  2. %90'dan %95'e çıkmak — sadece 5 puan — beklemeyi 12,51'den 26,42'ye çıkarıyor, 2,1 kat.
  3. %95'ten %98,5'e çıkmak — 3,5 puan — beklemeyi 26,42'den 91,31'e çıkarıyor, 3,5 kat. Kuyrukta ortalama 65 gönderi birikiyor.

Zaman etüdü sayfasında 10 kişilik kadronun %98,5 kullanım oranı ürettiğini ve bunun "sınırda" olduğunu söylemiştik. İşte matematiksel karşılığı: teorik olarak kapasite yetiyor, ama pratikte ortalama 91 dakikalık kuyruk oluşuyor. Ortalamalarla yapılan kapasite planı, değişkenliği yok saydığı için sistematik olarak yetersiz kadro üretir.

Bu yüzden operasyonda hedef kullanım oranı genelde %80–85 bandında tutulur. Kalan %15–20 "boş kapasite" israf değil, değişkenliğe karşı tampondur. Bunu israf sayıp kesmek, kuyruğu patlatır.

Çok kanallı sistem

Talep tek bir kanalın kapasitesini aştığında çözüm kanal sayısını artırmaktır. Çok kanallı sistemde kullanım oranı, varış hızının toplam hizmet kapasitesine bölünmesiyle bulunur; yani ρ = λ ÷ (c × μ).

Çözümlü örnek — kaç banko açmalı

Pik saatte varış hızı λ = 120 gönderi/saat, hizmet hızı kanal başına μ = 43,15.

Kanal (c)ρLqWqDeğerlendirme
21,391ρ > 1: kararsız, kuyruk sonsuza gider
30,92710,995,49 dkÇalışır ama kırılgan
40,6950,960,48 dkDengeli seçim
50,5560,230,12 dkRahat, maliyet artıyor
60,4640,060,03 dkAşırı kapasite
c = 3 → Wq = 5,49 dk  ·  c = 4 → Wq = 0,48 dk
Bir kanal eklemenin getirisi = 5,49 − 0,48 = 5,01 dakika (%91,3 düşüş)
c = 4 → 5 için getiri = 0,48 − 0,12 = 0,36 dakika (%75 düşüş ama mutlak olarak küçük)

Azalan getiri açıkça görülüyor. Üçüncüden dördüncü kanala geçiş 5 dakika kazandırıyor; dördüncüden beşinciye geçiş sadece 22 saniye. Kanal sayısı kararı bu tabloya bakılarak verilir — bir bankonun saatlik maliyeti ile kazanılan bekleme süresinin müşteri değeri karşılaştırılır.

Tek kuyruk mu, çok kuyruk mu

Kuyruk teorisinin hem en pratik hem de sezgiye en aykırı bulgusu burada ortaya çıkıyor: aynı kaynakla, hiçbir ek maliyete girmeden bekleme süresi belirgin biçimde düşürülebiliyor.

Aynı kaynak, iki farklı düzen

4 banko, toplam λ = 120 gönderi/saat, μ = 43,15.

DüzenρWqLq
A — Tek ortak kuyruk, 4 banko (M/M/4)0,6950,48 dk0,96
B — Her bankonun kendi kuyruğu (4 × M/M/1, λ = 30)0,6953,17 dk1,59 × 4 = 6,36
Fark = 3,17 ÷ 0,48 = 6,6 kat
Kaynak aynı, personel aynı, hizmet hızı aynı — değişen sadece kuyruk düzeni

Neden: ayrı kuyruklarda bir banko boşken diğerinde insan bekleyebilir. Tek kuyrukta bu asla olmaz — boşalan ilk banko sıradakini alır. Buna havuzlama etkisi denir ve hiçbir maliyeti yoktur; sadece bir düzen kararıdır.

Aynı ilke operasyonun her yerinde geçerli: dört ayrı kurye bölgesi yerine esnek atamalı tek havuz, ayrı ayrı ayrılmış araç filoları yerine ortak filo. Ayırma her zaman bekleme üretir.

Sık karşılaşılan hatalar

Kapasiteyi talebe eşitlemek. ρ = 1 dengeli bir çalışma noktası değil, kuyruğun sonsuza büyümeye başladığı çöküş noktasıdır. Uygulamada hedeflenen bant %80 ile %85 arasındadır.

Boş kapasiteyi israf saymak. O kapasite, talepteki değişkenliğe karşı tutulan bir tampondur ve kaldırıldığında bekleme patlar. Yalın düşünce ile kuyruk teorisinin bilinçli olarak dengelenmesi gereken yer tam olarak burasıdır.

Ortalamayla plan yapmak. Ortalama talep karşılanıyor olabilir, ancak kuyruğu üreten şey ortalama değil onun etrafındaki dalgalanmadır. Bekleme sorusunun cevabı ortalamada bulunmaz.

Kuyrukları ayırmak. Havuzlama etkisi hiçbir maliyeti olmayan bir kazançtır; her banko için ayrı kuyruk kurmak bu kazancı gereksiz yere harcar.

M/M varsayımını hiç sorgulamamak. Randevulu sistemlerde varışlar rastgele değildir ve hizmet süresi çok az değişkense M yerine sabit süreli D modeli daha doğru sonuç verir. Yanlış model, gerçekte olduğundan daha kötümser bir tablo çizebilir.