তাত্ত্বিক কম্পিউটার বিজ্ঞান

শিরোনামের হুবহু বাক্যটি আনন্দ কুলকার্নির (যিনি এই সাইটটি তৈরি করার প্রস্তাব করেছিলেন) এর কারণে। এই প্রশ্নটি উদাহরণস্বরূপ প্রশ্ন হিসাবে জিজ্ঞাসা করা হয়েছিল, তবে আমি অত্যন্ত উত্সাহী। বীজগণিত জ্যামিতি সম্পর্কে আমি খুব কম জানি, এবং আসলে পি / পলি বনাম এনপি প্রশ্নে খেলতে আসা বাধাগুলির স্নাতক, স্নাতক বোঝা (অ-সম্পর্কিত, অ-বীজগণিত, সম্ভবত …

22 cc.complexity-theory  np-hardness  lower-bounds  gct  barriers 

সংক্ষিপ্ত সংবেদনে , লক্ষ্যটি হ'ল বিশাল ইনপুট সংকেতগুলির জন্য লিনিয়ার সংকোচনের স্কিমগুলি সন্ধান করা যা বিচ্ছিন্ন উপস্থাপনা বলে পরিচিত, যাতে ইনপুট সংকেতটি সংক্ষেপণ ("স্কেচ") থেকে দক্ষতার সাথে পুনরুদ্ধার করা যায়। আরও আনুষ্ঠানিকভাবে, স্ট্যান্ডার্ড সেটআপটি হ'ল সেখানে একটি সিগন্যাল ভেক্টর যার জন্য , এবং সঙ্কুচিত প্রতিনিধিত্ব Ax এর সমান যেখানে A …

22 ds.algorithms  ds.data-structures  compressed-sensing 

আমি প্রায় পুরোটা স্যাট সলভার ডিএনএফের পরিবর্তে সিএনএফ কেন ব্যবহার করি তা আমি বুঝতে পারি না। আমার কাছে মনে হচ্ছে ডিএনএফ ব্যবহার করে স্যাট সমাধান করা সহজ। সর্বোপরি, আপনাকে কেবল ইমপ্লিটেন্টসগুলির সেটটি স্ক্যান করতে হবে এবং চেক করতে হবে যেগুলির মধ্যে একটিতে ভেরিয়েবল এবং এর অবজ্ঞা উভয়ই নেই। সিএনএফ এর …

22 ds.algorithms  sat 

এলোমেল্ড অ্যালগরিদমগুলির জন্য real সত্যিকারের মূল্য গ্রহণের জন্য, "মিডিয়ান ট্রিক" হ'ল ব্যর্থতার সম্ভাবনা হ্রাস করার একটি সহজ উপায় th , কেবল একটি গুণিত ) এর ব্যয়ে ওভারহেড। যথা, যদি এর আউটপুট সম্ভাব্যতা (কমপক্ষে) 2/3 সহ একটি "ভাল পরিসীমা" I = [a, b] এর মধ্যে পড়ে , তবে স্বতন্ত্র অনুলিপিগুলি \ …

22 ds.algorithms  randomized-algorithms 

স্থির "কে" (প্রস্থ) এর জন্য গ্রাফের গাছের পচন রচনার জন্য কোনও ওপেন সোর্স প্রোগ্রামের কথা কি কেউ জানেন? আমি জানি যে গাছ-পচা খুঁজে পাওয়ার সমস্যাটি ভেরিয়েবল "কে" এর জন্য এনপি-হার্ড, তবে আমার ইনপুট উদাহরণগুলি খুব ছোট হবে (~ 10 নোড) এবং "কে" স্থির হয়েছে।

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

প্রত্যেকেই জানেন যে সাধারণ গ্রাফগুলিতে এনপি-হার্ড, এমন অনেক সিদ্ধান্তের সমস্যা রয়েছে তবে আমি অন্তর্নিহিত গ্রাফটি যখন একটি পথ হয় তখনও এনপি-হার্ড এমন সমস্যাগুলিতে আমি আগ্রহী। তাহলে, আপনি কি আমাকে এই জাতীয় সমস্যা সংগ্রহ করতে সহায়তা করতে পারেন? আমি ইতিমধ্যে গাছগুলিতে এনপি-হার্ড সমস্যা সম্পর্কিত একটি সম্পর্কিত প্রশ্ন পেয়েছি ।

22 graph-theory  np-hardness 

আমি " পি ভার্সাস এনপি ফরমালি ইন্ডিপেন্ডেন্ট? " পড়ছিলাম তবে আমি হতবাক হয়ে গেলাম। এটা ব্যাপকভাবে জটিলতা তত্ত্ব বিশ্বাস করা হয় । আমার প্রশ্ন এটি না হলে কী হবে ( বলুন )। (আসুন ধরে নেওয়া যাক আমরা কেবল এটি খুঁজে যে থেকে স্বতন্ত্র কিন্তু এটি কীভাবে প্রমাণিত হয়েছে সে সম্পর্কে …

22 cc.complexity-theory  np-hardness  big-picture  proofs  p-vs-np 

আমি এমন ভাষাগুলি সন্ধান করছি যা "সম্ভবত প্রাসঙ্গিক-মুক্ত নয়" তবে আমরা জ্ঞাত মানসম্পন্ন কৌশলগুলি ব্যবহার করে এটি প্রমাণ করতে (অক্ষম) করতে পারছি না। এই বিষয়ে সাম্প্রতিক কোনও সমীক্ষা বা সাম্প্রতিক সম্মেলন থেকে কোনও মুক্ত সমস্যা বিভাগ রয়েছে? সম্ভবত এমন অনেকগুলি ভাষা নেই যা সিএফ হিসাবে পরিচিত নয়, সুতরাং আপনি যদি …

21 reference-request  big-list  context-free 

নিম্নলিখিত সমস্যাটি সম্প্রতি আমার গবেষণায় হাজির। অ্যালগরিদমিক প্রশ্নগুলির বিশেষজ্ঞ না হওয়ায় উপযুক্ত সমস্যাগুলি হ্রাস করার জন্য অনুসন্ধানে আমি ব্যাপকভাবে গুগল করেছি। 3SAT কীভাবে কাজ করবে তা আমি দেখতে পাচ্ছি না, এবং ZOE চেতনায় সমান হলেও একটি হ্রাস সুস্পষ্ট নয়। আরেকটি সম্ভাবনা হবে বাস্তবের অস্তিত্বের তত্ত্ব। এটিও বেশ ম্যাচ বলে মনে …

21 cc.complexity-theory 

এটি সর্বজনবিদিত যে নিম্নলিখিত সমস্যাটি PSPACE- সম্পূর্ণ: রেগুলার এক্সপ্রেশন দেওয়া , না এল ( β ) = Σ * ?ββ\betaএল ( β) = Σ*L(β)=Σ∗L(\beta) = \Sigma^* আর কি কি (নির্ধারিত) রেগুলার এক্সপ্রেশনের সমানতা নির্ণয় সম্পর্কে ?αα\alpha রেগুলার এক্সপ্রেশন দেওয়া , না এল ( β ) = এল ( α ) …

21 cc.complexity-theory  automata-theory  regular-expressions  pspace 

সম্প্রতি, আমি একজন অল্প বয়স্ক প্রতিভাবান স্ব-শিক্ষিত প্রোগ্রামারকে গণনার জটিলতার ধারণাটি অনানুষ্ঠানিকভাবে ব্যাখ্যা করার বেদনাদায়ক মজাদার অভিজ্ঞতার মধ্য দিয়ে গিয়েছিলাম , যিনি এর আগে কখনও অ্যালগরিদম বা জটিলতায় ফর্মাল কোর্স নেননি। আশ্চর্যের বিষয় নয়, প্রথমে প্রচুর ধারণাটি অদ্ভুত বলে মনে হয়েছিল তবে কয়েকটি উদাহরণ (পিটিটাইম, ইনট্র্যাক্টিবিলিটি, অবিচ্ছিন্নতা) দিয়ে তা উপলব্ধি …

21 cc.complexity-theory  ds.algorithms  np-hardness 

আমি তাত্ত্বিক কম্পিউটার বিজ্ঞানে কাগজপত্র লিখছি কখনও কখনও অজ্ঞাতনামা একক লেখক হয়ে। এর আগে, আমি এই জাতীয় কাগজগুলিতে প্রথম ব্যক্তির বহুবচন ব্যবহার করেছি, যেমন: আমরা দেখাবো যে জটিলতা দশম এবং ওয়াইয়ের সাথে মিলছে। আমি না একজন স্থানীয় ইংরেজী স্পিকার, না ইংরেজিতে খুব ভাল। সাম্প্রতিককালে, আমি নেটিভ ইংরেজী স্পিকার (যিনি বিজ্ঞানে …

21 soft-question  paper-review  writing 

সেখানে কোনো প্রাকৃতিক সমস্যা পি , যার জন্য সব থেকে বহুল পরিচিত চলমান সময় বেঁধে ফর্ম হল , যেখানে α একটি হল অযৌক্তিক ধ্রুবক?O(nα)O(nα)O(n^\alpha)αα\alpha

21 cc.complexity-theory  time-complexity  polynomial-time 

আমি আমার গবেষণার সময় নিম্নলিখিত ফলাফলের মুখোমুখি হয়েছি। মি=ω(√limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1\lim\limits_{n\to \infty} \mathbb{E}\left[ \frac{\#\{|a_i-a_j|,1\le i,j\le m \}}{n} \right] = 1এ1,⋯,একটিমি[এন]m=ω(n−−√)m=ω(n)m=\omega(\sqrt n)a1,⋯,ama1,⋯,ama_1,\cdots,a_m[n][n][n] আমি একটি রেফারেন্স / প্রত্যক্ষ প্রমাণ খুঁজছি। এমও-তে ক্রসপোস্ট করা

21 reference-request  co.combinatorics  pr.probability 

কোসকে ল্যাম্বদা কিউব এর তিনটি মাত্রার চূড়ান্ত বলে মনে করা হয়। এটি আমার কাছে একেবারেই প্রকাশিত নয়। আমি মনে করি আমি স্বতন্ত্র মাত্রাগুলি বুঝতে পেরেছি এবং যে কোনও দুটিয়ের সংমিশ্রণের ফলে তুলনামূলকভাবে সোজাসাপ্টা ইউনিয়ন তৈরি হতে পারে (সম্ভবত আমি কিছু মিস করছি?)। তবে আমি যখন কসির দিকে তাকাব তখন তিনটির …

21 lambda-calculus  type-systems  typed-lambda-calculus  calculus-of-constructions