พิจารณา poset จำกัด เหนือรายการและที่ไม่ทราบคำกริยาแสดงคำพูดเหนือ (เช่นสำหรับใด ๆ , หากและแล้ว ) ฉันสามารถประเมินโดยระบุหนึ่งโหนดและค้นหาว่าถืออยู่หรือไม่ เป้าหมายของฉันคือการพิจารณาว่าชุดของโหนดที่ถือใช้โดยใช้การประเมินที่สุดเท่าที่จะทำได้ (ฉันสามารถเลือกคำค้นหาของฉันได้ขึ้นอยู่กับคำตอบของคำค้นหาก่อนหน้าทั้งหมดฉันไม่จำเป็นต้องวางแผนคำถามทั้งหมดล่วงหน้า)
กลยุทธ์มากกว่าเป็นฟังก์ชั่นที่บอกฉันเป็นฟังก์ชั่นการค้นหาที่ฉันวิ่งเพื่อให้ห่างไกลและคำตอบของพวกเขาซึ่งโหนดแบบสอบถามและซึ่งทำให้มั่นใจได้ว่าเมื่อใดกริยาโดยดำเนินการตามกลยุทธ์ ฉันจะไปถึงสถานะที่ฉันรู้ค่าของบนโหนดทั้งหมด เวลาทำงานของบนเพรดิเคตคือจำนวนของเคียวรีที่ต้องการทราบค่าของบนโหนดทั้งหมด เวลาทำงานที่เลวร้ายที่สุดของคือ ) กลยุทธ์ที่ดีที่สุด S 'เป็นเช่นนั้น W R ( S ' ) = นาทีS W R ( S )
คำถามของฉันมีดังต่อไปนี้: เมื่อป้อนข้อมูล poset ฉันจะกำหนดเวลาทำงานที่เลวร้ายที่สุดของกลยุทธ์ที่ดีที่สุดได้อย่างไร
[เห็นได้ชัดว่าจะต้องมีการสอบถามที่ว่างเปล่า poset (เราจำเป็นต้องถามเกี่ยวกับแต่ละโหนดเดียว) และสำหรับการสั่งซื้อทั้งหมดรอบ⌈ log 2 n ⌉แบบสอบถามจะต้อง (ทำการค้นหาแบบไบนารีเพื่อค้นหาชายแดน ) ผลลัพธ์ทั่วไปมากขึ้นคือขอบเขตล่างข้อมูล - ทฤษฎีต่อไปนี้: จำนวนตัวเลือกที่เป็นไปได้สำหรับเพรดิเคตPคือจำนวนN Xของ antichains ของ( X , ≤ ) (เนื่องจากมีการทำแผนที่แบบหนึ่งต่อหนึ่งระหว่างภาคแสดงและ antichains ตีความว่าเป็นองค์ประกอบสูงสุดของP) ดังนั้นเนื่องจากแต่ละแบบสอบถามจะช่วยให้เราหนึ่งบิตของข้อมูลที่เราจะต้องไม่น้อยกว่าแบบสอบถาม subsuming สองกรณีก่อนหน้านี้ สิ่งนี้ถูกผูกไว้อย่างแน่นหนาหรือว่าพวกมันมีโครงสร้างบางอย่างที่การเรียนรู้สามารถต้องการการสืบค้นมากกว่าจำนวน antichains แบบ asymptotically?]