← Capitol

Manual · pagina 93

Exercițiul 11 · Curierii și zonele

O platformă de livrare de mâncare are într-un cartier 4 curieri disponibili, C={c1,c2,c3,c4}C = \{c_1, c_2, c_3, c_4\}, care trebuie să acopere 3 zone distincte, Z={z1,z2,z3}Z = \{z_1, z_2, z_3\}. Aplicația atribuie fiecare curier unei singure zone, prin funcția a:C→Za : C \to Z. Compania consideră că serviciul este operațional dacă în fiecare zonă există cel puțin un curier pentru a prelua comenzile.

a) Explică de ce starea operațională a serviciului este echivalentă cu surjectivitatea funcției aa.

b) Dacă aplicația folosește regula a(ci)=zka(c_i) = z_k, unde k=i (mod 3)+1k = i \,(\mathrm{mod}\ 3) + 1, verifică dacă serviciul este operațional.

a)Explică de ce starea operațională a serviciului este echivalentă cu surjectivitatea funcției aa.

Scrie definiția surjectivității pentru a:C→Za : C \to Z, cu cuvintele problemei: cine este „xx”, cine este „yy”?
  1. 1. Traducem enunțul în limbajul funcțiilor

    Domeniul lui aa este mulțimea curierilor, CC, iar codomeniul este mulțimea zonelor, ZZ. a(c)=za(c) = z înseamnă „curierul cc lucrează în zona zz”. Faptul că fiecare curier primește o singură zonă spune exact că aa este o funcție (manual, p. 56).

    Condiția „operațional” vorbește însă despre zone: fiecare zonă zz trebuie să aibă cel puțin un curier.

    Verifică-te

    Cum se scrie, cu funcția aa, „în zona zz există cel puțin un curier”?
  2. 2. Este chiar definiția surjectivității

    „Operațional” cere același lucru pentru fiecare zonă z∈Zz \in Z, deci cele două condiții coincid: serviciul este operațional ⇔\Leftrightarrow aa este surjectivă. Pe diagramă: fiecare zonă primește cel puțin o săgeată. Este situația din exercițiul rezolvat 2 (manual, p. 91), cu serverele.
    CC
    ZZ
    aa
    c1c_1
    c2c_2
    c3c_3
    c4c_4
    z1z_1
    z2z_2
    z3z_3

    O atribuire neoperațională: z3z_3 nu primește nicio săgeată, deci Im⁡a={z1,z2}≠Z\operatorname{Im} a = \{z_1, z_2\} \ne Z, iar aa nu este surjectivă.

    Verifică-te

    Poate funcția aa să fie injectivă?
Răspuns
„Operațional” înseamnă că pentru fiecare zonă z∈Zz \in Z există un curier c∈Cc \in C cu a(c)=za(c) = z. Aceasta este exact definiția surjectivității lui a:C→Za : C \to Z (Im⁡a=Z\operatorname{Im} a = Z).

b)Regula a(ci)=zka(c_i) = z_k, unde k=i (mod 3)+1k = i \,(\mathrm{mod}\ 3) + 1: este serviciul operațional?

Calculează zona fiecăruia dintre cei 4 curieri, apoi vezi dacă a rămas vreo zonă goală.
  1. 1. Ce înseamnă regula

    i (mod 3)i \,(\mathrm{mod}\ 3) este restul împărțirii lui ii la 33, ca în exemplul cu serverele din manual (p. 92). Resturile posibile sunt 00, 11, 22, deci kk este 11, 22 sau 33: regula dă mereu o zonă din ZZ.

    Pentru c1c_1: 1=0⋅3+11 = 0 \cdot 3 + 1, restul este 11, deci k=1+1=2k = 1 + 1 = 2 și a(c1)=z2a(c_1) = z_2.

    Verifică-te

    Cât este a(c3)a(c_3)?
  2. 2. Toate atribuirile

    Calculează la fel zonele lui c2c_2 (restul lui 22 la 33) și c4c_4 (restul lui 44 la 33).

    Verifică-te

    Ce zonă primește doi curieri?
    iirestul la 33kka(ci)a(c_i)
    111122z2z_2
    222233z3z_3
    330011z1z_1
    441122z2z_2
    CC
    ZZ
    aa
    c1c_1
    c2c_2
    c3c_3
    c4c_4
    z1z_1
    z2z_2
    z3z_3

    Atribuirea dată de regulă: fiecare zonă primește cel puțin o săgeată.

  3. 3. Concluzia

    Im⁡a={z2,z3,z1,z2}={z1,z2,z3}=Z\begin{aligned} \operatorname{Im} a &= \{z_2, z_3, z_1, z_2\} \\ &= \{z_1, z_2, z_3\} = Z \end{aligned}
    Fiecare zonă are cel puțin un curier, deci aa este surjectivă și, după a), serviciul este operațional. Că z2z_2 are doi curieri nu contează: surjectivitatea cere „cel puțin unul”.
Răspuns
Da. a(c1)=z2a(c_1) = z_2, a(c2)=z3a(c_2) = z_3, a(c3)=z1a(c_3) = z_1, a(c4)=z2a(c_4) = z_2, deci Im⁡a=Z\operatorname{Im} a = Z: aa este surjectivă, iar serviciul este operațional.