Круги эйлера задачи по информатике: Круги Эйлера в информатике

Круги Эйлера в информатике

Сегодня разберём задачи на круги Эйлера в информатике.

Леонард Эйлер — швейцарский, немецкий и российский математик и механик, сыгравший огромную роль в развитии этих наук.

Задача (Простая)

В языке запросов поискового сервера для обозначения логической операции «ИЛИ» используется символ «|», а для логической операции «И» — символ «&». В таблице приведены запросы и количество найденных по ним страниц некоторого сегмента сети Интернет.


Запрос Найдено страниц (в тысячах)
Пушкин 3500
Лермонтов 2000
Пушкин | Лермонтов 4500

Какое количество страниц (в тысячах) будет найдено по запросу Пушкин & Лермонтов? Считается, что все запросы выполнялись практически одновременно, так что набор страниц, содержащих все искомые слова, не изменялся за время выполнения запросов.


Решение:

Видим, что по запросу «Пушкин» в поисковике нашлось 3500 страниц. По запросу «Лермонтов» — 2000 страниц.

Запрос «Пушкин | Лермонтов» обозначает, что поисковик выдаст страницы, где есть слова про «Пушкина», и страницы, где есть слова про «Лермонтова», а так же могут быть страницы, где написано и про «Пушкина», и про «Лермонтова» одновременно.

Если сложить страницы, в которых написано про «Пушкина» и про «Лермонтова» получается 3500 + 2000 = 5500 страниц. Но почему же при запросе «Пушкин | Лермонтов» получается меньше страниц, всего 4500 ?

Этот факт обозначает то, что когда мы подсчитывали страницы про «Пушкина» (3500 страниц), мы подсчитали и те страницы, где было написано и про «Пушкина», и про «Лермонтова» одновременно.

Тоже самое и для количества страниц, где написано про «Лермонтова» (2000 страниц). В этом числе находятся и те, в которых одновременно упоминается и про «Пушкина», и про «Лермонтова».

В вопросе спрашивается, сколько страниц будет по запросу «Пушкин & Лермонтов«. Это обозначает, что как раз нужно найти количество страниц, где будет одновременно написано и про «Пушкина», и про «Лермонтова».

Отсюда получается:


Пушкин & Лермонтов = (3500 + 2000) — 4500 = 5500 — 4500 = 1000 страниц.

Это и будет ответ!



Теперь решим эту задачу с помощью Кругов Эйлера!

У нас всего есть две сущности: «Пушкин» и «Лермонтов». Поэтому рисуем два пересекающихся круга, желательно разными цветами.

Объединение двух кругов в общую фигуру (показано фиолетовым цветом), показывает операцию «Пушкин | Лермонтов». Эта операция всегда стремится увеличить площадь, объединить площади других фигур!

Обратите внимание, что круги пересекаются, из-за этого сумма площадей двух кругов по отдельности (3500 + 2000 = 5500) больше чем у фигуры, которая характеризует логическую операцию «ИЛИ» «Пушкин | Лермонтов» (4500).

Нужно найти площадь фигуры Пушкин & Лермонтов, которая закрашена золотистым цветом. Данная логическая операция «И» стремится уменьшить площадь. Она обозначает общую площадь других фигур.

Найдём сначала заштрихованную часть синего круга. Она равна: площадь фиолетовой фигуры (4500) минус площадь красного круга (3500).


Теперь легко найти площадь золотистой фигуры. Для этого нужно от площади синего круга вычесть площадь заштрихованной части. Получается:


Пушкин & Лермонтов (Количество страниц) = 2000 — 1000 = 1000

Получается, что по запросу Пушкин & Лермонтов будет найдено 1000 страниц.

Ответ: 1000

Рассмотрим ещё одну не сложную разминочную задачу.

Задача (Разминочная)

В языке запросов поискового сервера для обозначения логической операции «ИЛИ» используется символ «|», а для логической операции «И» – символ «&».

В таблице приведены запросы и количество найденных по ним страниц некоторого сегмента сети Интернет.


Запрос Найдено страниц (в тысячах)
Кокос | Ананас 3400
Кокос & Ананас 900
Кокос 2100

Какое количество страниц (в тысячах) будет найдено по запросу Ананас?

