reference-request पर टैग किए गए जवाब

क्या स्वचालित प्रमेय साबित करने और सबूत को रेखीय और अन्य प्रपोजल सबस्ट्रक्चरल लॉजिक्स में आसान खोज रहा है जिसमें संकुचन की कमी है? मैं इन लॉजिक्स में साबित होने वाले और प्रमाणिक खोज में संकुचन की भूमिका के बारे में और अधिक कहां पढ़ सकता हूं?

18 reference-request  lo.logic  survey  automated-theorem-proving  linear-logic 

समय जटिलता या सर्किट कम सीमा के साथ सीधे काम करना डरावना है। इसलिए, हम निचले सीमा पर एक हैंडल प्राप्त करने के लिए क्वेरी जटिलता (या निर्णय-वृक्ष जटिलता) जैसे उपकरण विकसित करते हैं। चूंकि प्रत्येक क्वेरी में कम से कम एक इकाई चरण होता है, और प्रश्नों के बीच …

18 cc.complexity-theory  reference-request  time-complexity  query-complexity 

बिटकॉइन नामक एक विकेन्द्रीकृत ऑनलाइन मुद्रा बनाने के लिए एक हालिया दृष्टिकोण, कुछ ब्याज पैदा कर रहा है। लक्ष्य एक केंद्रीय प्राधिकरण के बिना और दोहरे खर्च या जालसाजी के बिना मुद्रा हस्तांतरण का एक तरीका है। उनका दृष्टिकोण नेटवर्क में सभी नोड्स का होना है, जो प्रूफ-ऑफ-वर्क की गणना …

18 reference-request  cr.crypto-security 

क्या यह सच है कि समय (O(nk)O(nk)O(n^k) बहुपद पदानुक्रम के कुछ स्तर में एक वैकल्पिक ट्यूरिंग मशीन द्वारा ) में बहुपद पदानुक्रम में समस्याएँ हैं जो किसी भी स्तर में O(nk−1)O(nk−1)O(n^{k-1}) में हल करने योग्य नहीं हैं । बहुपद पदानुक्रम? दूसरे शब्दों में - क्या बहुपद पदानुक्रम के लिए एक …

18 cc.complexity-theory  reference-request  polynomial-hierarchy  time-hierarchy 

कम्प्यूटेशनल जियोमीटर या बीजगणित के लिए 2 प्रश्न: मैं सिर्फ कम्प्यूटेशनल ज्यामिति में गोता लगाने के लिए शुरुआत कर रहा हूं और मैं इसे प्यार कर रहा हूं =) मैं एक डेलायून त्रिभुज एल्गोरिथ्म को लागू करने के लिए गुइबास और स्टॉल्पी द्वारा प्रसिद्ध लेख "सामान्य उपखंडों के हेरफेर के …

18 reference-request  cg.comp-geom  algebra 

ब्रेज़ोज़ोव्स्की की व्युत्पत्ति की विधि नियमित रूप से भावपूर्ण बीजगणितीय तरीके से नियतात्मक ऑटोमेटा के निर्माण के लिए एक बहुत ही सुंदर तकनीक है। मैंने व्याकरण के कुछ बड़े वर्गों को संभालने के लिए इस तकनीक के कुछ प्यारे सामान्यीकरणों पर काम किया है, लेकिन एल्गोरिदम सीधे पर्याप्त हैं कि …

18 reference-request  fl.formal-languages  parsing 

समस्या: हमें पूर्णांक लंबाई वाले सभी स्टिक्स का एक सेट दिया जाता है। उनकी लंबाई का कुल योग n (n + 1) / 2 है। हम उन्हें तोड़ सकते हैं आकार की छड़ें प्राप्त करने के लिए बहुपद समय में? 1 , 2 , … , एन1,2,...,n{1,2,\ldots,n} हैरानी की बात …

18 reference-request  complexity-classes  puzzles 

