7

Sto cercando un formalismo matematico per una struttura dati con cui sto lavorando, in modo da poter rintracciare teoremi e algoritmi rilevanti.Esiste un formalismo per questa struttura dati?

Supponiamo di avere il seguente:

  • Un grafico aciclico di argomenti diretto.
  • A ogni argomento, esistono una o più relazioni tra l'argomento, gli elementi in un set di documenti e gli elementi in un gruppo di gruppi.
  • I gruppi possono essere un set semplice o possono finire come DAG. Sono utilizzati per gestire la visibilità dell'associazione di un documento con un argomento.

Solo recentemente ho trovato hypergraphs, che sembrano rilevanti ma troppo generali. C'è un formalismo per questa struttura dati? In caso negativo, può essere descritto più sinteticamente in termini matematici?

+0

Non capisco davvero cosa intendi. Cosa significano i bordi del DAG dell'argomento? Che cosa ha a che fare con documenti o articoli, set e gruppi (di cosa?)? Penso che il modo migliore per spiegarlo sarebbe un esempio. Inoltre, perché stai cercando teoremi? Che tipo di problemi stai avendo? – svick

+0

@svick, sto usando un bordo da un argomento a un altro per modellare "è un argomento secondario". Quindi "fisica" è un sottotesto di "scienza", e c'è una freccia da "scienza" a "fisica". Ma questo dettaglio non dovrebbe avere importanza per lo scopo della domanda. –

+0

Mi piacerebbe impostare le intersezioni sui documenti associati agli ideali e ai filtri di determinati argomenti nel DAG, filtrati da un gruppo specifico di gruppi. La ragione per cui ho bisogno di teoremi e algoritmi è che lavorare con un DAG genera alcuni problemi di memoria e spazio, e lavorare con più di un DAG rende i vincoli ancora più sottili. –

risposta

Problemi correlati