Notons le degré de sortie minimal dans G , et par δ - ( G ) le degré de sortie minimal .
Dans une question connexe , j'ai mentionné l'extension de Ghouila-Houri du théorème de Dirac sur les cycles hamiltoniens , qui suggère que si alors G est hamiltonien.
Dans son commentaire, Saeed a commenté une extension différente qui semble plus forte, sauf qu'elle nécessite que le graphique soit fortement connecté.
La forte connectivité s'est avérée redondante pour le théorème de Ghouila-Houri environ 30 ans après sa première publication, et je me demandais si cela vaut également pour l'extension présentée par Saeed.
La question est donc:
Qui a prouvé (peut-on trouver la référence) que implique que G est hamiltonien, étant donné que G est fortement connecté?
La forte connectivité est-elle également redondante ici, c'est-à-dire que implique une forte connectivité?
(Notez que bien que le graphique doive évidemment être fortement connecté pour qu'il soit hamiltonien, je demande si cette condition est impliquée par les conditions de degré).