tileability reachability lumpability linearizability assortativity algebraizability kernelizability connectance syndeticity bethe lattice