大胃王比赛

高桥君参加大胃王比赛。比赛由 $N$ 人组成的团队为基本单位参赛，高桥君的队伍的队员从 $1 \sim N$ 编号。第 $i$ 名队员的消化代价为 $A_i$。

比赛有 $N$ 种不同的食物，第 $i$ 名队员负责吃第 $i$ 种食物。第$i$ 种食物的难吃程度为 $F_i$。 消化代价 $x$ 的队员吃完难吃程度 $y$ 的食物需要花费 $x \times y$ 秒。 整个队伍的成绩是 $N$ 名队员吃完食物花费时间的最大值。

比赛前，高桥君的队伍会进行修行。一次修行可以将一名消化代价大于 $0$ 的队员的消化代价减少 $1$。由于修行需要消耗庞大的食费，因此最多只能进行 $K$ 次修行。

通过适当选择每位队员修行的次数，高桥队在比赛中能够获得的最好成绩是多少？

请问这道题目在洛谷有没有原题，还是只是出题人用了个“高桥”的名字而已。

谢谢， 悬 $1$ 关，先到先得。