disjoint-union

0зной

1ответ

Получение максимального и минимального размера непересекающихся подмножеств

Я пишу код для выполнения Союз-Найти на графике, Первая строка ввода является: нм [п число узлов, и М представляет собой число ребер] Затем следует м линия, что указует на два узла, которые соединены

disjoint-sets disjoint-union 2016-06-07

---

4зной

1ответ

Являются ли конструкторы непересекающимися в Агда? (или как опровергнуть inj₁ x ≡ inj₂ y)

Мне нужна еще одна лемма, показывающая, что inj₁ x ≡ inj₂ y абсурден как часть более крупной теоремы о типах несвязных объединений (⊎) в Агда. Этот результат будет следовать непосредственно из двух ко

constructor agda theorem-proving disjoint-union 2015-01-31

---

0зной

1ответ

Сумма классов Python

Я хочу определить класс AorB, так что все A являются AorB, а все B - AorB, и все это AorB. Конечно, A и B должны быть подклассами AorB. Проблема в AorB.__init__, когда я не могу убедить себя, это долж

python python-3.x constructor subclass disjoint-union 2013-06-24

---

0зной

1ответ

Подключение непересекающихся множеств в 2D-массиве

Я пытаюсь создать случайную сетку с позициями, которые являются обходными и непереходными, и убедитесь, что существует путь от одной позиции перемещения к любой другой точке пересечения в одном из 4-х

algorithm grid path-finding disjoint-sets disjoint-union 2015-04-10

---

1зной

2ответ

В поисках правильного союза DST с сложностью обратного-эккермана

Я говорю о union-find-disjoint data structure. В Интернете есть несколько ресурсов о том, как это реализовать. До сих пор я узнал о двух методах оптимизации для профсоюзов. Первый - это «балансировка»

algorithm kruskals-algorithm union-find disjoint-union 2015-04-12

---

2зной

1ответ

Число переменных переменных Scala Либо

Есть ли в переменной библиотеке значение переменной scala Either, я имею в виду что-то аналогичное HList. Я не хочу реализовывать его самостоятельно :-)

scala disjoint-union 2013-05-21

---

0зной

1ответ

Связанные с тегами объединения в компиляторе замыкания

В настоящее время я сравниваю Google Closure Compiler и статический тип проверки Flow с точки зрения выразительности. Что мне нравится в последнем, так это то, что он, по-видимому, вполне может быть r

javascript types google-closure-compiler algebraic-data-types disjoint-union 2016-12-15

---

3зной

2ответ

Найдите число непересекающихся множеств

Для тех, кто не знаком с структурой данных с несвязанными наборами. https://en.wikipedia.org/wiki/Disjoint-set_data_structure Я пытаюсь найти нет. групп друзей из заданных наборов друзей и их отношени

c++ algorithm data-structures disjoint-sets disjoint-union 2015-06-17

---