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

এটা ভাল স্থাপন করা হয় যে matroid যে MMM এবং কোন ওজন ফাংশন www , সেখানে প্রস্থান করে একটি আলগোরিদিম GreedyBasis(M,w)GreedyBasis(M,w)\mbox{GreedyBasis}(M,w) যা সর্বোচ্চ ওজন ভিত্তিতে ফেরৎ MMM । তাহলে, বিপরীত দিকটিও কি সত্য? এটি হ'ল যদি কিছু লোভী অ্যালগরিদম হয় তবে অবশ্যই কিছু ম্যাট্রয়েড কাঠামো থাকতে হবে।

13 ds.algorithms  greedy-algorithms 

ধরে নিন পি এনপি।≠≠\ne লাডনারের উপপাদ্য বলে যে এনপি ইন্টারমিডিয়েট সমস্যা রয়েছে (এনপিতে যে সমস্যাগুলি পি বা এনপি-সম্পূর্ণ নয়)। আমি অনলাইনে কিছু পর্দাযুক্ত রেফারেন্স পেয়েছি যা প্রস্তাব দেয় (আমি মনে করি) এনপিআইয়ের মধ্যে পারস্পরিক হ্রাসযোগ্য ভাষার অনেকগুলি "স্তর" রয়েছে যা অবশ্যই একটিতে বিভক্ত হয় না। এই স্তরের কাঠামো সম্পর্কে আমার …

13 cc.complexity-theory  np  np-intermediate 

যেহেতু আমি এটি বুঝতে পারি, একটি প্রমাণ যে পি = এনপি বা পি ≠ এনপি-র পুনঃ-পুনঃসংশোধনযোগ্য হতে হবে (রিকার্সন তত্ত্বের মতো)। যদিও কার্যত সমস্ত প্রমাণাদি আপেক্ষিক বলে মনে হয়। ভাল উদাহরণ কি কি অ relativizable প্রমাণাদি করে একটি পি = দ্বারা NP / পি ≠ দ্বারা NP প্রমাণ হতে হবে …

13 cc.complexity-theory  lo.logic  computability  p-vs-np  relativization 

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

13 ds.algorithms  graph-algorithms  shortest-path 

"অ্যাডভান্সড স্কিম: কিছু দুষ্টু বিট" পৃষ্ঠাটি বলেছে: ধারাবাহিকতা একটি শক্তিশালী নিয়ন্ত্রণ-প্রবাহ গঠন যা থেকে অন্য যে কোনও নিয়ন্ত্রণ-প্রবাহ কাঠামো [...] থেকে নেওয়া যেতে পারে। আমি ভেবেছিলাম যে স্কিমটির call/cc, (*) পিটার ল্যান্ডিনের জে অপারেটরের সাথে সম্পর্কিত, কোনও পরিচিত নিয়ন্ত্রণ প্রবাহ কাঠামো প্রয়োগ করতে ব্যবহার করা যেতে পারে ? "নিয়ন্ত্রণ প্রবাহ …

13 lambda-calculus  denotational-semantics  scheme  operational-semantics 

সিঙ্ক্রোনাস লজিকাল সার্কিট ব্যবহার করে কীভাবে এফএসএম প্রয়োগ করতে হবে তা শিখানোর সময়, আমি একটি আকর্ষণীয় কাকতালীয়তা লক্ষ্য করেছি: তাত্ত্বিক সিএস উভয় জগতে, এবং বৈদ্যুতিক প্রকৌশল বিশ্বে, "রাষ্ট্র" সাধারণত (এবং রাষ্ট্রীয় স্থান Q ) হিসাবে চিহ্নিত হয়। আমি প্রথমে EE.sx এ জিজ্ঞাসা করেছি , তবে তারপরে এই বিষয়টি সম্পর্কে কিছুটা …

13 automata-theory  ho.history-overview 

বলুন যে আমাদের n, V_n দৈর্ঘ্যের কোনও পূর্ণসংখ্যার ভেক্টর প্রতিনিধিত্ব আছে এই ভেক্টরটি একটি মেশিন লার্নিং অ্যালগরিদমের ইনপুট। প্রথম প্রশ্ন: কোন ধরণের উপস্থাপনের জন্য নিউরাল নেটওয়ার্ক বা অন্য কোনও ভেক্টর-টু-বিট এমএল ম্যাপিং ব্যবহার করে এন এর প্রাথমিকতা / সংমিশ্রণতা শেখা সম্ভব। এটি নিখুঁত তাত্ত্বিক - স্নায়বিক নেটওয়ার্ক সম্ভবত আকারে আনবাউন্ড …

13 co.combinatorics  machine-learning  primes 

এটি কি জানা যায় যে সীমানা ডিগ্রির অপরিবর্তিত প্ল্যানার গ্রাফগুলিতে প্রতিক্রিয়া ভারটেক্স সেট সমস্যাটি হার্ড কিনা?এন পিএনপি\mathsf{NP}

13 cc.complexity-theory  reference-request  graph-algorithms  np-hardness 

