2
การทดสอบว่าตัวอักษรสามารถกำหนดเวลาเพื่อให้ได้คำในภาษาปกติ
ผมแก้ไขภาษาปกติ LLLบนตัวอักษรΣΣ\Sigmaและผมคิดว่าปัญหาที่เกิดขึ้นต่อไปนี้ที่ผมเรียกการตั้งเวลาตัวอักษรสำหรับL LLอย่างไม่เป็นทางการการป้อนข้อมูลให้ฉันnnnตัวอักษรและช่วงเวลาสำหรับแต่ละตัวอักษร (เช่นตำแหน่งที่น้อยที่สุดและสูงสุด) และเป้าหมายของฉันคือการวางตัวอักษรแต่ละตัวในช่วงเวลาของมันเพื่อให้ไม่มีตัวอักษรสองตัวถูกแมปไปยังตำแหน่งเดียวกัน ส่งผลให้nnnคำ -letter อยู่ในL LLอย่างเป็นทางการ: การป้อนข้อมูล: nnnอเนกประสงค์( ฉัน , L ฉัน , r ฉัน )(ai,li,ri)(a_i, l_i, r_i)ที่ฉัน ∈ Σและ1 ≤ ลิตรฉัน ≤ r ฉัน ≤ nเป็นจำนวนเต็มai∈Σa_i \in \Sigma1≤li≤ri≤n1 \leq l_i \leq r_i \leq n ขาออกจะมี bijection F : { 1 , ... , n } → …