Запитання з тегом «sets»

EDIT: Зараз я задав подібне запитання про різницю між категоріями та наборами. Кожен раз, коли я читаю про теорію типів (яка, правда, досить неформальна), я не можу реально зрозуміти, чим вона відрізняється від теорії множин, конкретно . Я розумію, що між висловлюванням "х належить множина X" і "x належить до …

33 type-theory  sets 

Моя мама проходить курс онлайн для того, щоб бути бібліотекою свого роду, в цьому курсі вони охоплюють булеві пошуки, щоб вони могли ефективно шукати бази даних, однак у неї з'явилося запитання, яке звучить приблизно так: Пошук "x АБО" призведе до 105 000 звернень, тоді як пошук лише x призведе до …

29 sets  counting 

Назва зазначає питання. У якості вхідних даних у нас є список елементів, які ми можемо порівняти (визначити, який найбільший ). Жоден елемент не може бути рівним. Ключові моменти: Порівняння не є транзитивним (подумайте ножиці з паперової папери): це може бути правдою: A> B, B> C, C> A (зауважте, що це …

21 algorithms  time-complexity  sets  transitivity 

Чи є структура даних, яка підтримує набір (з кінцевим набором наземних), що підтримує наступні операції? Буде оцінено будь-який підлінійний час роботи? Запустіть порожній набір. Додайте елемент до набору. Дано два набори, повідомте, чи перетинаються вони.

21 data-structures  sets 

Уточнення розділів - це техніка, в якій ви починаєте з кінцевого набору об'єктів і поступово розділяєте набір. Деякі проблеми, як мінімізація DFA, можна вирішити за допомогою доопрацювання розділів досить ефективно. Я не знаю жодних інших проблем, які зазвичай вирішуються за допомогою уточнення розділів, окрім перелічених на сторінці Вікіпедії. З усіх …

20 algorithms  reference-request  data-structures  partitions  sets 

З огляду на безліч множин, я хотів би знайти безліч M таке , що кожне безліч S в S містить , щонайменше , один елемент з М . Я також хотів би, щоб M містив якомога менше елементів, але все-таки відповідав цьому критерію, хоча може існувати більше одного найменшого М …

15 algorithms  optimization  sets 

У мене є алгоритмічна проблема. Дано масив (або набір) з n неотримних цілих чисел. Знайдіть максимальний набір S з T таким, що для всіх a ∈ S , a ⩾ | S | .TTTnnnSSSTTTa∈Sa∈Sa\in Sa⩾|S|a⩾|S|a\geqslant |S| Наприклад: Якщо = [1, 3, 4, 1, 3, 6], то S може бути [3, …

14 algorithms  optimization  sets 

У мене є два великих наборів цілих чисел AAA і BBB . Кожен набір містить близько мільйона записів, і кожен запис - це натуральне число, яке становить не більше 10 цифр. Який найкращий алгоритм для обчислення A∖BA∖BA\setminus B і B∖AB∖AB\setminus A ? Іншими словами, як я можу ефективно обчислити список …

14 algorithms  data-structures  sets 

Скажімо, у нас 10 чоловік, кожна зі списком улюблених книг. Для даної людини X я хотів би знайти спеціальний підмножину книг X, що подобається тільки X, тобто немає іншої людини, яка б любила всі книги в спеціальному підмножині X. Я вважаю цей спеціальний підмножина як унікальний «відбиток» для X. Я …

11 algorithms  sets 

У цьому запитанні я запитав, в чому різниця між набором і типом . Ці відповіді були дійсно уточнюючими (наприклад, @AndrejBauer), тому в своїй спразі до знань я піддаюся спокусі запитати те саме про категорії: Кожен раз, коли я читаю про теорію категорій (яка, правда, досить неформальна), я не можу реально …

11 sets  category-theory 

Існують ефективні структури даних для представлення заданих розділів. Ці структури даних мають хороші часові складності для таких операцій, як Union та Find, але вони не є особливо економічними. Який просторовий спосіб представити розділ набору? Ось одна з можливих вихідних точок: Я знаю, що кількість розділів набору з елементами - , …

11 data-structures  combinatorics  space-complexity  sets  partitions 

Мені потрібно знати, під яким класом CFL закритий, тобто який набір є доповненням до CFL. Я знаю, що CFL не закривається під комплементом, і я знаю, що P закритий під комплементом. Оскільки CFL PI може сказати, що доповнення CFL включено в P (так?) Все ще залишається питання, чи є доповненням …

11 complexity-theory  formal-languages  context-free  closure-properties  sets 

Я шукаю реалізацію заданого типу даних. Тобто ми повинні підтримувати динамічну підмножину (розміром ) з Всесвіту U = \ {0, 1, 2, 3, \ крапки, u - 1 \} розміром u зSSSnnnU={0,1,2,3,…,u–1}U={0,1,2,3,…,u–1}U = \{0, 1, 2, 3, \dots , u – 1\}uuu операції insert(x)(додавання елемента xдо SSS ) та find(x)(перевірка, …

9 data-structures  efficiency  space-complexity  sets  dictionaries