การอ้างอิงสำหรับภาษา Dyck คือ - สมบูรณ์
ภาษา Dyckถูกกำหนดโดยไวยากรณ์ต่อไปนี้ กว่าชุดของสัญลักษณ์\} ภาษาสังหรณ์ใจ Dyck ภาษาวงเล็บสมดุลของชนิดที่แตกต่างกัน ตัวอย่างเช่นอยู่ในแต่ไม่ใช่Dyck(k)Dyck(k)\mathsf{Dyck}(k)S→SS|(1S)1|…|(kS)k|ϵS→SS|(1S)1|…|(kS)k|ϵ S \rightarrow SS \,|\, (_1 S )_1 \,|\, \ldots \,|\, (_k S )_k \,|\, \epsilon {(1,…,(k,)1,…,)k}{(1,…,(k,)1,…,)k}\{(_1,\ldots,(_k,)_1,\ldots,)_k\}kkk([])()([])()(\,[\,]\,)\,(\,)Dyck(2)Dyck(2)\mathsf{Dyck}(2)([)]([)](\,[\,)\,] ในกระดาษ อัลกอริทึมแบบไดนามิกสำหรับภาษา Dyckโดย Frandsen, Husfeldt, Miltersen, Rauhe และ Skyum, 1995, มันอ้างว่าผลต่อไปนี้เป็นชาวบ้าน: Dyck(k)Dyck(k)\mathsf{Dyck}(k)เป็นสมบูรณ์ภายใต้ลดTC0TC0\mathsf{TC}_0AC0AC0\mathsf{AC}_0 มีการอ้างอิงใด ๆ ที่ทราบถึงการอ้างสิทธิ์ข้างต้นหรือไม่ โดยเฉพาะฉันกำลังมองหาผลลัพธ์ที่แสดงอย่างน้อยหนึ่งอย่างต่อไปนี้: Dyck(k)Dyck(k)\mathsf{Dyck}(k)อยู่ในสำหรับพลkTC0TC0\mathsf{TC}_0kkk Dyck(k)Dyck(k)\mathsf{Dyck}(k)เป็น -hard สำหรับพลkTC0TC0\mathsf{TC}_0kkk กระดาษที่ใกล้เคียงที่สุดที่ฉันสามารถหาได้คือ Bi-Lipschitz Bijection ระหว่าง Boolean Cube และ …