search

Brandon-Rozek / matmod

Matrix Model Generator for Implicative Connectives
2 stars 0 forks source link

Discard Order-Dependent Subalgebras #14

Open Brandon-Rozek opened 1 day ago

Brandon-Rozek commented 1 day ago

Two subalgebras X and Y are order-dependent iff there exists an x in X and a y in Y such that x <= y or y <= x

We can then throw out any order-dependent pairs

Brandon-Rozek commented 1 day ago

I'm not 100% confident that this will speed up the checker since it's a quadratic time check. Would be useful to perform some experiments comparing before and after.