task-queue-proof/README.pl.md

Nieważony średni czas realizacji nie jest sprawiedliwą miarą szeregowania zadań

Dowód matematyczny, że nieważony średni czas realizacji zadań jest obciążoną statystyką, która zachęca do selektywnego wybierania łatwych zadań, oraz że wszelka przewaga szeregowania, jaką wydaje się ona ujawniać, jest artefaktem metryki — a nie odzwierciedleniem rzeczywistej przepustowości czy jakości obsługi.

---

1. Wprowadzenie

Wiele organizacji mierzy wydajność realizacji zadań za pomocą nieważonego średniego czasu realizacji: średniej liczby godzin (lub dni) od zgłoszenia zadania do jego rozwiązania, traktując każde zadanie jednakowo, niezależnie od rozmiaru czy priorytetu.

Niniejsza praca dowodzi, że ta metryka jest nie tylko nieprecyzyjna, ale strukturalnie obciążona. Można ją poprawić przez zmianę kolejności pracy bez wykonywania jakiejkolwiek dodatkowej pracy (Twierdzenie 1), podczas gdy odpowiednio ważona alternatywa jest całkowicie odporna na manipulację kolejnością (Twierdzenie 2). W połączeniu z systemem priorytetów metryka aktywnie przeczy własnym klasyfikacjom priorytetów organizacji (Twierdzenie 9).

Argumentacja przebiega w czterech częściach:

• Część I (Rozdziały 2–4) ustanawia fundament matematyczny: nieważona średnia jest podatna na manipulację przez szeregowanie metodą najkrótszego czasu przetwarzania (SPT), średnia ważona pracą jest niezmienna względem kolejności, a wynikające z tego konsekwencje dla jakości obsługi są dowodliwie negatywne.

• Część II (Rozdziały 5–6) rozszerza model o zadania z przypisanym priorytetem, dowodzi, że metryka staje się adwersaryczna wobec systemu priorytetów, oraz proponuje ważone alternatywy wraz z rozpatrzonym przykładem działu obsługi IT.

• Część III (Rozdziały 7–9) analizuje dynamikę organizacyjną: co się dzieje, gdy metryka jest raportowana klientom (asymetria informacji), co się dzieje z członkami zespołu, którzy rozumieją jej wady (szkoda psychologiczna), oraz co może zrobić pojedynczy świadomy menedżer (optymalizacja z ograniczeniami z analizą stabilności teoriogrową).

• Część IV (Rozdziały 10–12) przedstawia uczciwe kontrargumenty, osadza pracę w istniejącej literaturze i formułuje wnioski.

Główne wyniki opierają się na fundamentalnej teorii szeregowania Smitha (1956) [1], rozszerzonej przez teorię gier [9, 10], teorię pomiarów organizacyjnych [18, 19] oraz psychologię [11–17], tworząc kompletny łańcuch od dowodu matematycznego dotyczącego konkretnej metryki do wyników organizacyjnych.

---

Część I: Fundament matematyczny

2. Definicje

Niech będzie danych n zadań o czasach przetwarzania p_1, p_2, \ldots, p_n.

Harmonogram \sigma jest permutacją \{1, 2, \ldots, n\} przypisującą zadania do kolejności wykonania na pojedynczym wykonawcy.

Czas realizacji zadania \sigma(k) w harmonogramie \sigma wynosi:

C_{\sigma(k)} = \sum_{j=1}^{k} p_{\sigma(j)}

Nieważony średni czas realizacji wynosi:

\bar{C}(\sigma) = \frac{1}{n} \sum_{k=1}^{n} C_{\sigma(k)}

Średni czas realizacji ważony pracą wynosi:

\bar{C}_w(\sigma) = \frac{\sum_{k=1}^{n} p_{\sigma(k)} \cdot C_{\sigma(k)}}{\sum_{k=1}^{n} p_{\sigma(k)}}

---

3. Wyniki główne

3.1 Nieważona średnia jest podatna na manipulację

Twierdzenie 1 (Smith, 1956 [1]). Harmonogramem minimalizującym \bar{C}(\sigma) jest metoda najkrótszego czasu przetwarzania (SPT): posortuj zadania tak, aby p_{\sigma(1)} \le p_{\sigma(2)} \le \cdots \le p_{\sigma(n)}.

Dowód (argument wymiany [1, 2]).

Rozważmy dowolny harmonogram \sigma, w którym dwa sąsiednie zadania i, j spełniają p_i > p_j, przy czym zadanie i jest zaplanowane bezpośrednio przed zadaniem j. Niech t będzie czasem rozpoczęcia zadania i.

	Zadanie i kończy się	Zadanie j kończy się	Suma
Przed zamianą (i potem j)	t + p_i	t + p_i + p_j	2t + 2p_i + p_j
Po zamianie (j potem i)	t + p_j	t + p_j + p_i	2t + p_i + 2p_j

Zmiana w sumie czasów realizacji wynosi:

(2p_i + p_j) - (p_i + 2p_j) = p_i - p_j > 0

Każda zamiana pary sąsiedniej typu dłuższy-przed-krótszym ściśle redukuje sumę. Każdy harmonogram niebędący SPT zawiera taką parę. Powtarzane zamiany zbiegają do SPT. Zatem SPT jednoznacznie minimalizuje \bar{C}(\sigma). \blacksquare

3.2 Średnia ważona pracą jest niezmienna względem harmonogramu

Twierdzenie 2. Średni czas realizacji ważony pracą \bar{C}_w(\sigma) jest taki sam dla każdego harmonogramu \sigma.

Dowód.

Rozwiń licznik:

\sum_{k=1}^{n} p_{\sigma(k)} \cdot C_{\sigma(k)} = \sum_{k=1}^{n} p_{\sigma(k)} \sum_{j=1}^{k} p_{\sigma(j)}

Przeindeksuj, niech a = \sigma(k) i b = \sigma(j). Podwójna suma zlicza każdą uporządkowaną parę (a, b), w której b jest zaplanowane nie później niż a:

= \sum_{\substack{a, b \\ b \preceq_\sigma a}} p_a \, p_b

Dla dowolnej pary (a, b) z a \ne b zachodzi dokładnie jeden z warunków: \{b \preceq_\sigma a\} lub \{a \prec_\sigma b\}. Wyrazy diagonalne (a = b) wnoszą p_a^2 niezależnie od kolejności. Zatem:

\sum_{\substack{a, b \\ b \preceq_\sigma a}} p_a \, p_b = \sum_{a} p_a^2 + \sum_{\substack{a \ne b \\ b \prec_\sigma a}} p_a \, p_b

Razem z sumą komplementarną obie sumy pozadiagonalne pokrywają wszystkie pary nieuporządkowane:

\sum_{\substack{a \ne b \\ b \prec_\sigma a}} p_a \, p_b + \sum_{\substack{a \ne b \\ a \prec_\sigma b}} p_a \, p_b = \sum_{a \ne b} p_a \, p_b

Prawa strona jest niezależna od harmonogramu. Z symetrii p_a p_b obie sumy pozadiagonalne są równe:

\sum_{\substack{a \ne b \\ b \prec_\sigma a}} p_a \, p_b = \frac{1}{2} \sum_{a \ne b} p_a \, p_b

Zatem:

\sum_{k=1}^{n} p_{\sigma(k)} \cdot C_{\sigma(k)} = \sum_a p_a^2 + \frac{1}{2} \sum_{a \ne b} p_a \, p_b = \frac{1}{2}\left(\sum_a p_a\right)^2 + \frac{1}{2}\sum_a p_a^2

Wyrażenie to nie zawiera odwołania do \sigma. Ponieważ mianownik \sum p_a jest również niezależny od harmonogramu:

\bar{C}_w(\sigma) = \frac{\frac{1}{2}\left(\sum p_a\right)^2 + \frac{1}{2}\sum p_a^2}{\sum p_a}

jest stały dla wszystkich harmonogramów. \blacksquare

Jest to przypadek praw zachowania w szeregowaniu zidentyfikowanych przez Coffmana, Shanthikumara i Yao [20]. Niezmienniczość odpowiada pomiarowi tego, jak długo jednostka pracy czeka, a nie jak długo zadanie czeka — statystyka nieważona zlicza realizacje, a nie pracę, dlatego jest podatna na manipulację. (Zob. także Little [3, 4] w kontekście teorii kolejek, z zastrzeżeniem, że prawo Little'a stosuje się bezpośrednio tylko do systemów w stanie ustalonym, a nie do przypadku wsadowego analizowanego tutaj.)

3.3 Przykład ilustracyjny

Dwa zadania: A z p_A = 1 godzina, B z p_B = 10 godzin.

Harmonogram	C_A	C_B	Średnia nieważona	Średnia ważona pracą
SPT (A najpierw)	1	11	6,0	111/11 ≈ 10,09
Odwrotny (B najpierw)	11	10	10,5	111/11 ≈ 10,09

SPT wydaje się lepszy o 4,5 godziny według metryki nieważonej, ale zapewnia zerową poprawę według metryki ważonej pracą. Pozorna przewaga istnieje wyłącznie dlatego, że statystyka nieważona pozwala zadaniu 1-godzinnemu „głosować" na równi z zadaniem 10-godzinnym.

---

4. Konsekwencje dla jakości obsługi

4.1 Zagłodzenie dużych zadań

Twierdzenie 3 (Obciążenie metryki). Każda polityka szeregowania minimalizująca nieważony średni czas realizacji z konieczności maksymalizuje czas realizacji największego zadania.

Dowód. SPT umieszcza największe zadanie na końcu. Jego czas realizacji równa się całkowitemu czasowi przetwarzania \sum p_i, co stanowi maksymalny możliwy czas realizacji dla dowolnego pojedynczego zadania. W każdym harmonogramie, który nie umieszcza największego zadania na końcu, to zadanie kończy się ściśle wcześniej. \blacksquare

Tworzy to zachętę do zagłodzenia: racjonalni agenci optymalizujący statystykę nieważoną będą w nieskończoność odraczać duże zadania na rzecz małych. Austin [18] zidentyfikował ten ogólny wzorzec — że niekompletny pomiar tworzy zachęty do optymalizacji mierzonego wymiaru kosztem wymiarów niemierzonych — w kontekście zarządzania wydajnością organizacyjną. Twierdzenie 3 dostarcza konkretny mechanizm dla szeregowania zadań.

4.2 Maksymalny czas realizacji największego zadania

Twierdzenie 4 (SPT jednoznacznie maksymalizuje czas realizacji największego zadania). Spośród wszystkich harmonogramów SPT jest jedyną polityką, która przypisuje maksymalny możliwy czas realizacji (\sum p_i) największemu zadaniu.

Dowód. SPT sortuje zadania rosnąco według p_i, umieszczając największe zadanie p_{\max} na ostatniej pozycji. Ostatnie zadanie w dowolnym harmonogramie ma czas realizacji \sum_{i=1}^{n} p_i, co jest maksimum, jakie może otrzymać dowolne pojedyncze zadanie. W każdym harmonogramie, który nie umieszcza p_{\max} na końcu, kończy się ono ściśle przed \sum p_i. \blacksquare

Wniosek 4.1. Zespół optymalizujący nieważony średni czas realizacji będzie systematycznie dostarczał najgorsze doświadczenie klientom o najbardziej złożonych potrzebach. Nie jest to efekt uboczny — jest to mechanizm, dzięki któremu metryka się poprawia.

Uwaga o współczynnikach spowolnienia. SPT w rzeczywistości kompresuje współczynniki spowolnienia (S_i = C_i / p_i), ponieważ większe zadania na późniejszych pozycjach mają duże mianowniki, które absorbują skumulowaną sumę. Na przykład dla zadań [1, 5, 10]: SPT daje spowolnienia [1, 1{,}2, 1{,}6] (niska wariancja), podczas gdy LPT daje [1, 3, 16] (wysoka wariancja). Szkoda SPT dla klientów z dużymi zadaniami nie jest widoczna we współczynniku spowolnienia — jest widoczna w bezwzględnym czasie realizacji. To rozróżnienie jest istotne: w literaturze dotyczącej sprawiedliwości szeregowania [21, 22, 23] debatowano nad niesprawiedliwością SPT/SRPT głównie poprzez miary oparte na spowolnieniu, które mogą zaciemniać obciążenie bezwzględnym opóźnieniem udowodnione poniżej.

4.3 Koncentracja opóźnień

Twierdzenie 5 (SPT koncentruje opóźnienie na największym zadaniu). W ramach SPT największe zadanie ponosi większe opóźnienie bezwzględne niż w jakimkolwiek innym harmonogramie.

Dowód. Zdefiniuj opóźnienie bezwzględne jako \Delta_i = C_i - p_i (czas spędzony na oczekiwaniu, niezależny od własnego rozmiaru). W ramach SPT największe zadanie zajmuje pozycję n z:

\Delta_{\max\text{-task}}^{\text{SPT}} = C_n - p_n = \sum_{i=1}^{n-1} p_i

Jest to suma czasów przetwarzania wszystkich pozostałych zadań — maksymalne możliwe opóźnienie dla dowolnego pojedynczego zadania. W każdym harmonogramie, w którym największe zadanie nie jest ostatnie, jego opóźnienie jest ściśle mniejsze. Jednocześnie SPT przyznaje najmniejszemu zadaniu zerowe opóźnienie (\Delta_1^{\text{SPT}} = 0). Całe obciążenie kolejkowe jest przeniesione z małych zadań na duże. \blacksquare

SPT minimalizuje łączne opóźnienie (co jest dobre dla zagregowanej efektywności) poprzez koncentrację opóźnienia na zadaniach najlepiej zdolnych do jego absorpcji pod względem współczynnika spowolnienia. Ale w wartościach bezwzględnych — godzinach spędzonych na oczekiwaniu — największe zadanie ponosi pełne obciążenie.

4.4 Niezmienniczość przepustowości

Twierdzenie 6 (Niezmienniczość przepustowości). Całkowita praca wykonana w dowolnym horyzoncie czasowym T jest identyczna dla wszystkich polityk szeregowania.

Dowód. Wykonawca przetwarza pracę ze stałą szybkością. W dowolnym horyzoncie T \ge \sum p_i całkowita wykonana praca wynosi dokładnie \sum p_i, niezależnie od kolejności. W przypadku stanu ustalonego z ciągłymi napływami długookresowa przepustowość jest zdeterminowana przez szybkość obsługi \mu i jest całkowicie niezależna od szeregowania:

\lim_{T \to \infty} \frac{W(T)}{T} = \mu \quad \text{dla wszystkich harmonogramów } \sigma

\blacksquare

Wniosek 6.1. Zespół, który przechodzi z dowolnej polityki szeregowania na SPT, zaobserwuje poprawę nieważonego średniego czasu realizacji przy zerowej zmianie rzeczywistej przepustowości. Metryka się poprawia. Wynik nie.

4.5 Efekt złożony

Łącząc Twierdzenia 4, 5 i 6:

Miara	Efekt optymalizacji nieważonej średniej
Przepustowość (praca/czas)	Bez zmian (Twierdzenie 6)
Opóźnienie małych zadań	Zminimalizowane — zbliża się do zera (SPT)
Opóźnienie dużych zadań	Zmaksymalizowane — ponosi całe obciążenie kolejkowe (Twierdzenie 5)
Czas realizacji największego zadania	Maksymalny możliwy: \sum p_i (Twierdzenie 4)

Wynikowy efekt netto na postrzeganą jakość jest negatywny, ponieważ:

1. Awersja do strat jest asymetryczna [8]. Klient, którego zadanie 100-godzinne zostaje depriorytetyzowane, doświadcza dużego, wyrazistego negatywu. Klient, którego zadanie 1-godzinne zostaje przyspieszone, doświadcza małego, często niezauważonego pozytywu.

2. Zadania wymagające dużego nakładu pracy korelują z klientami o wysokiej wartości. Duże zadania nieproporcjonalnie często pochodzą od głównych klientów, złożonych kontraktów lub krytycznych potrzeb biznesowych.

3. Zagłodzenie kumuluje się. W systemie ciągłym (Twierdzenie 3) duże zadania mogą być odraczane w nieskończoność, ponieważ wciąż napływają nowe małe zadania.

Twierdzenie 7 (Wynik główny). Dla zespołu przetwarzającego zadania o niejednorodnym rozmiarze przyjęcie nieważonego średniego czasu realizacji jako metryki wydajnościowej:

(a) Zapewnia zerowy zysk produktywności (Twierdzenie 6), jednocześnie (b) Przypisując maksymalny możliwy czas realizacji największemu zadaniu (Twierdzenie 4), oraz (c) Koncentrując całe opóźnienie kolejkowe na największych zadaniach, eliminując opóźnienie dla najmniejszych (Twierdzenie 5).

Nie jest to kompromis. Metryka tworzy czysty transfer jakości obsługi od klientów z zadaniami wymagającymi dużego nakładu pracy do klientów z zadaniami o małym nakładzie pracy, bez żadnego zysku netto w postaci wykonanej pracy. \blacksquare

---

Część II: Systemy priorytetów

5. Rozpad w warunkach klasyfikacji priorytetowej

Poprzednie rozdziały dowiodły, że nieważony średni czas realizacji jest obciążony, gdy zadania różnią się rozmiarem. Teraz pokażemy, że wprowadzenie systemu priorytetów — stosowanego przez praktycznie wszystkie rzeczywiste zespoły — powoduje, że metryka staje się nie tylko obciążona, ale aktywnie adwersaryczna wobec deklarowanych celów organizacji.

5.1 Model rozszerzony: zadania z priorytetem

Niech każde zadanie i ma czas przetwarzania p_i oraz klasę priorytetu q_i \in \{1, 2, 3, 4\}, gdzie 1 jest najwyższym priorytetem (krytyczny), a 4 najniższym (kosmetyczny/ulepszenie). Przypisz wagi priorytetów:

w(q) = \begin{cases} 8 & q = 1 \text{ (Krytyczny)} \\ 4 & q = 2 \text{ (Wysoki)} \\ 2 & q = 3 \text{ (Średni)} \\ 1 & q = 4 \text{ (Niski)} \end{cases}

Konkretne wagi mają charakter ilustracyjny; wyniki obowiązują dla dowolnej ściśle malejącej funkcji wagowej. Kluczową właściwością jest to, że priorytet jest przypisywany na podstawie wpływu biznesowego, a nie rozmiaru zadania.

5.2 Metryka przeczy systemowi priorytetów

Twierdzenie 8 (Inwersja priorytet–rozmiar). Gdy priorytet jest niezależny od rozmiaru zadania, harmonogram minimalizujący nieważony średni czas realizacji (SPT) będzie, w wartości oczekiwanej, realizował zadania o niskim priorytecie przed zadaniami o wysokim priorytecie i większym rozmiarze.

Dowód. SPT porządkuje zadania rosnąco według p_i, niezależnie od q_i. Rozważmy dwa zadania:

• Zadanie A: p_A = 40 godzin, q_A = 1 (Krytyczne — np. awaria serwera)
• Zadanie B: p_B = 0{,}5 godziny, q_B = 4 (Niskie — np. kosmetyczna poprawka interfejsu)

SPT planuje B przed A. Nieważona średnia dla tej pary:

\bar{C}^{\text{SPT}} = \frac{0.5 + 40.5}{2} = 20.5 \qquad \bar{C}^{\text{priority}} = \frac{40 + 40.5}{2} = 40.25

Metryka deklaruje SPT jako prawie dwukrotnie lepsze — mimo że realizowana jest kosmetyczna poprawka, podczas gdy serwer nie działa.

Ogólnie, gdy q_i jest statystycznie niezależne od p_i, porządek SPT ma zerową korelację z priorytetem. W praktyce zadania krytyczne (awarie, incydenty bezpieczeństwa, utrata danych) często wymagają więcej pracy niż zadania o niskim priorytecie, więc metryka jest prawdopodobnie antykorelowana z systemem priorytetów. \blacksquare

5.3 Destrukcja informacji

Nieważona średnia redukuje trójwymiarowe zadanie (p_i, q_i, C_i) do jednowymiarowego sygnału (C_i), a następnie uśrednia równomiernie. Priorytet jest w ten sposób całkowicie odrzucany, a rozmiar niejawnie odwracany.

Twierdzenie 9 (Destrukcja informacji). Niech I(\sigma) będzie informacją wzajemną między niejawnym rankingiem priorytetów harmonogramu (pozycją) a rzeczywistym przypisaniem priorytetu q_i. Dla SPT:

I(\sigma_{\text{SPT}}) = 0 \quad \text{gdy } p_i \perp q_i

Dowód. SPT przypisuje pozycje wyłącznie na podstawie p_i. Gdy p_i i q_i są niezależne, znajomość pozycji zadania w harmonogramie SPT dostarcza zerowej informacji o jego priorytecie. \blacksquare

Wniosek 9.1. Zespół optymalizujący nieważony średni czas realizacji prowadzi system szeregowania, który nie niesie żadnej informacji o własnej klasyfikacji priorytetowej. Pole priorytetu w systemie zgłoszeń jest, w odniesieniu do kolejności realizacji, dekoracyjne.

Jest to przypadek tego, co Austin [18] nazywa fundamentalnym problemem niekompletnego pomiaru: gdy system pomiarowy obejmuje tylko podzbiór istotnych wymiarów, optymalizacja pomiaru systematycznie degraduje wymiary niemierzone.

5.4 Koszt opóźnienia ważony priorytetem

Zdefiniuj koszt opóźnienia ważony priorytetem harmonogramu:

D(\sigma) = \sum_{i=1}^{n} w(q_i) \cdot C_i

Twierdzenie 10 (SPT a koszt opóźnienia ważony priorytetem). Optymalnym harmonogramem minimalizującym D(\sigma) jest WSJF: porządkuj według w(q_i)/p_i malejąco [1, 5]. Porządek SPT — według 1/p_i malejąco — całkowicie ignoruje priorytet i daje wyższe D niż alternatywy respektujące priorytet, gdy priorytet jest skorelowany z rozmiarem zadania.

Dowód. Z argumentu wymiany zamiana sąsiednich zadań i, j zmienia D o:

\Delta D = w(q_j) \cdot p_i - w(q_i) \cdot p_j

Zamiana poprawia D, gdy w(q_j)/p_j > w(q_i)/p_i, ale j jest zaplanowane po i. Zatem optymalny porządek to malejący w(q_i)/p_i — reguła WSJF. SPT odpowiada WSJF tylko wtedy, gdy w(q_i) = \text{const} (wszystkie zadania mają równy priorytet).

Przykład. Krytyczne (w = 8, p = 3) i Niskie (w = 1, p = 2):

• SPT (Niskie najpierw): D = 1 \cdot 2 + 8 \cdot 5 = 42
• WSJF (Krytyczne najpierw): D = 8 \cdot 3 + 1 \cdot 5 = 29

SPT generuje o 45% wyższy koszt opóźnienia ważony priorytetem. W praktyce zadania krytyczne bywają większe (awarie, incydenty bezpieczeństwa), co czyni tę rozbieżność systematyczną. \blacksquare

---

6. Proponowane rozwiązania

6.1 Metryki ważone priorytetem

Zastąp nieważony średni czas realizacji Wynikiem Realizacji Ważonym Priorytetem (PWCS):

\text{PWCS}(\sigma) = \frac{\sum_{i=1}^{n} w(q_i) \cdot \frac{C_i}{p_i}}{\sum_{i=1}^{n} w(q_i)}

Jest to średnia współczynnika spowolnienia ważona priorytetem. Mierzy, jak długo każde zadanie czekało w stosunku do swojego rozmiaru, z wagą proporcjonalną do jego ważności. Im mniej, tym lepiej.

Właściwości:

1. Respektuje priorytety. Opóźnienia zadań krytycznych kosztują 8x więcej niż opóźnienia zadań o niskim priorytecie.
2. Sprawiedliwa wobec rozmiaru. Używa współczynnika spowolnienia C_i / p_i, więc duże zadania nie są karane za to, że są duże.
3. Niepodatna na manipulację przez SPT. Zmiana kolejności według czasu przetwarzania nie poprawia systematycznie wyniku.
4. Redukuje się do nieważonej średniej, gdy zadania są jednorodne. Ścisłe uogólnienie.

6.2 Polityka optymalna: WSJF

Twierdzenie 11. Harmonogram minimalizujący priorytetowo ważony czas realizacji \text{PWCT}(\sigma) = \sum w(q_i) \cdot C_i / \sum w(q_i) przetwarza zadania w kolejności malejącego w(q_i)/p_i — reguła Weighted Shortest Job First (WSJF) [1, 5].

Dowód. Z argumentu wymiany (jak w Twierdzeniu 10) zamiana sąsiednich zadań i, j poprawia PWCT, gdy w(q_j)/p_j > w(q_i)/p_i, ale j jest zaplanowane po i. Optymalny porządek to zatem malejący w(q_i)/p_i. \blacksquare

W ramach klasy priorytetowej sprowadza się to do SPT (najkrótsze najpierw). Między klasami 4-godzinne zadanie krytyczne (w/p = 2{,}0) ma pierwszeństwo przed 1-godzinnym zadaniem o niskim priorytecie (w/p = 1{,}0).

Zastrzeżenie praktyczne. Czyste WSJF może umieścić drobne zadania o niskim priorytecie przed dużymi zadaniami krytycznymi (15-minutowe zadanie o niskim priorytecie ma w/p = 1/0{,}25 = 4{,}0, przewyższając 6-godzinne zadanie krytyczne przy w/p = 8/6 = 1{,}33). W praktyce łagodzi się to, narzucając ścisłą kolejność klas priorytetowych i stosując WSJF tylko w ramach każdej klasy.

6.3 Przykład zastosowany: dział obsługi IT

Rozważmy zespół IT z następującą kolejką zgłoszeń:

Zgłoszenie	Priorytet	Typ	Szac. godziny
T1	P1 (Krytyczny)	Awaria serwera pocztowego	6
T2	P2 (Wysoki)	Awaria VPN dla zespołu zdalnego	4
T3	P3 (Średni)	Konfiguracja laptopa nowego pracownika	2
T4	P4 (Niski)	Aktualizacja polityki tapet pulpitu	0,5
T5	P3 (Średni)	Instalacja licencji oprogramowania	1
T6	P1 (Krytyczny)	Awaria kopii zapasowej bazy danych	3
T7	P2 (Wysoki)	Flota drukarek offline	2
T8	P4 (Niski)	Archiwizacja starego folderu współdzielonego	0,25

Kolejność SPT (optymalizacja nieważonej średniej): T8, T4, T5, T3, T7, T6, T2, T1

Poz.	Zgłoszenie	Priorytet	Godziny	Realizacja	Spowolnienie
1	T8 (archiwizacja folderu)	P4 Niski	0,25	0,25	1,0
2	T4 (tapety)	P4 Niski	0,5	0,75	1,5
3	T5 (oprogramowanie)	P3 Średni	1	1,75	1,75
4	T3 (laptop)	P3 Średni	2	3,75	1,875
5	T7 (drukarki)	P2 Wysoki	2	5,75	2,875
6	T6 (kopie zapasowe)	P1 Kryt.	3	8,75	2,917
7	T2 (VPN)	P2 Wysoki	4	12,75	3,188
8	T1 (poczta)	P1 Kryt.	6	18,75	3,125

Praktyczne WSJF (najpierw klasa priorytetowa, SPT w ramach klasy):

Poz.	Zgłoszenie	Priorytet	Godziny	Realizacja
1	T6 (kopie zapasowe)	P1 Kryt.	3	3
2	T1 (poczta)	P1 Kryt.	6	9
3	T7 (drukarki)	P2 Wysoki	2	11
4	T2 (VPN)	P2 Wysoki	4	15
5	T5 (oprogramowanie)	P3 Średni	1	16
6	T3 (laptop)	P3 Średni	2	18
7	T8 (archiwizacja)	P4 Niski	0,25	18,25
8	T4 (tapety)	P4 Niski	0,5	18,75

Porównanie:

Metryka	SPT	Praktyczne WSJF	Lepsze
Nieważona średnia realizacji	6,56 godz.	13,63 godz.	SPT
Średni czas rozwiązania P1	13,75 godz.	6 godz.	WSJF
Średni czas rozwiązania P2	9,25 godz.	13 godz.	SPT
Czas naprawy serwera pocztowego	18,75 godz.	9 godz.	WSJF
Czas naprawy kopii zapasowych	8,75 godz.	3 godz.	WSJF
Czas aktualizacji tapet	0,75 godz.	18,75 godz.	SPT

Zagregowane priorytetowo ważone czasy realizacji są niemal identyczne (PWCT: 10,2 vs 10,17), ponieważ agregacja ukrywa szkody dystrybucyjne. Prawdziwa różnica tkwi w rozbiciu na klasy priorytetowe: serwer pocztowy nie działa przez 18,75 godziny w ramach SPT wobec 9 godzin w ramach WSJF. Kopie zapasowe bazy danych zawodzą przez 8,75 godziny wobec 3.

Metryka nieważona z pewnością raportuje SPT jako ponad dwukrotnie bardziej efektywne (6,56 vs 13,63), nagradzając zespół, który aktualizował tapety pulpitu, gdy serwer pocztowy płonął.

6.4 Zalecany zestaw metryk

Nawet priorytetowo ważone metryki zagregowane mogą nie rozróżniać dobrych od złych harmonogramów, ponieważ agregacja ukrywa szkody dystrybucyjne. Żadna pojedyncza metryka nie wystarcza. Kompletny system pomiarowy powinien śledzić:

Metryka	Co mierzy	Formuła
Średnia realizacji według klasy priorytetowej	Responsywność per klasa	\bar{C} filtrowane według q
Średni czas rozwiązania P1	Reakcja na incydenty krytyczne	\bar{C} dla q = 1
Przepustowość	Surowa zdolność robocza	Roboczogodziny wykonane / czas kalendarzowy
Naruszenia starzenia	Zapobieganie zagłodzeniu	Zadania przekraczające SLA według priorytetu
Maks. czas realizacji (P1/P2)	Najgorsza reakcja krytyczna	\max(C_i) dla q \le 2

Kluczowy wniosek: metryki per klasa priorytetowa ujawniają awarie szeregowania, które metryki zagregowane ukrywają.

---

Część III: Dynamika organizacyjna

7. Gdy metryka jest produktem

Rozdziały 2–6 zakładają, że satysfakcja klienta jest funkcją doświadczonej jakości obsługi. Istnieje jednak scenariusz, w którym to założenie zawodzi i cała argumentacja się rozpada.

7.1 Metryka autoreferencyjne

Załóżmy, że dostawca raportuje nieważoną średnią bezpośrednio klientowi — na pulpicie nawigacyjnym, w raporcie SLA, na stronie marketingowej — a satysfakcja klienta wynika głównie z tej liczby:

U_{\text{client}} = f\!\left(\bar{C}(\sigma)\right), \quad f' < 0

W tym modelu SPT rzeczywiście maksymalizuje satysfakcję klienta (Twierdzenie 1). Przepustowość pozostaje niezmieniona (Twierdzenie 6). Wynik biznesowy się poprawia: ta sama praca wykonana, zadowolony klient.

Wszystkie twierdzenia w tej pracy pozostają matematycznie poprawne. Ale wniosek się odwraca. Metryka nie jest już przybliżeniem, które można manipulować — jest jakością obsługi, ponieważ klient zgodził się oceniać jakość na podstawie zagregowanej liczby.

7.2 Ekonomia

Tworzy to spójną, stabilną równowagę:

Aktor	Zachowanie	Wynik
Dostawca	Optymalizuje nieważoną średnią (SPT)	Metryka się poprawia, brak dodatkowej pracy
Klient	Czyta pulpit nawigacyjny, widzi niską średnią	Raportuje satysfakcję
Zarząd	Widzi zadowolonego klienta + dobrą metrykę	Nagradza zespół

Dostawca uzyskuje satysfakcję przy zerowym koszcie krańcowym, optymalizując liczbę, którą klient zaakceptował jako przybliżenie jakości.

7.3 Kruchość

Ta równowaga jest stabilna tylko tak długo, jak klient nigdy nie zbada własnego doświadczenia. Rozpada się, gdy:

1. Klient sprawdza własne zgłoszenie. Dyrektor techniczny, którego serwer pocztowy nie działał przez 18,75 godziny, nie zostanie uspokojony informacją „Średni czas rozwiązania: 6,56 godziny". Klienci najbardziej skłonni do weryfikacji to dokładnie ci, którzy otrzymują najgorszą obsługę (Twierdzenie 4).

2. Konkurent oferuje SLA per zgłoszenie. „P1 rozwiązane w ciągu 4 godzin" pokonuje „średnie rozwiązanie poniżej 7 godzin" dla każdego klienta z krytycznymi potrzebami.

3. Zespół internalizuje metrykę. Jeśli zespół wierzy, że metryka odzwierciedla rzeczywistą wydajność, traci zdolność rozpoznawania, kiedy praca krytyczna jest zaniedbywana. Metryka staje się zagrożeniem epistemicznym.

7.4 Ogólny wzorzec

Ten wzorzec — przybliżenie zastępuje jakość, przybliżenie jest optymalizowane, jakość odchodzi, system jest stabilny do momentu zderzenia z rzeczywistością — powtarza się w wielu dziedzinach. Muller [19] dokumentuje go obszernie jako „fiksację na metrykach"; Campbell [24] sformalizował korumpujący wpływ używania wskaźników jako celów.

Dziedzina	Metryka zastępcza	Rzeczywista jakość	Rozbieżność
Wsparcie IT	Śr. czas rozwiązania	Czas pracy systemów krytycznych	Serwer niedostępny 19 godz., średnia mówi 6,5
Edukacja	Wyniki testów	Faktyczne uczenie się	Nauczanie pod test
Ochrona zdrowia	Przepustowość pacjentów	Wyniki leczenia pacjentów	Szybsze wypisy, wyższa readmisja
Finanse	Zyski kwartalne	Wartość długoterminowa	Cięcia kosztów pompują EPS, erodują zdolności
Oprogramowanie	Velocity (story points)	Jakość produktu	Inflacja punktów, funkcje wykonane w połowie

7.5 Asymetria informacji

Modeluj system jako grę między dostawcą (D) a klientem (K). D obserwuje indywidualne \{C_i\} i wybiera \sigma; K obserwuje jedynie \bar{C}(\sigma). Jest to problem pokusy nadużycia [10]: optymalną strategią D jest minimalizacja obserwowalnego sygnału niezależnie od nieobserwowalnego rozkładu.

Równowaga jest równowagą łączącą [9]: raportowana metryka D wygląda identycznie niezależnie od bazowej wydajności ważonej priorytetowo. Jest stabilna, dopóki K nie uzyska dostępu do indywidualnych wartości C_i — poprzez portal klienta, transparentność konkurenta lub dostatecznie bolesny incydent.

7.6 Niewygodna konkluzja

Uczciwa odpowiedź na pytanie „czy optymalizacja nieważonej średniej szkodzi biznesowi?" brzmi: niekoniecznie, o ile klient nigdy nie zajrzy za liczbę. Uczciwa odpowiedź na pytanie „czy to jest zrównoważone?" brzmi: jest to dokładnie tak zrównoważone jak każdy system, w którym sprzedający wie więcej niż kupujący — stabilny przez dłuższy czas, a potem gwałtowny upadek, gdy asymetria zostaje przebita.

---

8. Psychologiczny koszt wiedzy

Rozdział 7 modelował dostawcę jako jednolity podmiot. Ale zespoły składają się z jednostek. Gdy członek zespołu rozumie dowód — gdy wie, że metryka jest syntetyczna, że pulpit nawigacyjny jest teatrem, że serwer pocztowy wciąż nie działa, podczas gdy on zamyka zgłoszenia dotyczące tapet — pojawia się nowy koszt, który model równowagi pominął.

8.1 Ukryta zmienna: świadomość zespołu

Aktor	Obserwuje indywidualne C_i	Obserwuje \bar{C}	Rozumie dowód
Zarząd	Być może	Tak	Różnie
Członek zespołu	Tak	Tak	Tak (w tym scenariuszu)
Klient	Nie	Tak	Nie

Członek zespołu ma pełną informację. Widzi kolejkę zgłoszeń. Wie, że serwer pocztowy nie działa od 7 rano. Wie, że zamyka zgłoszenie dotyczące tapety, bo to poprawia liczbę. I wie dlaczego.

8.2 Dysonans poznawczy przy pełnej informacji

Dysonans poznawczy [11] powstaje, gdy jednostka utrzymuje sprzeczne przekonania. Bez zrozumienia dlaczego, sprzeczność można zracjonalizować: „zarząd wie lepiej". Zrozumienie dowodu usuwa dwuznaczność. Członek zespołu utrzymuje teraz:

• Przekonanie A: „Jestem kompetentnym profesjonalistą. Moim zadaniem jest rozwiązywanie ważnych problemów."
• Przekonanie B: „Zamykam zgłoszenie dotyczące tapety, podczas gdy serwer pocztowy nie działa, ponieważ metryka jest matematycznie obciążona (Twierdzenie 1), zmiana kolejności nie daje żadnej przepustowości (Twierdzenie 6), a jedynym beneficjentem jest pulpit nawigacyjny (Rozdział 7). Mogę to udowodnić."

Dysonans jest teraz nośny. Dostępne rozwiązania — porzucenie tożsamości zawodowej, odrzucenie dowodu, walka o zmianę lub odejście — każde niesie ze sobą koszty, które wcześniej nie istniały.

8.3 Teoria autodeterminacji: trzy naruszone potrzeby

Teoria autodeterminacji Deciego i Ryana [12, 13] identyfikuje trzy potrzeby predykujące motywację wewnętrzną:

Autonomia. Metryka ogranicza wybory w sposób, który członek zespołu wie, że jest matematycznie suboptymalny. Pracownik, który rozumie, że proces jest dowodliwie kontraproduktywny, nie może czuć się autonomiczny, podążając za nim.

Kompetencja. Metryka nagradza pozorną efektywność (niskie \bar{C}), będąc jednocześnie niezmienna wobec faktycznej efektywności (Twierdzenie 6). Autentyczna kompetencja — naprawienie serwera pocztowego najpierw — jest karana przez metrykę.

Relacyjność. Członek zespołu wie, że serwer pocztowy klienta nie działa. Mógłby pomóc. Zamiast tego aktualizuje tapety — nie dlatego, że to komukolwiek pomaga, ale dlatego, że pomaga to liczbie. Połączenie między pracą a ludzkim wpływem zostało zerwane, a członek zespołu widzi zerwane końce.

8.4 Uraz moralny

Uraz moralny [16, 17] to trwała szkoda spowodowana „popełnianiem, niezapobieżeniem, byciem świadkiem lub dowiedzeniem się o czynach, które naruszają głęboko zakorzenione przekonania moralne" [17]. Pojęcie to zostało od tego czasu rozszerzone na konteksty biznesowe [25]. Kluczowe rozróżnienie od wypalenia: wypalenie to wyczerpanie z robienia zbyt wiele. Uraz moralny to szkoda z robienia złej rzeczy.

Członek zespołu, który wie, że serwer pocztowy nie działa, wie, że powinien go naprawić, zamiast tego zamyka zgłoszenie dotyczące tapety i robi to, ponieważ metryka tego wymaga, doświadcza strukturalnych warunków urazu moralnego.

8.5 Wyuczona bezradność i fatalizm metryczny

Wyuczona bezradność Seligmana [14, 15] opisuje, jak ekspozycja na niekontrolowalne negatywne wyniki prowadzi do pasywności. Sekwencja:

1. Metryka jest wadliwa (dowód zrozumiany).
2. Postulowanie zmiany.
3. Odrzucenie („liczby są dobre, nie kołysz łódką").
4. Powtórzenie z malejącym przekonaniem.
5. Stan terminalny: „Metryka jest, jaka jest. Będę po prostu zamykał zgłoszenia."

To nie jest lenistwo. To racjonalna odpowiedź na system, który karze poprawne zachowanie i nagradza niepoprawne, gdy jednostka nie ma władzy, by zmienić system.

8.6 Spirala selekcji adwersarycznej

Łącząc równowagę z Rozdziału 7 z dynamiką rotacji:

1. Organizacja przyjmuje nieważoną średnią. Metryka wygląda dobrze (SPT).
2. Świadomi, kompetentni członkowie zespołu doświadczają kosztów psychologicznych (8.2–8.5).
3. Ci członkowie odchodzą. Zastępowani są przez osoby, które nie rozumieją wad metryki lub nie dbają o to.
4. Metryka nadal wygląda dobrze — zawsze tak jest w ramach SPT, niezależnie od kompetencji zespołu (Wniosek 6.1).
5. Rzeczywista jakość obsługi spada, ale metryka nie jest w stanie tego wykryć (Wniosek 9.1).
6. Powrót do kroku 1.

Metryka selekcjonuje przeciwko osobom, które ulepszyłyby system, i na rzecz osób, które nie będą go kwestionować. System stabilizuje się na niższym poziomie kompetencji, niewidocznym dla własnego aparatu pomiarowego.

8.7 Pełny model kosztów

Rozdział 7 (widoczne)	Rozdział 8 (ukryte)
Klient zadowolony (dobra liczba)	Zespół niezadowolony (zła rzeczywistość)
Przepustowość bez zmian	Wysiłek uznaniowy wycofany
Metryka się poprawia	Kompetentni członkowie odchodzą
Ekonomia biznesowa stabilna	Kompetencje instytucjonalne degradują się

Działają one w różnych skalach czasowych: równowaga jest widoczna kwartalnie; degradacja kompetencji jest widoczna w skali lat. Pełny model brzmi: metryka działa i jest destrukcyjna, a destrukcja jest niewidoczna dla metryki. Metryka to świeża farba na skorodowanym zbrojeniu.

---

9. Internalizacja menedżerska: rozwiązanie operacyjne

Rozdziały 2–6 mówią: odrzuć metrykę. Rozdział 7 mówi: metryka działa (dla biznesu). Rozdział 8 mówi: niszczy zespół. W praktyce większość menedżerów nie może jednostronnie zmienić metryki. Najlepszym rozwiązaniem jest reforma metryki w całej firmie. Operacyjnym rozwiązaniem jest to, co pojedynczy świadomy menedżer może zrobić już teraz.

9.1 Strategia

Menedżer, który rozumie dowód, może zinternalizować ograniczenia metryki bez propagowania ich na zespół:

1. Szereguj głównie według priorytetu. Zespół pracuje nad zadaniami krytycznymi w pierwszej kolejności.
2. Taktycznie przeplataj małe zadania. Gdy małe zadanie o niskim priorytecie może być zrealizowane bez istotnego opóźniania pracy o wysokim priorytecie, wykonaj je. Nie dlatego, że metryka tego wymaga, ale dlatego, że też musi być wykonane i kosztuje niemal nic.
3. Nigdy nie ujawniaj metryki jako motywacji. „Załatw to szybkie zadanie, czekając na odpowiedź zwrotną od dostawcy w sprawie P1" — a nie „musimy obniżyć naszą średnią". Wewnętrzna motywacja zespołu pozostaje nienaruszona (Rozdział 8). Menedżer bierze na siebie ciężar zarządzania metryką.

9.2 Formalizacja

Problem menedżera to optymalizacja z ograniczeniami:

\min_{\sigma} \sum_{i=1}^{n} w(q_i) \cdot C_i \quad \text{pod warunkiem} \quad \bar{C}(\sigma) \le \bar{C}_{\text{target}}

Twierdzenie 12 (Ograniczony koszt metryczny szeregowania priorytetowego). Menedżer, który stosuje SPT w ramach każdej klasy priorytetowej i kolejność priorytetową między klasami, uzyska metrykę zbliżoną do wartości optymalnej SPT — luka wynika wyłącznie z inwersji międzyklasowych.

Szkic dowodu. W ramach każdej klasy priorytetowej SPT jest bezkosztowe (wszystkie zadania mają równy priorytet). Jedynym odchyleniem od globalnego SPT jest kolejność międzyklasowa. Każda inwersja międzyklasowa kosztuje co najwyżej p_{\text{large}} - p_{\text{small}} w sumie nieważonej, a te inwersje są ograniczone liczbą klas. W praktyce luka wynosi typowo 10–20% wartości optymalnej SPT. \blacksquare

9.3 Menedżer jako bariera informacyjna

Warstwa	Widzi metrykę	Widzi priorytety	Widzi dowód
Organizacja	Tak	Nominalnie	Nie
Menedżer	Tak	Tak	Tak
Zespół	Nie (osłonięty)	Tak	Nieistotne
Klient	Tak (pulpit nawigacyjny)	Przez SLA	Nie

Menedżer jest jedynym aktorem posiadającym wszystkie trzy elementy informacji. Nie jest to manipulacja — wykonuje właściwą pracę we właściwej kolejności, a metryka okazuje się akceptowalna, ponieważ SPT wewnątrzklasowe jest bezkosztowe.

9.4 Rozpad w warunkach konkurencji

Strategia ta zawodzi, gdy metryka staje się konkurencyjna między zespołami.

Przypadek 1: Kooperacyjny — Zespoły mierzone pod kątem parytetowości, nie rankingu. Każdy menedżer niezależnie stosuje strategię internalizacji. Metryka jest dekoracyjna, ale nieszkodliwa. Jest to gra koordynacyjna ze stabilną równowagą kooperacyjną.

Przypadek 2: Konkurencyjny — Zespoły rankingowane według \bar{C}. Jest to dylemat więźnia:

	Zespół B: Priorytet	Zespół B: SPT
Zespół A: Priorytet	(Dobra praca, Dobra praca)	(A wygląda źle, B wygląda dobrze)
Zespół A: SPT	(A wygląda dobrze, B wygląda źle)	(Oba wyglądają dobrze, oba robią złą pracę)

Równowaga Nasha to (SPT, SPT). Strategia internalizacji jest równowagą kooperacyjną, która nie jest stabilna w warunkach konkurencji.

9.5 Zakres stosowania

Warunek	Wykonalność
Metryka używana do kontroli stanu / parytetowości	Wykonalne
Metryka widoczna, ale nierangowana	Wykonalne
Metryka rangowana między zespołami	Kruche — wymaga współpracy wszystkich menedżerów
Metryka powiązana z wynagrodzeniem / zasobami	Niewykonalne — dominuje dylemat więźnia
Reforma metryki możliwa na poziomie organizacji	Zbędne — napraw metrykę bezpośrednio

Najlepszym rozwiązaniem jest reforma w skali całej firmy. Operacyjnym rozwiązaniem jest menedżer, który rozumie ten dowód, osłania swój zespół przed metryką, szereguje według priorytetu i stosuje SPT wyłącznie w ramach klas priorytetowych, aby utrzymać liczbę na rozsądnym poziomie.

---

Część IV: Ocena

10. Adwokat diabła

Uczciwość intelektualna wymaga uznania, gdzie argumentacja ma swoje ograniczenia.

10.1 Prostota ma rzeczywistą wartość

Argument. Nieważona średnia nie wymaga wag priorytetowych, estymacji rozmiaru zadania ani kalibracji.

Ocena: Prawda. Ale metryka nieważona nie unika założeń — ukrywa je, niejawnie ustawiając wszystkie wagi na 1 i wszystkie rozmiary na 1. Znana-niedokładna estymacja rozmiaru zadania jest wciąż bardziej informatywna niż niejawne założenie, że wszystkie rozmiary są równe.

10.2 Minimalizacja liczby osób czekających

Argument. SPT minimalizuje łączną liczbę osobogodzin oczekiwania. Jeśli każde zadanie reprezentuje jednego klienta, jest to optymalne.

Ocena: Matematycznie poprawne. Jeśli prowadzisz biuro obsługi i czas każdej osoby jest jednakowo cenny, SPT jest właściwą polityką. Przestaje działać, gdy zadania nie odpowiadają klientom w stosunku 1:1, koszt oczekiwania nie jest jednolity lub metryka jest używana do oceny zespołów, a nie obsługi dosłownej kolejki.

10.3 SPT jako heurystyka triażowa

Argument. Gdy rozmiary zadań skupiają się ciasno, SPT zbliża się do FIFO, a nieważona średnia zbliża się do średniej ważonej.

Ocena: Poprawne. Współczynnik zmienności CV = \sigma_p / \bar{p} determinuje nasilenie zniekształcenia:

CV	Rozkład rozmiarów zadań	Zniekształcenie
< 0,3	Ciasny (centrum telefoniczne)	Pomijalne
0,3 – 1,0	Umiarkowany (mieszane IT)	Umiarkowane
> 1,0	Szeroki (typowa kolejka IT)	Znaczne

Typowy dział IT obejmuje zakres od 15 minut do 40+ godzin (CV > 2). Zniekształcenie nie jest przypadkiem brzegowym — jest stanem domyślnym.

10.4 Manipulacja wymaga złej woli

Argument. Twierdzenia pokazują, że metryka może być manipulowana, nie że będzie manipulowana.

Ocena: To jest najsilniejszy kontrargument. Jeśli metryka jest czysto informacyjna i nigdy nie wpływa na zachowanie, zachęta do manipulacji jest nieobecna. Jednak każda metryka raportowana zarządowi, powiązana z OKR-ami lub omawiana na retrospektywach będzie wpływać na zachowanie. Jest to prawo Goodharta [6, 7] — i stosuje się do zespołów o dobrych intencjach równie niezawodnie jak do cyniczych. Dryf następuje organicznie: zamknięcie trzech łatwych zgłoszeń „czuje się produktywne", a metryka potwierdza to odczucie.

10.5 Kiedy nieważona średnia jest uzasadniona

Metryka jest uzasadniona tylko gdy wszystkie cztery warunki są spełnione jednocześnie:

1. Rozmiary zadań są w przybliżeniu jednorodne (CV < 0{,}3)
2. Brak różnicowania priorytetów (wszystkie zadania jednakowo ważne)
3. Każde zadanie reprezentuje dokładnie jednego klienta
4. Metryka nie jest używana do oceniania, nagradzania ani kierowania zachowaniem

Te warunki są rzadko spełniane w systemach, w których metryka jest najczęściej stosowana.

---

11. Praca pokrewna

Niniejsza praca znajduje się na przecięciu kilku nurtów literaturowych, które dotychczas nie były ze sobą powiązane.

11.1 Teoria szeregowania i sprawiedliwość

Smith [1] ustanowił wynik optymalności SPT i regułę WSJF w 1956 roku. Conway, Maxwell i Miller [2] opracowali kompleksowy podręcznik. Sprawiedliwość polityk szeregowania opartych na rozmiarze była przedmiotem debaty w planowaniu systemów komputerowych: Bansal i Harchol-Balter [22] zbadali niesprawiedliwość SRPT; Wierman i Harchol-Balter [23] sformalizowali klasyfikacje sprawiedliwości w porównaniu z Processor-Sharing; Angel, Bampis i Pascual [21] zmierzyli jakość harmonogramów SPT w odniesieniu do kryteriów sprawiedliwej optymalności.

Ta wcześniejsza praca analizuje sprawiedliwość w szeregowaniu CPU i serwerów. Niniejsza praca stosuje te same wyniki matematyczne do zarządzania zadaniami organizacyjnymi, gdzie „planiścią" jest ludzki zespół, „zadaniami" są żądania klientów z priorytetami o wpływie biznesowym, a „funkcją celu" jest metryka zarządcza. Mechanizm jest identyczny; konsekwencje różnią się, ponieważ szeregowanie organizacyjne posiada systemy priorytetów, relacje z klientami i koszty psychologiczne, których szeregowanie CPU nie ma.

11.2 Dysfunkcja pomiarowa

Austin [18] dowiódł, że niekompletny pomiar — mierzenie tylko podzbioru istotnych wymiarów — tworzy zachęty do optymalizacji mierzonych wymiarów kosztem niemierzonych, oraz że efekt ten jest nie tylko możliwy, ale nieunikniony, gdy pomiar jest powiązany z nagrodami. Jego ramowanie asymetrii informacyjnej ściśle koresponduje z Rozdziałem 7. Niniejsza praca dostarcza konkretny mechanizm matematyczny (Twierdzenia 1–2) dla przypadku szeregowania zadań i rozszerza argumentację przez psychologię (Rozdział 8), aby prześledzić pełny łańcuch szkód organizacyjnych.

Muller [19] udokumentował „fiksację na metrykach" w edukacji, ochronie zdrowia, policji i finansach, dostarczając obszernych dowodów empirycznych dla wzorców teoretyzowanych w Rozdziale 7.4. Campbell [24] sformalizował korumpujący wpływ używania wskaźników jako celów, uzupełniając oryginalną obserwację Goodharta [6] i uogólnienie Strathern [7].

Bevan i Hood [26] empirycznie udokumentowali zachowania manipulacyjne w angielskim publicznym systemie ochrony zdrowia — w tym dokładne wzorce „trafienia w cel i chybienia sensu" opisane w naszym Rozdziale 5.2.

11.3 Psychologiczne koszty dysfunkcji metrycznej

Zastosowanie urazu moralnego (Shay [16], Litz i in. [17]) do kontekstów biznesowych ma niedawny precedens: badanie z 2024 roku opublikowane w Journal of Business Ethics [25] wprost rozszerzyło ten konstrukt na miejsca pracy nastawione na zysk, znajdując warunki strukturalne podobne do opisanych w Rozdziale 8.4. Moore [27] przeanalizował moralne odłączenie — restrukturyzację poznawczą umożliwiającą nieetyczne zachowanie pod presją organizacyjną. Niniejsza praca zajmuje się komplementarnym zjawiskiem: szkodą dla jednostek, które odmawiają odłączenia.

11.4 Co jest nowe

Poszczególne składniki — optymalność SPT, prawo Goodharta, dysfunkcja pomiarowa, uraz moralny — wszystkie mają precedens. Wkłady niniejszej pracy to:

1. Prawo zachowania (Twierdzenie 2) użyte preskryptywnie — jako konstruktywny argument, że czas realizacji ważony pracą nie może być manipulowany, a nie jako teoretyczny wynik z teorii szeregowania.

2. Konkretny dowód, że klasy priorytetowe czynią metrykę algebraicznie adwersaryczną (Twierdzenia 8–9) — nie jedynie empirycznie złą, ale strukturalnie sprzeczną, z zerową informacją wzajemną między harmonogramem a systemem priorytetów.

3. Zintegrowany łańcuch od dowodu matematycznego przez asymetrię informacyjną przez szkodę psychologiczną po spiralę selekcji adwersarycznej — śledzący pojedynczą metrykę od Smitha (1956) do wydrążenia organizacyjnego.

4. Strategia internalizacji menedżerskiej (Rozdział 9) z formalną analizą teoriogrową jej stabilności i warunków rozpadu w warunkach konkurencji międzyzespołowej.

5. Zastosowanie teorii szeregowania do krytyki zarządzania organizacyjnego — dowodzące, że powszechnie stosowana metryka zespołowa posiada konkretne, wymierne patologie, zamiast argumentować na podstawie anegdot lub ogólnych zasad.

---

12. Wnioski

Nieważony średni czas realizacji jest obciążoną statystyką, która:

1. Może być manipulowana przez politykę szeregowania (Twierdzenie 1), w przeciwieństwie do czasu realizacji ważonego pracą, który jest niezmienny względem harmonogramu (Twierdzenie 2).
2. Zachęca do zagłodzenia dużych zadań (Twierdzenie 3).
3. Degraduje satysfakcję klienta przy zerowym kompensującym zysku produktywności (Twierdzenie 7).
4. Aktywnie przeczy systemom priorytetów, niosąc zerową informację o klasyfikacji wpływu biznesowego (Twierdzenie 9).
5. Całkowicie ignoruje priorytet w swojej rekomendacji szeregowania, wytwarzając suboptymalny koszt opóźnienia ważony priorytetem, ilekroć priorytet i rozmiar nie są doskonale odwrotnie skorelowane (Twierdzenie 10).

Metryka, którą można poprawić przez zmianę kolejności pracy — bez wykonywania jakiejkolwiek dodatkowej pracy — mierzy politykę szeregowania, nie zdolność systemu. W połączeniu z systemem priorytetów rekomenduje harmonogram, który wyrządza największą szkodę pracy o najwyższym priorytecie.

Gdy metryka jest raportowana klientom, tworzy asymetrię informacyjną (Rozdział 7), której równowaga biznesowa jest rentowna, ale krucha. Gdy członkowie zespołu rozumieją jej wady, narusza ich motywację wewnętrzną i selekcjonuje na rzecz odejścia najkompetentniejszych osób (Rozdział 8). Pojedynczy świadomy menedżer może częściowo łagodzić te efekty poprzez optymalizację z ograniczeniami (Rozdział 9), ale ta strategia kooperacyjna nie jest stabilna w warunkach konkurencji międzyzespołowej.

Nieważona średnia jest uzasadniona jedynie w wąskich warunkach (Rozdział 10.5): jednorodne rozmiary zadań, brak priorytetów, jednoznaczne odwzorowanie klient–zadanie i brak wpływu behawioralnego. Te warunki są rzadko spełniane.

Nieważony średni czas realizacji nie jest sprawiedliwą ani trafną miarą wydajności realizacji zadań. Jego przyjęcie jako metryki zespołowej w sposób racjonalny doprowadzi do zagłodzenia złożonej pracy, naruszenia deklarowanych priorytetów, nierównych wyników dla klientów oraz iluzji produktywności tam, gdzie jej nie ma.

Najlepszym rozwiązaniem jest reforma metryki organizacyjnej. Operacyjnym rozwiązaniem jest menedżer, który rozumie ten dowód.

---

Literatura

Teoria szeregowania

[1] Smith, W. E. (1956). Various optimizers for single-stage production. Naval Research Logistics Quarterly, 3(1–2), 59–66. doi:10.1002/nav.3800030106

Źródło wyniku optymalności SPT (Twierdzenie 1), reguły ważonego czasu realizacji w_i/p_i malejąco (WSJF, Twierdzenie 11) oraz techniki dowodu opartej na zamianie sąsiednich zadań (argument wymiany) stosowanej w całej pracy.

[2] Conway, R. W., Maxwell, W. L., & Miller, L. W. (1967). Theory of Scheduling. Addison-Wesley.

Standardowe podręcznikowe opracowanie teorii szeregowania jednoprocesorowego, rozszerzające wyniki Smitha.

[3] Little, J. D. C. (1961). A proof for the queuing formula: L = λW. Operations Research, 9(3), 383–387. doi:10.1287/opre.9.3.383

Pierwszy rygorystyczny dowód prawa Little'a. Przywołany w Rozdziale 3.2 w kontekście teorii kolejek.

[4] Little, J. D. C. (2011). Little's Law as viewed on its 50th anniversary. Operations Research, 59(3), 536–549. doi:10.1287/opre.1110.0941

Retrospektywa omawiająca zakres, ograniczenia i typowe błędy stosowania.

[5] Reinertsen, D. G. (2009). The Principles of Product Development Flow: Second Generation Lean Product Development. Celeritas Publishing. ISBN: 978-0-9844512-0-8.

Spopularyzował WSJF i „Koszt opóźnienia / Czas trwania" w kontekstach agile/lean. Fundament matematyczny to Smith (1956) [1].

Pomiar i zachęty

[6] Goodhart, C. A. E. (1984). Problems of monetary management: The U.K. experience. In Monetary Theory and Practice (pp. 91–121). Macmillan.

Źródło prawa Goodharta: „Każda zaobserwowana regularność statystyczna będzie miała tendencję do rozpadu, gdy tylko zostanie na nią wywarta presja w celach kontrolnych."

[7] Strathern, M. (1997). 'Improving ratings': Audit in the British university system. European Review, 5(3), 305–321. doi:10.1002/(SICI)1234-981X(199707)5:3<305::AID-EURO184>3.0.CO;2-4

Uogólnienie prawa Goodharta: „Gdy miara staje się celem, przestaje być dobrą miarą."

Ekonomia behawioralna

[8] Kahneman, D., & Tversky, A. (1979). Prospect theory: An analysis of decision under risk. Econometrica, 47(2), 263–292. doi:10.2307/1914185

Ustanowiła awersję do strat. Przywołana w Rozdziale 4.5.

Teoria gier i teoria kontraktów

[9] Akerlof, G. A. (1970). The market for "lemons": Quality uncertainty and the market mechanism. The Quarterly Journal of Economics, 84(3), 488–500. doi:10.2307/1879431

Asymetria informacji i selekcja negatywna. Równowaga łącząca z Rozdziału 7.5 jest strukturalnie analogiczna.

[10] Hölmstrom, B. (1979). Moral hazard and observability. The Bell Journal of Economics, 10(1), 74–91. doi:10.2307/3003320

Formalne opracowanie pokusy nadużycia. Scenariusz raportowania metryki w Rozdziale 7.5 jest problemem pokusy nadużycia.

Psychologia

[11] Festinger, L. (1957). A Theory of Cognitive Dissonance. Stanford University Press. ISBN: 978-0-8047-0131-0.

Teoria fundamentalna. Przywołana w Rozdziale 8.2.

[12] Deci, E. L., & Ryan, R. M. (1985). Intrinsic Motivation and Self-Determination in Human Behavior. Plenum Press. ISBN: 978-0-306-42022-1.

Oryginalne opracowanie teorii autodeterminacji. Przywołana w Rozdziale 8.3.

[13] Ryan, R. M., & Deci, E. L. (2000). Self-determination theory and the facilitation of intrinsic motivation, social development, and well-being. American Psychologist, 55(1), 68–78. doi:10.1037/0003-066X.55.1.68

Przegląd teorii autodeterminacji łączący zaspokojenie potrzeb z motywacją wewnętrzną i dobrostanem.

[14] Seligman, M. E. P., & Maier, S. F. (1967). Failure to escape traumatic shock. Journal of Experimental Psychology, 74(1), 1–9. doi:10.1037/h0024514

Oryginalna demonstracja wyuczonej bezradności. Przywołana w Rozdziale 8.5.

[15] Seligman, M. E. P. (1975). Helplessness: On Depression, Development, and Death. W. H. Freeman. ISBN: 978-0-7167-0752-3.

Rozszerzone opracowanie łączące wyuczoną bezradność z depresją u ludzi i zachowaniami instytucjonalnymi.

[16] Shay, J. (1994). Achilles in Vietnam: Combat Trauma and the Undoing of Character. Atheneum / Simon & Schuster. ISBN: 978-0-689-12182-3.

Wprowadził pojęcie urazu moralnego. Przywołana w Rozdziale 8.4.

[17] Litz, B. T., Stein, N., Delaney, E., Lebowitz, L., Nash, W. P., Silva, C., & Maguen, S. (2009). Moral injury and moral repair in war veterans: A preliminary model and intervention strategy. Clinical Psychology Review, 29(8), 695–706. doi:10.1016/j.cpr.2009.07.003

Sformalizowała uraz moralny jako konstrukt kliniczny. Definicja cytowana w Rozdziale 8.4.

Pomiar organizacyjny

[18] Austin, R. D. (1996). Measuring and Managing Performance in Organizations. Dorset House. ISBN: 978-0-932633-36-1.

Dowiódł, że niekompletny pomiar tworzy nieuniknione zachęty do optymalizacji mierzonych wymiarów kosztem niemierzonych. Ramowanie asymetrii informacyjnej ściśle koresponduje z Rozdziałem 7. Najważniejszy poprzednik argumentacji niniejszej pracy.

[19] Muller, J. Z. (2018). The Tyranny of Metrics. Princeton University Press. ISBN: 978-0-691-17495-2.

Kompleksowe opracowanie „fiksacji na metrykach" w edukacji, ochronie zdrowia, policji i finansach. Obszerne dowody empiryczne dla wzorców teoretyzowanych w Rozdziale 7.4.

Sprawiedliwość szeregowania

[20] Coffman, E. G., Shanthikumar, J. G., & Yao, D. D. (1992). Multiclass queueing systems: Polymatroid structure and optimal scheduling control. Operations Research, 40(S2), S293–S299.

Prawa zachowania w szeregowaniu. Niezmienniczość czasu realizacji ważonego pracą (Twierdzenie 2) jest przykładem tych praw zachowania.

[21] Angel, E., Bampis, E., & Pascual, F. (2008). How good are SPT schedules for fair optimality criteria? Annals of Operations Research, 159(1), 53–64. doi:10.1007/s10479-007-0267-0

Bezpośrednio mierzy jakość harmonogramów SPT wobec kryteriów sprawiedliwości. Najbliższy poprzednik w teorii szeregowania dla analizy sprawiedliwości z Rozdziału 4.

[22] Bansal, N., & Harchol-Balter, M. (2001). Analysis of SRPT scheduling: Investigating unfairness. ACM SIGMETRICS Performance Evaluation Review, 29(1), 279–290. doi:10.1145/384268.378792

Bada przekonanie, że SRPT niesprawiedliwie karze duże zadania w szeregowaniu komputerowym. Argumentuje, że niesprawiedliwość jest mniejsza niż sądzono, ale uznaje zasadnicze napięcie.

[23] Wierman, A., & Harchol-Balter, M. (2003). Classifying scheduling policies with respect to unfairness in an M/GI/1. ACM SIGMETRICS Performance Evaluation Review, 31(1), 238–249.

Formalizuje definicje sprawiedliwości dla polityk szeregowania przez porównanie z Processor-Sharing.

Dodatkowe źródła

[24] Campbell, D. T. (1979). Assessing the impact of planned social change. Evaluation and Program Planning, 2(1), 67–90. doi:10.1016/0149-7189(79)90048-X

Prawo Campbella: „Im bardziej jakikolwiek ilościowy wskaźnik społeczny jest używany do podejmowania decyzji społecznych, tym bardziej podlega presji korupcyjnej i tym bardziej jest skłonny zniekształcać i korumpować procesy społeczne, które ma monitorować." Uzupełnia prawo Goodharta [6].

[25] Ferreira, C. M., et al. (2024). It's business: A qualitative study of moral injury in business settings. Journal of Business Ethics. doi:10.1007/s10551-024-05615-0

Rozszerza uraz moralny na miejsca pracy nastawione na zysk. Waliduje zastosowanie z Rozdziału 8.4 koncepcji Shaya/Litza poza kontekstami wojskowymi i medycznymi.

[26] Bevan, G., & Hood, C. (2006). What's measured is what matters: Targets and gaming in the English public health care system. Public Administration, 84(3), 517–538. doi:10.1111/j.1467-9299.2006.00600.x

Empirycznie dokumentuje zachowania manipulacyjne, w tym „trafienie w cel i chybienie sensu". Dostarcza dowodów z rzeczywistości dla sprzeczności priorytet–metryka z Rozdziału 5.2.

[27] Moore, C. (2012). Why employees do bad things: Moral disengagement and unethical organizational behavior. Personnel Psychology, 65(1), 1–48. doi:10.1111/j.1744-6570.2011.01237.x

Analizuje moralne odłączenie — restrukturyzację poznawczą umożliwiającą nieetyczne zachowanie. Rozdział 8 zajmuje się komplementarnym zjawiskiem: szkodą dla jednostek, które odmawiają odłączenia.

---

Niniejszy dowód został opracowany konwersacyjnie i sformalizowany 28 marca 2026 roku.