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: