"1. если в a не все элементы одинаковые, то подойдет перестановка массива a. 
2. получается, все элементы одинаковые, и равны x. если x - составное, то давайте x в нашем массиве заменим на a, b. таким образом, мы оставим нужное произведение. а что произойдет с суммой? несложно понять, что она не увеличится:
x=a*b, где a, b >= 2, значит a <= x/2, b <= x/2, значит a+b <= x. Тогда давайте добавим в получившийся массив единиц - произведение не изменится, а сумму добьем как надо.
А что, если элементы простые?
предположим, что p>2.
тогда массив такой: [p, p, ... p].чтобы сохранить произведение, все элементы должны быть степени p. Тогда, две p мы можем заменить на p*p, если p*p <= k. а будет ли от этого толк? давайте поймем, что при таком действии: p, p -> p^2 произведение не меняется, а сумма строго увеличивается, так как  p^2 > 2 * p. аналогично это невыгодно после:
p^i, p^j -> p^{i+j} невыгодно, так как p^{i+j} > p^i + p^j. 

(ну и еще есть действие добавить в массив нулевую степень p - но оно тоже не меняет произведение и строго увеличивает сумму). 

получается, что любое действие с массивом ,не меняющее произведение, строго увеличивает сумму, значит ответа нет. 

А что если p=2? Если n=1, то ответа очевидно нет. А если n>2, то можно заменить две двойки на 4, тем самым сохранив сумму и произведение.

"