Oℕ
но двудольный граф - это куча рёбер
Size: a a a
2020 February 21
Oℕ
что там такого невыразимого
Oℕ
скорее всего. ты читал какую-то фигню
KS
https://github.com/manatki/derevo/pull/97/files#diff-c5261f09ab9d409f9b2efc866a1de000R73
как ты там с Борисом общаешься?
надеюсь, хорошо
нужно уговорить его поревьювить
как ты там с Борисом общаешься?
надеюсь, хорошо
нужно уговорить его поревьювить
Boris мы хорошо общаемся? нужно тебя уговорить поревьювить
NV
Обычный
Двудольный граф
Graph[Node] = (Set[Node], Set[(Node, Node)])Двудольный граф
Graph[A, B] = (Set[A], Set[B], Set[(A, B)])NV
в чем проблема
NV
подошел, уверенно взял
ΛВ
Обычный
Двудольный граф
Graph[Node] = (Set[Node], Set[(Node, Node)])Двудольный граф
Graph[A, B] = (Set[A], Set[B], Set[(A, B)])Ну такое я тоже придумал, но тут нет никаких гарантий, что я запихнул консистентные данные внутрь. Например что для каждого ребра есть вершина
NV
Ну такое я тоже придумал, но тут нет никаких гарантий, что я запихнул консистентные данные внутрь. Например что для каждого ребра есть вершина
покажи мне такие гарантии для обычного графа тогда
Oℕ
Ну такое я тоже придумал, но тут нет никаких гарантий, что я запихнул консистентные данные внутрь. Например что для каждого ребра есть вершина
На идрисе можно такие гарантии дать
ΛВ
покажи мне такие гарантии для обычного графа тогда
для графа тоже не могу, а для деревьев можно, в ТФ докладе олега было например
K
но двудольный граф - это куча рёбер
Как у адама?
Oℕ
для графа тоже не могу, а для деревьев можно, в ТФ докладе олега было например
Понятно, о чём ты
Oℕ
для графа тоже не могу, а для деревьев можно, в ТФ докладе олега было например
Тогда двудольный граф тоже можно задать в том же смысле, в котором дерево рекурсивным типом
B
https://github.com/manatki/derevo/pull/97/files#diff-c5261f09ab9d409f9b2efc866a1de000R73
как ты там с Борисом общаешься?
надеюсь, хорошо
нужно уговорить его поревьювить
как ты там с Борисом общаешься?
надеюсь, хорошо
нужно уговорить его поревьювить
наркоман что ли
Oℕ
case class Anton(vs: List[Eval[Voice]])
case class Voice(as: List[Eval[Anton]])
Oℕ
Boris
наркоман что ли
не оч понял
NV
case class Anton(vs: List[Eval[Voice]])
case class Voice(as: List[Eval[Anton]])
это типа кодата такая?
Oℕ
это типа кодата такая?
можно без этих умных слов
NV
можно без этих умных слов
а как оно называется?