Графики и теории формульных зависимостей