absal-ex icon indicating copy to clipboard operation
absal-ex copied to clipboard

Equivalence with the original paper?

Open bollu opened this issue 5 years ago • 1 comments

Hello,

I stumbled across this, and this is very cool! I'm still working through Lamping's original paper right now. My impression is that the original paper has many more cases than the 2 you list here --- can you please explain how these two rules suffice, and why the original paper has so many more rules than this implementation?

Thanks a lot ~Siddharth

bollu avatar Feb 24 '20 13:02 bollu

I also found this repository by chance and asked myself the same question. :-)

The README.md mentions "Absal" (which seems to stand for "abstract algorithm"), but does not link to the relevant repository: https://github.com/VictorTaelin/abstract-algorithm

There, it is stated that: "this algorithm isn't complete". So it does not solve the same problem as Lampings original algorithm in the same generality.

MatthiasHu avatar May 11 '22 15:05 MatthiasHu