💻 computer science

On Polynomial-Time Decidability of k-Negations Fragments of First-Order Theories

यह शोध पत्र एक सामान्य ढांचा प्रस्तुत करता है जो प्रथम-क्रम सिद्धांतों के फिक्स्ड-नेगेशन (fixed-negation) अंशों के लिए बहुपद-समय (polynomial-time) निर्णायकता की गारंटी देता है, और यह सिद्ध करके अपनी प्रभावकारिता प्रदर्शित करता है कि कमजोर प्रेस्कर अंकगणित (Presburger arithmetic) और संबंधित प्रतिबंधित सिद्धांत कुशल रूप से निर्णायक हैं, जो पूर्ण प्रेस्कर अंकगणित के अधिक प्रतिबंधित अंशों की एनपी-कठोरता (NP-hardness) के विपरीत है।

मूल लेखक: Christoph Haase, Alessio Mansutti, Amaury Pouly

प्रकाशित 2026-03-10

📖 6 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Christoph Haase, Alessio Mansutti, Amaury Pouly

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आप एक जासूस हैं जो एक विशाल पहेली को सुलझाने की कोशिश कर रहे हैं। वह पहेली एक गणितीय वाक्य (mathematical sentence) है जिसे एक बहुत ही विशिष्ट भाषा (फर्स्ट-ऑर्डर लॉजिक) में लिखा गया है। आपका काम यह पता लगाना है: "क्या यह वाक्य सत्य है, या क्या यह कभी सत्य हो सकता है?"

कंप्यूटर विज्ञान की दुनिया में, इनमें से कुछ पहेलियों को सुलझाना आसान होता है, लेकिन कई पधानों (nightmares) की तरह होती हैं। वे इतनी जटिल होती हैं कि सबसे तेज़ सुपरकंप्यूटर को भी उत्तर खोजने में ब्रह्मांड की आयु से भी अधिक समय लग जाएगा। यह शोध पत्र एक नया, चतुर जासूसी ढांचा (framework) पेश करता है जो इन पहेलियों के एक विशिष्ट, कठिन प्रकार को बहुत तेज़ी से ( "पॉलीनोमियल टाइम" में, जिसका अर्थ है कुशलतापूर्वक) हल कर सकता है।

यहाँ सरल उपमाओं (analogies) का उपयोग करके इस शोध पत्र का विवरण दिया गया है:

1. समस्या: "नेगेशन" (Negation) का जाल

अधिकांश तार्किक वाक्य तीन सामग्रियों से बने होते हैं:

वेरिएबल्स (Variables): जैसे "x" और "y" (अज्ञात मान)।
कनेक्टिव्स (Connectives): "AND" (और) और "OR" (या) (चीजों को एक साथ जोड़ना)।
नेगेशन (Negations): "NOT" (नहीं) शब्द।

लेखकों ने पाया कि "NOT" शब्द ही असली मुसीबत है।

यदि आपके पास एक ऐसा वाक्य है जिसमें शून्य "NOT" हैं, तो इसे सुलझाना आमतौर पर आसान होता है।
यदि आपके पास एक "NOT" है, तो यह कठिन हो जाता है।
यदि आपके पास बहुत सारे "NOT" इधर-उधर बिखरे हुए हैं, तो पहेली एक दुःस्वप्न बन जाती है (अक्सर इसे जल्दी सुलझाना असंभव होता है)।

बड़ी सफलता: लेखकों ने महसूस किया कि यदि आप "NOT" की संख्या को एक निश्चित, छोटी संख्या तक सीमित कर देते हैं (मान लीजिए, पूरे वाक्य में 3 से अधिक "NOT" नहीं), तो आप पहेली को कुशलतापूर्वक हल कर सकते हैं, भले ही वाक्य में लाखों वेरिएबल्स या जटिल "AND/OR" संरचनाएं हों।

2. उपमा: "डिफरेंस" केक (The "Difference" Cake)

