Надо же так запутать простой вопрос Вместе с искаженными определениями симплексов и пр. Из-за коих даже трудно понять смысл задачи
Во-первых, "вершины" и "множества" тут абсолютно лишние
Все, что нужно, это матрица смежности графа 5х5, симметричная ессно.
И нужно найти множество таких матриц, графы которых не изоморфны, то бишь связь (пересечение) 1-2 это то же самое, что 3-4, если нет других "пересечений"
Формально это отсутствие перестановочной матрицы.
Все остальное от лукавого. Миллионы там случайных чисел и пр. Это большая атомная бомба супротив воробьев.
Число таких матриц вместе с дубликатами 210 и нечего генерировать процессорное тепло на численные извращения выше.
Надо только убрать дубликаты.
Может их останется 70, может еще сколько, но это уже не математика для чайников, а личная прихоть одного конкретного человека, который устроил культ Иеговы из числа 5
Надо же так запутать простой вопрос Вместе с искаженными определениями симплексов и пр. Из-за коих даже трудно понять смысл задачи
Владимирович, для непонятливых я сформулировал задачу по-другому.
сам-пят wrote:
Если исходные множества составляют покрытие некоторого множества, а именно их объединения, то в топологии подобный симплициальный комплекс называется нервом покрытия. Это понятие, совершенно шикарное, ввел П.С. Александров в 1928 г. (см. Вики). Таким образом, в предыдущем посте спрашивается о числе нервных типов покрытия из 5 множеств?
Пока это только "сотрясение воздуха". Дальше-то что?
Сотрясение воздуха это миллионы тестов со случайными числами и размахивание "комплексами"
Даже самый тупой путь и то эффективнее - нужно каждую матрицу из этих 210 проверить на изоморфизм с другими графами (Это даже гораздо меньше, чем миллион.) той же суммы единиц.
На эту тему (изоморфизма) есть отдельные статьи, нужно лишь их почитать.
Результат по крайней мере будет точный, а не статистическая оценка в духе великого Гайдара
сли исходные множества составляют покрытие некоторого множества, а именно их объединения, то в топологии подобный симплициальный комплекс называется нервом покрытия.
Это совершенно излишнее. Смысл имеет лишь сам факт пересечения множеств в оригинальной формулировке от самоеда.
Есть пересечение - ставим 1 в матрице, нету, ставим 0. Все
Есть пересечение - ставим 1 в матрице, нету, ставим 0. Все
Нет, не всё. Скажем, три множества пересекаются только попарно - это одно, а пересекаются все вместе - это другое. А у вас получается, что одно и то же.
Нет, не всё. Скажем, три множества пересекаются только попарно - это одно, а пересекаются все вместе - это другое. А у вас получается, что одно и то же.
А, ну если надо еще и это различать... Тщательнее пишите условия и критерии различия.
Значит на каждый случай надо заводить еще одно множество - пересечения этих трех и увеличивать матрицу на 1.
Я не буду задавать более вопросов.
Все, что связано с миллионными подсчетами в дальнейшем отсюда будет снесено в другие темы. Это извращения, а не математика
А, ну если надо еще и это различать... Тщательнее пишите условия и критерии различия.
Значит на каждый случай надо заводить еще одно множество - пересечения этих трех и увеличивать матрицу на 1.
Владимирович, да вы попросту не поняли, что такое нерв покрытия. Это не "еще одно множество", а главное. И матрица попарных пересечений здесь не очень при чем, поскольку одной и той же матрице могут соответствовать различные типы нервов, а одному типу невров - различные матрицы, притом разное их количество в обе стороны. Да, есть такое понятие граф пересечений, но это не про нервы, это далеко не одно и то же. Это одно и то же только в случае, когда комплекс состоит из одних вершин и ребер, а фигур (симплексов), из них составленных, двумерных или многомерных, не содержит ни одной, такое возможно. И если уж увеличивать матрицу, то не на 1, а на две единицы или даже на три.
Vladimirovich wrote:
Все, что связано с миллионными подсчетами в дальнейшем отсюда будет снесено в другие темы. Это извращения, а не математика
Вы же сами, дорогой Владимирович, пошутили про "циркуль и линейку". Вот я вам и показал, как воспользоваться здесь их современной версией под названием компьютер. Изначально не предполагалось, что это алгоритмическая задачка. Пожалуйста, решите ее аналитически, "математически", как вы выражаетесь. Вы же не захотели (на самом деле просто ничего не поняли). А когда я предложил экспериментальное, "миллионное" решение, то вы еще и окрысились. Нехорошо.
Владимирович, да вы попросту не поняли, что такое нерв покрытия.
Я не виноват, что Вы не умеете ставить задачи. Симплекс это совсем не то, что Вы придумали, а значит и связь с симплициальными комплексами под большим вопросом
Если бы Вы действительно разбирались в топологии, то не занимались бы перекладыванием чиселок из пустого в порожнее сам-пят wrote:
Вы же сами, дорогой Владимирович, пошутили про "циркуль и линейку". Вот я вам и показал, как воспользоваться здесь их современной версией под названием компьютер.
А с чего Вы решили, что правильно умеете отличать эти самые "комплексы"? Почему я должен верить на слово, что они изоморфны? сам-пят wrote:
Пожалуйста, решите ее аналитически, "математически", как вы выражаетесь. Вы же не захотели (на самом деле просто ничего не поняли). А когда я предложил экспериментальное, "миллионное" решение, то вы еще и окрысились. Нехорошо.
А гипотезу Римана Вам тут не доказать?
Повторяю, темы для Чайников были созданы для интересных задачек, причем предполагается, что они имеют некое аналитическое решение, желательное изящное.
А вот когда приходит некто и выдает за задачку свои численные манипуляциии, причем и сам ответа не знает, то это совсем другое и прежмет не этой темы
Warning: Spoiler![ Click to expand ][ Click to hide ]
Вот вы, Владимирович, пишете, что я не разбираюсь в топологии. А между тем, хоть это ничего и не доказывает, у меня есть даже 3-томник трудов П.С. Александрова, изданный в твердом переплете (не говоря уже о 3-томнике Пуанкаре), о котором вы (о 3-томнике), наверняка, даже и не слыхали.
кто такие пересекаемые события, каков метафизический смысл ихний?
Вспомни, что такое событие и что такое (не)зависимые события в теории вероятностей. В этом смысле нерв есть совокупность событий разной степени зависимости друг от друга и от друзей, и эту степень можно описать его эйлеровой характеристикой. Вот как она распределена по результатам эксперимента (n = 25), 5-минутного на моем ПК.
Знаешь, чему соответствует крайнее, самое редкое значение, Eiler = -5? Оно соответствует тому, что все пять событий зависимы попарно и никак больше! Другое же крайнее значение, Eiler = 5, соответствует тому, что все события независимы - всего один раз из 5 миллионов испытаний! - или (82 раза) зависимы только по три, а значит, и по два. Самый большой вклад в Eiler = 1 вносит тот наиболее частый случай, когда все события взаимозависимы (5-вершинный симплекс).
А вот как эйлерова характеристика нерва распределена по результатам другого эксперимента (n = 100), 15-минутного на моем ПК.
Крайние значения и среднее значение соответствуют тому же самому. Правда, чисто независимые события встречаются не один, а 10 раз.
Общий вывод, по-моему, в целом удивителен: так или иначе, но события практически всегда взаимозависимы, а тот аксиоматический случай, когда ни одно событие не зависит от другого, встречается крайне редко.
P.S. Устранил опечаточку при подсчете среднего значения, mid.
Общий вывод, по-моему, в целом удивителен: так или иначе, но события практически всегда взаимозависимы, а тот аксиоматический случай, когда ни одно событие не зависит от другого, встречается крайне редко.
Ну тогда так, хотя я подозреваю, что это эквивалент решения через тангенсы.
Пусть A, B и C не только углы, но и вершины квадратов. Продолжим обозначения вершин против часовой стрелки – D, E, F, G, H.
Пусть M и N точки пересечения отрезка FC с отрезками AE и BE соответсвенно. Тогда угол A равен углу MEF, а угол B – углу NEF. Также угол C равен сумме углов CEN и NEF. Осталось показать, что углы CEN и MEF равны. Для этого опустим высоту из точки N на CE (точка P). Очевидно, что |CP|=|NP|. Чуть менее очевидно, что |PE|=3*|CP| (опустить на CE еще и высоту из точки F). Следовательно треугольники NPE и MEF подобны, а в результате C=A+B.