On the number of term orders (Q1177866)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the number of term orders
scientific article

    Statements

    On the number of term orders (English)
    0 references
    0 references
    0 references
    0 references
    26 June 1992
    0 references
    An admissible order on a finite subset \(Q\subset\mathbb{Q}^ n\) is the restriction to \(Q\) of a linear order on the group \(\mathbb{Q}^ n\). Upper and lower bounds on the number \(\alpha(q)\) of admissible orders on a set \(Q\) are derived, e.g., \[ \alpha(Q)\leq {(\# Q)^{2^ n-2} \over 2^{n- 1}}, \] better estimates are found for special sets like hyperboxes. Algorithms which compute all admissible orders that extend a given binary relation on \(Q\) and their number are presented.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    term order
    0 references
    algorithms
    0 references
    separating hyperplane
    0 references
    Gröbner basis
    0 references
    hyperboxes
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references