Questions tagged [partial-order]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
2
votes
1answer
169 views

Is there an efficient method to store large DAGs?

I have a DAG representing strict partial order where each node is an assignment of variables $V$ to their values $v$. Each arc $(u,w)$ represents a change in one variable value such that $u\succ w$. ...
1
vote
2answers
213 views

Are these two relations on integers partial orders?

Are the following relations $R_1$ and $R_2$ defined on the set $\mathbb{Z}$ of integers partial orders? (A partial order is reflexive, antisymmetric and transitive.) $a$ $R_1$ $b$ if and only if $a = ...
3
votes
2answers
284 views

Given many partial orders, check them for consistency and report any that are not consistent

Inputs. I am given a finite set $S$ of symbols. I know there should exist some total order $<$ on $S$, but I'm not given this ordering and it could be anything. I am also given a collection of ...

1
2