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

আমরা জানি যে কার্জারের মিনকুট অ্যালগরিদমটি প্রমাণ করার জন্য ব্যবহার করা যেতে পারে (অ-গঠনমূলক উপায়ে) যে কোনও গ্রাফের সর্বাধিক সংখ্যক মিনিট কাট থাকতে পারে ।(n2)(n2)n \choose 2 আমি ভাবছিলাম যে আমরা কোনওভাবেই মিনকটের সেট থেকে অন্য কার্ডিনালিটির সেটগুলিতে বাইজিক (বরং ইনজেকশন) প্রমাণ দিয়ে এই পরিচয়টি প্রমাণ করতে পারি (n2)(n2)n \choose …

14 ds.algorithms  graph-theory  co.combinatorics  graph-algorithms  max-flow-min-cut 

সাম্প্রতিক প্রশ্নটি পড়ার পরে "" প্রসঙ্গমুক্ত? " {www∣...}{www∣...}\{ www \mid ...\}; আমি একই ধরণের সমস্যার কথা মনে করেছিলাম যা আমি অস্বীকার করতে পারিনি: কি প্রসঙ্গটি নিখরচায়?L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L = \{ ww' \mid w,w' \in \{0,1\}^* \land |w|=|w'| \land HamDist(w,w')>1 \} এখানে আমাদের প্রয়োজন যে দুটি স্ট্রিং কমপক্ষে দুটি অবস্থানে পৃথক হতে হবে …

13 fl.formal-languages  context-free 

ইন Angluin এর অটোমাটা লার্নিং কাঠামো , একজন ছাত্র লক্ষ্য একটি নিয়মিত ভাষা শিখতে L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* তার শিক্ষককে প্রশ্ন দুই ধরনের জিজ্ঞাসা করে: ওয়ার্ড প্রশ্নের: প্রদত্ত w∈Σ∗w∈Σ∗w\in \Sigma^* হল w∈Lw∈Lw\in L ? সমানতা প্রশ্নের: একটি ভাষা দেওয়া K⊆Σ∗K⊆Σ∗K\subseteq \Sigma^* হল K=LK=LK=L ? যদি তা না হয় তবে শিক্ষক একটি পাল্টা …

13 automata-theory  regular-language 

অ্যালগরিদমটি লেখার জন্য একটি পুরাতন কৌশল রয়েছে যে, যদি পি = এনপি হয় তবে বহুবর্ষীয় সময়ে স্যাট সমাধান করে। মূলত, তাদের মধ্যে সমস্ত বহু-কালীন মেশিন এবং বহু-কার্য তালিকাবদ্ধ করে। ওয়ান-ওয়ে ফাংশনগুলির জন্য (বা এমনকি একমুখী ট্র্যাপডোর ফাংশন) এর জন্য কী অভিন্ন কৌশল আছে? অর্থাৎ, আমরা কী এমন একটি ফাংশন লিখতে …

13 universal-computation  one-way-function 

ওমর Reingold এর প্রমাণ USTCON জন্য একটি অ্যালগরিদম দেয় (একটি ইন ইউ বিশেষ ছেদচিহ্ন সঙ্গে গ্রাফ ndirected গুলি এবং টন , তারা কন nected?) শুধুমাত্র logspace ব্যবহার করে। মূল ধারণাটি হ'ল আসল গ্রাফ থেকে এক্সপেন্ডার গ্রাফ তৈরি করা এবং তারপরে এক্সপেন্ডার গ্রাফটিতে ওয়াক করা। মূল গ্রাফ লোগারিথমিকভাবে বহুবার স্কোয়ার করে …

13 graph-algorithms  nondeterminism  expanders  logspace 

বাবাইয়ের ল্যান্ডমার্ক পেপারে আমার একটি (আশাবাদী সরল, সম্ভবত বোবা) একটি প্রশ্ন রয়েছে যা দেখায় যে প্রশান্তিযুক্ত।জি আইGI\mathsf{GI} Babai দেখিয়েছেন কিভাবে একটি শংসাপত্র দুই গ্রাফ যে উত্পাদন করতে জন্য আমি ∈ { 1 , 2 } সময় quasipolynomial এ, isomorphic হয় বনাম = | ভি আই | ।জিআমি= ( ভআমি, ইআমি)Gi=(Vi,Ei)G_i=(V_i,E_i)i∈{1,2}i∈{1,2}i\in\{1,2\}v=|Vi|v=|Vi|v=|V_i| …

13 graph-isomorphism  search-problem 

প্রদত্ত সসীম একটি যন্ত্রমানব এবং থ্রেশহোল্ড (নির্ণায়ক বা nondeterministic, আমি এই অনেক গুরুত্ব রয়েছে তা মনে করি না) এন , একটি একটি শব্দ সর্বাধিক ধারণকারী গ্রহণ করেন এন স্বতন্ত্র অক্ষর? ( কে দ্বারা আলাদা আলাদা অক্ষরের অর্থ আমি আব্বার দুটি পৃথক বর্ণ রয়েছে, ক এবং খ ।) আমি এই সমস্যাটিকে …

13 cc.complexity-theory  np-hardness  automata-theory 

