Что использовать для формализации рассуждений?



@eegmak

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


Решения вопроса 0


Ответы на вопрос 3



@wataru

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



@longclaps

Ваш вопрос производит впечатление разумного, за одним но: вы не в курсе, то есть dfs?



@Noizefan

Это очевидно граф. Возьмите любое средство моделирования да зафигачьте его себе, тут даже принципами их моделирования ими можно пренебречь для простого донесения мысли.
Только вот ваши примеры не совпали немного. Люди друзей-друзей своими друзьями не считают, а по маркеру можно передать хоть кому угодно, была бы связь. Короче зависит от связей между нодами
2021-04-30-16-55-59.png

Добавить комментарий

Ваш адрес email не будет опубликован. Обязательные поля помечены *