Verify Correctness & Improve Efficiency of Implication/Concepts Calculation

fcatools / conexp-ng

ConExp-NG is a simple GUI-centric tool for the study & research of Formal Concept Analysis (FCA) that allows you to create formal contexts, draw concept lattices and explore dependencies between attributes.

https://github.com/fcatools/conexp-ng/wiki

GNU General Public License v3.0

29 stars 8 forks source link

Verify Correctness & Improve Efficiency of Implication/Concepts Calculation #132

Closed eugenkiss closed 10 years ago

eugenkiss commented 11 years ago

From Dmitry Ilvovsky's mail:

Calculating implicational base and concepts in the case of "jaeshke.cex" takes extremely long time. I was not be able to finish it. But the program does not catch any exceptions, it works properly. Some problems with my laptop efficiency, maybe?

In addition, I think I remember David saying that there might a problem/bug with respect to the calculation of the concepts.

DavidBormann commented 11 years ago

about the implications: I stopped the original conexp after 10 hours without a result, so I think it's okay, if we can't calculate them faster...

but I get the concepts after one minute...

In addition, I think I remember David saying that there might a problem/bug with respect to the calculation of the concepts.

sometimes only the upper half of the concept lattice is computed

blu2lz commented 10 years ago

The original issue (slow calculation) seems to be invalid. The second issue can not be reproduced. If it is still a problem try to open a new issue with clear information on when it is happening and maybe a screenshot to have an idea of it.