Считается, что все запросы выполнялись практически одновременно, так что набор страниц, содержащих все искомые слова, не изменялся за время выполнения запросов.

Решение:

У нас две сущности: Кокос и Ананас. Нарисуем два круга Эйлера, которые пересекаются между собой. Так же отменим все имеющееся данные.


Найдём заштрихованную часть красного круга.

Весь красный круг 2100. Золотистая область равна 900. Заштрихованная часть равна 2100 — 900 = 1200.


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


Ананас (Количество страниц) = 3400 — 1200 = 2200

Ответ: 2200

Разберём классическую задачу из информатики по кругам Эйлера.

Задача (Классическая)

В языке запросов поискового сервера для обозначения логической операции «ИЛИ» используется символ «|», а для логической операции «И» — символ «&».

В таблице приведены запросы и количество найденных по ним страниц некоторого сегмента сети Интернет.


Запрос Найдено страниц (в тысячах)
(Космос & Звезда) | (Космос & Планета) 1100
Космос & Планета 600
Космос & Планета & Звезда 50

Какое количество страниц (в тыс. ) будет найдено по запросу Космос & Звезда?

Считается, что все запросы выполнялись практически одновременно, так что набор страниц, содержащих все искомые слова, не изменялся за время выполнения запросов.

Решение:

В этой задаче у нас три сущности: Космос, Планета, Звезда. Поэтому рисуем три круга Эйлера, которые пересекаются между собой.

Могут ли круги не пересекаться ? Могут! Если мы докажем, что площади по отдельности двух кругов в сумме дают площадь фигуры, которая получается при применении операции логического «ИЛИ».


Теперь отметим на нашем рисунке запрос (Космос & Звезда) | (Космос & Планета).

Сначала отменим для себя то, что находится в скобках. Первое Космос & Звезда


Теперь отметим вторую скобку Космос & Планета.



В выражении (Космос & Звезда) | (Космос & Планета) две скобки соединяет знак логического «ИЛИ». Значит, эти две области нужно объединить! Область (Космос & Звезда) | (Космос & Планета) отмечена фиолетовым цветом!


Отметим Космос & Планета ещё раз, т.к. для этого выражения известно количество страниц.



Площадь фигуры для выражения Космос & Планета & Звезда будет очень маленькая. Это общая часть для всех трёх кругов. Отметим её оранжевым цветом! Каждая точка этой фигуры должна одновременно быть в трёх кругах!


Найти нужно Космос & Звезда. Отменим на рисунке чёрным цветом ту область, которую нужно найти. Мы эту область уже отмечали салатовым цветом.


Теперь у нас есть все компоненты, чтобы решить эту задачу.

Найдём заштрихованную область.


Вся область Космос & Планета равна 600. А заштрихованная часть равна: область Космос & Планета (600) минус оранжевая область (50).


Количество страниц в заштрихованной части = 600 — 50 = 550

Тогда черная область легко находится: фиолетовая область (1100) минус заштрихованная область (550).


Количество страниц (при запросе Космос & Звезда) = 1100 — 550 = 550

Ответ: 550

Закрепляем материал по задачам на Круги Эйлера.

Задача (На закрепление)

В языке запросов поискового сервера для обозначения логической операции «ИЛИ» используется символ «|», а для обозначения логической операции «И» – символ «&». В таблице приведены запросы и количество найденных по ним страниц некоторого сегмента сети Интернет.


Запрос Найдено страниц (в тысячах)
Море & Солнце 290
Море & Пляж 355
Море & (Пляж | Солнце) 465

Какое количество страниц (в тысячах) будет найдено по запросу Море & Пляж & Солнце? Считается, что все запросы выполнялись практически одновременно, так что набор страниц, содержащих все искомые слова, не изменялся за время выполнения запросов.

Решение:

В задаче используются три сущности: Море, Пляж, Солнце. Поэтому нарисуем три пересекающихся круга Эйлера.


Отметим все области для которых нам даны количество страниц.

В начале отметим Море & (Пляж | Солнце). Для начало нарисуем область, которая в скобках (Пляж | Солнце)

Теперь нужно очертить общую часть фиолетовой области и зелёного круга и получится Море & (Пляж | Солнце). Отметим оранжевым цветом.



Теперь отметим Море & Пляж.


Теперь отметим Море & Солнце.


Найти нужно ту область, которая получается в результате выделения общей части для всех трёх кругов! Обозначим её чёрным цветом!



Найдём заштрихованную область!



Количество страниц (в заштрихованной области) =
= Количество страниц (В оранжевой области) — Море & Солнце =
= 465 — 290 = 175

Чтобы найти искомую чёрную область, нужно из Море & Пляж (355) вычесть заштрихованную область (175).


Количество страниц (Море & Пляж & Солнце) =
= Море & Пляж (355) — Количество страниц (в заштрихованной области) 175 =
= 355 — 175 = 180

Ответ: 180

Решим ещё одну тренировочную задачу из информатики на Круги Эйлера.


Задача (с 4 сущностями)

В языке запросов поискового сервера для обозначения логической операции «ИЛИ» используется символ «|», а для обозначения логической операции «И» – символ «&».

В таблице приведены запросы и количество найденных по ним страниц некоторого сегмента сети Интернет.


Запрос Найдено страниц (в тысячах)
Англия & (Уэльс & Шотландия | Ирландия) 450
Англия & Уэльс & Шотландия 213
Англия & Уэльс & Шотландия & Ирландия 87

Какое количество страниц (в тысячах) будет найдено по запросу


Англия & Ирландия?

Считается, что все запросы выполнялись практически одновременно, так что набор страниц, содержащих все искомые слова, не изменялся за время выполнения запросов.

Решение:

Нужно нарисовать 4 пересекающихся круга. Сначала нарисуем три круга, как обычно, оставив немного места для четвёртого круга.


Четвёртый круг для Ирландии нужно нарисовать так, чтобы он проходил через область (Англия & Уэльс & Шотландия). Это нам подсказывает сама таблица, где есть количество страниц для Англия & Уэльс & Шотландия, а так же для Англия & Уэльс & Шотландия & Ирландия.



Нужно отметить на рисунке Англия & (Уэльс & Шотландия | Ирландия). Это будем делать, как всегда поэтапно.

Область Уэльс & Шотландия выглядит так:


Добавим к этой области Ирландию через логическое «ИЛИ». Получается область (Уэльс & Шотландия | Ирландия). Произошло объединение серой области и жёлтого круга!


Теперь нужно сделать операцию логического «И» получившийся области с «Англией». Тогда область Англия & (Уэльс & Шотландия | Ирландия) примет вид:


Т.е. это общее между предыдущем серым контуром и красным кругом!

Отметим Англия & Уэльс & Шотландия — это общая территория трёх кругов: Красного, Синего и Зелёного. Отмечено оранжевым цветом.



Отметим Англия & Уэльс & Шотландия & Ирландия — это общая территория четырёх кругов. Область получается ещё меньше. Если взять точку в этой области, то мы будем находится сразу в четырёх кругах одновременно. Отмечено фиолетовым цветом.

Отметим то, что нужно найти Англия & Ирландия чёрным цветом.


Искомую чёрную область легко найти, если из серой области вычесть кусочек, окрашенный в бирюзовый цвет!


Найдём, сколько страниц приходится на бирюзовый кусочек:


Количество страниц (для бирюзового кусочка) =
= Англия & Уэльс & Шотландия (213) — Англия & Уэльс & Шотландия & Ирландия (87) =
= 213 — 87 = 126

Найдём искомую чёрную область.


Количество станиц (для чёрной области) =
= Англия & (Уэльс & Шотландия | Ирландия) (450) — Количество (для бирюзового кусочка) =
450 — 126 = 324

Это и будет ответ!

Ответ: 324.

Разберём задачу из реального экзамена по информатике, которая была в 2019 году в Москве! (Сейчас в 2021 задачи не встречаются на Круги Эйлера)

Задача (ЕГЭ по информатике, 2019, Москва)

В таблице приведены запросы и количество страниц, которые нашёл поисковый сервер по этим запросам в некоторым сегменте Интернета:


Запрос Найдено страниц (в тысячах)
Суфле 450
Корзина 200
Эклер 490
Суфле & Корзина 70
Суфле & Эклер 160
Корзина & Эклер 0

Сколько страниц (в тысячах) будет найдено по запросу


Суфле | Корзина | Эклер

Решение:

Видим, что у нас три поисковых разных слова, поэтому будет три разных круга Эйлера!

