И циклы создают не так уж много проблем, решается модификатором weak в тех случаях когда а есть у б и б есть у а, но вообще это даже архитектурно выглядит странно
вполне могу представить какой-нибудь граф, когда или все стронг на всех, или все вик на всех и сбоку массив стронгов на каждый элемент