Say I hand you two finite posets P,QP,Q. Is there an algorithm which allows you to decide whether or not the suspensions are weak homotopy equivalent? For definiteness, you can take the suspension to ...