Так же видим, что логическое «И» между словами Корзина и Эклер даёт 0 страниц. Это значит, что эти круги не пересекаются! Так же круги бы не пересекались, если бы операция логического «ИЛИ» совпадала бы с суммой этих кругов.


Видим, что Суфле имеет с двумя кругами пересечения, а Корзина и Эклер не пересекаются.

Отметим всё, что нам дано в условии.


Жёлтым цветом отмечено Суфле | Корзина | Эклер . Объединение всех трёх кругов. Это то, что нужно найти.


Искомая жёлтая фигура складывается из заштрихованных областей и красного круга! Площадь красного круга мы знаем. Нужно найти площади заштрихованных частей.

Левая заштрихованная область находится просто:


Количество страниц (лев. заштрих. область) =
= Эклер (490) — Суфле & Эклер (160) = 330

Так же найдём площадь правой заштрихованной области:


Количество страниц (прав. заштрих. область) =
= Корзина (200) — Суфле & Корзина (70) = 130

Теперь можно найти искомую жёлтую область

Количество страниц (Суфле | Корзина | Эклер) =
= Красный круг (450) + лев. заштрих. область (310) + прав. заштрих. область (130) =
= 450 + 330 + 130 = 910

Задача решена, можно писать ответ.

Ответ: 910

Разберём ещё одну задачу из реального ЕГЭ уже 2020 года

Задача (ЕГЭ по информатике, 2020, Москва)

В таблице приведены запросы и количество страниц, которые нашёл поисковый сервер по этим запросам в некоторым сегменте Интернета:


Запрос Найдено страниц (в тысячах)
Аврора 50
Крейсер 45
Заря 23
Аврора & Заря 9
Заря & Крейсер 0
Заря | Крейсер | Аврора 93

Сколько страниц (в тысячах) будет найдено по запросу


Аврора & Крейсер

Решение:

Количество страниц при запросе Заря & Крейсер равно нулю. Значит, эти два круга не будут пересекаться.


Нарисуем все данные на рисунке.

Нужно найти для начала заштрихованную правую часть.



Количество страниц (для двух заштрих. частей) =
З | К | А (93) — Красный круг (50) = 43

Левую заштрихованную область легко найти.


Количество страниц (для левой заштрих. части) =
Синий круг (23) — А & З (9) = 14

Тогда для правой заштрихованной области получается:


Колич. страниц (для правой заштрих. части) =
Колич. страниц (для двух заштрих. частей) (43) — Колич. страниц (для лев. заштрих. части) (14) =
= 43 — 14 = 29

Тогда искомую область легко найти:


Колич. страниц (А & K) =
Зелёный круг (45) — Колич. страниц (для правой заштрих. части) (29) =
45 — 29 = 16

Ответ: 16

На этом всё! Надеюсь, вы теперь будете с удовольствием решать задачи по информатике с помощью Кругов Эйлера.

Решение задач с помощью кругов Эйлера


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

 Задача №1

В языке запросов поискового сервера для обозначения логической операции «ИЛИ» используется символ «|», а для логической операции «И» — символ «&».

В таблице приведены запросы и количество найденных по ним страниц некоторого сегмента сети Интернет.

ЗапросНайдено страниц (в тысячах)
Торты | Пироги12000
Торты & Пироги6500
Пироги7700

Какое количество страниц (в тысячах) будет найдено по запросу Торты?Считается, что все запросы выполнялись практически одновременно, так что набор страниц, содержащих все искомые слова, не изменялся за время выполнения запросов.

Решение задачи №1

Для решения задачи отобразим множества Тортов и Пирогов в виде кругов Эйлера.

Обозначим каждый сектор отдельной буквой (А, Б, В).


Из условия задачи следует:

Торты │Пироги =  А+Б+В = 12000

Торты & Пироги = Б = 6500

Пироги = Б+В = 7700

Чтобы найти количество Тортов (Торты = А+Б), надо найти сектор А, для этого из общего множества (Торты│Пироги) отнимем множество Пироги.


Торты│Пироги – Пироги = А+Б+В-(Б+В) = А = 1200 – 7700 = 4300


Сектор А равен 4300, следовательно


Торты = А+Б = 4300+6500 = 10800


Задача №2

В языке запросов поискового сервера для обозначения логической операции «ИЛИ» используется символ «|», а для логической операции «И» — символ «&».

