the bounds obtained by rigorous met

the bounds obtained by rigorous methods in Fig. 1. Lower bounds are obtained by showing that some analyzable algorithms, such as unit clause propagation[6] find SAT solutions with a finite probability=-=[57]-=-. Upper bounds use the fact that the probability of finding a satisfying assignment is bounded by the expected number of solutions. Refined versions of this argument[41, 90] partially eliminate the poaster algorithm. Pina et al. [13] improved Buny

ผลลัพธ์ (ไทย) 1:

ขอบเขตที่ได้รับ โดยวิธีการอย่างเข้มงวดในรูปที่ 1 ได้ โดยแสดงว่า บาง analyzable อัลกอริทึม เช่นเผยแพร่หน่วยประโยค [6] หาโซลูชันเสาร์น่าเป็นการจำกัดขอบเขตล่าง =รหัส [57] รหัส- ขอบเขตด้านบนใช้ความจริงที่ว่า ความน่าเป็นการค้นหาการกำหนดพอใจถูกล้อมรอบ โดยจำนวนคาดไว้ของการแก้ปัญหา อาร์กิวเมนต์นี้ [41, 90] กลั่นรุ่นบางส่วนกำจัดอัลกอริทึม poaster Pina et al. [13] การปรับปรุง Buny

ผลลัพธ์ (ไทย) 2:

ขอบเขตที่ได้รับโดยวิธีการอย่างเข้มงวดในรูป 1. ขอบเขตล่างจะได้รับโดยแสดงให้เห็นว่าบางขั้นตอนวิธีการวิเช่นการขยายพันธุ์ประโยคหน่วย [6] หาแนวทางแก้ไขปัญหา SAT มีโอกาส จำกัด = - = [57] - = - ขอบเขตบนใช้ความจริงที่ว่าน่าจะเป็นของการหามอบหมายพอใจเป็นที่สิ้นสุดโดยจำนวนที่คาดหวังของการแก้ปัญหา รุ่นกลั่นของการโต้แย้งนี้ [41, 90] บางส่วนขั้นตอนวิธีการกำจัด poaster Pina, et al [13] การปรับปรุง Buny

ผลลัพธ์ (ไทย) 3:

ขอบเขตที่ได้จากวิธีการที่เคร่งครัดในรูปที่ 1 ขอบเขตล่างได้ โดยแสดงให้เห็นว่าบาง analyzable ขั้นตอนวิธี เช่นหน่วยข้อขยายพันธุ์ [ 6 ] ค้นหานั่งโซลูชั่นผสมความน่าจะเป็น = - = [ 57 ] - = - บนขอบเขตใช้ความจริงที่ว่าน่าจะเป็นการหาความพึงพอใจงานล้อมรอบ โดยคาดว่า จำนวนของโซลูชั่น ปรับปรุงรุ่นของอาร์กิวเมนต์นี้ [ 41 ] บางส่วน 90 จัด poaster ขั้นตอนวิธี Pina et al . [ 13 ] ปรับปรุง buny