Before revision:  Based on this model, we formally define the problem of network evolution (NE) and subsequently prove it to be fundamentally hard  by means of reduction from the Knapsack problem (KP).
After revision:  Based on this model, we formally define the problem of network evolution (NE) is defined formally as an optimization problem and subsequently proven to be fundamentally hard by means of reduction from the Knapsack problem (KP).