Subgraph Isomorphism, ILP, and Lattices: A Linear Algebraic Framework | Hacker News Reader