Talk:Simplicial complex recognition problem