Научная статья на тему 'Консенсус в социальной сети со сложными узлами'

Консенсус в социальной сети со сложными узлами Текст научной статьи по специальности «Математика»

CC BY
137
53
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
СЕТЕВАЯ СТРУКТУРА / ДИНАМИКА МНЕНИЙ / СЛОЖНЫЙ УЗЕЛ / КОНСЕНСУС / ИНФОРМАЦИОННОЕ УПРАВЛЕНИЕ

Аннотация научной статьи по математике, автор научной работы — Федянин Денис Николаевич, Чхартишвили Александр Гедеванович

Рассмотрена динамика мнений в сетевых структурах специального вида: каждый узел состоит из двух взаимодействующих между собой агентов. При помощи модели де Гроота исследованы свойства консенсуса, возникающего в таких структурах.

i Надоели баннеры? Вы всегда можете отключить рекламу.

Похожие темы научных работ по математике , автор научной работы — Федянин Денис Николаевич, Чхартишвили Александр Гедеванович

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Текст научной работы на тему «Консенсус в социальной сети со сложными узлами»

УДК 519.8 ББК 22.1

КОНСЕНСУС В СОЦИАЛЬНОЙ СЕТИ СО СЛОЖНЫМИ УЗЛАМИ

1 2 Федянин Д. Н. , Чхартишвили А. Г.

(ФГБУН Институт проблем управления

им. В.А. Трапезникова РАН, Москва)

Рассмотрена динамика мнений в сетевых структурах специального вида: каждый узел состоит из двух взаимодействующих между собой агентов. При помощи модели де Гроота исследованы свойства консенсуса, возникающего в таких структурах.

Ключевые слова: сетевая структура, динамика мнений, сложный узел, консенсус, информационное управление.

1. Введение

В последние десятилетия значительно возрос интерес к изучению сетевых структур, в частности - социальных сетей [1-5, 7-12]. Во многом это обусловлено бурным развитием онлайновых социальных сетей (Facebook, Twitter, ВКонакте и др.) и осознанием их влияния на социально-экономическую и политическую жизнь общества.

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

1 Денис Николаевич Федянин, младший научный сотрудник (dfedyanin @inbox. га).

2 Александр Гедеванович Чхартишвили, доктор физико-математических наук, главный научный сотрудник ([email protected]).

ющих динамику мнений в социальных сетях, была модель, часто называемая моделью де Гроота (см. [3, 4, 7, 10, 12] и др.). В этой модели каждый участник (узел) социальной сети характеризуется своим мнением, которое выражено вещественным числом и на каждом шаге дискретного времени меняется по линейному закону (подробнее см. ниже). Оказалось, что динамика мнений при этом описывается дискретным марковским процессом (см., например, [3]) , что позволяет получать аналитические результаты относительно итоговых (за бесконечное время) мнений (см. [1-5, 10-12] и др.). Особенно интересным является случай, когда все участники социальной сети приходят к консенсусу [2, 3, 7], т.е. итоговое мнение оказывается одинаковым у всех участников сети. При этом возникает ряд вопросов, связанных с «вкладом» различных узлов в формирование итогового общего мнения.

В данной работе рассматривается особый случай социальной сети, когда каждый ее узел является сложным - состоит из двух агентов, внешнего и внутреннего, взаимодействующих между собой. При этом информационное взаимодействие узла с остальной сетью осуществляется при помощи внешнего агента, а внутренний агент непосредственно взаимодействует только с внешним. Такая структура сети может интерпретироваться следующим образом: у каждого из взаимодействующих в сети внешних агентов имеется свой индивидуальный советник (друг или консультант), с которым он осуществляет информационное взаимодействие.

Далее в разделе 2 приводится описание известных результатов по консенсусу в социальной сети. В разделе 3 рассмотрена модель со сложными узлами и найдено общее финальное мнение агентов (консенсус). В разделе 4 рассмотрена сеть с двумя сложных узлами, для которой параметры консенсуса могут быть явно выражены через параметры непосредственного взаимного влияния агентов.

2. Модель динамики мнений и консенсус

