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

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

22 cc.complexity-theory  reference-request  time-complexity  factoring  encoding 

দু'টি ভিন্ন প্রথাগত ইন্দ্রিয়ের: দুর্বলভাবে সরল বা অ-স্ব-ক্রসিংয়ের যে কোনও একটিতে প্রদত্ত নন-সরল বহুভুজটি প্রায় সহজ কিনা তা সিদ্ধান্ত নেওয়ার জটিলতায় আমি আগ্রহী । যেহেতু এই পদগুলি ব্যাপকভাবে পরিচিত নয়, তাই আমি কিছু সংজ্ঞা দিয়ে শুরু করি। PPPp0,p1,p2,…,pn−1p0,p1,p2,…,pn−1p_0, p_1, p_2, \dots, p_{n-1}pipip_ipipi+1modnpipi+1modnp_i p_{i+1\bmod n} একটি বহুভুজ সরল যদি সমস্ত টি …

22 ds.algorithms  cg.comp-geom  polygon 

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

22 ds.algorithms  graph-theory  graph-algorithms 

যদি কোনও সমস্যা এনপি-হার্ড হয় (বহুপক্ষীয় সময়ের হ্রাস ব্যবহার করে), তবে কি এটি বোঝায় যে এটি পি-হার্ড (লগ স্পেস বা এনসি হ্রাস ব্যবহার করে)? এটি স্বজ্ঞাত বলে মনে হয় যে এটি এনপি-র যে কোনও সমস্যার মতোই কঠিন তবে এটি পি-র যে কোনও সমস্যার মতোই শক্ত হওয়া উচিত তবে আমি কীভাবে …

22 cc.complexity-theory  np-hardness 

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

22 cc.complexity-theory  graph-theory  np-hardness 

আমি আশ্চর্য হই যে NL=LNL=LNL=L বিশ্বাস করার বা এনএল q নেক এলকে বিশ্বাস করার কোনও যৌক্তিকতা আছে কিনা NL≠LNL≠LNL\neq L? এটি জানা যায় যে NL⊂L2NL⊂L2NL \subset L^2 । আরএল এর ড্যারানডমাইজেশন সম্পর্কিত সাহিত্যটি RLRLRLবেশ বিশ্বাসযোগ্য যে RL=LRL=LRL=L । এনএল q নেক এল নিশ্চিত করে কিছু নিবন্ধ বা ধারণা সম্পর্কে কেউ …

22 cc.complexity-theory  reference-request  complexity-classes  space-bounded 

নিম্নলিখিত দুটি ক্রিয়াকলাপ সাপেক্ষে আইটেমগুলির ক্রম বজায় রাখতে পারে এমন ডেটা স্ট্রাকচার সম্পর্কে কী জানা যায়? পুশ (এক্স): অনুক্রমের শেষে x যুক্ত করুন, এবং ক্রমটির অবস্থানের জন্য একটি শনাক্তকারীকে ফিরিয়ে দিন এক্সট্রাক্ট (এস): শনাক্তকারীদের একটি আনর্ডারড সেট দেওয়া হয়েছে, সিকোয়েন্স থেকে সেই অবস্থানগুলিতে আইটেমগুলি সরিয়ে ফেলুন এবং সিকোয়েন্স ক্রমে মুছে …

22 ds.data-structures 

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

22 ds.algorithms  reference-request  max-flow 

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

22 ds.algorithms  cg.comp-geom  open-problem  computing-over-reals 

একটি সম্পর্ক এর (নির্ধারিত) যোগাযোগের জটিলতা ছাড়াও প্রয়োজনীয় পরিমাণ যোগাযোগের জন্য অন্য একটি প্রাথমিক মাপ হল প্রোটোকল পার্টিশন নম্বর । এই দুটি পদক্ষেপের মধ্যে সম্পর্ক একটি ধ্রুবক ফ্যাক্টর পর্যন্ত জানা যায়। কুশিলিভিটস এবং নিসান (1997) এর মনোগ্রাফ দেয়আরসি সি ( আর )গগ(আর)cc(R)আরআরR পি পি ( আর )পিপি(আর)pp(R) সি সি ( …

22 fl.formal-languages  lower-bounds  open-problem  regular-expressions  communication-complexity 

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

22 ds.algorithms  reference-request  approximation-algorithms  semidefinite-programming  csp 

ইন রৈখিক অপটিক্স এর গণনীয় জটিলতা ( ECCC TR10-170 ), স্কট Aaronson এবং Alex Arkhipov তর্ক কোয়ান্টাম কম্পিউটারের দক্ষতার শাস্ত্রীয় কম্পিউটার কৃত্রিম হতে পারে তাহলে বহুপদী অনুক্রমের তৃতীয় স্তর collapses। প্রেরণাদায়ী সমস্যাটি রৈখিক-অপটিক্যাল নেটওয়ার্ক দ্বারা সংজ্ঞায়িত বিতরণ থেকে নমুনা দেওয়া; এই বিতরণটি নির্দিষ্ট ম্যাট্রিক্সের স্থায়ী হিসাবে প্রকাশ করা যেতে পারে। …

22 cc.complexity-theory  quantum-computing 

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

22 cc.complexity-theory  big-picture  physics 

গণনাযোগ্য ফাংশন ধারণাটি শেখাতে আমার অসুবিধা হচ্ছে। আমি হিলবার্ট / অ্যাকারম্যান / গডেল / টুরিং / চার্চ / ... এর মতো গবেষকরা কেন 'গণনীয়তার' ধারণাটি আবিষ্কার করেছিলেন তার ধারণার বিকাশ করার চেষ্টা করেছি। শিক্ষার্থীরা তত্ক্ষণাত জিজ্ঞাসা করেছিল: "গণ্যকরণের অর্থ কী?" এবং আমি যদি তাদের টিউরিং মেশিন না শিখি তবে আমি …

22 soft-question  computability  turing-machines  teaching 

সিএসে এমন কোনও সমস্যা আছে যেখানে কোনও দক্ষ অ্যালগরিদম জানা যায় না, যদিও অস্তিত্বের উপপাদাগুলি প্রমাণ করে এমন দক্ষ অ্যালগরিদম উপস্থিত থাকতে হবে? এই সমস্যাগুলি কী বলা হয়? আমি কোথায় আরও জানতে পারি?

22 ds.algorithms  reference-request  terminology