इसे समझने के लिए, कल्पना करें कि आप एक केक बना रहे हैं, लेकिन आपके पास एक अजीब नियम है: आप केवल सकारात्मक सामग्री (मैदा, चीनी, अंडे) का उपयोग कर सकते हैं और आप केवल परतें घटा (subtract) सकते हैं।

मानक तर्क (Standard Logic): आमतौर पर, आप सकारात्मक और नकारात्मक सामग्रियों के एक अराजक मिश्रण से केक बनाने की कोशिश करते हैं। यह अस्त-व्यस्त और अप्रत्याशित होता है।
लेखकों की विधि (डिफरेंस नॉर्मल फॉर्म): वे रेसिपी को एक सख्त प्रारूप में मजबूर करते हैं:

परत 1 (सकारात्मक) घटाव (परत 2 (सकारात्मक) घटाव (परत 3 (सकारात्मक) ...))

इसे रूसी नेस्टिंग डॉल्स (Russian nesting dolls) के सेट की तरह सोचें, लेकिन उन्हें खोलने के बजाय, आप परतों को छील रहे हैं।
- आप एक बड़े सकारात्मक ब्लॉक (परत 1) से शुरू करते हैं।
- आप एक छेद काटते हैं (परत 2)।
- आप उस छेद के अंदर एक छोटा छेद काटते हैं (परत 3)।
लेखकों ने साबित किया कि "NOT" की सीमित संख्या वाला कोई भी तार्किक वाक्य इस व्यवस्थित "छीलने" वाली संरचना में पुनर्गठित किया जा सकता है। एक बार जब यह इस आकार में आ जाता है, तो कंप्यूटर समझ जाता है कि बिना भ्रमित हुए "कटाई" (घटाव) को कैसे संभालना है।

3. दो मुख्य मामले: "वीक" (Weak) संसार

A. वीक लीनियर रियल अरिथमेटिक (द "रूलर" वर्ल्ड)

दुनिया: कल्पना करें कि एक स्केल (रूलर) है जो किसी भी भिन्न (जैसे 1.5, 3.14, 0.001) को माप सकता है। आप संख्याओं को जोड़ सकते हैं और समानता की जांच कर सकते हैं, लेकिन आप यह नहीं देख सकते कि एक संख्या दूसरी संख्या से "बड़ी है या नहीं"।
परिणाम: लेखकों ने दिखाया कि इस दुनिया में, यदि आप "NOT" को सीमित करते हैं, तो आप पहेली को तुरंत हल कर सकते हैं। यह एक ऐसे स्केल की तरह है जहाँ आप केवल सटीक लंबाई माप सकते हैं, आकार की तुलना नहीं कर सकते।

B. वीक प्रेसबर्गर अरिथमेटिक (द "इंटिजर" वर्ल्ड)

दुनिया: कल्पना करें कि पूर्ण संख्याओं (1, 2, 3...) की दुनिया है। आप उन्हें जोड़ सकते हैं और समानता की जांच कर सकते हैं, लेकिन फिर से, "बड़ा है" या "छोटा है" नहीं।
विपरीत स्थिति: यह एक बड़ा आश्चर्य है। इस दुनिया के मानक संस्करण में (जहाँ आप "बड़ा है" कह सकते हैं), कुछ "NOT" वाले सरल पहेलियाँ भी अत्यंत कठिन (NP-hard) मानी जाती हैं।
परिणाम: "बड़ा है" वाले नियम को हटाकर, लेखकों ने सिद्ध किया कि "वीक" संस्करण फिर से आसान हो जाता है! यदि आप "NOT" को सीमित करते हैं, तो कंप्यूटर इसे जल्दी हल कर सकता है।

4. गुप्त हथियार: "यूनिवर्सल प्रोजेक्शन" (Universal Projections)

इन पहेलियों के सबसे कठिन हिस्सों में से एक "सभी के लिए" (For All) कथनों से निपटना है (जैसे, "प्रत्येक संख्या x के लिए...")।

