Input domain modeling using Grobner bases and Lie-algebraic resolutions and implications for P vs NP - Shrohan Mohapatra (2020)