คำถามติดแท็ก bounds

ยี่สิบปีที่ผ่านมาฉันสร้างแพคเกจนิพจน์ทั่วไปที่รวมการแปลงจากนิพจน์ทั่วไปไปยังเครื่องสถานะ จำกัด (DFA) และสนับสนุนโฮสต์ของการดำเนินการนิพจน์ปกติที่ปิด ฉันไม่แน่ใจเกี่ยวกับประสิทธิภาพที่ดีที่สุดของแพ็คเกจ DFA มีพลังการแสดงออกเช่นเดียวกับ NDFA เนื่องจาก n-state NDFA สามารถแปลงเป็น DFA ที่มีสถานะ 2 ^ n เล็กน้อย อย่างไรก็ตามมีการรับประกันขอบเขตล่างที่ต่ำกว่าสำหรับการแปลงที่ไม่ต้องการการระเบิดแบบเลขชี้กำลังในสถานะหรือไม่? ฉันไม่สามารถหาตัวอย่างนิพจน์ทั่วไปหรือ NDFA ที่ไม่เหมาะสม แต่ฉันไม่ได้ใช้เวลาคิดมากกับมัน ฉันคาดเดาการแสดงออกปกติเช่น (((((| E | A | B | C) * (e | D | E | F)) * (e | G | H | I | J …

16 dfa  regular-expressions  bounds 

ฟังก์ชัน Ackermann ผกผันเกิดขึ้นบ่อยครั้งเมื่อวิเคราะห์อัลกอริทึม การนำเสนอที่ดีของมันอยู่ที่นี่: http://www.gabrielnivasch.org/fun/inverse-ackermann α1(n)=[n/2]α1(n)=[n/2]\alpha_1(n) = [n/2] α2(n)=[log2n]α2(n)=[log2⁡n]\alpha_2(n) = [\log_2 n] α3(n)=log∗nα3(n)=log∗⁡n\alpha_3(n) = \log^* n . . ......... αk(n)=1+αk(αk−1(n))αk(n)=1+αk(αk−1(n))\alpha_k(n) = 1 + \alpha_k(\alpha_{k−1}(n))α(n)=min{k:αk(n)≤3}α(n)=min{k:αk(n)≤3}\alpha(n) = \min\{k: \alpha_k(n)\leq 3\} คำถามของฉันคือฟังก์ชั่นคืออะไร เห็นได้ชัด(n) สิ่งที่ขอบเขตที่เข้มงวดมากขึ้นหนึ่งสามารถให้กับk (n) ? เป็นk (n) \ leq \ Log \ alpha (n) ?1 « k ( n ) ≤ α …

11 ds.algorithms  ds.data-structures  bounds