आमतौर पर, "सभी के लिए" की जांच करना समुद्र तट पर रेत के हर एक कण की जांच करने जैसा है।
लेखकों का ढांचा इस "सभी के लिए" की जांच को एक मानक उपकरण के रूप में मानता है, ठीक वैसे ही जैसे "AND" या "OR"। उन्होंने इस समस्या को "प्रोजेक्ट" करने का एक तरीका विकसित किया है, जो अनिवार्य रूप से अनंत संभावनाओं को एक प्रबंधनीय आकार में सिकोड़ देता है, बशर्ते कि "NOT" सीमित हों।

5. यह क्यों मायने रखता है?

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

सारांश

इस शोध पत्र को अराजकता के लिए एक नए सॉर्टिंग एल्गोरिदम के रूप में समझें।

पुराना दृष्टिकोण: "यदि पहेली बहुत बड़ी है, तो हम इसे हल नहीं कर सकते।"
नया दृष्टिकोण: "यदि पहेली बहुत अधिक उलझी हुई नहीं है (कम 'NOT'), तो हम इसे कितना भी बड़ा होने पर भी हल कर सकते हैं।"

उन्होंने एक सामान्य "मशीन" (एक ढांचा) बनाई है जो किसी भी तार्किक वाक्य को लेती है, उसे एक व्यवस्थित "छीलने" वाली संरचना (डिफरेंस नॉर्मल फॉर्म) में बदल देती है, और फिर उसे कुशलतापूर्वक हल करती है। उन्होंने साबित किया कि यह विशेष प्रकार के गणित (वीक अरिथमेटिक) के लिए काम करता है, यह दिखाते हुए कि "बड़ा है" की तुलना को हटाकर, हम इन तार्किक राक्षसों की जटिलता को नियंत्रित कर सकते हैं।

यहाँ Haase, Mansutti, और Pouly के शोध पत्र "On Polynomial-Time Decidability of k-Negations Fragments of First-Order Theories" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र प्रथम-क्रम सिद्धांतों (first-order theories - FO) के खंडों (fragments) में वाक्यों को निर्धारित करने की कम्प्यूटेशनल जटिलता को संबोधित करता है। जबकि सामान्य FO सिद्धांत अक्सर अनिर्णिनीय (undecidable) होते हैं या उनकी जटिलता उच्च होती है (जैसे PSPACE-hard या उससे अधिक), शोधकर्ता ऐसे सिंटैक्टिक प्रतिबंधों की खोज करते हैं जो सुलभ (polynomial-time) खंड प्रदान कर सकें।

चुनौती: पिछले परिणाम दर्शाते हैं कि प्रतिबंधित खंड भी कठिन हो सकते हैं। उदाहरण के लिए, Nguyen और Pak (2022) ने सिद्ध किया कि प्रेसर-अरिथमेटिक (Presburger arithmetic) का एक विशिष्ट "छोटा" खंड (निश्चित संख्या में चर और क्वांटिफायर अल्टरनेशन के साथ) NP-hard है।
विशिष्ट खंड: लेखक फिक्स्ड-नेगेशन फ्रैगमेंट (fixed-negation fragment) पर ध्यान केंद्रित करते हैं। ये वे फॉर्मूला हैं जो एक ऐसे व्याकरण (grammar) द्वारा उत्पन्न होते हैं जो अनिश्चित संख्या में अस्तित्ववाचक क्वांटिफायर (existential quantifiers), कंजंक्शन्स (conjunctions), और परमाणु सूत्रों (atomic formulae) की अनुमति देते हैं, लेकिन निषेध (negation - $\neg$ $\neg$ ) प्रतीकों की कुल संख्या को एक निश्चित स्थिरांक $k$ $k$ तक सीमित रखते हैं।
- व्याकरण: $\Phi ::= \exists x \Phi \mid \neg \Phi \mid \Phi \land \Phi \mid \Psi$ (जहाँ $\Psi$ परमाणु है)।
लक्ष्य: यह स्थापित करना कि किन पर्याप्त शर्तों के तहत इस $k$ -नेगेशन खंड के लिए संतुष्टि समस्या (satisfiability problem) पॉलीनोमियल टाइम (PTIME) में निर्णिनीय (decidable) है, भले ही चरों और कंजंक्शन्स की संख्या असीमित हो।

2. कार्यप्रणाली: एक जेनेरिक एल्गोरिद्मिक फ्रेमवर्क (Methodology: A Generic Algorithmic Framework)

मुख्य योगदान एक जेनेरिक फ्रेमवर्क है जो $k$ -नेगेशन खंड की निर्णिनीयता को अंतर्निहित सिद्धांत की संरचना में विशिष्ट एल्गोरिद्मिक गुणों के अस्तित्व में बदलने की प्रक्रिया को कम करता है।

A. डिफरेंस नॉर्मल फॉर्म (Difference Normal Form - DNF)

फ्रेमवर्क प्रपोजिशनल लॉजिक के एक गैर-मानक नॉर्मल फॉर्म पर निर्भर करता है जिसे डिफरेंस नॉर्मल फॉर्म कहा जाता है (Hausdorff द्वारा प्रस्तुत)।

डिस्जंक्टिव नॉर्मल फॉर्म (DNF) में बदलने के बजाय, लेखक फॉर्मूला को नेस्टेड रिलेटिव कॉम्प्लीमेंट्स (nested relative complements) के रूप में दर्शाते हैं:
$\Phi_1 - (\Phi_2 - (\dots - (\Phi_{k-1} - \Phi_k)))$
जहाँ प्रत्येक $\Phi_i$ एक निषेध-मुक्त (negation-free) DNF फॉर्मूला है।
मुख्य अंतर्दृष्टि: यह रूप निश्चित संख्या में निषेधों को स्वाभाविक रूप से संभालता है। निषेध की क्रिया को रिलेटिव कॉम्प्लीमेंटेशन ( $A - B = A \cap B^c$ ) के रूप में माना जाता है।
क्वांटिफायर को संभालना: फ्रेमवर्क रिलेटिव यूनिवर्सल प्रोजेक्शन ( $\pi^Z_{\forall}$ ) पेश करता है, जो यूनिवर्सल प्रोजेक्शन का एक रूपांतर है जो केवल एक "संदर्भ" सेट $Z$ के भीतर स्थित सेटों पर कार्य करता है। यह फ्रेमवर्क को पूर्ण कॉम्प्लीमेंट की गणना किए बिना, डिफरेंस स्ट्रक्चर के माध्यम से क्वांटिफायर को आगे बढ़ाने (pushing) की अनुमति देता है।

B. पैरामीट्रइज्ड कॉम्प्लेक्सिटी और UXP सिग्नेचर

फ्रेमवर्क सिद्धांत में परिभाषित सेटों के एक ठोस प्रतिनिधित्व पर पैरामीट्रिक है। इसके लिए आवश्यक है कि सिद्धांत के पास एक यूनिफॉर्म स्लाइसवाइज पॉलीनोमियल (UXP) सिग्नेचर हो।

प्रतिनिधित्व ( $\rho$ ): सेटों को डेटा स्ट्रक्चर (जैसे ऑटोमेटा, ज्यामितीय वस्तुएं, लैटिस) द्वारा दर्शाया जाना चाहिए जो कुशल हेरफेर की अनुमति देते हैं।
UXP रिडक्शन: फ्रेमवर्क के लिए आवश्यक है कि इन प्रस्तुतियों पर संचालन (इंटरसेक्शन, यूनियन, प्रोजेक्शन, इंक्लूजन टेस्टिंग) समय $|w|^{G(\eta(w))}$ में किया जा सके, जहाँ $\eta$ एक पैरामीटर है (जैसे यूनियन में सेटों की संख्या)।
शर्तें: यह सिद्ध करने के लिए कि एक निश्चित $k$ $k$ के लिए $k$ $k$ -नेगेशन खंड PTIME निर्णिनीय है, सिद्धांत को निम्नलिखित को संतुष्ट करना चाहिए:
1. बूलियन कनेक्टिव्स: परमाणु कंजंक्शन्स के इंटरसेक्शन और इंक्लूजन के लिए कुशल एल्गोरिदम (आवश्यकता 4.3)।
2. प्रोजेक्शन: अस्तित्ववाचक प्रोजेक्शन ( $\pi$ ) और रिलेटिव यूनिवर्सल प्रोजेक्शन ( $\pi^Z_{\forall}$ ) के लिए कुशल एल्गोरिदम जो सेटों को प्रतिनिधित्व में वापस मैप करते हैं (आवश्यकता 4.8)।
3. क्लोजर (Closure): प्रतिनिधित्व योग्य सेटों का समूह डिफरेंस नॉर्मल फॉर्म द्वारा परिभाषित ऑपरेशन्स के तहत क्लोज होना चाहिए।

