ฉันกำลังทำงานกับปัญหาที่กำหนดไว้สำหรับชั้นเรียนและคิดถึงคำถามที่เกี่ยวข้องกับสิ่งที่ฉันกำลังทำอยู่ มีจำนวนขั้นต่ำของสถานะที่จะต้องมีหุ่นยนต์ จำกัด เพื่อยอมรับสตริงไบนารี่ที่เป็นตัวแทนของตัวเลขหารด้วยจำนวนเต็ม n? ในชุดปัญหาก่อนหน้านี้ฉันสามารถสร้าง DFA ที่ยอมรับสตริงไบนารีหารด้วย 3 ด้วย 3 สถานะ นี่เป็นเรื่องบังเอิญหรือมีบางสิ่งบางอย่างโดยธรรมชาติของปัญหาการตรวจจับสายอักขระที่หารด้วย n ที่แนะนำจำนวนขั้นต่ำของรัฐ?
ฉันสัญญาว่าจะไม่ตอบคำถามทำการบ้านให้ฉัน! :)
3
ยินดีต้อนรับสู่ cstheory เว็บไซต์คำถามและคำตอบสำหรับคำถามระดับการวิจัยในสาขาวิทยาการคอมพิวเตอร์เชิงทฤษฎี (TCS) คำถามของคุณดูเหมือนจะไม่ใช่คำถามระดับการวิจัยใน TCS โปรดดูคำถามที่พบบ่อยสำหรับข้อมูลเพิ่มเติมเกี่ยวกับความหมายของสิ่งนี้และคำแนะนำสำหรับเว็บไซต์ที่อาจตอบคำถามของคุณ สุดท้ายหากคำถามของคุณถูกปิดเพราะไม่อยู่ในขอบเขตและคุณเชื่อว่าคุณสามารถแก้ไขคำถามเพื่อให้เป็นคำถามระดับการวิจัยได้โปรดอย่าลังเลที่จะทำเช่นนั้น การปิดไม่ใช่เรื่องถาวรและสามารถเปิดคำถามได้อีกครั้งตรวจสอบคำถามที่พบบ่อยสำหรับข้อมูลเพิ่มเติม
—
Kaveh
@Kaveh: ฉันคิดว่าคำถามก็โอเคโดยเฉพาะอย่างยิ่งได้รับคำตอบที่กระชับของเดวิด
—
Huck Bennett
@ HuckBennett ฉันเห็นด้วยกับ Kaveh ว่าคำถามนี้ควรจะปิดใน cstheory ส่วนใหญ่จะสอดคล้องกัน อย่างไรก็ตามฉันเห็นด้วยกับคุณ: นี่เป็นคำถามที่สนุกและเมื่อคุณเห็น DFA เป็นครั้งแรกคุณควรถามตัวเองด้วย ฉันคิดว่า OP ควรพยายามทำให้สนุกกับการหาคำตอบให้กับตัวเองแล้วให้คำปรึกษาทางคณิตศาสตร์สำหรับข้อมูลเพิ่มเติม
—
Artem Kaznatcheev
นี่ไม่ใช่การบ้าน (แม้ว่าจะได้รับแรงบันดาลใจจากคำถามการบ้าน) แต่เป็นคำถามที่น่าสนใจฉันไม่เชื่อว่ามันเป็นผลงานที่รู้จักกันดีและคำตอบของคำถามนั้นปรากฏในวารสารการวิจัย ฉันไม่เห็นสาเหตุที่ควรปิด ผูกไว้บนเป็นบ้านและเป็นที่แน่นอนง่าย แต่คำถามคือเกี่ยวกับขอบเขตล่าง
—
Peter Shor
@ Janoma: แน่นอน ในตอนท้ายของคำถามแสดงให้เห็นว่า OP สร้างความสับสนให้กับขอบเขตบนด้วยขอบเขตต่ำ
—
Michael Blondin