When Kefa came to the restaurant and sat at a table, the waiter immediately brought him the menu. There were n dishes. Kefa knows that he needs exactly m dishes. But at that, he doesn’t want to order the same dish twice to taste as many dishes as possible.
Kefa knows that the i-th dish gives him ai units of satisfaction. But some dishes do not go well together and some dishes go very well together. Kefa set to himself k rules of eating food of the following type — if he eats dish x exactly before dish y (there should be no other dishes between x and y), then his satisfaction level raises by c.
Of course, our parrot wants to get some maximal possible satisfaction from going to the restaurant. Help him in this hard task!
Input
The first line of the input contains three space-separated numbers, n, m and k (1 ≤ m ≤ n ≤ 18, 0 ≤ k ≤ n * (n - 1)) — the number of dishes on the menu, the number of portions Kefa needs to eat to get full and the number of eating rules.
The second line contains n space-separated numbers ai, (0 ≤ ai ≤ 109) — the satisfaction he gets from the i-th dish.
Next k lines contain the rules. The i-th rule is described by the three numbers xi, yi and ci (1 ≤ xi, yi ≤ n, 0 ≤ ci ≤ 109). That means that if you eat dish xi right before dish yi, then the Kefa’s satisfaction increases by ci. It is guaranteed that there are no such pairs of indexes i and j (1 ≤ i < j ≤ k), that xi = xj and yi = yj.
Output
In the single line of the output print the maximum satisfaction that Kefa can get from going to the restaurant.
简单的状压dp
就是开始特判状态里1有两个和1个的,把最后一个输入的记录下来
dp数组是dp[1<
#include<iostream>
#include<algorithm>
#include<map>
#include<vector>
using namespace std;
long long n, m, k;
long long tu[20];
long long lx[20][20];
long long dp[1 << 18][19];
long long jiance(long long qq)
{
long long fh = 0;
while (qq)
{
if (qq & 1)fh++;
qq >>= 1;
}
return fh;
}
int main()
{
#define int long long
cin >> n >> m >> k;
int q, w,e;
for (int a = 1;a <= n;a++)scanf("%lld", &tu[a]);
for (int a = 1;a <= k;a++)
{
scanf("%lld%lld%lld", &q, &w,&e);
lx[q][w] = e;
}
int quan = 1 << n;
int zuid = 0;
for (int a = 1;a < quan;a++)
{
int cunzai = jiance(a);
if (cunzai == 1)
{
for (int b = 0;b < n;b++)
{
int jjc = 1 << b;
if (a&jjc)
{
dp[a][b + 1] = tu[b + 1];
if (cunzai == m)zuid = max(zuid, dp[a][b + 1]);
break;
}
}
}
else if (cunzai == 2)
{
for (int b = 0;b < n;b++)
{
int jjc1 = 1 << b;
if (jjc1&a)
{
int qian = a - jjc1;
for (int c = 0;c < n;c++)
{
int jjc2 = 1 << c;
if (jjc2&qian)
{
dp[a][b + 1] = max(dp[qian][c + 1] + lx[c + 1][b + 1] + tu[b + 1], dp[a][b + 1]);
if (cunzai == m)zuid = max(zuid, dp[a][b + 1]);
break;
}
}
}
}
}
else
{
for (int b = 0;b < n;b++)
{
int jjc1 = 1 << b;
if (!(a&jjc1))continue;
int qian1 = a - jjc1;
for (int c = 0;c < n;c++)
{
int jjc2 = 1 << c;
if (!(qian1&jjc2))continue;
dp[a][b + 1] = max(dp[a][b + 1], dp[qian1][c + 1] + tu[b + 1] + lx[c + 1][b + 1]);
if (cunzai == m)zuid = max(zuid, dp[a][b + 1]);
}
}
}
}
cout << zuid;
}