Minimal NFA problems are hard (extended abstract)