I understand that the general way we show a problem A is in NP is to show there exists a poly-time certifier for A. However, I am confused if say, we know nothing about A, and it reduces to an NP-Complete problem B, can we now say that A is in NP?
I understand that all problems in NP reduce to any NP-Complete problems, but I'm not sure if this will prove anything. I also understand to show a problem is NP-Complete, we first show it's in NP with a poly-time verifier/certificate and then reduce an NP-Complete problem to it. But confused about this other scenario:
Let A be an unknown problem. Let B be a known problem in NP-Complete. A reduces to B What does this tell us about A?