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

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

3
আরএসএ ফ্যাক্টেরাইজেশনের চেয়ে পূর্ণসংখ্যার ফ্যাক্টেরাইজেশন সমস্যাটি কি শক্ত:
এটি গণিত.স্ট্যাকেক্সেক্সঞ্জের একটি ক্রস পোস্ট । যাক সত্যিকারের পূর্ণসংখ্যার ফ্যাক্টরিং সমস্যাটি বোঝানো যাক: given দেওয়া হয়েছে প্রাইমগুলি এবং যেমন thatp i ∈ N , e i ∈ N , n = ∏ k i = 0 p e i i ।n∈N,n∈N,n \in \mathbb{N},pi∈N,pi∈N,p_i \in \mathbb{N},ei∈N,ei∈N,e_i \in \mathbb{N},n=∏ki=0peii.n=∏i=0kpiei.n = \prod_{i=0}^{k} p_{i}^{e_i}. …

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

2
কোনও গ্রাফের চয়নযোগ্যতা নিম্ন-সীমাবদ্ধ করতে কতটি স্বতন্ত্র রঙের প্রয়োজন?
একটি গ্রাফ হয় -choosable (নামেও পরিচিত -list-মেকী যদি, যে ফাংশন জন্য) যে সংকলনের জন্য ছেদচিহ্ন মানচিত্র রং, সেখানে একটি রং নিয়োগ হয় যেমন যে, সব ছেদচিহ্ন , এবং এর মতো, সমস্ত প্রান্তের জন্য , ।k f k c v v c ( v ) ∈ f ( v ) v …

7
একাধিক কমানো বনাম বনাম ট্যুরিং হ্রাস এনপিসি সংজ্ঞায়িত করতে
উদাহরণস্বরূপ, টুরিং হ্রাস হ্রাসের পরিবর্তে এনপি-সম্পূর্ণতা সংজ্ঞায়িত করার জন্য কেন বেশিরভাগ লোকেরা একাধিক হ্রাস ব্যবহার পছন্দ করেন?

7
সত্যিই এলোমেলো নম্বর জেনারেটর: ট্যুরিং গণনাযোগ্য?
"সত্যিকারের এলোমেলো" সংখ্যার জেনারেশন টিউরিং গণনাযোগ্য কিনা সে সম্পর্কে আমি একটি সুনির্দিষ্ট উত্তর চাইছি। আমি ঠিক কিভাবে এই শব্দগুচ্ছ করতে জানি না। "এলোমেলো সংখ্যা জেনারেশনের জন্য দক্ষ অ্যালগরিদম" সম্পর্কিত এই স্ট্যাক এক্সচেঞ্জ প্রশ্নটি আমার প্রশ্নের উত্তর দেওয়ার কাছাকাছি আসে। চার্লস স্টুয়ার্ট তার উত্তরে বলেছিলেন, "এটি [মার্টিন-ল্যাফ এলোমেলো] কোনও মেশিন দ্বারা …

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

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

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

2
মুলমুলির জিসিটি প্রোগ্রাম
কখনও কখনও দাবি করা হয় যে পি বনাম এনপি প্রশ্নের মতো জটিলতা তত্ত্বের খোলামেলা প্রশ্নগুলির নিষ্পত্তি করার জন্য কেতন মুলমুলির জ্যামিতিক জটিল জটিলতা তত্ত্বই একমাত্র প্রশংসনীয় প্রোগ্রাম। প্রোগ্রামটি সম্পর্কে বিখ্যাত জটিল তাত্ত্বিকদের কাছ থেকে বেশ কয়েকটি ইতিবাচক মন্তব্য রয়েছে। মুলমুলির মতে এটি কাঙ্ক্ষিত ফলাফল পেতে দীর্ঘ সময় নিবে। সাধারণ জটিলতা …

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

2
হানের
যে কেউ Yijie হান এর সাথে পরিচিত হয় , রৈখিক স্থান, অ্যালগরিদম বাছাই পূর্ণসংখ্যা? এই ফলাফলটি মোটামুটি সংক্ষিপ্ত কাগজের ( O ( n লগ লগ এন ) সময় এবং রৈখিক স্পেসে ডিট্রিনেস্টিক বাছাইয়ের সময় উপস্থিত হয় J আমার সমস্যাটি হ'ল এটি কোনও স্পেসিফিকেশনে খুব গভীরভাবে না গিয়ে বরং হাতের avingেউয়ের …

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

9
এনপি-হার্ড সমস্যার জন্য অনুকূল লোভী অ্যালগরিদম
লোভ, একটি ভাল শব্দ অভাবের জন্য, ভাল। প্রারম্ভিক অ্যালগরিদম কোর্সে শেখানো প্রথম অ্যালগরিদমিক দৃষ্টান্তগুলির মধ্যে একটি হ'ল লোভী দৃষ্টিভঙ্গি । লোভী পদ্ধতির ফলাফল পি তে অনেক সমস্যার জন্য সহজ এবং স্বজ্ঞাত আলগোরিদিমগুলিতে আসে More আরও মজার বিষয়, কিছু এনপি-হার্ড সমস্যার জন্য সুস্পষ্ট এবং প্রাকৃতিক লোভী / স্থানীয় অ্যালগরিদম ফলাফল (সম্ভাব্য) …

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

5
ইন্ডাকশন ছাড়াই কি এমন যুক্তি রয়েছে যা বেশিরভাগ পি কে ক্যাপচার করে?
Immerman-Vardi উপপাদ্য বলে যে, PTIME (অথবা পি) অবিকল ভাষায় বর্গ প্রথম অর্ডার লজিক এর একটি বাক্য দ্বারা বর্ণিত যে করা যাবে একসঙ্গে একটি নির্দিষ্ট বিন্দু অপারেটর সঙ্গে, আদেশ স্ট্রাকচার ক্লাস শেষ। ফিক্সড পয়েন্ট অপারেটর হয় হয় কমপক্ষে স্থির-পয়েন্ট (ইমারম্যান এবং ভার্দি দ্বারা বিবেচিত), বা মুদ্রাস্ফীতি স্থায়ী-পয়েন্ট হতে পারে। (স্টিফান ক্রিয়েটজার, …

আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.