3. मुख्य योगदान (Key Contributions)

जेनेरिक फ्रेमवर्क: लेखक एक ब्लूप्रिंट (प्रपोजिशन 4.2) प्रदान करते हैं जो शोधकर्ताओं को यह निर्धारित करने की अनुमति देता है कि क्या किसी विशिष्ट प्रथम-क्रम सिद्धांत का $k$ -नेगेशन खंड PTIME निर्णिनीय है, बशर्ते वे एल्गोरिद्मिक गुणों (आवश्यकता 4.3 और 4.8) के एक छोटे सेट को सत्यापित कर सकें।
नया नॉर्मल फॉर्म: प्रथम-क्रम तर्क के लिए डिफरेंस नॉर्मल फॉर्म का अनुकूलन, रिलेटिव प्रोजेक्शन की अवधारणा के साथ मिलकर, निषेध को संभालने का एक तरीका प्रदान करता है जो क्वांटिफायर की उपस्थिति में मानक DNF/CNF रूपांतरणों से जुड़े घातीय विस्फोट (exponential blow-up) से बचता है।
जटिलता पृथक्करण (Complexity Separation): यह शोध पत्र दर्शाता है कि प्रेसर-अरिथमेटिक की कठिनाई (निश्चित चरों के साथ NP-hardness) आवश्यक रूप से $k$ -नेगेशन खंड पर लागू नहीं होती है यदि ऑर्डर रिलेशन ( $\leq$ ) को हटा दिया जाए।

4. मुख्य परिणाम और इंस्टेंशिएशन (Main Results and Instantiations)

लेखक अपने फ्रेमवर्क को तीन विशिष्ट सिद्धांतों पर लागू करते हैं, यह सिद्ध करते हुए कि उनके $k$ -नेगेशन खंड PTIME में हैं:

A. वीक लीनियर रियल एरिथमेटिक (Weak LRA)

सिद्धांत: $(\mathbb{R}, 0, 1, +, =)$ का प्रथम-क्रम सिद्धांत।
प्रतिनिधित्व: बेस पॉइंट और वेक्टर्स के आधार (basis of vectors) द्वारा दर्शाए गए एफाइन सबस्पेस (V-representation)।
परिणाम: एफाइन सबस्पेस का इंटरसेक्शन, इंक्लूजन और प्रोजेक्शन PTIME में गणनीय है। फ्रेमवर्क सिद्ध करता है कि $k$ -नेगेशन खंड PTIME में है।

B. वीक प्रेसर-अरिथमेटिक (Weak PA)

सिद्धांत: $(\mathbb{Z}, 0, 1, +, =)$ का प्रथम-क्रम सिद्धांत। यह मानक प्रेसर-अरिथमेटिक से कम अभिव्यंजक है (जिसमें $\leq$ शामिल है)।
प्रतिनिधित्व: शिफ्टेड लैटिस (सेट जो $v_0 + \text{span}_{\mathbb{Z}}\{v_1, \dots, v_k\}$ के रूप में होते हैं)।
तकनीकी चुनौती: वास्तविक अंकगणति के विपरीत, पूर्णांक अंकगणति में विविक्त संरचनाएं (discrete structures) शामिल होती हैं जहाँ लैटिस के यूनियनों के लिए इंक्लूजन टेस्टिंग गैर-तुच्छ है।
समाधान: लेखक हर्मिट नॉर्मल फॉर्म (Hermite Normal Forms) और लैटिस डिटरमिनेंट्स पर आधारित इंक्लूजन-एक्सक्लूजन सिद्धांतों का उपयोग करके एक परिष्कृत एल्गोरिदम विकसित करते हैं। वे दिखाते हैं कि $m$ लैटिस के यूनियन के लिए इंक्लूजन टेस्टिंग $2^m \cdot \text{poly}(\dots)$ समय में की जा सकती है, जो कि जब $m$ (नेगेशन/सेट्स की संख्या) निश्चित हो, तो पॉलीनोमियल है।
परिणाम: वीक PA का $k$ -नेगेशन खंड PTIME में है।

