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

নিম্নলিখিত সমস্যাটি বিবেচনা করুন - প্রদত্ত সর্বোচ্চ প্ল্যানার গ্রাফ এবং জি 2 , খুঁজুন গ্রাফ জি উভয় প্রান্ত সর্বোচ্চ সংখ্যক একটি subgraph (অগত্যা প্ররোচক) আছে যেমন যে সঙ্গে জি 1 এবং জি 2 যে isomorphic হয় জি ।G1G1G_1G2G2G_2GGGG1G1G_1G2G2G_2GGG এটি কি বহুপক্ষীয় সময়ে করা যায়? যদি হ্যাঁ, তবে কিভাবে? এটি জানা …

13 ds.algorithms  graph-algorithms  planar-graphs 

পটভূমি এই প্রশ্নটি 'ড্রাকুলা' নামক একটি বোর্ড গেম দ্বারা অনুপ্রাণিত হয়। এই গেমটিতে একটি ভ্যাম্পায়ার এবং চারটি শিকারী রয়েছে, শিকারিদের উদ্দেশ্য ভ্যাম্পায়ারকে ধরা। খেলাটি ইউরোপে ঘটে। খেলাটি নিম্নরূপ দেখায়: ১. শিকারি খেলোয়াড় সমস্ত শিকারীকে শহরে রাখে। একই শহরে একাধিক শিকারী রাখা যেতে পারে। ২. ভ্যাম্পায়ার খেলোয়াড় একটি শহরে ভ্যাম্পায়ার রাখেন। …

13 graph-theory  co.combinatorics  board-games  combinatorial-game-theory 

আমি আগ্রহী এমন একটি অপ্টিমাইজেশন সমস্যা মোকাবিলার জন্য স্যাট সলভারের উপর নির্ভর করার সম্ভাবনাটি অনুসন্ধান শুরু করছি এবং বর্তমানে আমি একটি সমীক্ষার সন্ধান করছি যা স্যাট এর রূপগুলিতে "চালাক" রূপান্তরগুলির উদাহরণ বৈশিষ্ট্যযুক্ত করবে (অর্থাত্, পরিবর্তনের ফলে) যুক্তিসঙ্গত আকারের সমস্যায়, যেহেতু আমি দৃ results়তার ফলাফল প্রমাণ করতে আগ্রহী নই তবে আসলে …

13 ds.algorithms  reference-request  sat  optimization 

সি 1 = 1 এবং সি 2 < সি 3 < সহ কয়েন সংজ্ঞা দেওয়া হয়েছে । । < সি এন এলোমেলো সংখ্যার সমানভাবে বিস্তৃত হচ্ছে [ ২ , এন ] । তাত্পর্যপূর্ণভাবে, লোভী অ্যালগরিদম কোন মুদ্রার ভগ্নাংশের জন্য এই বর্ণের সেটটি ব্যবহার করে অনুকূল পরিবর্তন সাধন করে?এনnnগ1= 1c1=1c_1=1গ2< গ3< …

13 ds.algorithms 

প্রতিবারই আমি এনপি-কমপ্লিটনেস শেখায়, শিক্ষার্থীরা জিজ্ঞাসা করে "এনপি-র অন্তর্ভুক্ত না বলে পরিচিত এমন কোনও সমস্যা আছে কি?" কীভাবে উত্তর দেবেন? আমি সাধারণত তাদের উদাহরণ হিসাবে একটি অনস্বীকার্য সমস্যা দিই, তবে এটি প্রায়শই ভালভাবে পরিণত হয় না: (ক) আমি যদি তাদের হাল্টিং সমস্যাটি দেয় তবে তারা মনে করে যে এটি কোনও …

13 cc.complexity-theory  complexity-classes  teaching 

আমি গণনা হিসাবে যা উল্লেখ করি তা হ'ল সমস্যাটি যা কোনও ফাংশনের সমাধানের সংখ্যা খুঁজে বের করে consists আরও স্পষ্টভাবে, একটি ফাংশন দেওয়া (অগত্যা ব্ল্যাক-বাক্স নয়), আনুমানিক # { x ∈ N ∣ f ( x ) = 1 } = | চ - 1 ( 1 ) | ।f:N→{0,1}f:N→{0,1}f:N\to …

13 ds.algorithms  reference-request  counting-complexity  time-complexity 

নির্দিষ্ট সমস্যাগুলি সমাধানের জন্য স্থির পরামিতি এবং আনুমানিকতা সম্পূর্ণ ভিন্ন পদ্ধতি different তাদের বিভিন্ন প্রেরণা রয়েছে। আনুমানিক সমাধান সহ দ্রুত ফলাফলের সন্ধান করে। স্থির পরামিতি সময়গত জটিলতার সাথে সূক্ষ্ম সমাধানের জন্য কে বা কে এবং এন এর বহুপদী ফাংশনের ক্ষেত্রে সঠিক সমাধান সন্ধান করে যেখানে এন ইনপুট আকার এবং কে …

