Публикации по теме 'set-theory'


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

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

Вопросы по теме 'set-theory'

Операция с базой данных, которую можно применять повторно и давать одинаковые результаты?
Я рисую пустой, или, как некоторые сказали бы, имею старший момент. Я знаю, что существует формальное определение и название концепции, согласно которой операция db (хранимая процедура), выполняемая в базе данных, будет давать одинаковые результаты...
2953 просмотров
schedule 08.10.2022

Как я могу реализовать класс бесконечного множества?
Я разрабатываю библиотеку классов для дискретной математики и не могу придумать, как реализовать бесконечный набор . Что у меня есть до сих пор: у меня есть абстрактный базовый класс Set, который реализует интерфейс ISet. Для конечных наборов я...
1171 просмотров
schedule 02.11.2022

Есть ли имя для этой операции набора/массива?
Учитывая входной массив [a,b,c,d,e] и функция "присоединиться" (a,b) => (a+b) мой код возвращает следующий массив массивов, содержащий все возможные варианты, полученные путем применения функции соединения к различным парам элементов...
367 просмотров
schedule 06.05.2023

Предварительное формирование теории множеств между столбцом xmltype и подзапросом
Я работаю с oracle db в устаревшем приложении и не могу придумать для него конкретный запрос. В основном у меня есть одна таблица T_Selected с числовым столбцом (первичный ключ) и столбцом xmltype. XML имеет формат <countries>...
190 просмотров
schedule 20.09.2022

Установить, а не перечислить в мире Лиспа?
В теории множеств у нас есть {x, y, z} , который совпадает с {z, y, x} , который совпадает с... {y, x, z} , {z, x, y} ... Теперь в Лиспе (Scheme и т. д.) список не допускает такого сопоставления. Порядок имеет значение. Вопрос: Существует ли в...
138 просмотров
schedule 05.06.2023

Как найти кратчайший путь, проходящий через группу множеств?
У меня есть алгоритмическая проблема, когда у меня есть несколько неупорядоченных наборов элементов, и мне нужно найти кратчайший путь (упорядоченная комбинация наборов), который проходит через все эти наборы. Наборов могут быть тысячи. Например,...
286 просмотров
schedule 21.04.2023

Отсутствие явного указания экземпляров типа в coq
Мне интересно попробовать свои силы в построении теории множеств с помощью Coq. Я хотел бы определить тип sets без указания его членов, а функцию, отображающую два набора в Prop Definition elem (s1 s1 : sets) : Prop. Затем я бы сформулировал...
31 просмотров
schedule 16.04.2023