Szukam formalizmu matematycznego dla struktury danych, z którą pracuję, dzięki czemu mogę wyśledzić odpowiednie twierdzenia i algorytmy.Czy istnieje formalizm dla tej struktury danych?
Załóżmy, że masz następujące elementy:
- skierowany graf acykliczny tematów.
- W każdym temacie występuje jedno lub więcej relacji między tematem, elementami w zbiorze dokumentów i pozycjami w zbiorze grup.
- Grupy mogą być zbiorem prostym lub mogą się kończyć jako DAG. Służą do zarządzania widocznością powiązania dokumentu z tematem.
Dopiero niedawno natknąłem się na hypergraphs, które wydają się trafne, ale zbyt ogólne. Czy istnieje formalizm dla tej struktury danych? Jeśli nie, czy można go opisać bardziej zwięźle w kategoriach matematycznych?
Nie bardzo rozumiem, co masz na myśli. Co oznaczają krawędzie w DAG tematu? Co to ma wspólnego z dokumentem lub elementami, zestawami i grupami (co?)? Myślę, że najlepszym sposobem wyjaśnienia tego byłby przykład. Dlaczego szukasz twierdzeń? Jakie masz problemy? – svick
@ Sick, używam krawędzi od jednego tematu do drugiego do modelu "jest podtematem". Tak więc "fizyka" jest podtematem "nauki", a istnieje strzała od "nauki" do "fizyki". Ale ten szczegół nie powinien mieć znaczenia dla celu pytania. –
Chciałbym ustawić skrzyżowania dokumentów związanych z ideałami i filtrami zadanych tematów w DAG, przefiltrowanych przez określony zestaw grup. Powód, dla którego potrzebuję twierdzeń i algorytmów, polega na tym, że praca z DAG prowadzi do pewnych trudnych ograniczeń przestrzeni i pamięci, a praca z więcej niż DAG sprawia, że ograniczenia są jeszcze bardziej subtelne. –