Будем описывать агентов, входящих в сетевую структуру (для краткости будем также называть ее сетью), множеством N = {1, 2, ..., п}. Агенты в сети влияют друг на друга, и степень влияния задается матрицей прямого влияния А размерности п х п, где а7у > 0 обозначает степень доверия 7-го агента у-му агенту. Здесь и далее мы будем говорить как о влиянии, так и о доверии, и считать, что эти два понятия являются противоположными в следующем смысле: выражение «степень доверия 7-го агента у-му равна а7у » тождественно по смыслу выражению «степень влиянияу-го агента на 7-го равна а7у ».

Будем считать выполненным условие нормировки:

V/ е N 2 а] = 1,

т.е. предположим, что «суммарное доверие» агента равно единице. Это условие означает, что матрица А является стохастической по строкам. Отметим, что агент может доверять и самому себе, чему соответствует а77 > 0.

Пусть у каждого агента в некий начальный момент времени имеется информированность (мнение) по некоторому вопросу. Мнение 7-го агента отражает вещественное число х0, 7 е N мнение всех агентов сети отражает вектор-столбец мнений х° размерности п. В соответствии с моделью де Гроота агенты в сети взаимодействуют, обмениваясь мнениями. Этот обмен приводит к тому, что мнение каждого агента меняется в соответствии с мнениями агентов, которым данный агент доверяет. Это изменение будем считать линейным, т.е. положим, что мнение агента в следующий момент времени является взвешенной суммой мнений агентов, которым он доверяет (весами являются степени доверия а7])\

х/ = 2 а]Х], г е N.

jеN

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

хш = lim хТ.

Предел

W = lim (А)Т

существует при довольно слабых условиях (подробнее см., например, [1-3]), которые далее будем считать выполненными, и называется матрицей результирующего влияния. Используя этот предел можно записать соотношение

хш = Wx0,

где x0 - вектор начальных мнений; W - матрица результирующего влияния; x - вектор итоговых мнений.

Если при этом все компоненты вектора итоговых мнений совпадают (для любого вектора начальных мнений), то имеет место консенсус. При этом (см. [6]) все строки матрицы W совпадают и элементы этой строки w = (wb ..., w„) являются единственным решением системы соотношений (1) wA = w, ^ wi = 1.

ieN

Как уже было сказано, динамика мнений в рассматриваемой модели описывается дискретным марковским процессом, где агенту соответствует состояние марковской цепи, а степени доверия - вероятность перехода из одного состояния в другое. Достаточное условие достижения консенсуса (и положительности чисел wi для всех i е N) при любых начальных мнениях можно сформулировать в терминах марковских цепей следующим образом: все состояния образуют неразложимый апериодический класс [6]. Далее будем считать это условие выполненным.

Компоненты вектора w характеризуют вес, с которым в общее итоговое мнение входит начальное мнение того или иного агента. Поэтому будем называть его вектором результирующих влиятельностей агентов.

3. Консенсус в сети со сложными узлами

Модифицируем рассмотренную выше модель сети. Будем считать, что каждый из узлов множества N = {1, 2, ..., п} является сложным, т.е. состоит из двух агентов, внешнего и внутреннего, взаимодействующих между собой. Информационное взаимодействие узла с другими узлами сети осуществляется при помощи внешнего агента, а внутренний агент непосредственно взаимодействует только с соответствующим внешним агентом.

Для описания степени взаимного доверия агентов в этой сети введем следующие обозначения:

• 4 - доверие внутреннего агента к внешнему в к-м узле;

• 1 - Зк - доверие внутреннего агента в к-м узле к себе;

• ек - доверие внешнего агента к внутреннему в к-м узле;

• ау(1 - £,) - доверие внешнего агента 7-го узла к внешнему агенту у-го узла.

Поскольку внутренние агенты разных узлов не связаны друг с другом, доверие внутреннего агента 7-го узла к внутреннему агентуу-го узла, у Ф 7, равно 0.

Для всех к е N будем считать выполнеными соотношения 0 < 4 < 1 и 0 < £к < 1.

Внешнего агента 7-го узла будем обозначать 7, а внутреннего агента этого же узла - (7 + п). Тогда информационное взаимодействие в этой сети можно описать матрицей прямого влияния следующего вида:

а„(1 -£1) ... аи (1 -£1) £1 ... О

5 ат(1 -£п)

