थ्योरी ए बनाम थ्योरी बी के मूल और अनुप्रयोग?

Question

कुछ हालिया प्रश्नों ( q1 q2 ) में, "थ्योरी ए" बनाम "थ्योरी बी" की चर्चा हुई है, जो तर्क और प्रोग्रामिंग भाषाओं के अध्ययन और एल्गोरिदम और जटिलता के अध्ययन के बीच विभाजन को पकड़ने के लिए प्रतीत होता है।

यह शब्दावली मेरे लिए नई थी, और एक त्वरित वेब खोज किसी भी स्पष्ट संदर्भ के साथ सामने नहीं आई।

क्या किसी को किसी संदर्भ या संदर्भ का पता है जो इस शब्दावली की उत्पत्ति की व्याख्या करता है, और क्या, यदि कोई हो, तो इस लाभ को इस भेद से उत्पन्न करने का इरादा है?

Comments

ऑफ़-टॉपिक: मेरा सुझाव है कि क्यू 1 और क्यू 2 के लिंक को संपादित करना, और उनके "पर्मलिंक" से जोड़ना। इस तरह, भले ही प्रश्नों के शीर्षक संपादित किए जाएं, लिंक मान्य रहते हैं।

— एमएस डौस्ती

शीर्षक को अनदेखा किया जाता है; cstheory.stackexchange.com/questions/944/foobar शीर्षक से मेल नहीं खाने के बावजूद ठीक काम करता है।

— जुल्का सुमेला

अच्छा सवाल है, मैं खुद यह सोच रहा हूं। "थ्योरी बी" हमेशा थोड़ा अपमानजनक लगता था!

— आरोन रोथ

@ एरॉन: मुझे लगता है कि पीएल "यूरोटेहोरी" कहने से बेहतर है, जैसा कि कभी-कभी होता है। इसने मुझे हमेशा अमेरिका या जापान में पीएल शोधकर्ताओं पर कठोर और यूरोप में जटिल जटिलता सिद्धांतकारों के रूप में मारा है। :)

— नील कृष्णस्वामी

मोशे वर्डी ने इस ब्लॉग पोस्ट में कुछ रेफरी के साथ एक संक्षिप्त अवलोकन किया है कि एसीएम थिओरेटरी कंप्यूटर साइंस के लिए एक संकेत क्यों नहीं है? & इसकी कुछ विशेषताओं को राष्ट्रीयता प्रदान करता है; यूएस (अधिक सिद्धांत ए) बनाम यूरोपीय जोर (मिश्रित)

— vzn

Answer 1

यह सैद्धांतिक कंप्यूटर विज्ञान पर हैंडबुक से आता है , जिसमें दो खंड थे: ए एल्गोरिदम और जटिलता के लिए था, और बी तर्क और शब्दार्थ के लिए था।

Jukka, क्या ICALP ने इसकी भविष्यवाणी की थी? या यह इसके जवाब में था?

लाभ के लिए, मुझे लगता है कि ब्याज के विषयों और अध्ययन के रूपों के आधार पर कर निर्धारण क्षेत्रों में हमेशा कुछ उपयोगिता होती है। हालांकि, सभी वर्गीकरणों के साथ, समस्या तब आती है जब आप "पेड़ के ऊपर और दूसरी तरफ नीचे जाना" भूल जाते हैं :)।

EDIT : जैसा कि ICALP में स्पष्ट रूप से कहा गया है, यह विभाजन एल्सेवियर जर्नल थ्योरेटिकल कंप्यूटर साइंस से आता है , जो स्वयं हैंडबुक से पहले होता है, इसलिए मुझे लगता है कि यह एक अधिक सटीक स्रोत है।

EDIT ++ : EATCS के इतिहास से TCS, जर्नल के बारे में यह स्निपेट आता है:

उस समय से एम। निवात, जो अभी भी प्रधान संपादक हैं, ने नियमित रूप से परिषद और आम सभा और कभी-कभी बुलेटिन में रिपोर्ट किया है - उदाहरण के लिए जब खंड ए (ऑटोमेटा, बीजगणित und एल्गोरिदम) और बी (तर्क, शब्दार्थ और) में विभाजन संबंधित विषय) पर निर्णय लिया गया (बुलेटिन संख्या 45, पृष्ठ 233, अक्टूबर 1991);

जो 1991 की पैदावार के रूप में जब यह पहली बार जर्नल में होने लगा। हालाँकि, हैंडबुक पहली बार सितंबर 1990 में प्रकाशित हुई थी!

Comments

ऐसा लगता है कि ICALP ने 1997 में TCS जर्नल से अपने ट्रैक ले लिए थे । हालांकि, "ट्रैक ए" और "ट्रैक बी" का सबसे पुराना संदर्भ जो मुझे उनके वेब पेजों पर मिल सकता है वह 1999 से था ।

— जुल्का सुमेला

आईसीएएलपी 1997 यह था: "रजत जयंती भी आईसीएएलपी के सामान्य प्रारूप को फिर से आकार देने का एक अवसर है। कार्यक्रम समिति दो पटरियों का प्रतिनिधित्व करती है, जो कि थ्योरेटिकल कंप्यूटर साइंस की दो उप-प्रकृतियों से जानी जाती हैं और algorithms' and समान रूप से 'समान तरीकों को शामिल करती हैं ।" (ICALP 1997 पेज से)

— सुरेश वेंकट

लेकिन 1997 का पृष्ठ दो पटरियों को संदर्भित करने के लिए "ए" और "बी" लेबल का उपयोग नहीं करता है।

— जुक्का सुकोमे

नहीं, लेकिन यह स्पष्ट है कि इरादा क्या है। और TCS मुझे लगता है कि ए / बी भेद था।

— सुरेश वेंकट

संबंधित ऐतिहासिक बिंदु: TCS (C) एक "प्राकृतिक कंप्यूटिंग" पत्रिका थी, लेकिन ICALP के ट्रैक C के विषय ने मेरे विचार से प्रत्येक को बदल दिया है।

— हारून स्टर्लिंग

Answer 2

ICALP ट्रैक A बनाम B।