topology पर टैग किए गए जवाब

कृपया उन उदाहरणों को सूचीबद्ध करें जहां गणित से एक प्रमेय जिसे सामान्य रूप से कंप्यूटर विज्ञान में लागू करने के लिए नहीं माना गया था, का उपयोग पहली बार कंप्यूटर विज्ञान में परिणाम साबित करने के लिए किया गया था। सबसे अच्छा उदाहरण वे हैं जहां कनेक्शन स्पष्ट नहीं …

74 reference-request  soft-question  big-list  topology 

मैं कंप्यूटर विज्ञान में टोपोलॉजी के अनुप्रयोगों पर एक सर्वेक्षण लिखना चाहता हूं। मैं कंप्यूटर विज्ञान में सामयिक विचारों के इतिहास को कवर करने की योजना बना रहा हूं और कुछ वर्तमान विकास को भी उजागर करता हूं। यह बहुत उपयोगी होगा अगर कोई भी नीचे दिए गए किसी भी …

61 reference-request  ho.history-overview  topology  survey 

यहाँ एक पहेली है जिसे मैं हल करने में कामयाब नहीं हुआ हूँ। मैं जानना चाहूंगा कि क्या यह समस्या पहले से ही ज्ञात है, या इसका एक आसान समाधान है। बायकार्टेशियन बंद श्रेणियों के गुणों का उपयोग करके एक बायजेस्ट को परिभाषित करना संभव है । रॉन बॉयर ने …

28 puzzles  ct.category-theory  topology 

"टोपोलॉजिकल सॉर्टिंग" को "टॉपोलॉजिकल" क्यों कहा जाता है? क्या यह सिर्फ इसलिए है क्योंकि यह किसी भी कोने या किनारों को बदलने के बिना एक आदेश को निर्धारित करता है - जैसे डोनट और कॉफी कप स्थैतिक रूप से समकक्ष हैं? इसे "निर्भरता प्रकार" या कुछ और क्यों नहीं कहा …

28 graph-theory  graph-algorithms  directed-acyclic-graph  topology 

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

27 cc.complexity-theory  big-list  topology 

एडियाबेटिक क्वांटम अभिकलन (AQC) में, एक [समस्या] हैमिल्टनियन की जमीनी स्थिति में एक अनुकूलन समस्या के समाधान को एन्कोड करता है । इस जमीनी अवस्था में जाने के लिए, आप हैमिल्टन और "anneal" ( perturb) के साथ ओर एक आसानी से ठंडा प्रारंभिक (जमीन) स्थिति में शुरू ,एचपीएचपीH_pएचमैंएचमैंH_iएचपीएचपीH_p एच( s …

19 reference-request  quantum-computing  physics  topology 

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

18 reference-request  lo.logic  sat  topology  lattice 

क्या एक सामान्य प्रमेय है, जो उचित स्वच्छता के साथ, वास्तविक संख्याओं के उपयोग के बारे में सबसे अधिक ज्ञात परिणाम वास्तव में इस्तेमाल किया जा सकता है, जब केवल कम्प्यूटेशनल रियल पर विचार किया जाता है? या क्या केवल कम्प्यूटेशनल रियल्स पर विचार करते हुए परिणामों की उचित विशेषता …

16 computability  computing-over-reals  topology  model-theory 

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

15 set-theory  topology  topological-graph-theory 

यह ज्ञात है कि निर्धारित त्रिभुज 3-गुना कई गुना है या नहीं, यह एनपी में एक 3-गोला है, 2004 में शाऊल स्लेइमर द्वारा काम के माध्यम से: "क्षेत्र पहचान एनपी में निहित है" arXiv: math / 0x7047v1 [math.GT] । मैं सोच रहा हूं कि क्या यह पिछले पांच या छह …

13 cc.complexity-theory  reference-request  open-problem  topology 

Borsuk-ऊलाम प्रमेय का कहना है कि हर निरंतर अजीब समारोह के लिए है कि एक n क्षेत्र से इयूक्लिडियन एन-अंतरिक्ष में, वहाँ एक बिंदु है ऐसी है कि ।gggx0x0x_0g(x0)=0g(x0)=0g(x_0)=0 सीमन्स एंड सू (2002) ने टकर के लेम्मा का उपयोग करके बिंदु को अनुमानित करने के लिए एक विधि का वर्णन …

10 approximation-algorithms  time-complexity  topology  algebraic-topology 

कंप्यूटर विज्ञान में तर्क की हैंडबुक में स्माइथ का अध्याय और अन्य संदर्भ बताते हैं कि मैट्रिक स्पेस को डोमेन के रूप में कैसे इस्तेमाल किया जा सकता है। मैं समझता हूं कि पूर्ण मीट्रिक रिक्त स्थान अनन्य निश्चित अंक देते हैं, लेकिन मुझे यह समझ में नहीं आता है …

10 semantics  topology  denotational-semantics  domain-theory  metrics