给你一个数组序列a1,a2...an，是否存在等长的序列b1,b2...bn，使得对于任意1≤i≤n 存在1≤j,k≤n ai＝bj-bk 用c++11实现

这个问题是在询问是否有子数组a[i]可以通过线性组合（即存在整数系数使得等式ai = bj - bk成立）生成另一个等长的序列b。这可以看作是一个差分方程的问题，通常涉及到动态规划或者哈希集合来解决。

首先，我们可以考虑将数组a的所有元素的差分添加到哈希集合（unordered_set）中，这样每个元素ai都会转换成它对应的差值ai+1 - ai。如果这个集合的大小小于等于数组长度的一半（因为最坏的情况下需要两个不同的元素来表示每个原始元素），那么就存在满足条件的子序列。

以下是使用C++11的一个简单示例：

#include <iostream>
#include <vector>
#include <unordered_set>

bool checkSubsequence(const std::vector<int>& a) {
    std::unordered_set<int> diffSet;
    for (size_t i = 0; i < a.size(); ++i) {
        if (i > 0) {
            diffSet.insert(a[i] - a[i - 1]);
        }
    }

    return diffSet.size() <= a.size() / 2;
}

int main() {
    std::vector<int> a = {1, 4, 6, 8, 5};
    if (checkSubsequence(a)) {
        std::cout << "存在满足条件的子序列.\n";
    } else {
        std::cout << "不存在满足条件的子序列.\n";
    }
    return 0;
}

在这个程序中，`checkSubsequence`函数会检查给定的数组a是否符合题目描述的情况。如果返回true，则说明存在等长的序列b，反之则不存在。