C. एक वेरिएबल प्रति इनइक्वैलिटी वाला प्रेसर-अरिथमेटिक

सिद्धांत: प्रेसर-अरिथमेटिक का एक खंड जहाँ परमाणु सूत्र $x \leq k$ या $x \geq k$ के रूप में होते हैं।
परिणाम: फ्रेमवर्क इस खंड के लिए भी PTIME निर्णिनीयता की पुष्टि करता है।

D. नेगेटिव रिजल्ट (प्रपोजिशन 1.1)

यह शोध पत्र एक निचली सीमा (lower bound) भी स्थापित करता है: वीक PA के लिए दो चरों में $\exists\forall$ हॉर्न वाक्यों (Horn sentences) को निर्धारित करना NP-hard है। यह रेखांकित करता है कि फिक्स्ड-नेगेशन प्रतिबंध महत्वपूर्ण है; नेगेशन (या अल्टरेशन) की संख्या को स्थिर किए बिना, समस्या कमजोर सिद्धांतों के लिए भी कठिन हो जाती है।

5. महत्व (Significance)

मानक सिद्धांत के विपरीत: ये परिणाम मानक प्रेसर-अरिथमेटिक के बिल्कुल विपरीत हैं। जबकि निश्चित क्वांटिफायर अल्टरेशन के साथ मानक प्रेसर-अरिथमेटिक NP-hard है (Nguyen & Pak, 2022), वीक संस्करण ( $\leq$ को हटाकर) फिक्स्ड-नेगेशन प्रतिबंध के तहत PTIME निर्णिनीय हो जाता है।
निषेध को संभालना: यह शोध पत्र एक लंबे समय से चली आ रही तकनीकी बाधा को हल करता है: निषेध को कुशलतापूर्वक कैसे संभालें जब अंतर्निहित प्रतिनिधित्व कॉम्प्लीमेंटेशन के लिए क्लोज न हो। डिफरेंस नॉर्मल फॉर्म और रिलेटिव प्रोजेक्शन का उपयोग करके, फ्रेमवर्क अंतिम चरण तक स्पष्ट कॉम्प्लीमेंटेशन से बचता है, जिससे मध्यवर्ती प्रतिनिधित्व प्रबंधनीय रहता है।
उपयोगिता: यह फ्रेमवर्क केवल अंकगणित तक सीमित नहीं है। लेखक सुझाव देते हैं कि इसे अन्य डोमेन (जैसे ऑक्टागन अंकगणित, प्रोग्राम विश्लेषण में एब्स्ट्रैक्ट डोमेन) पर भी लागू किया जा सकता है, बशर्ते उन डोमेन के लिए विशिष्ट इंक्लूजन और प्रोजेक्शन समस्याएं सुलभ हों।
रचनात्मक (Constructive): यह फ्रेमवर्क रचनात्मक है; यह केवल संतुष्टि को निर्धारित नहीं करता बल्कि दिए गए खंड के किसी भी फॉर्मूला के समाधान सेट का प्रतिनिधित्व भी कंप्यूट कर सकता है।

संक्षेप में, यह शोध पत्र सेट ऑपरेशन्स की फिक्स्ड-पैरामीटर ट्रैक्टेबिलिटी और निषेध को संभालने के लिए एक नवीन नॉर्मल फॉर्म का लाभ उठाकर, प्रथम-क्रम सिद्धांतों के पॉलीनोमियल-टाइम निर्णिनीय खंडों की पहचान करने के लिए एक शक्तिशाली, सामान्य उपकरण प्रदान करता है।