Hippopotame (./80) :
Euh, trouver les objets à conserver, ça ne revient qu'à trouver une composante connexe d'un graphe, c'est pas irrésoluble, non?

Ben non, mais on voudrait bien un coup amorti inférieur à Omega(1) par écriture (parce que faire ne serait-ce qu'un nombre borné d'opérations après chaque écriture en mémoire, ce serait déjà rédhibitoire -- c'est aussi pour ça que le comptage de référence est rarement utilisé, il est bcp moins efficace qu'un vrai GC même s'il est plus simple à implémenter)