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

दो मेट्रिसेस और को देखते हुए , यह तय करने की समस्या कि क्या कोई परमान्यूशन मैट्रिक्स मौजूद है, जैसे कि , (Graph Isomorphism) के बराबर है । लेकिन अगर हम को सिर्फ एक उल्टा मैट्रिक्स होने के लिए आराम देते हैं , तो जटिलता क्या है? क्या एक इनवर्टेड …

16 ds.algorithms  time-complexity  linear-algebra  matrices  graph-isomorphism 

यह अच्छी तरह से ज्ञात है कि सिस्टम एफ में, आप द्विआधारी उत्पादों को प्रकार के साथ सांकेतिक शब्दों में बदलना कर सकते हैं फिर आप को परिभाषित कर सकते प्रक्षेपण कार्यों \ pi_1: एक \ बार बी \ एक करने के लिए और \ pi_2: एक \ बार बी …

16 reference-request  pl.programming-languages  dependent-type  parametricity 

मान लीजिए कि हमें एक मैट्रिक्स दिया जाता है A∈RN×NA∈RN×NA \in \mathbb R^{N\times N} , और । हम कितनी तेजी से उस मैट्रिक्स की शक्ति की गणना कर सकते हैं ?m∈N0m∈N0m \in \mathbb N_0AmAmA^m -products की तुलना करने के लिए अगली सबसे अच्छी बात यह है कि तेजी से घातांक …

16 ds.algorithms  matrices  na.numerical-analysis 

डिक लिपटन के ब्लॉग को पढ़ते हुए, मैंने उसके बॉर्न फैक्टर पोस्ट के अंत के पास निम्नलिखित तथ्य को ठोकर मार दी : यदि, प्रत्येक nnn , फॉर्म का कोई संबंध मौजूद है ! = मीटर - 1 Σ कश्मीर = 0 एक कश्मीर ख ग कश्मीर कश्मीर(2n)!=∑k=0m−1akbckk(2n)!=∑k=0m−1akbkck (2^n)! = …

16 ds.algorithms  reference-request  factoring  comp-number-theory 

वर्टेक्स अप्रत्यक्ष ग्राफ को देखते हुए , सबग्राफ को खोजने के लिए सबसे अच्छा ज्ञात रनटाइम क्या है जो एक -biclique है? क्या एक तरफ "अनुमान लगाने" के "एल्गोरिथ्म" के तुलना में तेजी से एल्गोरिदम हैं और देखते हैं कि क्या उन सभी में कम से कम अन्य वर्टीकल की …

16 ds.algorithms  reference-request  graph-algorithms  parameterized-complexity 

क्या आप पाई-कैलकुलस में विश्वसनीय ब्रॉडकास्ट कर सकते हैं? यदि हां, तो कैसे? यदि नहीं: क्या कोई समान प्रक्रिया बीजगणित है जहाँ आप कर सकते हैं? मैंने क्या कोशिश की है: इस तो एक संदेश भेजने के लिए करना चाहता है y सभी पी 1 के लिए पी एन , …

16 pl.programming-languages  formal-modeling  process-algebra  pi-calculus 

हम जानते हैं कि हम प्लेन के एक सेट द्वारा किसी भी प्लेन ग्राफ का प्रतिनिधित्व कर सकते हैं, जिसे सिक्का ग्राफ के रूप में जाना जाता है । प्रत्येक चक्र एक शीर्ष प्रतिनिधित्व करता है और वहाँ दो कोने के बीच बढ़त है यदि और केवल यदि उनकी सीमा …

16 graph-theory  co.combinatorics  graph-algorithms  graph-drawing 

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

16 cc.complexity-theory  ds.algorithms  complexity-classes  approximation-algorithms 

मैं इस समस्या में दिलचस्पी रहा हूँ: एक अनिर्दिष्ट ग्राफ को देखते हुए , वहाँ के एक विभाजन है जी रेखांकन में जी 1 ( ई 1 , वी 1 ) और जी 2 ( ई 2 , वी 2 ) ऐसी है कि जी 1 और जी 2 आइसोमॉर्फिक …

16 cc.complexity-theory  graph-theory  graph-isomorphism 

कुरोदा के एक क्लासिक परिणाम के द्वारा, जटिलता वर्ग NSPACE [ ]nnn (जिसे NLIN-SPACE के रूप में भी जाना जाता है) वास्तव में संदर्भ-संवेदनशील भाषाओं का वर्ग CSL है । संतुष्टि की समस्या SAT NSPACE [ ] में है, क्योंकि समाधान के लिए रैखिक-आकार के अनुमान को पुस्तक-रखने के लिए …

16 cc.complexity-theory  fl.formal-languages  sat  space-bounded 

मैं यह पता लगाने की कोशिश कर रहा हूँ कैसे पथ ग्राफ़ Eppstein के एल्गोरिथ्म के अनुसार इस में कागज काम करता है और कैसे मैं फिर से संगठित कर सकते हैं कश्मीर से कम से कम पथ रों को टी इसी ढेर निर्माण के साथ एच ( जी ) …

16 ds.algorithms  graph-theory  graph-algorithms  directed-acyclic-graph 

एक क्रमपरिवर्तन वाक्यांश मानक (ई) BNF संदर्भ मुक्त व्याकरण परिभाषाओं के लिए एक विस्तार है: एक क्रमचय वाक्यांश शामिल n प्रस्तुतियों (या समतुल्य nonterminals) एक 1 के माध्यम से एक एन । क्रमपरिवर्तन वाक्यांश की स्थिति में, हम इनमें से हर एक को ठीक एक बार देखना चाहेंगे, लेकिन हम …

16 ds.algorithms  fl.formal-languages  parsing  context-free 

मैं सिद्धांत में काम नहीं करता हूं, लेकिन मेरे काम को हर बार एक समय में सिद्धांत पत्रों को पढ़ने (और समझने) की आवश्यकता होती है। एक बार जब मैं परिणामों का (सेट) समझ लेता हूं, तो मैं उन लोगों के साथ इन परिणामों पर चर्चा करता हूं जिनके साथ …

16 ds.algorithms  graph-algorithms 

साथ ही जाना जाता है, एक ग्राफ का एक पेड़ अपघटन एक वृक्ष होता है टी एक संबद्ध बैग के साथ टी वी ⊆ वी ( जी ) प्रत्येक शिखर के लिए वी ∈ वी ( टी ) है, जो संतुष्ट निम्न स्थितियों में:GGGTTTTv⊆V(G)Tv⊆V(G)T_v \subseteq V(G)v∈V(T)v∈V(T)v \in V(T) का प्रत्येक …

16 ds.algorithms  graph-theory  graph-algorithms  treewidth 

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

16 cc.complexity-theory  lower-bounds  circuit-complexity