Final commit, slight modifications of algorithms. Correction of IDA*