О теории социального баланса

    Здравствуй хабр.
    Сегодня я хочу тебе рассказать про теорию когнитивного баланса Ф. Хайдера.
    Сама теория относится к классу теорий когнитивного соответствия. При помощи этого класса теорий можно попытаться математически описать социальные взаимодействия, в том числе в социальных сетях.

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

    Вводная часть



    Изначальная модель имена название POX-модели и состояла из следующих компонентов:

    1. P – это некоторая личность;
    2. O – некий объект (в том числе и личность), по отношению к которому эта личность P – испытывает какие-то отношения в формате нравится/не нравится;
    3. X – некая другая личность, по отношению к которой P испытывает некие отношения, и которая сама по отношению к объекту O испытывает тоже некоторые отношения и P об этом знает.


    Согласно этой теории отношение PO определяется также через отношения PX и OX следующим образом:
    1. Друг моего друга мой друг.
    2. Друг моего врага мой враг.
    3. Враг моего друга мой враг.
    4. Враг моего врага мой друг.




    Например (из википедии), если P любит O; P не любит X; P знает, что X создал O; может привести P согласно этой теории к следующим возможным выводам:
    1. X – не такой уж и плохой
    2. O – не такой уж и хороший
    3. X – не автор O.


    Основываясь на этой модели, мы можем построить что-то свое, постепенно усложняя получившееся.
    Итак, предположим, что:
    1. У нас есть 3 неких субъекта: A, B и C.
    2. У всех субъектов есть отношения друг к другу, причем эти отношения обоюдные (это позволяет перейти от орграфа к просто графу и упростить начальную модель).


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

    https://habrastorage.org/getpro/habr/post_images/731/e1a/823/731e1a823297a28ae53232acce7bc6fc.png

    Теперь предположим, что отношения могут быть только позитивными (+) и негативными (-).
    Тогда мы можем 8 возможных состояний нашей модели.

    https://habrastorage.org/getpro/habr/post_images/bbc/937/474/bbc937474dee4316f0066dd49ab15aeb.png

    Существует утверждение о том, что триада является гармоничной, или устойчивой, если произведение знаков ее связей является положительным числом. То есть это возможно в случае, когда у нас 3 положительных связи, либо две отрицательных и одна положительная. То есть случаи 1,4,6,7 являются гармоничными и устойчивыми, а случаи 2, 3, 5, 8 неустойчивы.

    В виде таблицы это будет выглядеть следующим образом.

    https://habrastorage.org/getpro/habr/post_images/0d3/8af/410/0d38af41015fe17dda1f33d1983c1b56.gif

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

    https://habrastorage.org/getpro/habr/post_images/266/f5d/90b/266f5d90b939106e25c36cb76c43e1c9.png

    Причем варианты развития той или иной триады равновероятны.

    Если внутри триады добавить нейтральные связи, то количество возможных состояний возрастет до 27. При этом 19 из них будут представлять собой вырожденные случаи, когда не все отношения установлены. В этом случае отсутствующие связи либо вообще не будут задействованы либо будут стремиться к описанным выше сбалансированным. С учетом этой информации куб переходов будет выглядеть следующим образом.

    https://habrastorage.org/getpro/habr/post_images/0d3/8af/410/0d38af41015fe17dda1f33d1983c1b56.gif

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

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

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

    Немного формул



    Для оценки сбалансированности группы можно ввести специальный индекс:

    https://habrastorage.org/getpro/habr/post_images/433/c7d/3ed/433c7d3ed7ad607ff86fcd11e2eacfef.png

    Где Tс – количество сбалансированных триад, Tо – общее количество триад.

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

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

    Действительно, если одну подгруппу мысленно разделить на две связные с большим положительным индексом, а вторую подгруппу оставить как есть, то получится классическая сбалансированная триада с одним плюсом и двумя минусами. Можно порассуждать на тему, что все субъекты могут иметь положительные отношения друг с другом, но вероятность такого исхода в 3 раза ниже, чем при разбиении на две конкурирующие подгруппы (триада №1 и триады №4, 6, 7 соответственно).

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

    https://habrastorage.org/getpro/habr/post_images/318/ac1/ef0/318ac1ef070cde720fa9a2c6ab643a38.png

    При условии, что у нас отношения могут быть положительными (+), отрицательными (-) и нейтральными (0), количество всех возможных состояний будет

    https://habrastorage.org/getpro/habr/post_images/45e/e5d/673/45ee5d67322567e41a9efe9d8c408a53.png

    где общее количество триад будет

    https://habrastorage.org/getpro/habr/post_images/0d3/8af/410/0d38af41015fe17dda1f33d1983c1b56.gif

    Следует так же учитывать, что самопроизвольные переходы при прочих равных, подчиняются следующим правилам.
    1. Вероятность самопроизвольного перехода отношений (0)→(+) и (0)→(-) близка к единице.
    2. Вероятность самопроизвольного перехода отношений (+)→(0), (-)→(0), (+)→(-), (-)→(+) близка к нулю.
    Первое объясняется тем, что в группах людей обычно все знакомятся друг с другом и устанавливаются те или иные отношения. Второе объясняется тем, что довольно сложно забыть того человека, с которым постоянно общаешься, либо изменить к нему отношение на диаметрально противоположное.

    С учетом этих условий для триады работает следующий куб переходов.

    https://habrastorage.org/getpro/habr/post_images/131/582/124/13158212411afce92af1dcc1d6faf2ab.png

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

    https://habrastorage.org/getpro/habr/post_images/505/a11/b9d/505a11b9d6efa7f8dccf21f36c1fcd40.png

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

    Для полноты картины можно добавить более плавное изменение отношений – не просто положительное, отрицательное или нулевое, но и с каким либо весом r, заключенным в некотором промежутке. Например, в промежутке от -R до R, где R=0.5;1;5;10… В этом случае следует задать закон, по которому происходит изменение этих отношений. В ряде работ для этих целей используется гистерезис. В других работах учитывается понятие социальной дистанции.

    В этом случае можно написать закон, по которому происходит изменение отношений с течением времени.

    https://habrastorage.org/getpro/habr/post_images/0d3/8af/410/0d38af41015fe17dda1f33d1983c1b56.gif

    где G(r,R)=(1-(r/R))^2, а r(i,j) – отношение между i-м и j-м субъектами.

    Примеры



    В качестве бонуса несколько анимированных гифок.

    Внизу каждого изображения выводится общий индекс сбалансированности.

    Для простой триады.

    Даже не смотря на небольшие изначальные противоречия все трое дружны.
    https://habrastorage.org/getpro/habr/post_images/0d3/8af/410/0d38af41015fe17dda1f33d1983c1b56.gif

    Двое дружат против третьего.
    https://habrastorage.org/getpro/habr/post_images/0d3/8af/410/0d38af41015fe17dda1f33d1983c1b56.gif

    Для четверки.

    Все дружат со всеми.
    https://habrastorage.org/getpro/habr/post_images/0d3/8af/410/0d38af41015fe17dda1f33d1983c1b56.gif

    Противоборство 2 на 2.
    https://habrastorage.org/getpro/habr/post_images/5e0/66b/c37/5e066bc370e0bfd2c96e73ce7fa3901d.gif

    В результате сложных телодвижений трое против одного.
    https://habrastorage.org/getpro/habr/post_images/c10/a39/e38/c10a39e38773785dac845f35e6de2265.gif

    Чтобы не захламлять статью, остальные примеры можно посмотреть у меня в альбоме (для 5, 6, 10, и 25).

    Хочу предупредить, что для большого количества персон получились увесистые гифки под 10 Мб.

    И еще одно замечание. Программа прототип писалась на C#, для визуализации использовался Graphviz.
    Так же при расчете триад можно учитывать состояние соседей второго, третьего и более высоких порядков. Разбивать на кластеры, объединять кластеры в одну большую персону. Можно учитывать то, что мы не всегда знаем всю информацию об отношениях между теми или иными субъектами. Или те или иные субъекты сами не обладают полнотой информации. Мы можем также использовать какое-то внешнее воздействие, или предположить что дуги могут иметь разный вес, или у одной из персон есть ресурсы для поддержания стабильно хороших отношений с какой-то другой персоной. Или их отсутствие. Можно рассмотреть пример выживания из изначально сбалансированной группы, и так далее.

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

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

    Если кому-то интересно почитать на тему, то вот набор ссылок на работы, отталкиваясь от которых, я сделал эту статью.

    На этом у меня все. Спасибо за внимание.

    Ссылка 1
    Ссылка 2
    Ссылка 3
    Ссылка 4
    Ссылка 5

    Комментарии 20

      +3
      Люди, у которых настроен RSS мало поймут ваш заголовок «Здравствуй хабр». Всё-таки пост не о приветствии, правда?
        0
        Ну, я всегда здороваюсь вначале статьи и всегда прощаюсь в конце статьи.
          +5
          Начало статьи!=заголовок. Авторы тоже любят передавать приветы и благодарить, но книги же не называются «Спасибо моей жене», «О мой кот, как же ты мне помог при написании» и прочее.
          +3
          Ой, только сейчас увидел заголовок статьи, большое спасибо. Название не с той строки скопировал.
            0
            Теперь здорово. Спасибо за интересную статью.
          +1
          Сашамногоцифрсвязей, ну нельзя же постить такое вечером в начале недели.
            0
            Да кто бы говорил, про твои статьи с запусками компиляторов на сотвых телефонах. Там гораздо более страшно все.
              +1
              У меня там обычное красноглазие с демонстрационной видяшкой и ссылкой на пощупать. А у тебя огромные кубические схемы, трудно воспринимаемые воспалённым под вечер мозгом, и практические руководства по манипулированию людьми при помощи математики.
                +1
                Как сейчас модно говорить. Жаждущий, да увидит путь, а остальные увидят прикольные картинки. Ищите мессадж.

                На самом деле это то же самое красноглазие, но только с математикой.
            0
            Из этой теории следует, что жители Хабра должны разбиться на группы и нещадно минусовать друг друга :)
              +2
              Либо быть единым сплоченным коллективом. =)
                0
                Такие группы очень недолговечны ввиду не учитываемого моделью фактора наличия банхаммера у администрации.
                +1
                Круто! Я впервые познакомился с этой моделью через учения Верищагина.
                  0
                  Получается, что двуполярный мир глобального противостояния США — СССР был устойчивым состоянием
                    0
                    Получается, что да.
                      0
                      А как насчет тройки Океания-Остазия-Евразия из романа Оруэлла?
                        0
                        там тоже было устойчиво: двое дружили против третьего
                        • НЛО прилетело и опубликовало эту надпись здесь
                    +1
                    Теория интересная.
                    Но я сомневаюсь в достоверности некоторых её базовых тезисов — «Враг моего врага мой друг», «У всех субъектов есть отношения друг к другу, причем эти отношения обоюдные». Не у всех и не всегда.
                      0
                      Прошу извинить, но Ваш комментарий не совсем корректен. Вы не совсем внимательно читали и не совсем то критикуете.
                      Предлагаются модели на основе теории. Причем модели упрощенные. Кроме того, фраза про обоюдность раскрывается в том же самом предложении, что Вы цитировали: "… это позволяет перейти от орграфа к просто графу и упростить начальную модель". Помимо этого, в конце статьи раскрывается содержание этих положений. С критикой моделей полностью я согласен, всегда можно построить свою модель с дополнительными условиями или без них, и получить свой результат. Критика теории это отдельный разговор, ее должны делать эксперты.
                      Надеюсь, мой ответ не обидел Вас.

                    Только полноправные пользователи могут оставлять комментарии. Войдите, пожалуйста.

                    Самое читаемое