[_ О ... 5 О ... 1

Будем считать, что для исходной матрицы А в сети достигается консенсус, в котором вектор результирующих влияний описывается системой соотношений (1). Для вектора результирующих влияний справедливо следующее утверждение.

апп(1 -£п) 0 ... £п

О 1 -5 ... О

Утверждение 1. Для матрицы А достигается консенсус, в котором вектор результирующих влияний имеет следующий вид:

* 1

щ = —

Л

(

Щ

Ж,.

Щ £

п п

\

V1 -£

'1 — £п '¿1 (1 -£ У'^п (1 — £п )

где введено обозначение

(2) Л =

^ 5г (1 — £ )

Доказательство. Легко видеть, что при добавлении к сети внутренних агентов (с каждым из которых связана петля, поскольку 1 - ёк > 0 - внутренний агент в некоторой степени доверяет сам себе) свойства неразложимости и апериодичности сохраняются. Поэтому достаточно проверить выполнение соотношений

(3) ЖА = Ж, £ wi = 1.

ге{1,..,2п}

Для проверки второго из соотношений (3) достаточно сравнить сумму 7-й и (7 + п)-й компонент вектора Ж с равенством (2).

Проверим первое из соотношений (3). Обозначим г = ЖА и проверим выполнение равенства г. = Щ отдельно для случаев

1 <у < п и п + 1 <у < 2п. Пусть 1 <у< п. Тогда ^ 1 ^ Ж 1 ^ 1 Л £11

г=1

1

Л

(

п ж }£}

— £ Л

1 — £)+

£

г=1

Ща,1 +■ 1 — £,

1 У

Щ.

, 1 — £

V 1У

1 Щ,

--— = Ж,.

Л 1 — £ 1

Пусть теперь п + 1 < у < 2п. Тогда

¿П 1 Щ 1 Щ- £

г. = V Щ а, = £ + --(1 - я ) =

3 V 1 4 Л1 -£. 3 Л 5 (1 )( 3-п)

1 -1 3-п 3-п\ 3-п)

Щ ■

3-п —-£

3-п

Л 1 -£-п

1-5

1 +-^

5-п У

Щ ■ £

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

}-п 3-п ^

~ = Щ} •

Л 5 (1 -£. )

3-п V. 3-п)

Утверждение 1 доказано. ■

Определим вектор результирующих влиятельностей узлов в сложной сети Щ как вектор, элементы которого равны сумме результирующих влиятельностей внутреннего и внешнего агентов соответствующего узла, т.е. Щ = ЩЩ + , 1 е N. Тогда

Щ (51 +£1)

(4)

5 (1 -£)

Щ

(53+£3)

^ 5(1 -£)

Покажем, что если все узлы являются идентичными в смысле взаимосвязи внешнего и внутреннего агентов, то влиятельность узла равна влиятельности соответствующего агента в сети с п агентами.

Утверждение 2. Пусть доверие между внутренними агентами и внешними во всех узлах не различается, т.е. 5 = 5, £ = £ для всех /. Тогда результирующая влиятельность каждого узла в такой сети, состоящей из сложных узлов, будет равна его результирующей влиятельности в такой же сети, но состоящей только из простых узлов, т.е. Щ = щ .

Доказательство. Достаточно подставить в (4) для всех узлов одни и те же значения 5 = 5, £ = £:

Щ (51 +£1) Щ (5 + £)

Щ = 5(1 -£) = 5(1 -£) = = Щ ■

1 V Щ, ( 5 + £) у Щ( 5 + £ ) V Щ 1

Ъ 5(1 -£) Ъ 5(1 -£) ^

Следующие два утверждения дают ответ на вопрос о том, как зависит результирующая влиятельность узла от параметров взаимного влияния внешнего и внутреннего агентов, составляющих этот узел.

Утверждение 3. Результирующая влиятельность /-го узла монотонно возрастает при увеличении доверия внешнего агента к внутреннему агенту того же узла.

Доказательство. Найдем частную производную

ч (з) ¥у

^ I 3г (1 ) Д.

Ч (3У +81 ) Ч (3г )

3 (1 ^ ) 3 (1 ^ )

Л

У

Из того, что

£ w, (Л+S,)

jzN\{i) S, (l -Sj )

^ (Л+Sj )v

> 0

jeN

и

ÖS

Л (1 -S)

wi Л +S) Л (1 -Si)

л

щ 1 + S

> 0,

4 (1 -*< )2

следует истинность утверждения 3. ■

Утверждение 4. Результирующая влиятельность узла монотонно убывает при увеличении доверия внутреннего агента к внешнему агенту того же узла.

Доказательство. Достаточно заметить, что соответствующая частная производная строго отрицательна при Wi > 0:

