ความซับซ้อนของปัญหาที่ครอบคลุมนี้คืออะไร
แก้ไข: ฉันแก้ไขข้อ จำกัด ของฉันเป็นครั้งแรก (2) ตอนนี้แก้ไขแล้ว ฉันยังเพิ่มข้อมูลและตัวอย่างเพิ่มเติม กับเพื่อนร่วมงานบางคนศึกษาคำถามอัลกอริทึมอื่น ๆ เราสามารถลดปัญหาของเราลงไปเป็นปัญหาที่น่าสนใจต่อไปนี้ แต่เราไม่สามารถแก้ปัญหาความซับซ้อนได้ ปัญหามีดังนี้ เช่น:จำนวนเต็มnnnเป็นจำนวนเต็มk<nk<nk<nและชุดS={{s1,t1},…,{sn,tn}}S={{s1,t1},…,{sn,tn}}S=\{\{s_1,t_1\},\ldots,\{s_n,t_n\}\}ของnnnคู่จากชุด{1,…,n}{1,…,n}\{1,\ldots,n\} } คำถาม:มีชุดS′⊆SS′⊆SS'\subseteq Sขนาดkkkเช่นนั้นสำหรับแต่ละองค์ประกอบiiiของ{1,…,n}{1,…,n}\{1,\ldots,n\} : (1) ถ้าi<ni<ni<n , ช่วงเวลา[i,i+1][i,i+1][i,i+1]รวมอยู่ในช่วงเวลาหนึ่ง[si,ti][si,ti][s_i,t_i]กำหนดโดยคู่ในS′S′S'และ (2) อย่างน้อยหนึ่งในiii , i+1i+1i+1เป็นของคู่ของS′S′S' ? (2) iiiเป็นของคู่ของบางS′S′S' ' ตัวอย่าง ชุด{{i,i+1} | i is odd}∪{1,n}{{i,i+1} | i is odd}∪{1,n}\{\{i,i+1\}~|~i~\text{ is odd}\}\cup\{1,n\}เป็นวิธีแก้ปัญหาที่เป็นไปได้ (สมมติว่าnnnเป็นคู่): คู่{1,n}{1,n}\{1,n\}ช่วยให้มั่นใจได้ถึงเงื่อนไข (1) ในขณะที่คู่อื่น ๆ ทั้งหมดรับรองเงื่อนไข (2) ข้อสังเกต (I) …