L'insieme delle soluzioni è allora dato da
Soluzione dell'esercizio 2 (1). Se
e
allora l'insieme delle funzioni iniettive da
in ha cardinalità
. Nel nostro
caso , , quindi
(2). Se consideriamo e alora l'insieme è iniettiva e può essere messo in bigezione con l'insieme è iniettiva mediante la restrizione. Ma allora, applicando la stessaa formula del punto precedente, si ottiene che la cardinalità cercate è pari a
(3).
Dato che è iniettiva,
. D'altra parte, dato che
, possono
essere assunti tutti i tre valori . Costruiamo degli esempi:
Soluzione dell'esercizio 3 Un grafo tale che
dovrebbe avere vertici, due vertici,
chiamiamoli e ,
di grado , ossia adiacenti a tutti gli altri. Ma allora ogni vertice diverso
da e questi due deve essere adiacente almeno ad uno di loro e quindi avere grado
almeno . Ma se
esiste almeno un vertce di grado , che è
in contraddizione con quanto appena provato. Quindi un tale non può
esistere.
Per usiamo il teorema dello score:
(1). La risposta è no. Se è un grafo tale che allora e . Ma allora , quindi non può essere un albero.
(2). La risposta è no. Se è un grafo tale che allora esiste tale che , ossia ogni altro vertice è adiacente e quindi congiungibile con . Ne consegue che è connesso.
(3). Che il grafo di figura sia -connesso lo si può vedere mostrando che è ottenuto da un ciclo con successive aggiunzioni e suddivisioni di lati (cfr. figura).
Un altro modo di provare la -connessione di questo grafo è il seguente. Sia il grafo e sia il vertice di grado . Chiaramente, per ogni si ha che ha un vertice di grado (e vertici) e quindi è connesso. D'altra parte ha anche un vertice di grado e quindi ha grado in (è adiacente a tutti i suoi vertici tranne uno) e dato che ogni vertice di ha grado almeno , ogni vertice di ha grado almeno . Ma allora l'unico vertice di non adiacente a sarà adiacente almeno ad un altro vertice e quindi è un cammino tra e in . Ne consegue che tutti i vertici di sono congiungibili a e quindi anche è connesso. Questo ragionamento prova in realtà che ogni grafo tale che è -connesso.
Soluzione dell'esercizio 4 Il primo grafo non è -connesso, infatti se a questo grafo si toglie il
vertice si ottengono i due cicli disgiunti e ,
mentre il secondo grafo è hamiltoniano (e quindi quindi è -connesso) in
quanto c'è il ciclo
.
Di conseguenza il primo ed il secondo grafo non sono isomorfi.
Il secondo e il terzo grafo sono isomorfi (conseguentemente il primo e il terzo non lo sono). Un isomorfismo è dato ad esempio dalla funzione definita da: