Iniziamo con il primo esercizio.

(a) Il procedimento è sostanzialmente corretto, ma non mi sembra che la soluzione trovata verifichi la NBC.

(b) Nel sistema trovato non è correttissimo chiamare DBC e NBC le condizioni trovate, in quanto riguardano relazioni tra i valori nei due estremi. Qui si tratta di una specie di PBC, ma anche questo non è adattissimo come nome. A parte la terminologia, che lascia il tempo che trova, qui c'è però un problema sostanziale. Il fatto che il sistema non abbia soluzioni è un sintomo, non una diagnosi. In questi casi occorre stabilire cosa accade, cioè rispondere alle domande di sempre: esiste il minimo? se sì, chi lo realizza? se no, qual è l'inf?