Due to memory requirements I used std::vector<bool> arrays for
storing node edges, but it chashes!
(function std::vector<bool>::operator[](int), to be exact)

Does anybody knows why?

P.S. If I use, f.e., std::bitset<> instead, I get strong AC.
Therefore, timus's std::vector<bool> has error, hasnt it?

I suppose you cool programer if you use STL... By the way,is  STL supported by timus C++ compiler?

Are you funny? It is just convenient to use it instead of
doing some things yourself.

IMHO, timus must support STL as it is the part of C++
and it does.