চেরনফের নিম্নোক্ত সম্প্রসারণের জন্য আমি একটি রেফারেন্স (একটি প্রমাণ নয়, যা আমি করতে পারি) সন্ধান করছি। যাক X1,..,XnX1,..,XnX_1,..,X_n বুলিয়ান র্যান্ডম ভেরিয়েবল হতে হবে, অগত্যা স্বতন্ত্র নয় । পরিবর্তে, এটি গ্যারান্টিযুক্ত যে Pr(Xi=1|C)<pPr(Xi=1|C)<pPr(X_i=1|C)(1+\lambda)np\right) আগাম ধন্যবাদ!

13 reference-request  pr.probability  chernoff-bound 

জটিলতা শ্রেণি পিপিএডি সাধারণত এন্ড-অফ-দ্য লাইনটি পিপিএড-সম্পূর্ণ বলে উল্লেখ করে সংজ্ঞায়িত হয়। সমাপ্তি-লাইনটি একটি অনুসন্ধান সমস্যা। ইনপুট একটি নির্দেশ গ্রাফ যাতে প্রতিটি নোডের হয়েছে ইন-ডিগ্রী এবং আউট-ডিগ্রী সবচেয়ে 1. এ গ্রাফ একটি বহুপদী টাইম গণনীয় ফাংশন দ্বারা দেওয়া হয় নিয়ে গঠিত যে আয় পূর্বসুরী এবং উত্তরাধিকারী এক্স । তদতিরিক্ত, একজনকে …

13 cc.complexity-theory  complexity-classes  ppad 

আমি ইদানীং ইন্টারেক্টিভ প্রমাণগুলি সম্পর্কে শিখছি এবং আমি ভাবছিলাম যে পুরো জিনিসটি তাত্ত্বিক কৌতূহল ছাড়া আর কিছুই ছিল না, বা এর কোনও ব্যবহারিক প্রয়োগ রয়েছে কিনা। আমি ভেবেছিলাম যে আমি একটি উদাহরণ দিয়ে শুরু করব যা ঝরনার সময় আমার সাথে ঘটেছিল: এটি "God'sশ্বরের সংখ্যা" = ২০ এ ইদানীং সংবাদ তৈরি …

13 proofs  puzzles  interactive-proofs 

কোনও নোডে একটি চিপযুক্ত নির্দেশিত ওয়েট গ্রাফ তে নিম্নলিখিত গেমটি বিবেচনা করুন ।GGG এর সমস্ত নোড এ বা বি দ্বারা চিহ্নিত করা হয়েছেGGG দুজন খেলোয়াড় রয়েছেন অ্যালিস এবং বব। অ্যালিসের (বব) লক্ষ্য হ'ল চিপটি একটি নোডে স্থানান্তর করা যা এ (বি) দ্বারা চিহ্নিত রয়েছে। প্রাথমিকভাবে অ্যালিস এবং ববকে যথাক্রমে এবং …

13 cc.complexity-theory  complexity-classes  gt.game-theory 

ধরে এক একটি এলোমেলোভাবে (BPP) আলগোরিদিম আছে একজনAA ব্যবহার Rrr যদৃচ্ছতা এর বিট। সফল তার সম্ভাবনা প্রশস্ত জন্য প্রাকৃতিক উপায়ে 1 - δ1−δ1-\delta কোন মনোনীত জন্য δ> 0δ>0\delta>0 হয় স্বতন্ত্র রান + সংখ্যাগরিষ্ঠ ভোট: একজনAA স্বতন্ত্রভাবে টি= Θ ( লগ( 1 / δ)T=Θ(log⁡(1/δ)T=\Theta(\log(1/\delta) বার চালান , এবং ফলাফলের সংখ্যাগরিষ্ঠ ভোট …

12 reference-request  randomness  pseudorandomness  expanders 

যাক সি4C4C_4 চার ছেদচিহ্ন সঙ্গে একটি চক্র হতে। একটি অবাধ গ্রাফের জন্য জিGG সঙ্গে nnn ছেদচিহ্ন ও মি প্রান্ত বলে m>nn−−√m>nnm>n\sqrt n , কতগুলিC4C4C_4এস বিদ্যমান? এটির জন্য কি কোনও নিম্ন আবদ্ধ আছে?

12 graph-theory  graph-minor 

এমন কি কোনও ট্যুরিং মেশিন রয়েছে যা সিদ্ধান্ত নিতে পারে যে প্রায় সমস্ত অন্যান্য ট্যুরিং মেশিন বন্ধ রয়েছে কিনা ? N→{Mi}N→{Mi}\mathbb{N} \rightarrow \{M_i\}∥⋅∥‖⋅‖\| \cdot \| f(i)=∥{n:Mi can't decide whether Mn halts}∥.f(i)=‖{n:Mi can't decide whether Mn halts}‖.f(i) = \|\{n: M_i \text{ can't decide whether }M_n \text{ halts} \}\|. কি ন্যূনতম মান …

12 turing-machines  halting-problem