Algorithms for Greechie Diagrams (CROSBI ID 89336)
Prilog u časopisu | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
McKay, Brendan D. ; Megill, Norman D. ; Pavičić, Mladen
engleski
Algorithms for Greechie Diagrams
We give a new algorithm for generating Greechie diagrams with arbitrary chosen number of atoms or blocks (with 2, 3, 4, ... atoms) and provide a computer program for generating the diagrams. The results show that the previous algorithm does not produce every diagram and that it is at least 10^5 times slower. We also provide an algorithm and programs for checking of Greechie diagram passage by equations defining varieties of orthomodular lattices and give examples from Hilbert lattices. At the end we discuss some additional characteristics of Greechie diagrams.
orthomodular lattices; Greechie diagrams; exhaustive combinatorial generation; Hilbert space equations
Our original title "Isomorph-Free Exhaustive Generation of Greechie Diagrams and Automated Checking of Their Passage by Orthomodular Lattice Equations, " which appears in the ArXiv files, has been eventually changed into "Algorithms for Greechie Diagrams" by the editor of the International Journal of Theoretical Physics.
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano