vampire algorithm