1001 数组中和等于K的数对

给出一个整数K和一个无序数组A，A的元素为N个互不相同的整数，找出数组A中所有和等于K的数对。例如K = 8，数组A：{-1,6,5,3,4,2,9,0,8}，所有和等于8的数对包括(-1,9)，(0,8)，(2,6)，(3,5)。

 

Input

第1行：用空格隔开的2个数，K N，N为A数组的长度。(2 <= N <= 50000，-10^9 <= K <= 10^9)
第2 - N + 1行：A数组的N个元素。（-10^9 <= A[i] <= 10^9) 

Output

第1 - M行：每行2个数，要求较小的数在前面，并且这M个数对按照较小的数升序排列。
如果不存在任何一组解则输出：No Solution。

Input示例

8 9
-1
6
5
3
4
2
9
0
8

Output示例

-1 9
0 8
2 6
3 5

这道题超时了好久，双重for循环时间复杂度n2，最后几个数据太大，会超时。应该对for循环进行优化，使用二分查找即可。被坑了好久。
First Try：

#include <iostream>
#include <algorithm> 
using namespace std;
int main()
{
    long long k, n, n2;
    cin >> k >> n;
    long long a[n];
    n2 = n;
    while(n--) {
        long long x;
        cin >> x;
        a[n] = x;
    }
    int flag = 0;
    sort(a, a + n2);
    for(long long i = 0; i < n2; i ++) {
        for(long long j = i+1; j < n2; j++) {
            if(a[i] + a[j] == k) {
                flag = 1;
                //cout <<  a[i] << " " << a[j] << endl;
                printf("%lld %lld
", a[i], a[j]);
                j++;
                continue;
            }
        }
    }
    if(!flag) {
        cout << "No Solution" ;
    }
 } 

Second Try：

#include <iostream>
#include <algorithm> 
using namespace std;
long long a[50001];
int find(long long  n, long long x, long long z) {
    long long l = z + 1;    
    long long r = n-1;
    long long m;
    while(l <= r) {
        m = (l + r) / 2;
        //cout << "am=" << a[m] << endl;
        if(a[m] == x) {
            // << "m=" << m << endl;
            return m;
        } else if(x > a[m]) {
            l = m + 1;
            //cout << "am=" << a[m] << endl;
        } else {
            r = m - 1;
            //cout << "am=" << a[m] << endl;
        }
    }
    return false;
}
int main()
{
    long long k, n, n2;
    cin >> k >> n;
    n2 = n;
    while(n--) {
        long long x;
        cin >> x;
        a[n] = x;
    }
    int flag = 0;
    sort(a, a + n2);
    for(long long i = 0; i < n2; i++) {
        int isFind = find(n2, k-a[i], i);    
        if(isFind) {
            flag = 1;
            cout << a[i] << " " << a[isFind] << endl;
        }
    } 
    if(!flag) {
        cout << "No Solution";
    }

 }