THU T TỐN PHÂN L P I U CH NH S QUÁ KH P VÀ QUÁ KHÁI QUÁT
t c tìm các Homogenous Clauses cho m i Positive Clause. Thu t tốn tìm t t c các Homogenous clauses cho m i Positive Clause nh sau:
Input: Positive Clause C
Output: Các homogenous Clauses cĩ trong C 1) Ch n ng u nhiên N m u positive trong C.
2) For v i m i m u positive X v a m i đ c ch n Do{
3) If X ch a thu c b t k Homogenous Clauses nào Then{
4) t m t ng ng H = kho ng cách nh nh t gi a hai m u positive 5) Do{ 6) T o m t vùng E v i tâm là X và bán kính là H 7) If E n m hồn tồn trong C Then H = H*2 8) Else thốt kh i vịng l p 9) }While (true) 10) } }
//Duy t l i d li u xem cịn m u nào ch a thu c Homogenous Clauses 11) For v i m i m u i trong C Do{
12) If i ch a thu c Homogenous Clauses nào Then {
13) t X = m u i và quay l i b c 2) 14) } }
B ng 3-3: Thu t tốn tìm các Homogenous Clauses cho m i Positive Clauses cho m i Positive Clauses
THU T TỐN PHÂN L P I U CH NH S QUÁ KH P VÀ QUÁ KHÁI QUÁT
Theo thu t tốn này, m i Positive Clause đ c phân ra thành các Homogenous Clauses, b ng cách s d ng m t kho ng cách c c ti u, H, gi a hai m u positve trong t p d li u, đ kh i t o m t vùng ban đ u c a Homogenous Clause. N u nh ng vùng này khơng đ ng vào biên c a Positive Clause ch a chúng thì chúng đ c m r ng v i bán kính g p đơi, H*2, và c ti p t c nh v y. Quá trình m r ng các vùng này ch d ng khi m t trong các Homogenous Clause đ ng vào biên c a Positive Clause ch a chúng. N u ngay trong l n m r ng đ u tiên mà Homogenous Clause đ ng vào biên c a Positive Clause ch a nĩ thì Homogenous Clause này ch ch a duy nh t m t m u positive. Ví d , tìm các Homogenous Clauses cho m i Positive Clauses trong ví d trên.
Hình 3-8: Các Homogenous Clauses cho m i Positive Clauses