Fast computation of compact poset isomorphism certificates using position weights
AssigneeGeistiges Eigentum, Inc.
InventorJutta Eusterbrock
Life of this patent
Estimating the term…
Loading patent…
AssigneeGeistiges Eigentum, Inc.
InventorJutta Eusterbrock
Estimating the term…
Two methods and systems for fast construction of poset isomorphism certificates are provided. Posets (partially-ordered sets) generalize graphs. The invented certificates are number sequences such that two posets are isomorphic if and only if their corresponding certificates coincide. The first method yields the (Omicron,Iota) poset isomorphism certificate. The minimal Phi-isomorphism certificate can be constructed by partitioning vertices of the graphs into Phi-ranked symmetry clusters and constructing a topological Phi-vertex ranking. Thus, symmetries in posets are detectable at low cost. In addition, the Phi-vertex ranking and a poset isomorphism certificate provide a pair of separate one-dimensional keys for poset encoding. Data objects representable as posets, which are commonly used in automated design, safety and security applications, biocomputing, management of semi-structured data, and other fields, can be stored, analyzed, indexed, and accessed using the isomorphism certificates requiring much less storage and computation time.
A fast computer-implemented method for computing compact numerical (Omicron,Iota) isomorphism certificates for one or more poset-representable digital data objects D.sub.1, . . . D.sub.n with inherent poset structures P.sub.1, . . . P.sub.n, providing means for certifying isomorphism between two poset structures, if their corresponding (Omicron,Iota) certificates match, thus enabling structure-based access to complex and large data sets, as well as comparison, sorting and clustering thereof to be performed by efficient numerical operations on said certificates derived from and representing the data objects contained in these data sets, comprising successively for j=1, . . . n, the steps of:
Dependencies are inferred from the claim text.