Informatica teorica order-theory

5

Generalizzazioni di ricerca binaria per poset?

Supponiamo che io abbia un poset "S" e un predicato monotonico "P" su S. Voglio trovare uno o tutti gli elementi massimi di S che soddisfano P. EDIT : Sono interessato a ridurre al minimo il numero di valutazioni di P . Quali algoritmi esistono per questo problema e quali …

28 ds.algorithms ds.data-structures partial-order order-theory search-problem

4

Applicazioni di strutture metriche su poseti / reticoli in teoria CS

Poiché il termine è sovraccarico, prima una breve definizione. Un poset è un set dotato di un ordine parziale . Dati due elementi , possiamo definire (join) come limite inferiore minimo in e allo stesso modo definire (meet) (join) come limite inferiore massimo.XXX≤≤\lea , b ∈ Xun',B∈Xa,b \in Xx ∨ …

17 reference-request co.combinatorics metrics lattice order-theory

3

Complessità di tipo topologico con posizioni vincolate

Mi viene dato come input un DAG di n vertici in cui ogni vertice x è inoltre etichettato con qualche S ( x ) ⊆ { 1 , ... , n } .GGGnnnxxxS(x)⊆{1,…,n}S(x)⊆{1,…,n}S(x) \subseteq \{1, \ldots, n\} Una specie topologica di è una biiezione f dai vertici di G a …

15 sorting directed-acyclic-graph partial-order matching order-theory

4

Peggior numero di domande necessarie per imparare un predicato monotonico su un poset

Considera un poset finito su elementi e un predicato monotonico sconosciuto su (cioè, per qualsiasi , , se e quindi ) . Posso valutare fornendo un nodo e scoprendo se valido o meno. Il mio obiettivo è determinare esattamente l'insieme dei nodi modo che valga, usando come poche valutazioni di(X,≤)(X,≤)(X, …

15 ds.algorithms lg.learning partial-order search-problem order-theory

2

Ordinamento topologico lessicografico di un DAG etichettato

Considera il problema in cui ci viene fornito come input un grafico aciclico diretto , una funzione di etichettatura da a qualche set con un ordine totale (ad esempio, i numeri interi) e dove ci viene chiesto per calcolare la specie topologica lessicograficamente più piccola di in termini di . …

13 cc.complexity-theory np-hardness sorting directed-acyclic-graph order-theory

1

Elementi minimi di un predicato monotonico sopra il powerset

Considera un predicato monotonico sopra il powerset 2 | n | (ordinato per inclusione). Per "monotonico" intendo: ∀ x , y ∈ 2 | n | tale che x ⊂ y , se P ( x ) quindi P ( y ) . Sto cercando un algoritmo per trovare tutti …

12 ds.algorithms ds.data-structures partial-order order-theory search-problem

1

Una domanda sulle estensioni lineari di ordini parziali

Se ti viene data una raccolta di ordini parziali, l'ordinamento topologico ti dirà se esiste un'estensione della raccolta a un ordine totale (un'estensione in questo caso è un ordine totale coerente con ciascuno degli ordini parziali). Ho riscontrato una variazione: Fissare un set . Ti vengono date sequenze σ 1 …

12 ds.algorithms reference-request order-theory

2

Determinare ciò che può essere ottenuto mediante una permutazione di elementi di un gruppo non comunicativo

Fissare un gruppo finito . Sono interessato al seguente problema decisionale: l'input sono alcuni elementi di G con un ordine parziale su di essi, e la domanda è se esiste una permutazione degli elementi che soddisfa l'ordine ed è tale che la composizione degli elementi in quella l'ordine produce l'elemento …

11 np-hardness sorting gr.group-theory partial-order order-theory

2

Problemi reticolari

C'è stato un bel po 'di lavoro sui problemi computazionali per gli ordini parziali (ad esempio, riconoscimento, numero di salto, riconoscimento del grafico di comparabilità, ecc ...). Sono curioso di sapere quale lavoro specifico per i reticoli sia stato svolto. Ho cercato in giro e non ho trovato lavori simili …

10 ds.algorithms reference-request graph-algorithms partial-order order-theory

Domande taggate «order-theory»