NP-completeness conjecture for APUD(k,m) recognition
APUD recognition conjecture. Recognition of APUD(k,m)\mathrm{APUD}(k,m)APUD(k,m) is NP-complete.