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

একটি খালি ভাষা বিবেচনা করুন দৈর্ঘ্য বাইনারি স্ট্রিং এন । আমি বর্ণনা করতে পারেন এল একটি বুলিয়ান বর্তনী সঙ্গে সি সঙ্গে এন ইনপুট এবং এক আউটপুট যেমন যে সি ( W ) সত্য iff হয় W ∈ এল : এই সুপরিচিত হয়।এলLLএনnnএলLLসিCCএনnnসি( ডাব্লু )C(w)C(w)W ∈ এলw∈Lw \in L যাইহোক, আমি …

10 fl.formal-languages  circuit-complexity 

আমি নিম্নলিখিত সমস্যা আছে: ইনপুট: দুটি অন্তরাল এবং টি (সমস্ত শেষ পয়েন্টগুলি পূর্ণসংখ্যা) এর দুটি সেট । অনুসন্ধান: একটি একঘেয়েমি বাইজেকশন আছে f : এস → টি ?SSSTTTf:S→Tf:S→Tf:S \to T বাইজাকশনটি এবং টি- তে সেট অন্তর্ভুক্তির আদেশটি একঘেয়ে তৈরি করে । ∀ X ⊆ Y ∈ S , f ( …

10 cc.complexity-theory  ds.algorithms  np-hardness  partial-order  matching 

একটি সেট দেওয়া পয়েন্ট মাত্রিক ইউক্লিডিয় স্থান, সমস্যা নির্ধারণ করতে উত্তল জাহাজের কাঠাম থাকে ইউনিট বল উৎপত্তি কেন্দ্রীভূত হয়।এনএনnঘঘd এই সমস্যা কি এনপিতে? এটি সহ-এনপি-তে রয়েছে কারণ কেউ প্রত্যক্ষদর্শী হিসাবে উত্তল হলের বাইরে বলের জন্য একটি বিন্দু দিতে পারে এবং লিনিয়ার প্রোগ্রামিং ব্যবহার করে এই সত্যটি যাচাই করতে পারে। এখানে …

10 cc.complexity-theory  cg.comp-geom 

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

10 type-theory  dependent-type  finite 

কোনও গ্রাফের বিস্তৃত গাছটিকে সম্পূর্ণতা গাছ বলা হয় যদি এর পাতার গোষ্ঠী হোস্ট গ্রাফের একটি সম্পূর্ণ উপগ্রহকে প্ররোচিত করে। গ্রাফ দেওয়া এবং একটি পূর্ণসংখ্যা ট , সিদ্ধান্ত নেওয়ার যদি জটিলতা কি জি সর্বাধিক সঙ্গে একটি সম্পূর্ণতার গাছ রয়েছে ট পাতার?GGGkkkGGGkkk এই প্রশ্নটি জিজ্ঞাসার কারণ হ'ল স্বাধীনতা গাছগুলির সাথে সম্পর্কিত সমস্যাটি …

10 cc.complexity-theory  graph-theory  graph-algorithms 

গ্রাফ isomorphism (সিদ্ধান্ত সমস্যা) ? এখানে ইউ পি একটি দ্ব্যর্থহীন টিউরিং মেশিন দ্বারা গৃহীত সিদ্ধান্ত সমস্যার শ্রেণি ( জটিলতা চিড়িয়াখানা দেখুন )।UP∩coUPUP∩coUP\mathsf{UP}\cap \mathsf{coUP}UPUP\mathsf{UP}

10 cc.complexity-theory  graph-isomorphism 

আনুমানিক গ্রাফ বর্ণের ফলাফলের কথা শুনেছি, তবে উত্সটি খুঁজে পাচ্ছি না। ফলাফল হলো: প্রতিটি ধ্রুবক জন্য পর্যাপ্ত পরিমাণে বড় কে উপস্থিত থাকে যে এইচ কে রঙের সাথে কে- রঙিন গ্রাফকে রঙ করা এনপি-হার্ড।জজhটটkটটkএইচ কেজটhk কেউ কি আমাকে প্রাসঙ্গিক কাগজে দেখিয়ে দিতে পারেন?

10 reference-request  approximation-hardness  graph-colouring 

আমি এই ক্লাসগুলি বোঝার চেষ্টা করছিলাম তবে সর্বদা বিভ্রান্ত হয়ে পড়েছিলাম ... প্রশ্নগুলি হ'ল: এবং মধ্যে কী সম্পর্ক , বিশেষত এটি একটি মুক্ত প্রশ্ন?এফএনপিএফএনপিFNP# পি#পি\#P এবং সম্পর্ক কী ? এই প্রশ্নটি কি খোলা?। পি⊕পি\oplus PএনপিএনপিNP এবং মধ্যে সম্পর্ক সম্পর্কে কী ? এই প্রশ্নটি কি খোলা?পিএইচপিএইচPHপিএফএনপিপিএফএনপিP^{FNP}

10 cc.complexity-theory 

পূর্ণসংখ্যা সহগের সাথে বহুবর্ষীয় এর সমস্ত পূর্ণসংখ্যার শিকড় খুঁজতে আমরা কোন অ্যালগরিদম ব্যবহার করতে পারি ?f(x)f(x)f(x) আমি পর্যবেক্ষণ করেছি যে ageষি কয়েক সেকেন্ডের মধ্যে শিকড়গুলি সন্ধান করতে পারে এমনকি যখন এর সমস্ত সহগ খুব বড় হয়। কীভাবে এটি করতে সক্ষম?f(x)f(x)f(x)

10 ds.algorithms  na.numerical-analysis 

সেট কভার সমস্যাটি কতটা কঠিন যদি উপাদানগুলির সংখ্যা কিছু ফাংশন (যেমন lognlog⁡n\log n ) দ্বারা সীমাবদ্ধ থাকে যেখানে nnn সমস্যার উদাহরণের আকার। আনুষ্ঠানিকভাবে, যাক এবং এফ = { S 1 , ⋯ , এস এন } যেখানে S আমি ⊆ ইউ এবং মি = হে ( লগ ইন করুন এন …

10 np-hardness  set-cover  exp-time-algorithms 

যোগাযোগ জটিলতায়, লগ-র‌্যাঙ্কের অনুমানটি বলে যে cc(M)=(logrk(M))O(1)cc(M)=(log⁡rk(M))O(1)cc(M) = (\log rk(M))^{O(1)} যেখানে cc(M)cc(M)cc(M) হ'ল এর যোগাযোগ জটিলতা M(x,y)M(x,y)M(x,y)এবং বাস্তবের চেয়ে এম (ম্যাট্রিক্স হিসাবে )rk(M)rk(M)rk(M) এর র‌্যাঙ্ক ।MMM যাইহোক, যখন আপনি শুধু কম আবদ্ধ র্যাঙ্ক-পদ্ধতি ব্যবহার করছেন cc(M)cc(M)cc(M) আপনি ব্যবহার করতে পারেন rkrkrk কোনো ফিল্ড সুবিধাজনক করে। লগ-র‌্যাঙ্ক অনুমান কেন বাস্তবের উপরে …

10 cc.complexity-theory  big-picture  linear-algebra  open-problem  communication-complexity 

সিএনএফ সূত্রগুলির একটি প্রাকৃতিক শ্রেণি রয়েছে - নীচের বৈশিষ্ট্যগুলি সহকারে এমনটি যা সাহিত্যে পূর্বে অধ্যয়ন করা হয়েছিল:সিCC C F ∈ CসিCC হ'ল একটি সহজ ক্ষেত্রে, যেমন হর্ন বা ২-সিএনএফ, যেমন, সদস্যপদ বহুবর্ষের সময় পরীক্ষা করা যেতে পারে, এবং সূত্রগুলি বহুবর্ষের সময় সন্তুষ্টির জন্য পরীক্ষা করা যেতে পারে।সিCCএফ। সিF∈CF\in C অসন্তুষ্টিযোগ্য …

10 sat  proof-complexity 

জটিলতা শ্রেণি follows নীচে ( উইকিপিডিয়া থেকে ) সংজ্ঞায়িত করা হয়েছে :এসপি2S2P\textrm{S}_2^\textrm{P} একটি ল্যাঙ্গুয়েজ রয়েছে যদি অস্তিত্ব আছে একটি বহুপদী টাইম সম্পৃক্ত যেমন যেএস পি 2 পিএলLLএসপি2এস2পিS_2^PপিপিP যদি , তবে সেখানে এমন উপস্থিতি রয়েছে যা সমস্ত ,y z P ( x , y , z ) = 1x ∈ Lএক্স∈এলx …

10 cc.complexity-theory  complexity-classes 

নীচের সমস্যার জন্য কি অ্যালগরিদম জানা আছে যা নিষ্পাপ অ্যালগরিদমকে পরাজিত করে? ইনপুট: একটি সিস্টেম Ax≤bAx≤bAx \le b এর অসাম্য রৈখিক।mmm আউটপুট: যদি একটি বিদ্যমান থাকে তবে এ একটি সম্ভাব্য সমাধান one।x∗∈{0,1}nx∗∈{0,1}nx^*\in \{0,1 \}^n ধরুন যে এবং পূর্ণসংখ্যার প্রবেশ রয়েছে। আমি সবচেয়ে খারাপ ক্ষেত্রে সীমাতে আগ্রহী।AAAbbb

10 np-hardness  integer-programming  exp-time-algorithms 

রাজবরোভের একটি আলোচনায় , একটি কৌতূহলী ছোট্ট বিবৃতি পোস্ট করা হয়েছে। যদি ফ্যাক্টরিং শক্ত হয়, তবে তে ফের্ম্যাট এর সামান্য উপপাদ্য প্রমাণযোগ্য নয় S12S21S_{2}^{1}। কী S12S21S_{2}^{1}এবং বর্তমান প্রমাণ S12S21S_{2}^{1} কেন?

10 cc.complexity-theory  lo.logic  proof-complexity