3. Bố cục của luận văn
2.4.3. Đánh giá hai thuật toán leo đồi
So với leo đồi đơn giản trong bài toán kiểm thử, leo đồi dốc đứng có ƣu điểm là luôn luôn chọn hƣớng có triển vọng nhất để đi. Nhƣng điều này không đảm bảo leo đồi dốc đứng luôn tốt hơn leo đồi cơ bản. Leo đồi dốc đứng chỉ tốt hơn leo đồi cở bản trong một số trƣờng hợp. Để chọn ra hƣớng đi tốt nhất, leo đồi dốc đứng phải duyệt qua tất cả các hƣớng đi có thể tại trạng thái hiện thời. Trong khi đó, leo đồi đơn giản chỉ chọn đi theo trạng thái đầu tiên tốt hơn (so với trạng thái hiện thời) mà nó tìm đƣợc. Do đó, thời gian cần thiết để leo đồi dốc đứng chọn đƣợc một hƣớng đi sẽ lớn hơn leo đồi cơ bản. Tuy vậy, do lúc nào cũng chọn hƣớng đi tốt nhất nên leo đồi dốc đứng thƣờng sẽ tìm đến lời giải sau một số bƣớc ít hơn so với leo đồi cơ bản. Nói một cách ngắn gọn, leo đồi dốc đứng sẽ tốn thời gian cho một bƣớc nhƣng lại ít bƣớc hơn, còn leo đồi cơ bản tốn ít thời gian cho một bƣớc nhƣng phải đi nhiều bƣớc hơn. Đây là yếu tố đƣợc và mất của hai thuật toán. Với lý do này thì tùy thuộc vào từng bài toán cụ thể để lựa chọn thuật toán leo đồi nhằm sinh dữ liệu kiểm thử cho phù hợp.
Cả hai phƣơng pháp này đều có khả năng thất bại trong tìm lời giải mặc dù lời giải là hiện hữu. Cả hai giải thuật đều có thể kết thúc khi đạt một trạng thái mà không trạng thái nào tốt hơn nữa có thể phát sinh nhƣng trạng thái này không phải là trạng thái đích. Điều này xảy ra khi chƣơng trình đạt một điểm cực trị địa phƣơng, một đoạn đơn điệu ngang.
Điểm cực trị địa phƣơng (a local maximum): là một trạng thái tốt hơn tất cả các lân cận của nó nhƣng không tốt hơn một số trạng thái khác ở xa hơn. Tức là tại một điểm cực trị địa phƣơng, mọi trạng thái trong một lân cận của trạng thái hiện thời đều xấu hơn trạng thái hiện thời. Tuy có dáng vẻ của lời giải nhƣng các cực trị địa phƣơng không phải là lời giải thực sự. Trong trƣờng hợp này chúng đƣợc gọi là những ngọn đồi thấp.
Đoạn đơn điệu ngang (a plateau): là một vùng bằng phẳng của không gian tìm kiếm, trong đó mọi trạng thái lân cận đều có giá trị bằng nhau.