सैद्धांतिक कंप्यूटर विज्ञान

अधिकांश प्रकार के सिद्धांत जो मुझे ज्ञात हैं वे विधेय हैं जिनके द्वारा मेरा मतलब है Void : Prop Void = (x : Prop) -> x अधिकांश प्रमेय सिद्ध नहीं किए गए हैं क्योंकि यह पीआई प्रकार उसी ब्रह्मांड से संबंधित है Propऔर ऐसा नहीं है Prop : Prop। यह …

11 lo.logic  type-theory 

क्या परिमित उलटा अर्धवृत्ताकार समतावाद समस्या जीआई-पूर्ण है ? यहाँ परिमित उलटा अर्धवृत्त उनके गुणन सारणी द्वारा दिए गए मान लिए गए हैं।

11 cc.complexity-theory  graph-isomorphism 

मैं सटीक क्वांटम एल्गोरिदम के बारे में विचारों पर विचार कर रहा हूं। विशेष रूप से, मैं की संभावित सीमाओं पर विचार कर रहा हूं , जो एक मनमाना परिमित गेट सेट पर बहुपत्नी-समान क्वांटम सर्किट परिवारों द्वारा निश्चित रूप से निर्णायक हैं।EQPEQP\mathsf{EQP} क्वांटम फूरियर ट्रांसफॉर्म (QFT), F N = …

11 quantum-computing  circuit-families 

गोल्डीच एट अल। का प्रमाण है कि तीन रंगक्षमता में शून्य ज्ञान प्रमाण हैं, प्रत्येक दौर में ग्राफ के पूरे रंग के लिए बिट प्रतिबद्धता का उपयोग करता है [1]। यदि ग्राफ़ में कोने और ई किनारों हैं, तो एक सुरक्षित हैश में बी बिट्स हैं, और हम त्रुटि संभावना …

11 communication-complexity  zero-knowledge 

एक वेक्टर अलावा सिस्टम (वीएएस) के एक परिमित सेट है कार्रवाई । का सेट है निशान । एक रन मार्किंग का एक खाली-खाली शब्द है st । इस तरह के एक शब्द मौजूद है, तो हम कहते हैं कि है पहुँच में से ।एक ⊂ जेड डी एन डी एम …

11 fl.formal-languages  decidability 

पूर्ण जानकारी दो-खिलाड़ी कॉम्बीनेटरियल गेम पर विचार करें जो एक बहुपद संख्या के बाद समाप्त होता है, और एक वैकल्पिक तरीके से, खिलाड़ी अनुमत चालों की एक सीमित संख्या से चुनता है। सामान्य सवाल यह है कि किसी दिए गए पद से विजेता को बताना कितना मुश्किल है। एक और …

11 cc.complexity-theory  np  board-games  pspace 

मान लीजिए कि हमारा इनपुट एक बाइनरी और हमें , जहाँ कुछ निरंतर पूर्णांक है। यह सिर्फ एक बदलाव है अगर दो की शक्ति है, लेकिन अन्य संख्याओं का क्या? क्या हम इसे प्रत्येक लिए एक निरंतर गहराई सर्किट के साथ कर सकते हैं ? बारे में क्या ?⌊ एक्स …

11 cc.complexity-theory  circuit-complexity  ac0 

निम्नलिखित समस्या पर विचार करें: दो तार x, y को देखते हुए, यह तय करें कि क्या कोई स्ट्रिंग होमोमोर्फिज्म f मौजूद है जैसे कि f (x) = y। यह दिखाना आसान है कि यह समस्या । क्या इस समस्या के बारे में हम कुछ और बातें कह सकते हैं? …

11 cc.complexity-theory  reference-request  fl.formal-languages 

बस टाइप किए गए लैम्ब्डा कैलकुलस और उच्चतर ऑर्डर लॉजिक के बीच क्या संबंध है? करी-हावर्ड के तहत ऐसा लगता है कि बस टाइप किए गए लंबो कैलकुलस प्रपोजल लॉजिक से मेल खाते हैं। यह उच्च श्रेणी के तर्क से कैसे संबंधित है? Geuvers के इस ट्यूटोरियल के अनुसार: http://typessummerschool07.cs.unibo.it/courses/geuvers-1.pdf …

11 lo.logic  typed-lambda-calculus  curry-howard 

क्या विभाजन के पेड़ कभी लागू किए गए हैं? यहाँ, मैं कम्प्यूटेशनल ज्यामिति से विभाजन पेड़ों के बारे में बात कर रहा हूँ। सबसे प्रारंभिक (निकट-) इष्टतम संस्करण, जो मैटसोक और अन्य के कारण थे, और सबसे हाल ही में टिमोथी चान: https://cs.uwaterloo.ca/~tmchan/optpt_2_10.pdf यह मुझे पागल लगता है कि ये …

11 ds.data-structures  implementation  computational-geometry 

चलो कुछ क्षेत्र हो। हमेशा की तरह, के लिए एक हम परिभाषित का सरल-रेखा जटिलता होने के लिए से अधिक । चलो के एकपदीयों के सेट होना , अर्थात् एकपदीयों दिखाए गैर शून्य गुणांक के साथ।च ∈ कश्मीर [ एक्स 1 , x 2 , ... , x n ] …

11 cc.complexity-theory  algebraic-complexity  arithmetic-circuits 

मैं जानना चाहता हूं ( इस अन्य प्रश्न से संबंधित ) यदि निम्न परीक्षण समस्या के लिए निम्न सीमाएं जानी जाती थीं: किसी को गैर-नकारात्मक संख्याओं के अनुक्रम तक क्वेरी एक्सेस दी जाती है और , इस वादे के साथ कि या तो या ।an≥⋯≥a1an≥⋯≥a1a_n \geq \dots\geq a_1ε∈(0,1)ε∈(0,1)\varepsilon \in (0,1)∑nk=1ak=1∑k=1nak=1\sum_{k=1}^n …

11 reference-request  randomized-algorithms  property-testing 

जैसा कि हम जानते हैं, एल्गोरिथ्म की कम्प्यूटेशनल जटिलता की परिभाषा लगभग विवाद के बिना है, लेकिन वास्तविक या कम्प्यूटेशनल मॉडल की वास्तविकताओं की कम्प्यूटेशनल जटिलता की परिभाषा ऐसे मामले में नहीं है। हम ब्लम और स्मेल्स के मॉडल और मॉडल को कम्प्यूटेशनल विश्लेषण में जानते हैं। और प्रतीत होता …

11 cc.complexity-theory  reference-request  computability  computing-over-reals  computable-analysis 

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

11 reference-request  gt.game-theory  implementation  board-games  combinatorial-game-theory 

GGGMGMGM_GGGGMG[i,j]MG[i,j]M_G[i, j]iiijjjGGG+++maxmax\max मैं कहता हूं कि एक subgraph की (समान शिखर सेट के साथ) है SP-बराबर करने के लिए अगर । दूसरे शब्दों में, से जाने के लिए किनारों को हटाने को कम से कम पथ की लंबाई को बदल नहीं करता है; हटाए गए किनारों को किसी भी सबसे …

11 ds.algorithms  reference-request  graph-algorithms  shortest-path