Матричные модели на графах

Я объясню, как по вложенному графу строятся матричные модели, которые я называю «решаемыми». Решаемыми я называю модели, статсумма которых может быть записана как сумма по разбиениям. (эта терминология была предложена Казаковым и отвечает случаю, когда матричный интеграл, то есть интеграл по $\sim nN^2$ переменным превращается в интеграл или в сумму по $N$ переменным, где $n$ число матриц, а $N$ размер матриц). В таких моделях ребрам графа соответствуют случайные матрицы, а углам при вершинах графа приписываются либо постоянные, либо также случайные матрицы. Все описанные решаемые модели являются производящими функциями для чисел Гурвица. Я выделю «точно решаемые» модели, то есть модели, статсумма которых превращается в тау функцию одной из иерархий: KP, DKP или BKP.