Preguntas etiquetadas con order-theory

Supongamos que tengo un poset "S" y un predicado monótono "P" en S. Quiero encontrar uno o todos los elementos máximos de S que satisfagan a P. EDITAR : Estoy interesado en minimizar el número de evaluaciones de P . ¿Qué algoritmos existen para este problema y qué propiedades y …

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

Dado que el término está sobrecargado, primero una breve definición. Un poset es un conjunto XXX dotado de un orden parcial ≤≤\le . Dados dos elementos a,b∈Xa,b∈Xa,b \in X , podemos definir x∨yx∨yx \vee y (unión) como su límite superior mínimo en XXX , y definir de manera similar x∧yx∧yx …

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

Se me da como entrada un DAG de vértices donde cada vértice se etiqueta adicionalmente con algo de .n x S ( x ) ⊆ { 1 , … , n }GGGnnnxxxS(x)⊆{1,…,n}S(x)⊆{1,…,n}S(x) \subseteq \{1, \ldots, n\} Un tipo topológico de es una biyección desde los vértices de a tal que …

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

Considere un poset finito sobre elementos, y un predicado monotónico desconocido sobre (es decir, para cualquier , , si y luego ) . Puedo evaluar proporcionando un nodo y descubriendo si P (x) se mantiene o no. Mi objetivo es determinar exactamente el conjunto de nodos x \ en X …

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

Considere el problema en el que se nos da como entrada un gráfico acíclico dirigido G=(V,E)G=(V,E)G = (V, E) , una función de etiquetado λλ\lambda de VVV a algún conjunto LLL con un orden total &lt;L&lt;L<_L (por ejemplo, los enteros), y donde se nos pide calcule el tipo topológico lexicográficamente …

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

Considere un predicado monótono sobre el conjunto de potencia 2 | n | (ordenado por inclusión). Por "monotónico" quiero decir: ∀ x , y ∈ 2 | n | tal que x ⊂ y , si P ( x ) entonces P ( y ) . Estoy buscando un algoritmo …

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

Si le dan una colección de órdenes parciales, la clasificación topológica le dirá si hay una extensión de la colección a una orden total (una extensión en este caso es una orden total consistente con cada una de las órdenes parciales). Me he encontrado con una variación: Fijar un conjunto …

12 ds.algorithms  reference-request  order-theory 

Fijar un grupo finito . Estoy interesado en el siguiente problema de decisión: la entrada son algunos elementos de G con un orden parcial sobre ellos, y la pregunta es si hay una permutación de los elementos que satisface el orden y es tal que la composición de los elementos …

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

Se ha trabajado bastante en problemas computacionales para órdenes parciales (por ejemplo, reconocimiento, número de salto, reconocimiento de gráficos de comparabilidad, etc.). Tengo curiosidad por saber qué trabajo específico a las redes se ha realizado. He buscado alrededor y no he encontrado mucho trabajo similar para las redes. En particular, …

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

El teorema del punto de fijación de Tarski establece que los puntos de fijación de un operador monótono en una red completa es una red completa. Como consecuencia, tenemos un punto de fijación máximo único y un punto de fijación mínimo único para un operador monótono en una red completa. …

8 algebra  lattice  order-theory