В таблице приведены запросы и количество найденных по ним страниц некоторого сегмента сети Интернет.

ЗапросНайдено страниц (в тысячах)
Пироженое & Выпечка5100
Пироженое9700
Пироженое | Выпечка14200

Какое количество страниц (в тысячах) будет найдено по запросу Выпечка?

Считается, что все запросы выполнялись практически одновременно, так что набор страниц, содержащих все искомые слова, не изменялся за время выполнения запросов. Решение задачи №2

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

Обозначим каждый сектор отдельной буквой (А, Б, В).

Из условия задачи следует:

Пироженое & Выпечка = Б = 5100

Пироженое = А+Б = 9700

Пироженое │ Выпечка =  А+Б+В = 14200

Чтобы найти количество Выпечки (Выпечка = Б+В), надо найти сектор В, для этого из общего множества (Пироженое │ Выпечка ) отнимем множество Пироженое.

Пироженое │ Выпечка – Пироженное = А+Б+В-(А+Б) = В = 14200–9700 = 4500

Сектор В равен 4500, следовательно  Выпечка = Б + В = 4300+5100 = 9400



Задача №3
В таблице приведены запросы к поисковому серверу. Расположите номера запросов в порядке убывания количества страниц, которые найдет поисковый сервер по каждому запросу.
Для обозначения логической операции «ИЛИ» используется символ «|», а для логической операции «И» — символ «&».

1спаниели | (терьеры & овчарки)
2спаниели | овчарки
3спаниели | терьеры | овчарки
4терьеры | овчарки

Решение задачи №3

Представим множества овчарок, терьеров и спаниелей в виде кругов Эйлера, обозначим сектора буквами (А, Б, В, Г).


Преобразим условие задачи в виде суммы секторов:

спаниели │(терьеры & овчарки) = Г + Б

спаниели│овчарки = Г + Б + В

спаниели│терьеры│овчарки = А + Б + В + Г

терьеры & овчарки = Б


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


Расположим номера запросов в порядке убывания количества страниц: 3 2 1 4



Задача №4

В таблице приведены запросы к поисковому серверу. Расположите номера запросов в порядке возврастания количества страниц, которые найдет поисковый сервер по каждому запросу.
Для обозначения логической операции «ИЛИ» используется символ «|», а для логической операции «И» — символ «&».

1барокко | классицизм | ампир
2барокко | классицизм & ампир
3классицизм & ампир
4барокко | классицизм

Решение задачи №4

Представим множества классицизм, ампир и классицизм в виде кругов Эйлера, обозначим сектора буквами (А, Б, В, Г).


Преобразим условие задачи в виде суммы секторов:

барокко│ классицизм │ампир = А + Б + В + Г
барокко │(классицизм & ампир) = Г + Б
классицизм & ампир = Б
барокко│ классицизм = Г + Б + А

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


Расположим номера запросов в порядке возрастания количества страниц: 3 2 4 1


Задача №5В таблице приведены запросы к поисковому серверу. Расположите номера запросов в порядке возврастания количества страниц, которые найдет поисковый сервер по каждому запросу.
Для обозначения логической операции «ИЛИ» используется символ «|», а для логической операции «И» — символ «&».

1канарейки | терьеры | содержание
2канарейки & содержание
3канарейки & щеглы & содержание
4разведение & содержание & канарейки & щеглы

Решение задачи №5

Для решения задачи представим запросы в виде кругов Эйлера.

K —  канарейки,

Щ – щеглы,

С – содержание,

Р – разведение.


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


канарейки | терьеры | содержаниеканарейки & содержаниеканарейки & щеглы & содержаниеразведение & содержание & канарейки & щеглы

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

В порядке возрастания по количеству страниц запросы будут представлены в следующем порядке: 4 3 2 1

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

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


Задачи для самостоятельного решения

Задача №6

В таблице приведены запросы к поисковому серверу. Расположите номера запросов в порядке возрастания количества страниц, которые найдет поисковый сервер по каждому запросу.
Для обозначения логической операции «ИЛИ» используется символ «|», а для логической операции «И» — символ «&».

1принтеры & сканеры & продажа
2принтеры  & продажа
3принтеры | продажа
4принтеры | сканеры | продажа