13 cc.complexity-theory  reference-request  approximation-algorithms  fixed-parameter-tractable 

এনপি! = CoNP ধরে নিই, তবে CoNP- সম্পূর্ণ সমস্যার জন্য কোনও বহুপদী আকারের শংসাপত্র নেই। তবে সুবেস এক্সনোশিয়াল সাইজ শংসাপত্র সম্পর্কে কী? বিশেষত কোস্যাট-এর জন্য, কোনও সূত্রকে অসন্তুষ্টিজনক প্রমাণ করার জন্য কি সাপযুক্ত এক্সটেনশিয়াল আকারের প্রমাণ রয়েছে? তা না হলে নেতিবাচক প্রমাণ কী? ধন্যবাদ

13 cc.complexity-theory  proof-complexity 

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

13 ds.algorithms  machine-learning  genetic-algorithms 

আমি সর্বাধিক স্বতন্ত্র সেট নীচের এলপি শিথিল করার চেষ্টা করেছি max∑iximax∑ixi\max \sum_i x_i s.t. xi+xj≤1 ∀(i,j)∈Es.t. xi+xj≤1 ∀(i,j)∈E\text{s.t.}\ x_i+x_j\le 1\ \forall (i,j)\in E xi≥0xi≥0x_i\ge 0 আমি চেষ্টা করেছি এমন প্রতিটি ঘন নন-দ্বিপক্ষীয় গ্রাফের জন্য প্রতিটি ভেরিয়েবলের জন্য 1/21/21/2 পাই। সমস্ত সংযুক্ত কিউবিক নন-দ্বিপক্ষীয় গ্রাফের জন্য সত্য? এলপি শিথিলতা আছে যা …

13 graph-theory  co.combinatorics  linear-programming 

এটা সর্বজনবিদিত একটি খারাপ ক্ষেত্রে অনুকূল সময় Huffman কোড গনা অ্যালগরিদম নেই θ(nlgn)θ(nlg⁡n)\theta(n\lg n) । এটি দুটি অরথোগোনাল উপায়ে উন্নত হয়েছে: সর্বাপেক্ষা কাম্য উপসর্গ বিনামূল্যে কোডগুলি দ্রুত নির্ণিত হতে পারে যদি স্বতন্ত্র ফ্রিকোয়েন্সি সেট ছোট (আকার যেমন হয় σσ\sigma ): [মুনরো ও Spira, 1976] ব্যবহার সাজানোর ফ্রিকোয়েন্সি যাতে ছোট মান …

13 cc.complexity-theory 

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

13 lo.logic  formal-modeling  model-checking  program-verification  automated-theorem-proving 

এটি " আমি কীভাবে একটি কাগজ রেফারি করব? " এর সাধারণ প্রশ্নের সাথে সম্পর্কিত । আমি একটি সম্মেলনের জন্য একটি কাগজ পর্যালোচনা করছি, এবং এই কাগজটি প্রত্যাখ্যান করা উচিত, কারণ এটি প্রকাশের পক্ষে যথেষ্ট তাৎপর্যপূর্ণ নয় এবং এর কয়েকটি প্রযুক্তিগত বিশদে কিছু ত্রুটি রয়েছে। কাগজটি ভুল নয়, তবে যে উপায়ে …

13 soft-question  paper-review 

ভার্টেক্স কভারটি সহজেই ইন্ডিপেন্ডেন্ট সেট এবং বিপরীতে হ্রাস করা যেতে পারে। তবে, প্যারামিটারাইজড জটিলতার প্রসঙ্গে স্বতন্ত্র সেট ভার্টেক্স কভারের চেয়ে শক্ত। একটি কার্নেল সঙ্গে 2k2k2k ছেদচিহ্ন প্রান্তবিন্দু কভার জন্য বিদ্যমান, কিন্তু স্বাধীন সেট করা হয় ডব্লিউ 1 হার্ড। এফপিটি প্রসঙ্গে ইন্ডিপেন্ডেন্ট সেটের প্রকৃতি কীভাবে পরিবর্তিত হয় এবং কেন?

13 cc.complexity-theory  parameterized-complexity  fixed-parameter-tractable 

সংকলক তত্ত্বটি বেশ নিখরচায় বিষয় হিসাবে মনে হচ্ছে। ক্ষেত্রটিতে কিছু উন্মুক্ত সমস্যা বা বর্তমান গবেষণা কী ঘটছে?

13 soft-question  big-list  open-problem  compilers