Implication-Basis

Files Info

1. main.cpp - Parallel runner for computing Canonical Basis
2. lib - Library for computing canonicalc basis
3. toCXT.cpp - Code to convert a Context in the format accepted by main.cpp to the cxt format
4. fromCXT.cpp - Code to convert a Context in cxt format to the format accepted by main.cpp
5. StandardDS - Contains some real-world contexts
6. StandardDSCXT - Contains some real-world contexts in cxt format
7. ArtificialDS - Contains some artificial contexts
8. ArtificialDSCXT - Contains some artificial contexts in cxt format

Usage

main.cpp

• Compilation:
• • make derictory for cmake (recommend: ./build, you can use your own)
• • cmake path/to/source
• • make
• Running:
• • build/algo.out <path/to/context.txt> <Epsilon> <Delta> <strong/weak> <uniform/frequent/area-based/squared-frequency> <number of threads> none <print-format:csv/csv-with-header/readable>
• • Example:
• • build/algo.out datasets/StandardDS/mushroom.txt 0.01 0.1 weak uniform 40 none readable
• You can also use python script runner.py to run for every dataset in folder, every distribution and store result into file
• • python3 runner.py build/algo.out <path/to/context.txt> <path/to/output/file.csv> <Epsilon> <Delta> <number of threads>
• • Example:
• • python3 runner.py build/algo.out datasets/StandardDS out.csv 0.1 0.1 8

toCXT.cpp

• Compilation - g++ -o toCXT toCXT.cpp
• Running - ./toCXT <Input> > <Output>

fromCXT.cpp

• Compilation - g++ -o fromCXT fromCXT.cpp
• Running - ./fromCXT < <Input> > <Output>