Si j'ai déjà fait ça dans ma vie, c'était dans un sujet de concours/examen que j'ai oublié.
J'arrive à faire un graphe orienté acyclique avec n noeud et n(n-1)/2 arêtes. Au dela de ce nombre, comme il y n(n-1)/2 paires de noeuds, tu vas forcément avoir au moins une arête prise dans les deux sens (et donc un cycle entre 2 noeuds).
Quand à la construction du graphe qui atteint ce maximum, elle peut me coûter O(1) (O(log(n)) en complexité binaire) dans la mesure où ce graphe est unique modulo l'ordre des sommets (et qu'on se fiche bien souvent de cet ordre).