This question can be classified as “theoretical computer science”. Sorry if this is the wrong place to ask, I warmly encourage you to suggest me more appropriate places.