Задача №7

В таблице приведены запросы к поисковому серверу. Расположите номера запросов в порядке возрастания количества страниц, которые найдет поисковый сервер по каждому запросу.
Для обозначения логической операции «ИЛИ» используется символ «|», а для логической операции «И» — символ «&».

1физкультура
2физкультура & подтягивания & отжимания
3физкультура & подтягивания
4физкультура | фитнесс

Использованные материалы >>> 

Решение подобных задач  по информатике >>>

Ответы к задачам для самостоятельного решения

Номер задачиОтвет
6ГБВА
7БВАГ

Кенигсбергские мосты.

Как Эйлер разработал теорию графов и… | Карл Бичер | Great Moments in Computing History

«В целом в математике верно утверждение, что между математическим открытием и моментом, когда оно становится полезным, существует промежуток времени». — Джон фон Нейман (1903–1957)

Промежуток времени между математиком, пришедшим с идеей, и тем, кто впоследствии нашел применение этой идее, может быть долгим. Мы можем увидеть это, особенно когда смотрим на что-то вроде информатики, предмета, являющегося приложением математики. Например, Бертран Рассел был очень стар, прежде чем его теория типов, которую он разработал, когда ему было за тридцать, стала использоваться при разработке языков программирования. Прошло почти столетие, прежде чем идеи логики Джорджа Буля были применены к цифровой электронике.

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

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

Кенигсберг с отмеченными семью мостами.

Как бы долго ни существовала эта традиция, к 1730-м годам никто еще не смог проложить такой маршрут. Вероятно, было заманчиво заявить, что это невозможно после всех этих лет попыток, но как они могли доказать это? Интуитивное чувство или подозрение, каким бы сильным оно ни было, не является доказательством. В конце концов, есть много перестановок; может быть, они просто еще не нашли подходящего.

Проблема показалась мэру Кенигсберга достаточно важной, чтобы он убедил местного гения Леонарда Эйлера избавить всех от страданий. Эйлер был плодовитым математиком и занятым человеком, но что еще поделаешь, если мэр обращается к вам за помощью? Несомненно, со вздохом он отложил свои рукописи и сел решать пустяковую игру. Нам повезло, что он это сделал, потому что в процессе решения головоломки он заложил основы одной из самых важных концепций информатики: теории графов.

Упрощенная версия карты.

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

График семи мостов Кенигсберга и его суши.

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

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

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

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

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

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

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

[PDF] Онлайн-задача абстракции для диаграмм Эйлера

  • Идентификатор корпуса: 1367028
  title={Онлайн-проблема абстракции для диаграмм Эйлера},
  автор = {Дженнаро Кордаско, Росарио Де Кьяра и Эндрю Фиш},
  booktitle={ED@Диаграммы},
  год = {2012}
} 
  • Г. Кордаско, Р. Д. Кьяра, А. Фиш
  • Опубликовано в ED@Diagrams 2012
  • Информатика

Диаграммы Эйлера — это доступная и эффективная визуализация данных, включающая простые теоретико-множественные отношения. Были разработаны эффективные алгоритмы для быстрого вычисления абстрактных областей диаграммы Эйлера при добавлении и удалении кривых, но был применен строгий набор соглашений о рисовании (называемых условиями корректности), что означает, что некоторые абстрактные диаграммы не могут быть представлены как конкретные. диаграммы. Мы представляем вариант и расширение методологии, которая позволяет… 

Просмотр бумаги

Онлайн-расчеты для диаграмм Euler с расслабленными соглашениями о рисовании

, показывающие 1-10 из 22 ссылок

Сорт Byrelevancemost, повлияв на PapersRecency

. Р. Д. Кьяра, А. Фиш

  • Информатика

    Вычисл. геом.

  • 2011
  • Построение диаграммы Эйлера

    Преобразование диаграммы Эйлера

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

    Распутывание диаграмм Эйлера

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

    Интерактивная визуальная классификация с диаграммами Эйлера

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

    Диаграммы ограничений: визуализация инвариантов в объектно-ориентированных моделях

    • С. Кент
    • Информатика

      OOPSLA ’97

    • 1997

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

    Семантика расширенных диаграмм ограничений

    Использование диаграмм Эйлера в традиционных библиотечных средах

    • Жером Тьевр, М.

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

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