Sia un semplice grafico su vertici senza vertici di grado . Supponiamo che per ogni due vertici di , vi sia un vertice unico adiacente ad entrambi. È un esercizio di A Course in Combinatorics , van Lint e Wilson, per dimostrare che tale grafico è regolare.
La mia domanda, tuttavia, è se esistano anche grafici che soddisfano i vincoli dati. Durante la discussione dell'esercizio originale durante una sessione di risoluzione dei problemi, qualcuno ci ha chiesto se potevamo trovare un esempio di un grafico in cui ogni coppia di vertici ha un unico vicino comune e non ci sono vertici globali. Né siamo riusciti a trovare un esempio concreto o una procedura per la costruzione, né abbiamo stabilito una prova che nessun grafico abbia queste proprietà.
Eventuali suggerimenti?
Nota: per dimostrare che un tale grafico è regolare, risulta essere abbastanza semplice, l'idea approssimativa è quella di accoppiare i vicini di ogni coppia di vertici usando i criteri unici comuni vicini per stabilire il fatto che ogni coppia di i vertici hanno lo stesso grado e quindi un argomento di transitività, con l'aiuto del vincolo no-global-vertice, ci dà che il grafico è regolare.