W pytaniu sprawdzana jest znajomość warunku, jaki ma spełniać komutator określany jako mający ekspansywny rozdział ruchu. Intuicyjnie "ekspansja" oznacza, że pewna strona układu (opisywana parametrem m) jest większa od drugiej (opisywanej parametrem n), tak aby możliwe było rozdzielenie/rozproszenie ruchu na większą liczbę dostępnych zasobów.
Odpowiedź "m > n" jest poprawna, ponieważ opisuje sytuację, w której liczba zasobów po stronie ekspansji przewyższa liczbę strumieni/torów po stronie wejściowej. Taka nadmiarowość jest typowa dla własności określanych jako ekspansywne: aby "rozszerzyć" ruch, trzeba mieć do dyspozycji więcej wyjść/łączy niż wejść (w sensie liczności zasobów).
- Odpowiedź "m = n" jest błędna: brak przewagi zasobów oznacza brak ekspansji (układ jest co najwyżej "równoliczny"), więc nie spełnia idei rozdziału ekspansywnego.
- Odpowiedź "m < n" jest błędna: mniejsza liczba zasobów po stronie "m" oznacza kompresję, a nie ekspansję, co z definicji stoi w sprzeczności z założeniem ekspansywności.
- Odpowiedź "m ≤ 2n" jest błędna jako kryterium w tym pytaniu: jest to ograniczenie górne i dodatkowo nie wymusza samej ekspansji (bo dopuszcza też m < n lub m = n). Warunek ekspansywności musi jednoznacznie wskazywać przewagę m nad n.
Wskazówka egzaminacyjna: gdy w treści pojawia się "ekspansywny", najpierw ustal, który parametr oznacza stronę "powiększaną". Następnie sprawdź, czy odpowiedź wymusza relację typu "więcej niż", a nie "równo", "mniej niż" czy luźne ograniczenie, które dopuszcza przypadki nieekspansywne.
