परिमित ऑटोमेटा जो बाइनरी स्ट्रिंग्स को n द्वारा विभाज्य स्वीकार करता है


18

मैं एक वर्ग के लिए सेट की गई समस्या पर काम कर रहा हूं, और एक सवाल के बारे में सोचा कि मैं क्या काम कर रहा था। क्या राज्यों की एक न्यूनतम संख्या है जो एक परिमित ऑटोमोटन बाइनरी तार को स्वीकार करने के लिए होनी चाहिए जो एक पूर्णांक n द्वारा विभाज्य संख्याओं का प्रतिनिधित्व करती है? पहले की समस्या के सेट में, मैं एक डीएफए का निर्माण करने में सक्षम था जो बाइनरी स्ट्रिंग्स को 3 राज्यों के साथ 3 से विभाज्य स्वीकार करता था। क्या यह एक संयोग है, या वहाँ n द्वारा विभाज्य तारों का पता लगाने की सामान्य समस्या के लिए अंतर्निहित कुछ है जो राज्यों की एक न्यूनतम संख्या का सुझाव देता है?

मैं वादा करता हूँ कि यह मेरे लिए एक होमवर्क सवाल का जवाब नहीं देगा! :)


3
सैद्धांतिक कंप्यूटर विज्ञान (TCS) में अनुसंधान-स्तर के सवालों के लिए एक Q & A साइट cstheory में आपका स्वागत है । आपका प्रश्न TCS में एक शोध-स्तरीय प्रश्न प्रतीत नहीं होता है। कृपया इसके बारे में अधिक जानकारी के लिए अक्सर पूछे जाने वाले प्रश्न और उन साइटों के लिए सुझाव देखें जो आपके प्रश्न का स्वागत कर सकती हैं। अंत में, यदि आपका प्रश्न स्कोप से बाहर होने के लिए बंद है, और आपको विश्वास है कि आप प्रश्न को शोध-स्तर का प्रश्न बना सकते हैं, तो कृपया ऐसा करने के लिए स्वतंत्र महसूस करें। समापन स्थायी नहीं है और प्रश्नों को फिर से खोल दिया जा सकता है, अधिक जानकारी के लिए FAQ देखें।
केवह

2
@Kaveh: मुझे लगता है कि सवाल ठीक है, विशेष रूप से डेविड का संक्षिप्त जवाब।
हुक बेनेट

2
@HuckBennett मैं Kaveh से सहमत हूँ कि यह सवाल cstheory पर बंद होना चाहिए, ज्यादातर सुसंगत होना चाहिए। हालाँकि, मैं भी आपसे सहमत हूँ: यह एक मजेदार सवाल है और जब आप पहली बार डीएफए देखते हैं तो यह निश्चित रूप से एक है जिसे आपको खुद से पूछना चाहिए। मुझे लगता है कि ओपी को अपने लिए जवाब देने के लिए कुछ मजेदार काम करने की कोशिश करनी चाहिए, और फिर अधिक जानकारी के लिए math.SE से परामर्श करना चाहिए
Artem Kaznatcheev

11
यह होमवर्क नहीं है (हालांकि यह एक होमवर्क प्रश्न से प्रेरित है), यह एक दिलचस्प सवाल है, मुझे विश्वास नहीं है कि यह एक प्रसिद्ध परिणाम है और सवाल का जवाब एक शोध पत्रिका में दिखाई दिया। मैं नहीं देखता कि इसे क्यों बंद किया जाना चाहिए। ऊपरी बाध्य होमवर्क था, और वास्तव में आसान है, लेकिन प्रश्न के बारे में कम ही था।
पीटर शोर

1
@ जानोमा: वास्तव में। प्रश्न के अंत में पता चलता है कि ओपी निचले सीमा के साथ ऊपरी सीमा को भ्रमित करता है।
माइकल ब्लॉन्डिन

जवाबों:


32

nआर

nआरnn


1
बिल्कुल उसी तरह की चीज जिसकी मुझे तलाश थी। धन्यवाद, मैं जल्द ही कुछ समय के लिए कागज पर डुबकी लगाऊंगा।
निक वान होजेनस्टिन

2
लिंक टूटा हुआ लगता है
गीगाबाइट्स

8

एक ही विषय पर एक और पेपर है: बी। अलेक्सीव, परीक्षणीय विभाजन के लिए मिनिमल डीएफए, जे। कॉम्पुट। Syst। विज्ञान। 69 (2004), 235–243

हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.