acyclic deltalambda lugaut U0 subseteq problem Asubset vertices bigcup FQund2 coequalizer subsequence subgraph isomorphism magdalenae topological hQundk ilde satisfiability Asn Besicovitch YQundi hamiltonian 0208