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

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

1
দীর্ঘতম পথের সমস্যার চেয়ে দীর্ঘতম পথচলা সমস্যাটি কি সহজ?
দীর্ঘতম পথের সমস্যাটি এনপি-হার্ড। (আদর্শ?) প্রমাণ হ্যামিলটোনীয় পথ সমস্যার হ্রাস (যা এনপি-সম্পূর্ণ) এর উপর নির্ভর করে। দ্রষ্টব্য যে এখানে পথটি সরল (নোড-) হিসাবে নেওয়া হয়েছে। অর্থাত্ কোনও পথটি একবারে একাধিকবার ঘটতে পারে না। স্পষ্টতই এটি প্রান্ত-সরল (কোনও প্রান্তটি একাধিকবারে পথে আসবে না)। সুতরাং যদি আমরা কোনও (নোড-) সাধারণ পাথ সন্ধানের …
1
র‌্যান্ডম 3-স্যাট: প্রান্তিকের theকমত্য পরীক্ষামূলক পরিসীমাটি কী?
এলোমেলো 3-SAT এর জন্য ভেরিয়েবলের ক্লজগুলির সমালোচনা অনুপাতটি 3 এরও বেশি এবং 6-এরও কম এবং সাধারণত "প্রায় 4.2" বা "প্রায় 4.25" হিসাবে বর্ণিত বলে মনে হয়। মেজার্ড, প্যারিসি এবং জেকিনা (পদার্থবিজ্ঞানের অর্থে) প্রমাণ করেছেন যে সমালোচনামূলক অনুপাত ৪.২256, যেখানে প্রথম এবং তৃতীয় লেখক প্রমাণ করেছেন যে এটি ৪.২6767। What is …
2
কেবল পঠনযোগ্য স্ট্যাক ব্যবহার করে বাছাই করা
নিম্নলিখিত সেটিংটি বিবেচনা করুন: আমরা একটি স্ট্যাক দেওয়া হয় sss যা রয়েছে nnn আইটেম। আমরা অতিরিক্ত স্ট্যাকের একটি ধ্রুবক O(1)O(1)O(1) সংখ্যা ব্যবহার করতে পারি । আমরা এই স্ট্যাকগুলিতে নিম্নলিখিত ক্রিয়াকলাপগুলি প্রয়োগ করতে পারি: একটি স্ট্যাক খালি আছে কিনা তা পরীক্ষা করুন দুটি স্ট্যাকের শীর্ষ আইটেমগুলি তুলনা করুন, একটি স্ট্যাকের শীর্ষ …
2
বিশ্বাস প্রচারের সময় চলমান জন্য তাত্ত্বিক গ্যারান্টি?
সম্ভাব্য গ্রাফিকাল মডেলগুলির গবেষণার মাধ্যমে বিশ্বাসের প্রচারকে খুব শক্তিশালী পদ্ধতি হিসাবে দেখানো হয়েছে। তবে, এমপিএমসি পদ্ধতির সাথে তুলনীয় এমন বিপি সম্পর্কে আমি কিছু জানি না যেখানে আমাদের # পি-সম্পূর্ণ সমস্যার জন্য সম্পূর্ণ বহুপদী র্যান্ডমাইজড আনুমানিক পরিকল্পনা (এফপিআরএস) থাকতে পারে। কেউ আমাকে কিছু উল্লেখ করতে পারে?
5
গম্বুজযুক্ত ট্রিউইথ গ্রাফগুলিতে আর-ডমিনিটিং সেটটির জন্য সঠিক অ্যালগরিদম
একটি গ্রাফ দেওয়া, , আমি জি এর জন্য একটি অনুকূল আর- ডোমিনেশন চাই । অর্থাৎ আমি একটি উপসেট চান এস এর ভী যেমন যে সমস্ত ছেদচিহ্ন জি সর্বাধিক একটি দূরত্ব হয় দ মধ্যে কিছু প্রান্তবিন্দু থেকে এস , আকার কমানোর যখনG=(V,E)G=(V,E)G = (V, E)rrrGGGSSSVVVGGGrrrSSS ।SSS আমি এখনও অবধি যা যাচাই …
1
একটি দুটি কাউন্টার মেশিন
নিম্নলিখিত নির্দেশাবলী সহ একটি আদর্শ দুটি কাউন্টার ( ) মেশিন করতে পারেন:c1,c2c1,c2c_1,c_2 1) ADD 1 to c_i, GOTO label_j 2) IF c_i = 0 GOTO label_j, OTHERWISE SUB 1 to c_i and GOTO label_k 3) GOTO label_j 4) HALT and ACCEPT|REJECT নিম্নলিখিত ভাষাটি সিদ্ধান্ত নিন: L={n2∣n≥1}L={n2∣n≥1}L = \{ n^2 \mid …
1
স্যাটের এনপি-কঠোরতার জন্য হ্রাসের নূন্যতম প্রয়োজনীয় গভীরতা কত?
যেমনটি সবাই জানে, আর্টের বহুপক্ষীয় সময়ে বহু-একক হ্রাসের জন্য স্যাট সম্পূর্ণ । এটি এখনও সম্পূর্ণNPNP\mathsf{NP} বহু-এক হ্রাস।AC0AC0\mathsf{AC^0} আমার প্রশ্নগুলি হ্রাস জন্য নূন্যতম প্রয়োজনীয় গভীরতা কি? আরও আনুষ্ঠানিকভাবে, অন্তত কি যেমন যে স্যাট হয় -hard wrt অনেকগুলি এক কমানোর?dddNPNP\mathsf{NP}AC0dACd0\mathsf{AC^0_d} এটা আমার কাছে মনে হচ্ছে যে যথেষ্ট হবে? কেউ কি রেফারেন্স জানেন?AC02AC20\mathsf{AC^0_2}
1
দুদক ক্রিকুইটের বিগেল-তারুই রূপান্তর
আমি অরোরা এবং বারাকের কম্পিউটেশনাল জটিলতার বইতে এনইএসপি-র জন্য দুদকের নিম্ন সীমা সম্পর্কে পরিশিষ্ট পড়ছি । http://www.cs.princeton.edu/theory/uploads/Compbook/accnexp.pdf মূল লেমমাসের মধ্যে একটি হ'ল সার্কিট থেকে বহুগুণ বহুত্বরেখায় বহুগুণে বহুগুণে রূপান্তরিত হয় যা বহুগাণিতিক ডিগ্রি এবং কোয়াশিপলিনোমিয়াল কো-কোফিয়েন্টিয়াস সহ, বা সমানভাবে, সার্কিট ক্লাস which, যা কোয়েসিপলিনোমিয়ালি বহু এবং গেটের নীচের স্তরে পলিয়েগারিদমিক …
4
হাস্কেলের সিক ক্রিয়াকলাপের সাথে ফাংশনগুলির জন্য কি এটা-সমতুল্যতা উপযুক্ত?
থিম: ধরে নেওয়া যাক ETA-সমানতা আমরা যে আছে (\x -> ⊥) = ⊥ :: A -> B। প্রুফ: ⊥ = (\x -> ⊥ x)এটা-সমতা এবং (\x -> ⊥ x) = (\x -> ⊥)ল্যাম্বদার নীচে হ্রাস দ্বারা। হাস্কেল 2010 রিপোর্ট, বিভাগ 6.2 seqদুটি সমীকরণ দ্বারা ফাংশন নির্দিষ্ট করে : seq :: …
6
স্যাট এর বিভিন্নতা
আমি ইন্টারনেটে সন্ধান করেছি, তবে স্যাট সমস্যার বৈকল্পিকগুলির কোনও 'বিগ-লিস্ট' খুঁজে পেলাম না। (সাধারণ) ব্যতীত স্যাট, K-স্যাট, MAX টি-kSAT, হাফ-স্যাট, XOR যাও-স্যাট, Nae-স্যাট আর কি রূপ আছে? (এছাড়াও জটিলতার ক্লাস দেওয়া হলে (যেখানে সম্ভব হবে) এটি সত্যই কার্যকর হবে)
2
আরও কম্পিউটার বিজ্ঞান শিখার প্রত্যাশায় গণিতবিদদের জন্য সংস্থান
পটভূমি : আমি গণিতে আমার মাস্টার্স ডিগ্রি শেষ করছি এবং আগস্ট মাসে লজিকের পিএইচডি শুরু করব। আমি যত বেশি যুক্তি নিয়ে অধ্যয়ন করি, তত তাত্ত্বিক কম্পিউটার বিজ্ঞান আমার কাছে প্রকাশিত হয়, যেমন পুনরাবৃত্তি তত্ত্ব, ল্যাম্বডা ক্যালকুলাস, তবে অন্তর্নিহিত সিএসটি গালিগাছার নীচে ব্রাশ করা হয়েছে। আমার আগ্রহের মূল ক্ষেত্রগুলি - সেট …
6
গণনার জ্যামিতিক ব্যাখ্যা pret
পদার্থবিজ্ঞানের কারণে, আমি জ্যামিতিক দৃষ্টিকোণ থেকে প্রচুর সমস্যা অনুসন্ধান করার প্রশিক্ষণ পেয়েছি। উদাহরণস্বরূপ, গতিশীল সিস্টেমগুলিতে বহুগুণের ডিফারেনশিয়াল জ্যামিতি ইত্যাদি I যখন আমি কম্পিউটার বিজ্ঞানের ভিত্তি পড়ি, আমি সর্বদা জ্যামিতিক ব্যাখ্যা খুঁজে বের করার চেষ্টা করি। পুনরাবৃত্তিমূলকভাবে অগণনীয় সেটগুলির বিশ্লেষণযোগ্য জ্যামিতিক ব্যাখ্যার মতো (আমি এমন একটি অংশে কাজ করেছি যেখানে আমি …
2
প্যারিটি-পি কি পিপিতে রয়েছে?
এই প্রশ্নটি জ্যান প্যাক্স গণিতের মেইলিং তালিকার ফাউন্ডেশনগুলিতে জিজ্ঞাসা করেছিলেন । অবশ্যই কিন্তু আমি উত্তর থেকে সন্দেহ এই প্রশ্নের এটি কিনা জানা যায় না এর ⊕ পি ⊆ পি পি (অন্যথায়, পি পি এই প্রশ্নের একটি সম্ভাব্য উত্তর হতে হবে)। যদি এটি জানা না থাকে, তবে কি কোনও ওরাকল বিচ্ছেদ …
1
কীভাবে কোনও সমস্যা এনপিতে থাকতে পারে, এনপি-হার্ড হোন এবং এনপি-সম্পূর্ণ না হয়ে যায়?
দীর্ঘ সময় ধরে আমি ভেবেছি যে সমস্যাটি এনপি-সম্পূর্ণ ছিল যদি এটি উভয়ই হয় (1) এনপি-হার্ড এবং (2) এনপিতে থাকে। যাইহোক, বিখ্যাত কাগজে "উপবৃত্তাকার পদ্ধতি এবং সংযুক্তি অপ্টিমাইজেশনে এর পরিণতি" , লেখকরা দাবি করেছেন যে ভগ্নাংশ ক্রোম্যাটিক নম্বর সমস্যাটি এনপি-র অন্তর্ভুক্ত এবং এটি এনপি-হার্ড, তবুও এনপি-সম্পূর্ণ হিসাবে পরিচিত নয়। কাগজের তৃতীয় …
2
সাম্যের পরিবর্তে ইতিবাচকতার জন্য পরীক্ষা করা
অ্যালিস এবং বব এর এন-বিট স্ট্রিং রয়েছে এবং অল্প যোগাযোগ করার সময় তারা সমান কিনা তা নির্ধারণ করতে চান। স্ট্যান্ডার্ড এলোমেলোন সমাধান হ'ল এন-বিট স্ট্রিংগুলিকে ডিগ্রি এর বহুবর্ষ হিসাবে বিবেচনা করা এবং তারপরে এন এর চেয়ে বড় আকারের ক্ষেত্র থেকে কয়েকটি এলোমেলোভাবে নির্বাচিত উপাদানগুলির মাধ্যমে বহুভুজকে মূল্যায়ন করুন । এটি …
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.