मैं निम्नलिखित समस्या में दिलचस्पी रखता हूं: एक सेट X को देखते हुए और X_1 को सबसेट करता है, ..., X_n of X, k के रंगों के साथ X के तत्वों का रंग ढूंढता है जैसे कि प्रत्येक X_i में तत्व सभी अलग-अलग रंग के होते हैं। विशेष रूप से, …

18 cc.complexity-theory  reference-request  np-hardness  hypergraphs 

Satisfiability समस्या सैद्धांतिक सीएस में एक मौलिक समस्या निश्चित रूप से, है। मैं असीम रूप से कई चर के साथ समस्या के एक संस्करण के साथ खेल रहा था। \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} बुनियादी ढांचा। मान लें कि एक गैर-रिक्त और संभवतः चर का अनंत सेट है । एक शाब्दिक या तो …

18 reference-request  lo.logic  sat  topology  lattice 

में Sakarovitch की किताब ऑटोमेटा सिद्धांत पर, उस पर अनुभाग के लिए परिचय में लिखा है मुक्त समूह में परिमेय है कि सामग्री उसमें प्रस्तुत "विषय से मुक्त भाषाओं के वास्तव में एक गणितीय सिद्धांत की नींव" देता है। फिर भी, यह स्पष्ट नहीं किया गया है, क्योंकि संदर्भ-मुक्त भाषा …

17 context-free  automata-theory  reference-request 

यह ज्ञात है कि समता फलन की गणना करने वाले के न्यूनतम आकार बिल्कुल बराबर है । निचला बाध्य प्रमाण गेट उन्मूलन विधि पर आधारित है। 3 ( n - 1 )यू2यू2U_23 ( एन - 1 )3(n-1)3(n-1) हाल ही में, मैंने देखा कि गेट एलिमिनेशन विधि nondeterministic लिए भी अच्छी …

17 cc.complexity-theory  reference-request  circuit-complexity 

साहित्य में निम्नलिखित ग्राफ वर्ग को जाना जाता है? रेखांकन के वर्ग धनात्मक पूर्णांक द्वारा parameterized है और टी और प्रत्येक ग्राफ में शामिल है जी = ( वी , ई ) ऐसी है कि प्रत्येक शिखर के लिए वी ∈ वी , के subgraph जी ज्यादा से ज्यादा दूरी …

17 reference-request  graph-theory  treewidth 

जब प्रिंट में जटिलता सिद्धांत की प्रासंगिकता के अर्थशास्त्रियों को समझाने की कोशिश की जाती है, तो क्या यह हवाला देने के लिए एक मानक संदर्भ है? मैं नोआम निसान के ब्लॉग पोस्ट , टिम रफगार्डन के सर्वेक्षण और स्कॉट आरोनसन के निबंध के अध्याय 11 से परिचित हूं । …

17 cc.complexity-theory  reference-request  application-of-theory  ho.history-overview  ce.computational-finance 

मैं कुशल एल्गोरिदम के प्राकृतिक उदाहरणों की तलाश कर रहा हूं (यानी बहुपद में) सेंट उनकी शुद्धता और दक्षता रचनात्मक रूप से सिद्ध की जा सकती है (जैसे या ), लेकिनPRAPRAPRAHAHAHA केवल कुशल अवधारणाओं का उपयोग करने वाला कोई भी प्रमाण ज्ञात नहीं है (अर्थात हम या में अपनी शुद्धता …

17 cc.complexity-theory  reference-request  lo.logic  proof-complexity  constructive-mathematics 

अधिकांश साइटें जो मैंने इस दिलचस्प विषय पर पठन के साथ देखी हैं, कुछ लाइनों के साथ "दो की एकमात्र शक्तियाँ (2 स्वयं के अलावा) जो इस क्रम में होती हैं वे प्रमुख प्रतिपादक हैं" (मैथवर्ल्ड) या "2 के बाद, इस क्रम में 2 की निम्नलिखित शक्तियाँ समाहित हैं: [...] …

17 reference-request  primes