У меня есть набор элементов N , которые представляют собой наборы целых чисел, давайте предположим, что они упорядочены, и назовем их I[1..N] . Учитывая набор candidate , мне нужно найти подмножество I , которое имеет непустые пересечения с...

У меня есть две коллекции a и b . Я хотел бы вычислить набор элементов либо в a , либо в b , но не в обоих (логическое исключающее или). С LINQ я могу придумать следующее: IEnumerable<T> Delta<T>(IEnumerable<T> a,...

Задача: Для упорядоченного набора ребер E полного графа Kn по данному ребро Ei найти вершины ребра (v, w)_Ei. Примечание. Вероятно, это не проблема, специфичная для теории графов, хотя она была выбрана для выражения проблемы исключительно из-за...

Это подмножество вопроса, опубликованного здесь . Учитывая набор ведер объемом B={x1, x2, ..., xn} и набор флаконов с жидкостью объемом V={v1, v2, ..., vn } , как лучше всего доказать, что количество ведер можно заполнить содержимым флаконов,...

Высокий уровень Я пытаюсь свернуть общие подстроки в списке предложений и представить только те области, в которых они различаются. Итак, принимая это: Please don't kick any of the cats Please do kick any of the cats Please don't kick any of...

Я пытаюсь вернуть только родителя, где набор дочерних элементов содержит несколько определенных записей. Учитывая эту таблицу: Product State ------- ----- 111 AZ 111 CA 111 UT 222 AZ 222 WA 333 CA Я...

Задача Set-Cover состоит из следующего: Данный: Набор предметов У. Набор наборов S, каждый из которых содержит элементы из U. Найдите множество множеств C таких, что: C является...

Как я могу описать в Coq, что один набор Y является подмножеством другого набора X ? Я проверил следующее: Definition subset (Y X:Set) : Prop := forall y:Y, y:X. , пытаясь выразить, что если элемент y находится в Y , то y...

Это конструкция, с которой я сталкиваюсь довольно часто. Есть ли хороший способ сделать это в одну строку в Swift? Я мог бы просто написать для него расширение Sequence, но я чувствую, что есть «очевидная» техника теории функций/множеств более...