বলুন যে আমাদের একটি গ্রাফ সম্পত্তি রয়েছে যা ননডেটেরিনিস্টিক বহুবর্ষীয় সময়ে পরীক্ষা করা যায়, এবং একটি দুর্বল আনুষ্ঠানিক সিস্টেমে একটি প্রমাণ (আরসিএ 0 বলুন ) সম্পত্তিটি সামান্য বন্ধ রয়েছে। আমরা কি কোনও আনুষ্ঠানিক সিস্টেমের শক্তি সম্পর্কে কিছু বলতে পারি, যা প্রমাণ করতে সক্ষম হয় যে বর্জন-নাবালিকাদের একটি নির্দিষ্ট সুনির্দিষ্ট সেট …

13 cc.complexity-theory  lo.logic 

আমরা প্রদত্ত জেনারেল বুলিয়ান সূত্র (সিএনএফ-স্যাট), একটি প্রদত্ত ডিএনএফ সূত্র, এমনকি একটি প্রদত্ত 2 এসএটি সূত্র একটি # পি-সম্পূর্ণ সমস্যা হিসাবে সন্তোষজনক নিয়োগের সংখ্যা গণনা করার সমস্যাটি আমরা জানি । এখন, কোনও সিএনএফ-স্যাট বিবেচনা করুন কোনও নেতিবাচক আক্ষরিক (না , সর্বদা এ )। সিদ্ধান্তের সমস্যাটি খুব সহজ (সমস্ত ভেরিয়েবলগুলি সত্যে …

13 sat  counting-complexity  polynomial-time  monotone 

তাহলে এর বিরাম সময়ের সেট খালি প্রাথমিক টেপ সঙ্গে একটি বাইনারি বর্ণমালার উপর -state টুরিং মেশিন, তারপর ।HT(n)HT(n)HT(n)nnnBB(n)=maxHT(n)BB(n)=maxHT(n)BB(n) = \max HT(n) এইচটি (এন) এর দ্বিতীয় বৃহত্তম সংখ্যা সম্পর্কে আমরা কী বলতে পারি HT(n)HT(n)HT(n)? এই BB_2 (এন) কল করুন BB2(n)BB2(n)BB_2(n)। BB2(n)BB2(n)BB_2(n) তুচ্ছভাবে আপত্তিজনক, যেহেতু এটি একটি গণনা BB(n)BB(n)BB(n) : কেবল আরও …

13 computability 

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

13 graph-theory  np-hardness  polynomial-time  treewidth 

এডলম্যান 1978 সালে দেখা গেছে যে : একটি বুলিয়ান ফাংশন যদি এর ভেরিয়েবল আকারের একটি সম্ভাব্য বুলিয়ান বর্তনী দ্বারা নির্ণিত করা যেতে পারে , তারপর একটি নির্ণায়ক দ্বারা নির্ণিত করা যেতে পারে এবং মধ্যে আকারের বহুবর্ষের বুলিয়ান সার্কিট ; আসলে, আকারের । BPP⊆P/polyBPP⊆P/poly\mathrm{BPP}\subseteq \mathrm{P/poly}fffnnnMMMfffMMMnnnO(nM)O(nM)O(nM) সাধারণ প্রশ্ন: other অন্য কোন (বুলিয়ান …

13 cc.complexity-theory  circuit-complexity  randomized-algorithms  derandomization  arithmetic-circuits 

ইন নুড়ি খেলা একটি লাইন সেখানে n + 1 নোড এন মাধ্যমে 0 লেবেল খেলা নোড 0. একটি নুড়ি দিয়ে শুরু হয় যদি নোড একটি নুড়ি আমি, আপনি যোগ করতে অথবা নোড আমি + 1 থেকে একটি নুড়ি অপসারণ করতে পারেন আছে। লক্ষ্যটি হ'ল নোড এন-তে একটি নুড়ি স্থাপন করা, …

13 complexity  reversible-computing 

সর্বাধিক পরিচিত ডিটারমিনিস্টিক অ্যালগরিদম কী যা নির্দেশিকা গ্রাফকে এক জোড়া ভার্টেক্স বিচ্ছিন্ন চক্রের সাথে সনাক্ত করতে পারে? আমি জানি কমপক্ষে আউটডিগ্রি তিনটি সহ গ্রাফগুলিতে সর্বদা এ জাতীয় জুড়ি থাকে ( থমাসসেন'৩৮ ) তবে তবুও আমি সাধারণ ক্ষেত্রে একটি দক্ষ অ্যালগরিদম খুঁজে পাই না। কেউ কি এর জন্য একটি রেফারেন্স জানেন?

13 reference-request 

যাঁর পুনঃনির্দেশিত গ্রাফগুলি হ'ল সমস্ত গভীরতা-প্রথম-অনুসন্ধানের গাছগুলি (সম্ভাব্য সমস্ত সূচনা বিশিষ্ট কোণগুলির জন্য এবং কোন প্রতিবেশীদের প্রথমে অনুসন্ধান করা সমস্ত পছন্দের জন্য) নির্দেশিত পথগুলি? এটি হ'ল, প্রতিটি ডিএফএস গাছে একটি মাত্র পাত থাকতে হবে এবং অন্য প্রতিটি ভার্টেক্সে ঠিক একটি বাচ্চা হওয়া উচিত। উদাহরণস্বরূপ, এটি চক্র, সম্পূর্ণ গ্রাফ এবং সুষম …

13 graph-theory