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

मैं सीएस में अपने मास्टर की थीसिस लिख रहा हूं और मैं उर्फ ​​विश्लेषण के साथ काम कर रहा हूं। मैं जिस चीज में दिलचस्पी रखता हूं वह है इंट्राप्रोसेरेडुरल, फ्लो सेंसिटिव चाहिए- और जावा जैसी भाषाओं के लिए हो सकता है। मैं उन ग्रंथों की खोज कर रहा हूं …

10 reference-request  pl.programming-languages  compilers  program-analysis 

मेरा सवाल यह है कि गेट के साथ गहराई वाले 3 बुलियन सर्किट के लिए निचले सीमा क्यों "और" और "xor" निर्धारक के लिए पर अंकगणितीय सर्किट के लिए समान निचले सीमा नहीं है ?ZZ\mathbb{Z} निम्नलिखित तर्क के साथ क्या गलत है: एक अंकगणितीय परिपथ है जो कि निर्धारक की …

10 cc.complexity-theory  circuit-complexity  arithmetic-circuits 

कक्षा BPNC ( और का संयोजन ) लॉग समांतर एल्गोरिदम को बाउंड एरर प्रायिकता और एक यादृच्छिक स्रोत तक पहुंच के साथ होना चाहिए (मुझे यकीन नहीं है कि यह एक अलग नाम है)। डीबीपीएनसी को समान रूप से परिभाषित करें, सिवाय इसके कि सभी प्रक्रियाओं को एल्गोरिदम स्टार्टअप पर …

10 cc.complexity-theory  complexity-classes  dc.parallel-comp  randomness  pseudorandomness 

BPPBPP\mathsf{BPP} और दो बुनियादी संभाव्यता जटिलता वर्ग हैं।ZPPZPP\mathsf{ZPP} BPPBPP\mathsf{BPP} -टाइम ट्यूरिंग एल्गोरिदम द्वारा तय की गई भाषाओं की श्रेणी है जहाँ एल्गोरिथ्म की गलत उत्तर देने की संभावना होती है, अर्थात त्रुटि प्रायिकता अधिकांश (हाँ और दोनों के लिए कोई उदाहरण नहीं)।1313\frac{1}{3} दूसरी ओर, एल्गोरिदम को उन संभाव्य एल्गोरिदम के …

10 cc.complexity-theory  complexity-classes  randomness  randomized-algorithms 

निम्नलिखित प्रश्न बेलमैन-फोर्ड - सबसे छोटी पथ गतिशील प्रोग्रामिंग एल्गोरिदम की समानता से संबंधित है ( एक कनेक्शन के लिए इस पोस्ट को देखें )। इसके अलावा, एक सकारात्मक उत्तर का अर्थ यह होगा कि STCONN समस्या के लिए एक मोनोटोन नॉनडेटर्मिनिस्टिक ब्रांचिंग कार्यक्रम का न्यूनतम आकार । s tssttΘ …

10 graph-theory  circuit-complexity  lower-bounds 

मैं बूलियन सूत्र संतुलन की समस्या की जटिलता के संदर्भों की तलाश कर रहा हूं । विशेष रूप से, क्या यह ज्ञात था कि बूलियन सूत्र में संतुलित हो सकते हैं ?AC0AC0\mathsf{AC^0} क्या बूलियन फॉर्मूला संतुलन का एक सरल प्रमाण है ?AC0AC0\mathsf{AC^0} "सरल" से मेरा मतलब है कि मैं नीचे …

10 cc.complexity-theory  ds.algorithms  reference-request  lo.logic  boolean-formulas 

{ 1 , 2 , … , n } के अधिकांश n सबसेट के एक परिवार को देखते हुए । यूनियन क्लोजर एफ एक और सेट फैमिली सी है जिसमें हर सेट होता है जिसका निर्माण एफ में 1 या उससे अधिक सेट के यूनियन को मिलाकर किया जा सकता …

10 co.combinatorics  graph-algorithms  clique  independence 

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

10 pl.programming-languages  semantics  denotational-semantics  operational-semantics 

मुझे पता है कि गॉसियन एलिमिनेशन में अंकगणितीय संचालन होता है, लेकिन अगर कोई बेहतर एल्गोरिदम ज्ञात हो तो मैं अनिश्चित हूं।ओ ( एन)3)हे(n3)O(n^3)

10 ds.algorithms  linear-algebra  matrices 

सबसे अधिक संभावनावादी प्रूफ सिस्टम (उदाहरण के लिए पीसीपी प्रमेय) में, त्रुटि-संभावनाएं आमतौर पर गलत-सकारात्मक के पक्ष में परिभाषित की जाती हैं, अर्थात, एक सामान्य परिभाषा दिख सकती है: यदि तो सत्यापनकर्ता हमेशा स्वीकार करता है, लेकिन अन्य मामले में अस्वीकृति की संभावना कम से कम 1/2 है।x ∈ एलएक्स∈एलx …

10 cc.complexity-theory  pcp  interactive-proofs 

चलो का एक सेट हो एन में अंक आर डी । किसी भी के लिए टी ≥ 1 , एक टी -spanner एक अनिर्दिष्ट ग्राफ है जी = ( पी , ई ) Euclidian उपाय के तहत भारित, ऐसी है कि किसी भी दो अंक के लिए v , यू …

10 cg.comp-geom 

स्वामित्व प्रकार और पृथक्करण तर्क के समान लक्ष्य प्रतीत होते हैं, स्वामित्व और उपनाम पर नियंत्रण होता है। शायद, मुझे भी जोड़ना चाहिए: मॉड्यूलर विनिर्देशों को लिखने की क्षमता। स्वामित्व प्रकार और पृथक्करण तर्क के बीच संबंध के बारे में क्या जाना जाता है?

10 pl.programming-languages  type-systems  object-oriented  program-logic 

प्रसंग : Kavvadias और Sideri पता चला है कि उलटा 3-सैट समस्या coNP पूरा है: यह देखते हुए पर मॉडल का एक सेट चर, वहाँ एक 3-CNF सूत्र ऐसी है कि मॉडल की अपनी सटीक सेट है? एक तत्काल उम्मीदवार सूत्र उत्पन्न होता है, जो सभी मॉडलों के संयोजन है …

10 cc.complexity-theory  lo.logic  complexity-classes  computability  sat 

फिक्स k≥5k≥5k\ge5 । किसी भी बड़े पर्याप्त nnn , हम { 1 ... T } से सकारात्मक पूर्णांकों द्वारा आकार के बिलकुल n / k के {1..n}{1..n}\{1..n\} के सभी सबसेट को लेबल करना चाहेंगे । हम निम्नलिखित संपत्ति को पूरा करने के लिए इस लेबलिंग चाहते हैं: वहाँ एक सेट …

10 ds.algorithms  graph-algorithms  it.information-theory  nt.number-theory  exp-time-algorithms 

मैं साहित्य में MAMA\mathsf{MA} और से संबंधित बयान नहीं पा सका हूं NPRPNPRP\mathsf{NP}^\mathsf{RP}; संकेत की सराहना की जाएगी। मेरा मानना ​​है कि वे समान हैं: MA⊆NPRPMA⊆NPRP\mathsf{MA} \subseteq \mathsf{NP}^\mathsf{RP} :NPNP\mathsf{NP} मशीन मर्लिन के स्ट्रिंग का अनुमान लगाती है, औरRPRP\mathsf{RP} ऑर्कल स्ट्रिंग की पुष्टि करता है जैसा कि आर्थर करेगा। NPRP⊆MANPRP⊆MA\mathsf{NP}^\mathsf{RP} \subseteq …

10 cc.complexity-theory  oracles