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

তাত্ত্বিক কম্পিউটার বিজ্ঞানী এবং সম্পর্কিত ক্ষেত্রে গবেষকদের জন্য প্রশ্নোত্তর

2
একটি পার্স ট্রি আপডেট করার জন্য দক্ষ অ্যালগরিদম
ধরা যাক যে আমার কাছে কোডের একটি বড় ব্লক রয়েছে যা আমি ইতিমধ্যে লেক্স এবং পার্স করেছি। মনে করুন যে মাত্র একটি চরিত্র পরিবর্তিত হয়েছে; আমি আমার পার্সিংটি আপডেট করতে চাই, তবে যেহেতু পুরোটিটির তুলনায় পরিবর্তনটি খুব ছোট, তাই আমি আবার পুরো জিনিসটিকে বিশ্লেষণ না করা সম্ভব কিনা তা জানতে …
2
# পি-সম্পূর্ণ সমস্যা যার সিদ্ধান্ত সংস্করণ পি
1) একটি # পি-সম্পূর্ণ সমস্যা #A থেকে একটি গণনা সমস্যা # বিতে পার্সোনোনিয়াস হ্রাস পাওয়া সম্ভব যখন # (সিদ্ধান্তের সংস্করণ) এ এনপি-সম্পূর্ণ হয় এবং বি পি তে থাকে? উদাহরণস্বরূপ, বি পিতে থাকা অবস্থায় # এসএটি থেকে # বি-তে কোনও পার্সামোনীয় হ্রাস হতে পারে? 2) বি পি তে থাকলে # বি …
2
নেটস বা অন্যান্য ইন্ডাকটিভ ডেটাটাইপের সাহায্যে ক্যালকুলাসের কাট-নির্মূলকরণ?
প্রাকৃতিক সংখ্যার মতো সূচকযুক্ত ডেটাটাইপ সহ (তালিকা বা গাছগুলিও ঠিকঠাক হবে) সহ প্রোজনীয় স্বজ্ঞাত যুক্তির জন্য একটি কাট-নির্মূলের উপপাদ্য বিশদ সম্পর্কিত কোনও কাগজে আমাকে কী নির্দেশনা দিয়েছেন? সিস্টেম আমি আগ্রহী ধরনের একটি উদাহরণ গোডেলের টি, যা ব্যাকরণ কর্তৃক প্রদত্ত ধরনের আছে । আমি প্রাকৃতিক সংখ্যার তুলনায় কোয়ানটিফায়ারগুলিতে খুব আগ্রহী নই …
2
সাধারণ অপরিবর্তিত গ্রাফগুলিতে হাঙ্গেরীয় অ্যালগরিদমের সাধারণীকরণ?
হাঙ্গেরীয় অ্যালগরিদম একটি সমন্বয়মূলক অপ্টিমাইজেশান অ্যালগরিদম যা বহু-কালীন সময়ে সর্বাধিক ওজনের দ্বিপক্ষীয় মিলের সমস্যাটি সমাধান করে এবং গুরুত্বপূর্ণ প্রাথমিক-দ্বৈত পদ্ধতির পরবর্তী উন্নয়নের প্রত্যাশা করে । অ্যালগরিদমটি ১৯৫৫ সালে হ্যারল্ড কুহন দ্বারা বিকাশ ও প্রকাশিত হয়েছিল, যিনি "হাঙ্গেরিয়ান অ্যালগরিদম" নামটি দিয়েছিলেন কারণ আলগোরিদিম দুটি হাঙ্গেরিয়ান গণিতবিদ: ডেনিস কনিগ এবং জেনি এগ্রিভেরির …
2
হাঙ্গেরীয় পদ্ধতির ন্যায়বিচার (কুহান-মুনক্রেস)
আমি ওয়েবে এখানে এবং সেখানে খুঁজে পেয়েছি বক্তৃতা নোটগুলির উপর ভিত্তি করে ন্যূনতম-ওজন দ্বিপক্ষীয় নিখুঁত মিলের সমস্যার জন্য কুহন-মুনক্রেস অ্যালগরিদমের একটি বাস্তবায়ন লিখেছি। এটি হাজার হাজার শীর্ষে এমনকি সত্যই ভাল কাজ করে। এবং আমি সম্মত হই যে এর পিছনের তত্ত্বটি সত্যই সুন্দর। এবং তবুও আমি এখনও অবাক হয়েছি কেন আমাকে …
3
দুটি সিএনএফ একই সংখ্যার সমাধান রয়েছে কিনা তা যাচাইয়ের জটিলতা
দুটি সিএনএফ দেওয়া, তাদের সত্য করার জন্য যদি তাদের একই সংখ্যক অ্যাসাইনমেন্ট থাকে তবে "হ্যাঁ" উত্তর দিন, অন্যথায় "না" উত্তর দিন। এটি দেখতে সহজ , যেহেতু আমরা যদি এই দুটি সিএনএফের সমাধানের সঠিক সংখ্যাটি জানি তবে আমরা কেবল তাদের শিবির স্থাপন করি এবং "হ্যাঁ" বা "না" উত্তর দিই answerP#PP#PP^{\#P} এই …
1
অভ্যন্তরীণতম হ্রাস কি টাইপযুক্ত calc-ক্যালকুলাসে চিরস্থায়ী?
(আমি ইতিমধ্যে ম্যাথওভারফ্লোতে এটি জিজ্ঞাসা করেছি, কিন্তু সেখানে কোনও উত্তর পাইনি)) পটভূমি Untyped ল্যামডা ক্যালকুলাস, একটি শব্দ অনেক redexes, এবং বিভিন্ন পছন্দগুলি যা প্রায় এক কমাতে দুর্দান্তভাবে ভিন্ন ফলাফল (যেমন তৈরি করতে পারে থাকতে পারে যা এক পদক্ষেপ ( -) বা নিজেই হ্রাস করে)। কোথায় হ্রাস করতে হবে তার বিভিন্ন …
1
তুচ্ছ স্বশাসনের সাথে গ্রাফ তৈরি করা
আমি কিছু ক্রিপ্টোগ্রাফিক মডেলটি সংশোধন করছি। এর অপ্রতুলতা দেখানোর জন্য, আমি গ্রাফ আইসোমরফিজমের উপর ভিত্তি করে একটি কনট্রিভড প্রোটোকল তৈরি করেছি। "গ্রাফ আইসোমরফিজম সমস্যার শক্ত উদাহরণ" তৈরি করতে সক্ষম বিপিপি অ্যালগরিদমগুলির অস্তিত্ব ধরে নেওয়া "কমনপ্লেস" (তবু বিতর্কিত!)। (আইসোমরফিজমের সাক্ষী সহ)) আমার কনট্রিভড প্রোটোকলে আমি এমন বিপিপি অ্যালগরিদমগুলির অস্তিত্ব ধরে নেব, …
1
কক-তে দুটি আর্গুমেন্টে কীভাবে একটি ফাংশন সংক্ষিপ্তভাবে परिभाषित করবেন?
আমি কীভাবে কাককে বোঝাতে পারি যে নীচে প্রদত্ত পুনরাবৃত্তির কাজটি সমাপ্ত হয়েছে? ফাংশন দুটি সূচক যুক্তি লাগে। স্বজ্ঞাতভাবে, পুনরাবৃত্তিটি সমাপ্ত হয় কারণ উভয় যুক্তির পচন হয়। বিশেষত, ফাংশনটি দুটি গাছ ইনপুট হিসাবে নেয়। Inductive Tree := | Tip: Tree | Bin: Tree -> Tree -> Tree. বৃক্ষগুলিতে, আমি নিম্নলিখিত শৈলীর …
3
সহযোগী হ্যাশ মেশানো
একটি সম্পূর্ণরূপে কার্যকরী সেটিংয়ে স্বল্পতম একা-লিঙ্কযুক্ত তালিকা বিবেচনা করুন। এর প্রশংসা পাহাড়ের চূড়া থেকে গাওয়া হয়েছে এবং এটি গাওয়া অব্যাহত থাকবে। এখানে আমি এর বিভিন্ন শক্তির মধ্যে একটিতে এবং গাছের উপর ভিত্তি করে এটি খাঁটি কার্যকরী সিকোয়েন্সগুলির আরও বিস্তৃত শ্রেণিতে কীভাবে প্রসারিত হতে পারে তার প্রশ্নটির মধ্যে আমি একটিকে সম্বোধন …
2
(অ্যালগোরিদমিক) গেমের তত্ত্বের বদ্ধমূল অনুমান এবং উন্মুক্ত সমস্যা?
অ্যালগরিদমিক গেম তত্ত্বের (বা সিএসের সাথে সম্পর্কিত হিসাবে গেম তত্ত্বটি সাধারণভাবে) কোন ধরণের অনুমান এবং প্রধান উন্মুক্ত সমস্যাগুলি সবচেয়ে গুরুত্বপূর্ণ? উদাহরণস্বরূপ, পিএপিএড-সম্পূর্ণ হিসাবে ন্যাশের রেজোলিউশনটি আমার ধারণা, এটি সমাধান না হওয়া পর্যন্ত সবচেয়ে বড় হবে been (যোগ করা হয়েছে: পি এবং এনপির সাথে পিপিএডের সম্পর্কের সমাধান করা একটি ভাল ওপেন …
1
এর যন্ত্রের বৈশিষ্ট্য
হ'ল সিদ্ধান্তের শ্রেণীর একটি পরিবার যা হে ( লগ আমি এন ) সীমাহীন-ফ্যানিন ও বাউন্ডেড-ফ্যানিন এবং গেটগুলির সাথে গভীরতার সার্কিটগুলিরদ্বারা সমাধানযোগ্য। আলোচনা কেবল ইনপুট পর্যায়ে অনুমোদিত। জানা যায় , S একজন সি আই জন্য আমি ≥ 1 সম্পূরক এবং অধীনে বন্ধ করা হয় এস একজন সি 0 নয়। এছাড়াও, এস …
1
সাবসেট Sum বা NPP এর জন্য পূর্ণসংখ্যার সম্পর্ক সনাক্তকরণ?
সাবসেট যোগ বা সংখ্যার পার্টিশন সমস্যার একটি উদাহরণ এনকোড করার কোনও উপায় রয়েছে যাতে কোনও পূর্ণসংখ্যার সম্পর্কের জন্য একটি (ছোট) সমাধান একটি উত্তর দেয়? যদি অবশ্যই না হয়, তবে কিছু সম্ভাব্য অর্থে? আমি জানি যে এলএলএল (এবং সম্ভবত পিএসএলকিউ) 'নিম্ন-ঘনত্ব' অঞ্চলে সাবসেট সামমের সমস্যাগুলি সমাধানে মাঝারি সাফল্যের সাথে ব্যবহার করা …
2
# স্যাট উপর নিম্ন সীমানা?
# স্যাট সমস্যাটি হ'ল ক্যানোনিকাল # পি-সম্পূর্ণ সমস্যা। এটি কোনও সিদ্ধান্ত সমস্যার পরিবর্তে একটি ফাংশন সমস্যা। এটা তোলে জিজ্ঞেস করে, একটি বুলিয়ান সূত্র দেওয়া propositional যুক্তিবিজ্ঞান, কত পরিতৃপ্ত বরাদ্দকরণ এফ হয়েছে। # স্যাট উপরের নিম্নতম সীমাটি কোনটি?FFFFFF
1
জটিলতা তত্ত্বের পুনরাবৃত্তি তাত্ত্বিক ক্ষেত্রের ক্লাসিক কাগজগুলি কী কী?
আমি অন্তর্ভুক্ত দুটি কাগজপত্র হ'ল: ডি কোজেন, "সাবক্রিসিভ ক্লাসগুলির সূচীকরণ" , এসটিওসি , 1978। আর । লাডনার, "স্ট্রাকচার অফ পলিনোমিয়াল টাইম হ্রাসযোগ্যতা" , জ্যাকএএম, 1975।
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.