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

আইপি = পিএসপিএসি-কে একটি পুনঃসংশ্লিষ্টকরণের ফলাফলের আদর্শ উদাহরণ হিসাবে তালিকাভুক্ত করা হয়েছে এবং এর প্রমাণ হিসাবে প্রমাণ রয়েছে যে সেখানে একটি ওরাকল রয়েছে যা , যখন o les sf coNP ^ \ O \ subteq {f sf PSPACE} all সমস্ত ওরাকলগুলির জন্য হে ।সি ও এন পি ও ⊈ আই …

19 cc.complexity-theory  interactive-proofs  relativization 

জটিলতা তত্ত্বের আমার প্রিয় উপপাদ্য হ'ল টাইম হায়ারার্কি উপপাদ্য। যাইহোক, এটি করা হয়েছিল 1965 সালে। আমি তখন জানতে চেয়েছিলাম কোয়ান্টাম কম্পিউটিংয়ের জন্য অনুরূপ কিছু ছিল কিনা। এছাড়াও, যদি না হয় তবে মানুষ / গোষ্ঠী কীভাবে এই দিকে কাজ করছে!

19 cc.complexity-theory  quantum-computing 

আমি ভাবছিলাম যে জেএসএন স্পেস কোনও নিয়মিত ভাষার সংজ্ঞা দেয় কিনা । এটি যথেষ্ট সহজ বলে মনে হচ্ছে তবে কীভাবে এটি নিজেকে প্রমাণ করবেন তা নিশ্চিত নই। আমি জিজ্ঞাসা করার কারণটি হ'ল আমি ভাবছিলাম যে কেউ যদি JSON কে কার্যকরভাবে পার্স করতে নিয়মিত প্রকাশ করতে পারে। যথেষ্ট প্রতিনিধি সহ কেউ …

19 fl.formal-languages  regular-expressions  regular-language 

আমি একটি সমীক্ষা কাগজ বা ম্যাট্রিক্স র‌্যাঙ্ক, ইজেনভ্যালু গণনা ইত্যাদির মতো সাধারণ লিনিয়ার বীজগণিত ক্রিয়াকলাপের স্পেস জটিলতা সম্পর্কে ফলাফল সম্পর্কিত একটি বইয়ের সন্ধান করছি I আমি "স্পেস জটিলতা" অংশটির অর্থ কাজের স্পেস জটিলতা, সময়ের জটিলতার পরিবর্তে সময়ের ফলাফলগুলি সনাক্ত করা সহজ। আমি এই বিষয়ে কোন রেফারেন্স প্রশংসা করি। ধন্যবাদ।

19 linear-algebra  space-complexity 

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

19 soft-question  machine-learning  ai.artificial-intel 

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

18 soft-question  advice-request 

সম্পত্তির সাথে অ্যালগরিদমের কোনও পরিচিত, সুস্পষ্ট উদাহরণ রয়েছে কি যে যদি তবে এই অ্যালগরিদম বহুত্বের সময়ে চলবে না এবং যদি তবে এটি বহুপদী সময়ে চলবে?পি। এনপিপি≠এনপিP\neq NPপি= এনপিপি=এনপিP=NP

18 ds.algorithms  np  p-vs-np 

কোকের মতো প্রুফ সহকারী ব্যবহার করে জটিলতার তত্ত্বের উপপাদাগুলি এবং প্রমাণগুলি আনুষ্ঠানিকভাবে যাচাই করার জন্য কোন চলমান প্রকল্প রয়েছে কি? এটি করার কোনও সীমানা আছে?

18 cc.complexity-theory  complexity  proof-assistants 

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

18 research-practice  writing 

সেখানে দৃষ্টান্ত কোন অসীম উপসেট সঙ্গে কোনো দ্বারা NP সম্পূর্ণ সমস্যা আছে যেমন যে সদস্যপদের বহুপদী সময় সিদ্ধান্ত নিয়েছে হতে পারে, এবং জন্য সব , বহুপদী সময় সমাধান করা যেতে পারে? (ধরে )ΦΦ\PhiΦΦ\Phix∈Φx∈Φx \in \Phixএক্সxP≠NপিP≠NপিP \neq NP

18 cc.complexity-theory  np-complete  heuristics 

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

18 fl.formal-languages  decidability 

আমি "বিশৃঙ্খলা" বা আরও বিস্তৃতভাবে গতিশীল সিস্টেমগুলি এবং প্রশ্নের মধ্যে সংযোগগুলি শিখতে আগ্রহী । আমি যে ধরণের সাহিত্যের সন্ধান করছি তার উদাহরণ এখানে:পি= এনপিপি=এনপিP{=}NP এর্কে-রাভাস্, মারিয়া এবং জোল্টন টোরোকজকাই। "সন্তুষ্টির সীমাবদ্ধতার জন্য অ্যানালগ পদ্ধতির ক্ষণস্থায়ী বিশৃঙ্খলা হিসাবে অনুকূলকরণ কঠোরতা" " প্রকৃতি পদার্থবিজ্ঞান 7, না। 12 (2011): 966-970। ( জার্নাল লিঙ্ক …

18 cc.complexity-theory  p-vs-np 

পি বনাম এনপি-র জন্য সরকারী ক্লে সমস্যার বিবরণে এটি বলা হয়েছে যে এটি দেখিয়ে অনুসরণ করবে যে " ভাষাতে প্রতিটি ভাষা [একটি ডিস্ট্রমিনিস্টিক টিউরিং মেশিনের সাহায্যে এক্সপ্রেশনাল সময়ে স্বীকৃত ভাষাগুলি] বুলিয়ান সার্কিট পরিবার দ্বারা গণনা করা যেতে পারে" যেমন কমপক্ষে একটি , এর যে কোনও বুলিয়ান ফাংশন গণনা করার জন্য …

18 cc.complexity-theory  circuit-complexity 

আমি নিম্নলিখিত সমস্যা আগ্রহী: একটি প্রদত্ত ম্যাট্রিক্স, সেখানে একটি undirected গ্রাফ হয় এনn×nn×nn\times nnnn ছেদচিহ্ন যার অন্তিক ম্যাট্রিক্স স্কোয়ারড হয় যে ম্যাট্রিক্স? এই সমস্যার গণ্য জটিলতা জানা যায়? মন্তব্য: অবশ্যই এই একটি সার্চ সমস্যা, যেখানে আপনি ম্যাট্রিক্স দেওয়া হয় যেমন phrased যাবে জন্য একটি একটি undirected গ্রাফ একজন অন্তিক ম্যাট্রিক্স …

18 cc.complexity-theory  graph-theory 

ট্রিভিডথ এফপিটি অ্যালগরিদমগুলিতে একটি গুরুত্বপূর্ণ ভূমিকা পালন করে, অংশে কারণ অনেকগুলি সমস্যা গাছের প্রস্থ দ্বারা FPT পরামিতি করে। সম্পর্কিত, আরও সীমাবদ্ধ, ধারণাটি হল পথচলাথ id যদি কোনও গ্রাফের প্যাথউইথ এটির বেশিরভাগ কে- তেও গাছের প্রস্থ থাকে , তবে বিপরীত দিকের দিক থেকে, ট্রিউইথ- কে কেবল সর্বাধিক কে লগ এন- এ …

18 parameterized-complexity  treewidth  graph-minor