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

मान लीजिए कि दो या दो से अधिक विभिन्न संस्थानों के सहकर्मी लेटेक्स में एक पेपर लिख रहे हैं, और बार-बार ड्राफ्ट को आगे-पीछे ईमेल करने से बेहतर करना चाहते हैं। उन्हें पता चलता है कि वे एक ड्रॉपबॉक्स खाते को मुफ्त में खोल सकते हैं, पासवर्ड साझा कर सकते …

36 soft-question  research-practice  software  writing 

मान लीजिए कि मैं ट्यूरिंग समस्या के बारे में ट्यूरिंग के सबूत को औपचारिक बनाना चाहता था ताकि एक मशीन इसकी जांच कर सके। प्रसिद्ध स्वचालित प्रमेय प्रणालियों में से कुछ में मिज़ार, कोक और एचओएल 4 शामिल हैं। मैंने Coq के साथ डाउनलोड किया और प्रयोग किया, लेकिन इसमें …

28 lo.logic  turing-machines  software  proof-assistants  automated-theorem-proving 

क्या कोई निश्चित "k" (चौड़ाई) के लिए ग्राफ़ के ट्री अपघटन के कंप्यूटिंग के लिए एक ओपन-सोर्स प्रोग्राम के बारे में जानता है? मुझे पता है कि वेरिएबल "के" के लिए ट्री-डिकम्पोजिशन खोजने की समस्या एनपी-हार्ड है, लेकिन मेरे इनपुट इंस्टेंस वास्तव में छोटे होंगे (~ 10 नोड्स) और "के" …

22 ds.algorithms  graph-theory  graph-algorithms  software  treewidth 

जब एक साथ परिणाम डालते हैं, तो यह अक्सर एमएस पेंट में एक साथ रखे गए आरेखों के बजाय कुछ पेशेवर दिखने वाले आरेखों के लिए वांछनीय होता है। डेटा संरचनाओं को खींचने के लिए मानक क्या है?

21 soft-question  ds.data-structures  software  graph-drawing  writing 

क्या कोई एक या एक से अधिक वेबसाइटों को इंगित कर सकता है, जहां #SAT सॉल्वर का कार्यशील कार्यान्वयन संभव है? मैं उन लोगों में दिलचस्पी रखता हूं जो सटीक समाधान गिनती लौटाते हैं, न कि एक अनुमान।

21 ds.algorithms  sat  software 

मैं पेज रैंक की कल्पना करने के लिए जंग ( http://jung.sourceforge.net/ ) का उपयोग कर रहा था और इसे 100 नोड से परे स्केल करने के लिए थोड़ा धीमा और मुश्किल पाया। मैं सोच रहा था कि नेटवर्क / सोशल नेटवर्क विश्लेषण और विज़ुअलाइज़ेशन के लिए लोग अन्य उपकरणों का …

20 graph-theory  big-list  cg.comp-geom  software  graph-drawing 

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

20 soft-question  research-practice  software  writing 

क्या कोई सॉफ्टवेयर पैकेज है जो से यूनिटों के अपघटन को पूर्वनिर्धारित सार्वभौमिक गेट सेट पर क्वांटम सर्किट में अनुमति देता है ?यू( २)n)यू(2n)U(2^n)

15 quantum-computing  software 

मैं एलपी कार्य के लिए एसएम को लागू करने में दिलचस्पी रखता हूं, हालांकि मैंने संभावित नुकसान के बारे में सुना है: कॉर्मेन की किताब कहती है कि इनपुट डेटा होना संभव है जो घातीय समय में व्यवहार करने के लिए भोली कार्यान्वयन बना देगा। मैंने यह भी सुना है …

14 ds.algorithms  linear-programming  software  implementation  simplex 

मैं कुछ प्रमाण सहायक का उपयोग करके गणितीय प्रमाण लिखना चाहूंगा। सब कुछ पहले क्रम तर्क (समानता के साथ) और प्राकृतिक कटौती का उपयोग करके लिखा जाएगा। पृष्ठभूमि सेट सिद्धांत (ZF) है। उदाहरण के लिए, मैं निम्नलिखित प्रमाण कैसे लिख सकता हूं? Axiom:∀ x ∀ य( x = y↔ ∀ …

12 lo.logic  software  proof-assistants 

सभी #SAT सॉल्वरों को मैं जानता हूं, जैसे RelSat, C2D, केवल संतोषजनक उदाहरणों की संख्या वापस करते हैं। लेकिन मैं उनमें से प्रत्येक उदाहरण को जानना चाहता हूं? क्या ऐसा #SAT सॉल्वर है या मुझे ऐसा करने के लिए उपलब्ध #SAT सॉल्वर को कैसे संशोधित करना चाहिए? धन्यवाद।

11 lo.logic  sat  software 

मैं उच्च-आयामी उत्तल पॉलीहेड्रा की मात्रा की गणना / आकलन के लिए सॉफ्टवेयर की तलाश कर रहा हूं। अधिक विशेष रूप से, मुझे एक कार्यक्रम में दिलचस्पी है, जो कोने में निकायों को संभाल सकता हैnnnघघd- इस तरह के रूप में मोटे तौर पर सीमाओं के साथ आयामी अंतरिक्ष: घ≤ …

9 cg.comp-geom  software  convex-geometry  high-dimensional-geometry