д _

-w =--

ÖS (

i S

1

у, Л+Sj Р2 Л

Ä S, (1 -Sj)

w.

< 0,

где

w.

Cs =-

S 1 -S

J

(S +Sj )

^ Ä . Л Ч

j jen\{i} Sj (1 -Sj )

> 0.

Из выражения (4) нетрудно видеть, что при убывании S до нуля влиятельность w возрастает до максимально возможного значения:

lim w = 1.

S ^0

Содержательно это означает, что если внутренний агент узла лишь в малой степени доверяет внешнему агенту, то данный узел обладает высокой влиятельностью.

4. Случай двух узлов

В данном разделе рассмотрим случай двух сложных узлов. В этом случае ситуация полностью описывается всего шестью независимыми величинами: а12, £1, 51, а21, £2, 52, а матрица прямого влияния сети агентов принимает следующий вид:

А =

а11(1 -£1) а12(1 -£1) а21(1 £2) а22(1 £2)

0

0

1 -5 0

0

1-5

Будем считать, что 0 < а11, а22 < 1, - это обеспечивает выполнение условий утверждения 1 (напомним, что матрица является стохастической - сумма элементов в каждой строке равна 1). Нетрудно убедиться (см. [6, с. 144]), что для матрицы

А =

а

а,

12

22.

вектор w имеет следующий вид:

(

щ =

1 - а,,.

1 - а

V 1 - ап +1 - а22 1 - ап +1 - а22 у Тогда из утверждения 1 следует, что

V а12 + а21 а12 + а21 у

1 -£/1 £2 ' 51 (1 -£1 ) ' 52 (1 £2 )у

Щ а21 (51 +£1 ) | а12 (52 +£2 ) ' 51 (1-£1 ) 52 (1-£2 ) а для суммарных влиятельностей узлов справедливы следующие выражения:

- _а21 (51 +£1 )52 (1 £2 )_

"Щ —-,

а 21 (51 +£1 )52 (1 £2 ) + а 12 (52 +£2 )51 (1 -£1 )

- _а12 (52 +£2 )51 (1 -£1 )_

Щ 2 —-•

а21 (51 +£1 )52 (1 £2 ) + а 12 (52 +£2 )51 (1 -£1 )

а

а

а, а

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

а21£1

Влиятельность каждого узла зависит от всех шести параметров задачи, однако сила зависимости является различной в разных ситуациях. Характеристикой силы локальной (при небольших изменениях параметров) зависимости будем считать частную производную по соответствующему параметру.

Среди параметров, характеризующих узел, можно выделить «внутренние» параметры 5 и «внешние» параметры ау (параметры е, являются смешанными, поскольку характеризуют как взаимное влияние узлов, так и влияние внутри соответствующих узлов). Оказывается, что при некоторых условиях влиятельность узла сильнее зависит от «внутреннего» параметра.

Утверждение 5. При условии (51 + £"х)51 < а12£1 выполняет-

ся неравенство

д _ д _

-w1 < -w1

да12 д5

Доказательство. Найдем соответствующие частные производные: д _

а21 (51 + 81) (52 + ) 5152 (1 " 81 )(! " £2 )

да

12

д _ -w1

д5

(а21 (51 + ) 52 (1 " £2 ) + а 12 (52 +52 ) 51 (1 " )) а21е1а12 (52 +е2 )(1 ~ ) 52 (1 ~ £2 ) («21 (51 + ) 52 (! " £2 ) + «12 (52 + £2 ) 51 (! " ))2

Далее, введем обозначение

С =

а21 (52 + £2 )(1 )52 (1 ~£2 )

(а21 (51 + ) 52 (1 - £2 ) + а 12 (52 + £2 ) 51 (1 - ))

>0,

тогда

да,,

= (51 +£1 )5С;

д _

-w1

д5

а1251С '

Если (51 + б1)51 < а12£1, то

д _

да

12

<

д _

-w1

д5

что доказывает утверждение. ■

д

Предположим, что некий управляющий орган может воздействовать на один из параметров (по своему выбору) первого узла а12 и 3\, стремясь изменить его влиятельность. Тогда, в соответствии с утверждением 5, в некоторых случаях выгоднее воздействовать на внутренний параметр.

5. Заключение

Для исследования консенсуса в сетевых структурах, где каждый узел состоит из двух взаимодействующих между собой агентов, была использована модель де Гроота. Получено в явном виде выражение, характеризующее зависимость итогового мнения агентов от их начальных мнений при условии достижимости консенсуса (без ограничений на количество агентов или структуру взаимодействия между узлами). Была показана монотонность зависимости влиятельности узла от изменения доверия между внутренним и внешним агентом одного узла. Для случая двух узлов было показано, при каких условиях внутренний параметр узла является более важным для его влиятельности, чем внешний.

Перспективным является изучение случаев взаимодействия узлов с более сложной внутренней структурой, а также более сложных моделей изменения мнений агентами.

Литература

\. АГАЕВ Р.П., ЧЕБОТАРЕВ П.Ю. Сходимость и устойчивость в задачах согласования характеристик (обзор базовых результатов) // Управление большими системами. -20\0. - Вып. 30. - №1. - С. 470-505. 2. АГАЕВ Р.П., ЧЕБОТАРЕВ П.Ю. Метод проекции в задаче о консенсусе и регуляризованный предел степеней стохастической матрицы // Автоматика и телемеханика. -20\\. - №12. - С. 38-59.

3. ГУБАНОВ ДА., НОВИКОВ ДА., ЧХАРТИШВИЛИ А.Г.

Социальные сети: модели информационного влияния, управления и противоборства. - М.: Изд-во физ.-мат. литры, 2010. - 228 с.

4. ЗУЕВ А.С., ФЕДЯНИН Д.Н. Модели управления мнениями агентов в социальных сетях // Проблемы управления. -2011. - №1. - С. 37-45.

5. ФЕДЯНИН Д.Н., ЧХАРТИШВИЛИ А.Г. Модель информационного управления в активных сетевых структурах при неполной информированности центра // Проблемы управления. - 2012. - №6. -С. 13-18.

6. ШИРЯЕВ АН. Вероятность. В 2-х кн. - М.: МЦНМО, 2004. - 928 с.

7. BERGER R.L. A necessary and sufficient condition for reaching a consensus using DeGroot's method // J. Amer. Statist. Assoc. - 1981. - Vol. 76. - P. 415-418.

8. DE GROOT M.H. Reaching a Consensus // J. of American Statistical Assotiation. - 1974. - No. 69. - P. 118-121.

9. FRIEDKIN N.E., JOHNSEN E.C. Social Influence Networks and Opinion Change // Advances in Group Processes. - 1999. -No. 16. - P. 1-29.

10. GOLUB B. AND JACKSON M.O. Naive Learning in Social Networks and the Wisdom of Crowds // American Economic Journal: Microeconomics. - February, 2010. - Vol. 2, No. 1. -P. 112-149.

11. HEGSELMANN R., KRAUSE U. Opinion dynamics and bounded confidence models, analysis, and simulation // J. of Ar-tifical Societies and Social Simulation (JASSS). - 2002. -Vol. 5, No. 3. - P. 1-33.

12. JACKSON M. Social and Economic Networks. - Princeton: Princeton University Press, 2008. - 520 p

CONSENSUS IN SOCIAL NETWORKS WITH COMPLEX STRUCTURE OF SOCIAL ACTORS

Denis Fedyanin, Institute of Control Sciences of RAS, Moscow, junior researcher ([email protected]).

Alexander Chkhartishvili, Institute of Control Sciences of RAS, Moscow, Doctor of Science in Mathematics ([email protected]).

Abstract: We study opinion dynamics in network structures of a special type: each node consists of two agents interacting among themselves. The external agent interacts with the rest of the network and the internal agent interacts only with the external one. For example, every external agent has a personal advisor who doesn't participate directly in the negotiations. We investigate properties of the consensus arising in these network structures under conventional de Groot opinion dynamics model and how the final influences depends on the mutual trust between external and internal agents. The analytical solution for the vector of final influences was obtained. We show that the final influence of a node depends monoton-ically on the trust between external and internal agents. It was shown for the two-node case under what conditions the internal parameters of a node are more important than the external ones. Our results can potentially be extended to the networks where nodes have more complex internal structure.

Keywords: opinion dynamics, social network, complex node, consensus, influence.

Статья представлена к публикации членом редакционной коллегии П.Ю. Чеботарёвым.

Поступила в редакцию 25.02.2016.

Опубликована 30.11.2016.

i Надоели баннеры? Вы всегда можете отключить рекламу.