Query regarding the structure of Graph over All (known/unknown) NPC Problems?

Let us consider the set of all NPComplete problems. Since every problem in the set is Reducible to/from at least one known NPComplete problem, lets create a directed Graph with the following conventions:

1. If a problem B is Reducible from Problem A, create an edge from A to B. We assume an oracle who knows all possible reductions who creates the edges.

Here are a few questions regarding the Graph.

Q1. Is the graph strongly connected (i.e. every problem in the Graph is reachable from or reducible from every other problem for every instance?

Guess: I presume the answer is yes.

Q2. For any two problems (say A, B), no matter what the distance b/w them is, there is guaranteed at most Polynomial Blowup in problem size when we reduce, from A to B?

Guess: Unsure. For any problem P, if we reduce from one of its neighboring problem, there is polynomial increase or decrease in space. But, not sure if it holds if the problems are arbitrarily large distance apart. The definition of NPC, needs one single reduction in Polynomial time, but space analogue of reduction for All NPC Problem pairs seems out of reach.

• Think about the definition of NP-complete. ​ ​ – user12859 Aug 22 '16 at 9:06
• Q2. The definition states that for an NPC Problem p, all problems can be reduced into it in Polynomial time. So, the blowup on the size of problem would thus be only polynomial (correct me if i am wrong)? But, if that is the case then for any NPC problem (in theory) could be transformed into say Knapsack Problem (or something similar) and we can get a good approximation using an FPTAS Algorithm and convert the approximation back to the Orignial Problem. Hence, every NPC problem is in FPTAS. Which includes Strong NPC. But, strong NPC have FPTAS iff P=NP. Hence, P=NP ?! what am i missing. – TheoryQuest1 Aug 22 '16 at 9:26
• There's 2 independent points here: ​ ​ ​ It's not "all problems" that "can be reduced into it in Polynomial time." ​ Unless we were just talking about approximation problems or specify otherwise, reductions do not need to be approximation-preserving. ​ ​ ​ ​ ​ ​ ​ ​ – user12859 Aug 22 '16 at 9:32
• ("all NP problems can be reduced into it in Polynomial time" is the definition of NP-hard, not NPC.) ​ Let A be subset sum and let B be circuit-SAT, where the value of an assignment is [if it satisfies the circuit then the circuit's size else zero]. ​ ​ ​ ​ – user12859 Aug 22 '16 at 10:02
• – adrianN Aug 22 '16 at 10:05

2. By the above, the distance between any two problems is 1. But, even if you follow a longer path of $k$ reductions, where the $i$th has polynomial blow-up $p_i$, the total blow-up for an input of size $n$ is $p_k(p_{k-1}(\cdots p_1(n)\cdots))$, which is still a polynomial.