Всем привет
вопрос касается не API и механизмов языка, а алгоритмов
вкратце формулировка у неё следующая: у нас есть два множества, между которыми есть отображение. Оно может быть инъективным и/или сюръективным. Нужно определить, возможно ли выделить из заданного множества связей подмножество, соответствующее биекции
если ближе к предметике, то первое множество - это актуальные значения, второе - ожидаемые. Порядок следования для обоих множеств значения не имеет. Для ожидаемых прописана операция, применив которую к актуальному мы получим булевское значение. Например, actual="abc" operation="endsWith" expected="c" выдаст true: actual является прообразом expected. И вот у нас есть два таких множества одинакового размера, и нам нужно установить, отображаются ли они друг в друга биективно. Единственный рабочий вариант, который пока у меня есть - это брутфорсить. Но не хотелось бы. Можно ли установить по каким-либо критериям возможность выделения биективного отображения без перебора всех возможных вариантов? (Например, критерий "каждый элемент обоих множеств должен иметь минимум одну связь" необходим, но недостаточен, а проверять, мапится ли каждый прообраз из actual на свой образ в expected - это уже брутфорс). Может быть, есть какие-то теоремы, опираясь на которые, можно построить алгоритм? С удовольствием бы почитал что-нибудь по этой теме
Спасибо