Инварианты многокомпонентных зацеплений в ориентируемых 3-многообразиях с нетривиальной фундаментальной группой

Я собираюсь рассказать про комбинаторные формулы типа Фидлера(-Поляка-Виро) для этих инвариантов в случае многообразий вида $M^2 \times R^1$. Ответ дается в терминах перечисления графов на сфере с дырками.
Если останется время, то расскажу про общий подход (формулы включения-исключения) к вычислению гомологий дополнений до дискриминантов и прочих подобных штук.