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

Question

[eegmak]

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

Comments

[d'Ivan]

Нет тега "мат. моделирование".
Судя по вопросу, что-то по сети, графы и логику.

Answer 1

[Wataru]

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

Comments

[eegmak]

да, скорее всего- результат находится через компоненту связности. Меня интересует как переписать условие задачи не используя аналогии

[Wataru]

eegmak, Вершина называется "хорошей", если существует путь из одной вершины из стартового множества в нее.

Answer 2

[longclaps]

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

Comments

[eegmak]

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

dfs это что-то связанное с поиском внутри графа? Вопрос может и разумный, но как его задать не используя сбивающие с толку примеры - вот в чем вопрос

[longclaps]

eegmak, dfs - это что-то, что гуглится на раз.

Answer 3

[Uno]

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