CC BY
28
УДК 519.17
Вестник СПбГУ. Сер. 1. Т. 2(60). 2015. Вып. 3
О ГРАФАХ КРИТИЧЕСКИХ ДЛЯ УСЛОВИЯ НА МИНИМАЛЬНУЮ РАЗМЕРНОСТЬ ОРТОНОРМАЛЬНОГО ПОМЕЧИВАНИЯ
Е. В. Просолупов
Санкт-Петербургский государственный университет,
Российская Федерация, 199034, Санкт-Петербург, Университетская наб., 7/9
Рассмотрено понятие графа, критического для условия, что число вершинной независимости равно минимальной размерности ортонормального помечивания и строго меньше наименьшего размера кликового покрытия. Найдены необходимые и достаточные условия того, что граф является критическим в указанном смысле. На основе полученных результатов улучшены достаточные условия для того, чтобы равенство числа вершинной независимости и минимальной размерности ортонормального помечивания графа влекло равенство числа вершинной независимости и минимального размера кликового покрытия. Библиогр. 16 назв. Ил. 1.
Ключевые слова: граф, критический граф, ортонормальное помечивание, ранг, минимальный ранг, симметричные матрицы, клика, независимое множество, минимальный размер клико-вого покрытия, число вершинной независимости, минимальная размерность ортонормального помечивания.
1. Введение. Рассматривается обыкновенный граф G (неориентированный, без петель и кратных ребер) с множеством вершин V(G) и множеством ребер E(G). Пусть для определенности |V(G)| = n и V(G) = {1, 2,..., n}.
Подграфом графа G, порожденным множеством вершин U С V, называется граф G[U] с множеством вершин U и множеством ребер {{v, w} : {v, w} G E(G), v, w G U}. Термин «подграф» в рамках статьи используется в смысле «порожденный подграф».
Проблема исследования минимума ранга на классах матриц, ассоциированных с графом, встречается в разных вариантах в зависимости от того, как именно задается класс матриц. Пусть Sn множество всех вещественных симметричных матриц n х n, а S+ — множество положительно полуопределенных матриц из Sn. Для любой матрицы X G Sn обозначим G(X) граф с множеством вершин {1,..., n} и множеством ребер {{i, j} : xi,j =0, 1 < i < j < n}. Для данного графа G обозначим S(G) множество всех симметричных матриц, для которых G(X) = G:
S(G) = {X G Sn : G(X) = G}.
Минимальный ранг графа G определяется как
mr(G) = min{rank X : X G S(G)}.
Проблема нахождения минимального ранга графа, в том числе над полями, отличными от поля вещественных чисел, и для классов графов, отличных от обыкновенных, является предметом постоянного интереса (см., например, [1— 4], обзоры [5] и [6], а также сайт American Institute of Mathematics (URL: <http://aimath.org/pastworkshops/matrixspectrum.html>).
Ортонормальным помечиванием графа G называется такое отображение
f : V(G) ^
что выполняется
||f(v)|| = 1, Vv G V(G),
и
^ f (u) • f (v) = 0.
Минимальную размерность d пространства для которого существует ортонор-мальное помечивание графа G, обозначают d(G).
Можно показать (см., например, [7]), что минимальная размерность ортонор-мального помечивания d(G) тоже может быть выражена в терминах минимума ранга на множестве матриц, ассоциированных с графом. Определим множество квадратных матриц с единичной диагональю A>o(G) следующим образом:
(G) = {X : X е S+, I - Ag < X < I + AG}.
Здесь Ag — матрица смежности графа G, I — единичная матрица, символ < для матриц означает поэлементное сравнение. Тогда
d(G) = min{rank X : X е A^0}. (1)
Множество вершин U С V(G) называется независимым множеством графа G, если никакие две вершины ui е U и U2 е U не смежны в G. Другими словами, независимым называется множество U, которое порождает пустой подграф. Числом вершинной независимости a(G) называется наибольшее количество вершин в независимом множестве графа G.
Кликой графа G называется полный подграф G1 графа G (т.е. любые две вершины смежны в Gi). Минимальное число клик, которые покрывают все вершины графа G, обозначают x(G). В [8] Ловас показал, что
a(G) < ß{G) < d(G) < x(G),
где $(G) —широко известная ^-функция Ловаса [8]. Эта функция имеет ряд эквивалентных определений. В частности,
ß(G) = min max
/ геУ(С) (вЬ/(¿))2'
где минимум берется по всем ортонормальным помечиваниям / графа G; в1 —орт пространства размерности, соответствующей /. При изучении комбинаторной оптимизации и аппроксимационных алгоритмов важную роль играет ^-функция [9—11].
Известно, что в интервале [а(С),х(С)] кроме функций и ¿{С}) лежат функции г^) и г+ определенные следующим образом:
г^) = шш{гапк X : X е Л^)}, (2)
где Л^) = {X : X е 5П, I - < X < I + Ас};
г+^) = ш1п{гапк X : X е Л>о^)}, (3)
где А>о^) = {X : X е Бп, I < X < I + Ас}.
Обзор результатов, связанных с функциями г и г+, можно найти в [7]. В частности, известны следующие соотношения:
а(С) <г(С) <г+(С) <х{С),
а(С) < г(С) < д,(С) < х(С).
В работе [12] доказана
Теорема 1. Для любого графа С верно, что а(С) = г+(С) влечет а(С) = х(С).
Естественно, возникает вопрос, возможно ли перенести этот результат с функции г+ на функции г и Можно сформулировать предположение, что
Предположение 1. Для любого графа С а(С) = г(С) влечет а(С) = х(С).
В [16] приводится
Лемма 1. Для каждого графа О 'равенство а(О) = г(О) влечет а(О) = ¿(С).
Согласно этой лемме все результаты для случая, когда а(О) = ¿(О), влекут аналогичные результаты для графов с а(О) = г (О), и наоборот. В дальнейшем будет использоваться только функция ¿(О). Все полученные результаты будут верны и для функции г (О). В частности, предположение 1 эквивалентно тому, что
Предположение 2. Для любого графа С а(С) = <1{С) влечет а(С) = х(С).
В [13] показано, что предположение 2 не может быть верно для всех графов, поскольку существует такой граф Г, что
а(Г) = г(Г) = ¿(Г) = 3, г+ (Г) = х(Г) = 4.
Некоторые свойства этого графа будут рассмотрены в конце данной статьи. В [14] результат был обобщен.
Теорема 2. Для любого к существует такой связный граф О, что а(О) = ¿(О) и а(С)+к <х(С).
То есть, несмотря на равенство а(С) = (¿(С), разница между а(С) и х(С) может быть сколь угодно велика.
Тем не менее, при наложении дополнительных ограничений на множество графов предположение 2 становится верным. В [13] доказана
Теорема 3. Если в графе О нет двух циклов С4 без хорд с общим ребром, то равенство а(С) = г(С) влечет а(С) = х(С).
В [16] этот результат усилен более точным описанием исключаемой структуры и расширением класса графов, для которых закономерность выполняется. Множество
исключаемых графов обозначено
и сформулирована
Теорема 4. Если у графа О не существует такого порожденного подграфа Г,
для которого бы выполнялось Г €
, то а(С) = ¿(С) влечет а(С) = х(С).
В данной статье изучен ключевой подграф, который можно обнаружить в любом графе, для которого не выполняется предположение 2. С использованием полученных свойств сформулировано утверждение, где ключевой подграф использован как исключаемый, в условиях, аналогичных теоремам 3 и 4. Таким образом, использован более узкий класс исключаемых графов и, соответственно, более широкое множество графов, для которых утверждение теоремы имеет силу.
2. а- и Х"кРитические вершины. Для получения основных результатов требуется рассмотреть некоторые свойства критических вершин графа.
Определение 1. Пусть /(О) —некоторая числовая характеристика графа О. Вершина V € V(О) называется /-критической вершиной графа О, если /(О — V) < /(О). Вершину, не являющуюся /-критической, назовем /-нейтральной.
Ниже нас будут интересовать а- и ^-критические вершины, которые при этом являются ¿-нейтральными. Очевидно, при удалении одной вершины из графа, каждая из этих характеристик может остаться неизменной или уменьшиться ровно на
единицу. Потому, например, для а-критической вершины V графа G верно, что а^ - V) = а^) - 1.
Лемма 2. 1. Вершина является а-критической для графа G тогда и только тогда, когда входит во все наибольшие независимые множества графа G.
2. Если в графе G все вершины а-критические, G является пустым графом.
Доказательство. 1. Пусть а^) = к. Если вершина V принадлежит всем независимым множествам графа G размера к, то в графе ^ — V) нет ни одного независимого множества размера к и а^ — V) < а^). То есть, V — а-критическая вершина.
С другой стороны, если вершина V не принадлежит какому-нибудь независимому множеству А = {«1,... то после удаления вершины V из графа множество А
останется в графе G и число вершинной независимости а^) не изменится. Значит, V не может быть а-критической вершиной.
2. Пусть все вершины графа G являются а-критическими. Поскольку каждая такая вершина принадлежит всем наибольшим независимым множествам графа G, они все вместе образуют единое независимое множество. Таким образом, в графе G не будет ребер.
Следствие 1. У графа G не может быть больше, чем а^) а-критических вершин.
Из леммы 2 следует, что у непустого графа все вершины не могут быть а-критическими. Можно привести пример связного графа с п вершинами, у которого п — 1 а-критическая вершина. Этот граф — звезда К„_1д.
3. Критический подграф
Определение 2. Граф G называется критическим для свойства, заданного предикатом Ресли Р— истина, но Р^ — V) —ложь для любой вершины
V е V
Лемма 3. У любого графа G, для которого выполняется Р= (а^) = <1{С) & а(С) < есть порожденный подграф Н, который является крити-
ческим для этого свойства.
Доказательство. Рассмотрим произвольный граф G, для которого верно выражение а{С}) = ¿{С}) < Не умаляя общности, можем утверждать, что граф С связен. В противном случае указанное неравенство должно выполняться для одной из компонент связности, которая и будет рассматриваться далее.
Будем удалять из графа G вершины до тех пор, пока не получим такой граф Н, что а(Н) = ¿(Н) < х(Н) и для любой вершины V £ У(Н) для графа Н — V аналогичное выражение не выполняется.
Полученный граф Н и является искомым критическим графом.
Лемма 4. Если граф Н является критическим для свойства Р= (а(С) = ¿(С) & а{С) < х(С)), то
1) любая вершина графа Н является ¿-нейтральной и при этом х~ или а-критической;
2) в графе Н обязательно найдется х~критическая вершина;
3) а{Н) = ад = х{Н) - 1;
4) а(Н) > 3;
5) граф Н связен.
Доказательство. 1. Так как Н — граф критический для Р, для любой вершины
V е V(Н) ложным является условие Р(Н — V). То есть, для Vv е V(Н) верно хотя бы одно из двух свойств:
а) а(Я — V) < ¿(Я — V);
б) а(Н -V) =х{Н -V).
Поскольку
а(Я) — 1 < а(Я — V) < ¿(Я — V) < а(Я),
х(н)-1<х(н->»)<х(н),
для Vv € V(Я) верно
а) либо V является а-критической и ¿-нейтральной:
а(Я — V) = а(Я) — 1 и ¿(Я — V) = ¿(Я);
(4)
б) либо а- и (¿-нейтральной и х-критической:
а(Н -у)= д,{Н -У) = а(Н), х(Н - У) = х(Н) - 1,
(5)
и при этом
а(Н-у)=х(Н-у).
(6)
В любом случае значение функции й при удалении вершины V из графа Я не меняется: ¿(Я — V) = ¿(Я).
2. Из леммы 2 следует, что все вершины графа Я не могут быть а-критическими. Следовательно, в графе Я существуют вершины, для которых выполняется свойство
3. Поскольку такая вершина существует, из уравнений (5) и (6), в частности, следует, что для графа Я обязательно выполняется равенство
4. Если а(Н) = ¿(Н) = 2, то из статьи [7] известно, что х(Н) = 2. Следовательно, а(Я) > 3.
5. Предположим, что граф Г несвязен и Р(Г) —истина. Тогда хотя бы для одной из его компонент связности выполняется условие Р. Действительно, принимая во внимание то, что для любого графа С выполняется а(С) < ¿{С}) < х(С?), и то, что значение каждой из этих функций для графа является суммой соответствующих значений для его компонент связности, получим
Отсюда с учетом доказанного выше равенства (7) следует а(Г3) = (1(Г3) < х(-Рз) Для одной из компонент связности графа -Р и ск(^) = (¿(-Р®) = х№) Для всех остальных.
Рассмотрим произвольную компоненту связности Г графа Г, для которой выполняется а(^) = (¿(-Р®) = х№)- Никакая вершина ^ не может быть х-критической и (¿-нейтральной, поскольку (¿(С) < х(С).
С другой стороны, по лемме 2 каждая вершина Г может быть а-критической, только если Г состоит из одной вершины. Но в таком случае эта вершина будет а-, (¿- и х-критической одновременно.
Таким образом, согласно пункту 1 граф Г не может быть критическим для свойства Р.
Лемма 5. Если для графа Я выполняются свойства
(5)-(6).
а(Я)=х(Я)-1.
(7)
1) любая вершина графа Н является ¿-нейтральной и при этом х~ или а~ критической:
2) а(Н) = ¿(Н) = х(Н) -I,
то он является критическим для свойства Р{С) = (а(С) = ¿{С) & а(С) < х(С?)).
Доказательство. Действительно, из пункта 2 условий следует, что Р(Н) — истина. При удалении же любой вершины V мы получим один из двух случаев:
а) вершина V является ¿-нейтральной и а-критической; тогда а(Н — V) < ¿(Н—V);
б) вершина V является (¿-нейтральной и х-критической; тогда ¿{Н — у) = х(Н — у). В любом случае условие Р не будет выполняться для графа Н—V. Следовательно,
Н является критическим графом для условия Р.
Теорема 5. Граф Н является критическим для свойства (а^) = ¿^)&а^) < Х^)) тогда и только тогда, когда выполняются два свойства:
1) любая вершина графа Н является ¿-нейтральной и при этом х~ или а-критической;
2) а(Н) = ¿(Н) =х(Н) - 1.
Доказательство. Истинность утверждения непосредственно следует из лемм 4
и 5.
Теорема 6. Если у графа G нет порожденного подграфа Н, для которого бы выполнялись свойства
1) любая вершина графа Н является ¿-нейтральной и при этом х~ или а-критической;
2) а(Н) = ¿(Н) = х(Я) - 1,
то равенство а(С) = ¿{С) влечет а(С) = х(С).
Доказательство. Для произвольного графа G равенство а^) = влечет а(С) = х(С) тогда и только тогда, когда не выполняется свойство Р(&) = (а(С) = ¿{С) & а{С) < х{С)).
Согласно теореме 5, если у графа G нет подграфа Н, обладающего свойствами 1 и 2, то у G нет подграфа, критического для Р, а из этого по лемме 3 следует, что и для самого G условие Р не выполняется. Что и требовалось доказать.
Можно заметить, что теорема 6 является усилением теоремы 4 из [16], поскольку сужается класс исключаемых графов.
4. Пример критического графа Г. Ниже рассмотрены некоторые свойства наименьшего известного на данный момент графа, для которого выполняется а(Г) = ¿(V) < х(Г) [14]. Этот граф изображен на рисунке. Известно, что
а(Г) = ¿(Г) = 3 и хСП = 4. (8)
Лемма 6. Для любой вершины V графа Г верно, что
1) V является а- и ¿-нейтральной;
2) V является х~кРитической.
Доказательство. Утверждение легко доказывается непосредственной проверкой.
1. Всего у графа Г четыре наибольших независимых множества: {е1,в2,ез}, {е1, 01,61}, {е2, 02,62}, {ез,сз,6з}, то есть ни одна вершина не лежит во всех наибольших независимых множествах, а значит не является а-критической. Поскольку а(Г) = ¿(Г) и а^) < ¿^) для любых G, ни одна вершина не может быть и ¿-критической.
2. Кликовое покрытие размера 3 графа Г после удаления вершины а порождается подмножествами {61,02,^2,03}, {62,03,^3,01}, {63,01,^1,02} (см. рисунок):
для графа (Г — 61) —подмножествами {а, 01, 03, 02}, {62, ¿1, ¿3, 03}, {63, 02, ¿2, 01}; для графа (Г — 01) — подмножествами {а, 02, 03, 01}, {61, 62, ¿3, 03}, {63, ¿1, ¿2, 02}; для графа (Г — ¿1) — подмножествами {а, 01, 02, 03}, {61, 63, ¿2, 02}, {62, 03, ¿3, 01}; для графа (Г — 01) — подмножествами {а, 01, 02, 03}, {61, 62, ¿3, 03}, {63, ¿1, ¿2, 02}; и т. д.
Из леммы 6 и равенств (8) по теореме 5 следует, что граф Г является критическим для свойства Р(С) = (а(С) = ¿(С) & а(С) < х(С)). При этом вполне разумно предположить, что он является наименьшим критическим графом для этого свойства. В пользу этого предположения говорит то, что а(Г) = 3, что является наименьшим значением числа вершинной независимости по лемме 4, а также следующая лемма.
Лемма 7. У графа Г нет порожденного подграфа О (не считая самого Г), для которого бы выполнялось а(С) = ¿(С) < х(С).
Доказательство. Поскольку любая вершина Г является х-кРитической, для любого его подграфа С ф Г верно х{С) < 3. Значит, если предположить, что а(С) = с1(С) и а(С) < х(С), получим а(С) < 2. Но, согласно лемме 4, у наименьшего графа со свойством (а(С) = с1(С) & а(С) < х(С)) должно быть а(С) > 3.
Теперь можно привести пример, показывающий, что результат леммы 3 нельзя обратить; то есть, наличие у графа О подграфа, критического для свойства Р(Я) = (■а(Н) = с1(Н) & а(Н) < х{Н)) не влечет выполнение данного свойства для самого графа О.
Легко построить пример. Добавим к графу Г новую вершину x, связанную ребром только с одной вершиной, например а. Полученный граф назовем G. Тогда a(G) = 4, так как {ei, в2, ез, ж} —независимое множество, и х(С) = 4, так как Г — а покрывается 3 кликами, а пара {a, x} соединена ребром (то есть покрывается кликой K2).
Таким образом, видно, что у графа G есть критический подграф Г, но при этом a(G) = d(G) =x(G).
Из приведенного примера следует, что и условия теоремы 6 нельзя обратить и, несмотря на усиление по сравнению с результатом из [16], все еще исключаются лишние графы. Тем не менее, представляется маловероятным, что условия теоремы 6 удастся еще усилить, так как каждый исключаемый по условиям этой теоремы граф гарантировано содержит подграф, для которого утверждение теоремы не выполняется. Значит, в терминах исключаемых подструктур формулировка теоремы представляет самые жесткие условия.
5. Результаты. В работе рассмотрены графы, критические для условия (a(G) = (¿(G)&a(G) < x(G)). В теореме 5 доказаны необходимые и достаточные условия того, что граф является критическим в указанном смысле.
На основе доказанного критерия в качестве исключаемой структуры сформулирована теорема 6, в которой усилен известный ранее результат теоремы 3 (см. [13]) и теоремы 4 (см. [16]). Также в работе приведен пример графа, критического для условия (a(G) = d(G) & a(G) < x(G)), и рассмотрены некоторые его свойства.
Литература
1. AIM Minimum Rank — Special Graphs Work Group: Barioli F., Barrett W., Butler S., Cioaba S. M., Cvetkovid D., Fallat S. M., Godsil C., Haemers W., Hogben L., Mikkelson R., Narayan S., Pryporova O., Sciriha I., So W., Stevanovic D., van der Holst H., Meulen K. V., Wehe A. W. Zero forcing sets and the minimum rank of graphs // Linear Algebra Appl. 2008. Vol. 428. P. 1628—1648.
2. Berman A., Friedland S., Hogben L., Rothblum U. G., Shader B. Minimum Rank of Matrices Described by a Graph or Pattern over the Rational, Real and Complex Numbers // Electron. J. Combinat. 2008. Vol. 15, R25. 19 p.
3. Liang-Hao Huang, Gerard J. Chang, Hong-Gwa Yeh. On minimum rank and zero forcing sets of a graph // Linear Algebra Appl. 2010. Vol. 432. P. 2961-2973.
4. Liang-Hao Huang, Gerard J. Chang, Hong-Gwa Yeh. A note on universally optimal matrices and field independence of the minimum rank of a graph // Linear Algebra Appl. 2010. Vol. 433. P. 585-594.
5. Fallat S. M., Hogben L. The minimum rank of symmetric matrices described by a graph: a survey // Linear Algebra Appl. 2007. Vol. 426. P. 558-582.
6. Hogben L. Minimum rank problems // Linear Algebra Appl. 2010. Vol. 432. P. 1961-1974.
7. Добрынин В. Ю. О классификации графов, основанной на минимальном ранге матрицы, ассоциированной с графом // Вестн. С.-Петерб. ун-та. Сер. 10: Прикладная математика, информатика, процессы управления. 2004. Вып. 3. С. 30-38.
8. Lovdsz L. On the Shannon capacity of graphs // IEEE Trans. Inform. Theory. 1979. Vol. 25. P. 1-7.
9. Jethava V., Martinsson A., Bhattacharyya C., Dubhashi D. P. The Lovasz i9 function, SVMs and finding large dense subgraphs // Advances in Neural Information Processing Systems. 2012. Vol. 25. P. 1169-1177.
10. Duan R., Severini S., Winter A. Zero-Error Communication via Quantum Channels, Noncommutative Graphs, and a Quantum Lovasz Number // IEEE Trans. Inform. Theory. 2013. Vol. 59. P. 1164-1174.
11. Goemans M.X. Semidefinite programming in combinatorial optimization // Math. Program. 1997. Vol. 79. P. 143-161.
12. Dobrynin V. Yu. On the function "sandwiched" between a(G) and x(G) // Electron. J. Combinat. 1997. Vol. 4, R19. 3 p.
13. Dobrynin V., Pliskin M., Prosolupov E. On the functions with values from [a(G),x(G)] // Electron. J. Combinat. 2004. Vol. 11, N5. 5 p.
14. Просолупов Е. В. О разрыве между минимальной размерностью ортонормального поме-чивания и размером наименьшего кликового покрытия графа // Вестн. С.-Петерб. ун-та. Сер. 1: Математика, механика, астрономия. 2004. Вып. 4. С. 51—57.
15. Dobrynin V. On the rank of a matirx associated with graph // Discrete Mathematics. 2004. Vol. 276, 1-3. P. 169-175.
16. Просолупов Е. В. О достаточных условиях равенства числа вершинной независимости и минимального размера кликового покрытия для одного класса графов // Вестн. С.-Петерб. ун-та. Сер. 10: Прикладная математика, информатика, процессы управления. 2014. Вып. 1. С. 90-103.
Статья поступила в редакцию 26 марта 2015 г. Сведения об авторе
Просолупов Евгений Викторович — кандидат физико-математических наук, доцент; [email protected]
ABOUT GRAPHS CRITICAL FOR THE CONDITION FOR THE SMALLEST DIMENSION OF ORTHONORMAL LABELING
Evgenii V. Prosolupov
St.Petersburg State University, Universitetskaya nab., 7/9, St.Petersburg, 199034, Russian Federation; [email protected]
The concept of graph critical for condition that independence number is equal to smallest dimension of orthonormal labeling and strictly less then clique cover number was considered. Necessary and sufficient conditions for graph to be critical in this sense were found. Based on the results sufficient condition for equality of the independence number and the smallest dimension of orthonormal labeling of graph to imply equality of the independence number and the clique cover number was improved. Refs 16. Figs 1.
Keywords: graph, critical graph, orthonormal labeling, rank, minimal rank, symmetric matrices, clique, independent set, clique cover number, independence number, smallest dimension of orthonormal labeling.
References
1. AIM Minimum Rank — Special Graphs Work Group: Barioli F., Barrett W., Butler S., Cioaba S. M., Cvetkovic D., Fallat S. M., Godsil C., Haemers W., Hogben L., Mikkelson R., Narayan S., Pryporova O., Sciriha I., So W., Stevanovic D., van der Holst H., Meulen K. V., Wehe A. W., "Zero forcing sets and the minimum rank of graphs", Linear Algebra Appl. 428, 1628-1648 (2008).
2. Berman A., Friedland S., Hogben L., Rothblum U. G., Shader B., "Minimum Rank of Matrices Described by a Graph or Pattern over the Rational, Real and Complex Numbers", Electron. J. Combinat. 15(R25). 19 p. (2008)
3. Liang-Hao Huang, Gerard J. Chang, Hong-Gwa Yeh., "On minimum rank and zero forcing sets of a graph", Linear Algebra Appl. 432, 2961-2973 (2010).
4. Liang-Hao Huang, Gerard J. Chang, Hong-Gwa Yeh., "A note on universally optimal matrices and field independence of the minimum rank of a graph", Linear Algebra Appl. 433, 585-594 (2010).
5. Fallat S. M., Hogben L., "The minimum rank of symmetric matrices described by a graph: a survey", Linear Algebra Appl. 426, 558-582 (2007).
6. Hogben L., "Minimum rank problems", Linear Algebra Appl. 432, 1961-1974 (2010).
7. Dobrynin V. Ju., "On graph classification based on a minimum rank of a matrix associated with a graph", Vestn. S.-Peterb. un-ta, ser. 10: Prikladnaja matematika, informatika, processy upravlenija Issue 3, 30-38 (2004).
8. Lovasz L., "On the Shannon capacity of graphs", IEEE Trans. Inform. Theory 25, 1-7 (1979).
9. Jethava V., Martinsson A., Bhattacharyya C., Dubhashi D. P., "The Lovasz i9 function, SVMs and finding large dense subgraphs", Advances in Neural Information Processing Systems 25, 1169-1177 (2012).
10. Duan R., Severini S., Winter A., "Zero-Error Communication via Quantum Channels, Noncommutative Graphs, and a Quantum Lovasz Number", IEEE Trans. Inform. Theory. 59, 1164—1174 (2013).
11. Goemans M. X., "Semidefinite programming in combinatorial optimization", Math. Program. 79, 143-161 (1997).
12. Dobrynin V. Yu., "On the function "sandwiched"between a(G) and x(G)", Electron. J. Combinat. 4(R19), 3 p. (1997).
13. Dobrynin V., Pliskin M., Prosolupov E., "On the functions with values from \a(G), x(G)]" Electron. J. Combinat. 11(5), 5 p. (2004).
14. Prosolupov E. V., "About the gap between the minimal dimension of the orthonormal labeling and size of smallest clique covering of a graph", Vestn. S.-Peterb. un-ta, ser. 1: Mathematics, Issue 4, 51-57 (2004).
15. Dobrynin V., "On the rank of a matirx associated with graph", Discrete Mathematics. 276(1-3), 169-175 (2004).
16. Prosolupov E. V., "On sufficient conditions for equality of the independence number and the clique cover number for a class of graphs", Vestn. S.-Peterb. un-ta,, ser. 10: Prikladnaja matematika, informatika, processy upravlenija Issue 1, 90-103 (2014).
