Никакой не косяк. Реально тест №3 неправильный.
Вот корректное решение: считываем в два массива А и В. Потом цикл по элементам А, и для каждого А(и) пытаемся найти такое В(ж), чтобы  А(и)+В(ж)==10000. И получаем ВА. Бред.
(поиск бинарный так как отсортированы массивы).

#include <iostream>

using namespace std;

int cmp(const void*A,const void *B){
    long t=*(long*)A-*(long*)B;
    if (t>0) return 1;
    if (t==0) return 0;
    if (t<0) return -1;
}

int main(void){
    long N,M,i,j;
    long *A,*B;
    long * C;
    cin>>N;
    A=new long[N];
    for(i=0;i<N;i++)
        cin>>A[i];
    cin>>M;
    B=new long[M];
    for(i=0;i<M;i++)
        cin>>B[i];
    bool t=false;
    for(i=0;i<N;i++)
    {
        j=10000-A[i];
        C=(long*)bsearch(&j,B,M,sizeof(long),cmp);
        if(C!=NULL)
            if(A[i]+*C==10000){t=true; break;}
    }
    if(t)cout<<"YES";
    else cout<<"NO";
    cout<<endl;
    system("pause");
    return 0;
}


Очевидно условия некорректны. В условии сказано,что массивы упорядочены. Но достаточно дописать в мое решение
qsort(A,N,sizeof(long),cmp);
qsort(B,M,sizeof(long),cmp);
И вуаля все просто, и получаем АС.

Авторы проверяйте условия, или хотя бы читайте форум иногда.
Тут нередко попадаются задачи с корявыми тестами, которых не должно быть по условию.

Edited by author 03.12.2010 03:00

Спасибо. И поздравляю как первого (и пока единственного) решившего)

The problem is that there is no information about this case in samples.

You should use a long long data type, because the int type supports only 2^32 as max. Please, read the contraints of the problem. There says that the number could be as big as 10^18 (a lot bigger than 2^32). Try with long long. Hope it be useful for you.