AlgebraicJulia / AlgebraicJulia/AlgebraicDynamics.jl

CTLNs: Recursive Match Implementation of Cover Exploitation

Offen
#148 1 Kommentar 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen
CTLN
Vorherrschende Sprache
Jupyter Notebook
Sterne
80
Forks
14
PR-Merge-Kennzahlen
Keine gemergten PRs in 30 T.

Beschreibung

We need a recursive `@match` algorithm that evaluates the sheaf algorithm on the tree that is the gluing rule.

```julia
FP(gr::GluingRule) = @match gr
CompleteGraph(n) => [1:n]
DiscreteGraph(n) => powerset(1:n)
CycleGraph(n) => [1:n]
Terminal(g) => brute_force(g)
CliqueUnion(gs) => [...]
DisjointUnion(gs) => [...]
CycleUnion(gs) => [...]
end
```

All of the [...] cases involve recursing with FP and merging the results.

_Originally posted by @jpfairbanks in https://github.com/AlgebraicJulia/AlgebraicDynamics.jl/pull/147#discussion_r2379674431_

Beitragsleitfaden

Für dieses Repository ist kein Beitragsleitfaden indexiert

Bewertung

Dieses Issue wurde noch nicht bewertet.

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.