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

আমি বর্তমানে একটি থিসিসের জন্য একটি বিষয় খুঁজছি এবং অ্যালগরিদমিক তথ্য তত্ত্বের ক্ষেত্রের মুখোমুখি হয়েছি। মাঠটি আমার কাছে খুব আকর্ষণীয় মনে হচ্ছে তবে মনে হয় সবকিছুই বেশ কয়েক বছর আগে মাঠটি করা হয়েছিল। সুতরাং আমার প্রশ্ন হ'ল: ক্ষেত্রটি "জীবিত" নাকি এটি বেশ বন্ধ রয়েছে? এটিতে কি খোলামেলা প্রশ্ন রয়েছে? ধন্যবাদ

10 cc.complexity-theory  it.information-theory 

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

10 cc.complexity-theory  quantum-computing  quantum-information 

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

10 reference-request  pl.programming-languages  type-theory  dependent-type  typed-lambda-calculus 

যাক একটি বহুপদী সময় নির্ণায়ক মেশিন যে কিছু ওরাকল থেকে প্রশ্ন করতে পারেন হতে । প্রাথমিকভাবে খালি তবে নীচে বর্ণিত একটি গেমের পরে এটি পরিবর্তন করা যেতে পারে। এক্স কিছু স্ট্রিং হতে দিন ।এমএমMএকজনএকজনAএকজনএকজনAএক্সএক্সx নিম্নলিখিত অ্যালিস এবং বব গেমটি বিবেচনা করুন। প্রাথমিকভাবে, অ্যালিস এবং ববের যথাক্রমে এবং এম বি ডলার …

10 cc.complexity-theory  complexity-classes  gt.game-theory 

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

10 soft-question  advice-request 

আমি কিছু গ্রাফ সমস্যার অনুমানমূলক কঠোরতার দুটি উদাহরণ পেয়েছি । হাইপোথিটিক্যাল কঠোরতার অর্থ কিছু অনুমানকে খণ্ডন করা সম্পর্কিত গ্রাফ সমস্যার NP- সম্পূর্ণতা বোঝায়। উদাহরণস্বরূপ, বার্নেটের অনুমানে বলা হয়েছে যে প্রতি 3-সংযুক্ত ঘনক পরিকল্পনাকারী দ্বিপক্ষীয় গ্রাফ হ্যামিলটনিয়ান। ফেডার এবং সুবি প্রমাণ করেছিলেন যে অনুমানকে খণ্ডন করা অনুমানের শ্রেণীর গ্রাফগুলিতে হ্যামিল্টোনীয় চক্র …

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

মাহানির উপপাদ্য আমাদের বলে যে বহুবর্ষকালীন বহু-একক হ্রাসের আওতায় যদি একটি স্পার্স কমপ্লিট সেট থাকে তবে পি = এন পি । (" এনপি-র জন্য স্পারস সম্পূর্ণ সেট: বারম্যান এবং হার্টম্যানিসের অনুমানের সমাধান " দেখুন)এনপিএনপিNPপি= এনপিপি=এনপিP = NP অন্যান্য জটিলতার ক্লাসগুলির জন্য বিরল সম্পূর্ণ সেটগুলির অস্তিত্বের কি জানা ফলাফল রয়েছে? বিশেষত, …

10 cc.complexity-theory  complexity-classes  reductions  polynomial-time  logspace 

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

10 reference-request  lambda-calculus  typed-lambda-calculus  reversible-computing 

সেখানে একটি তুলনা ভিত্তিক বাছাই আলগোরিদিম যে ব্যবহারসমূহ গড়ে ঠ ছ ( এন ! ) + + ণ ( এন )lg(n!)+o(n)\mathrm{lg}(n!)+o(n) তুলনা? সবচেয়ে খারাপ ক্ষেত্রে এল জি ( এন ! ) + ও ( এন )lg(n!)+o(n)\mathrm{lg}(n!)+o(n) তুলনা অ্যালগরিদম একটি উন্মুক্ত সমস্যা, তবে প্রতিটি ক্ষেত্রে প্রতিটি ইনপুটের জন্য তুলনামূলকভাবে প্রত্যাশিত এল …

10 cc.complexity-theory  ds.algorithms  sorting 

নিম্নলিখিত 2 খেলোয়াড়ের খেলাটি বিবেচনা করুন: প্রকৃতি এলোমেলোভাবে একটি প্রোগ্রাম চয়ন করে প্রতিটি খেলোয়াড় প্রকৃতির পদক্ষেপের প্রতিক্রিয়া হিসাবে [0, অনন্ত] সমেত একটি নম্বর খেলেন খেলোয়াড়ের ন্যূনতম নম্বরে নিন এবং অনেকগুলি পদক্ষেপের জন্য প্রোগ্রাম চালান (যদি না উভয় খেলোয়াড়ই অনন্ত নির্বাচন না করে) যদি প্রোগ্রামটি বন্ধ হয়ে যায় তবে প্লেয়ার যিনি …

10 lo.logic  computability  gt.game-theory 

নিম্নলিখিত সমস্যা বিবেচনা করুন। আছে অজানা মান । কাজটি হ'ল নিম্নলিখিত ফর্মের কেবলমাত্র প্রশ্নগুলি ব্যবহার করে বৃহত্তম একের সূচকটি সন্ধান করা। একটি প্রশ্নের সাথে একটি সেট নির্ধারণ করা হয় এবং সংশ্লিষ্ট জবাব । লক্ষ্যটি হ'ল যতটা সম্ভব ক্যোয়ারী ব্যবহার করা।ভি 1 , ⋯ , ভি এন ∈ আর এস ⊆ …

10 approximation-algorithms  randomized-algorithms  search-problem  random-walks  binary-trees 

প্রাকৃতিক সংখ্যা ছাড়া অন্য সেটগুলিতে গণনার কোনও ধারণা আছে কি? তর্কের খাতিরে, এসকে সেট এসSSকরে বলি যা সাথে বাইজেক্ট করে এনN\mathbb{N}। এটি বলার জন্য লোভনীয় যে "হ্যাঁ, এগুলি হ'ল ফর্মের সেই ফাংশন ছ∘ চ। জি- 1g∘f∘g−1g \circ f \circ g^{-1}যেখানে ছgg কোনও হ'ল এন →এসএন→এস\mathbb{N} \to S এবং চচf কোনও …

10 computability 

আমি নিম্নলিখিত সিদ্ধান্ত সমস্যার জটিলতা নির্ধারণ করতে আগ্রহী: দুটি পূর্ণসংখ্যা এবং (প্রতিটি সর্বাধিক মিটার বিট সহ প্রতিটি) দেওয়া, স্থির করুন 2 এর সর্বাধিক উল্লেখযোগ্য বিট 1 (যেখানে ফলাফলটি মুদ্রিত হয়েছে) সম্ভবত 0 টির সাথে 2 মি বিট)?l1l1l_1l2l2l_2l1⋅l2l1⋅l2l_1 \cdot l_2 সমস্যার কিছু পটভূমি: স্পষ্টতই, এই সমস্যাটি বাইনারি একটি বিশেষ ঘটনা যা …

10 cc.complexity-theory  circuit-complexity 

আসুন একটি সীমাবদ্ধ আবেলীয় গোষ্ঠী হোন, এবং পি কে আর এর বহুভুজ হতে দিন x নীচের অক্ষমতাগুলিকে সন্তুষ্ট করার পয়েন্ট হিসাবে সংজ্ঞায়িত :ΓΓ\GammaপিPPRΓRΓ\mathbb{R}^\Gammaxxx ∑g∈Gxg≤|G|xg≥0∀G≤Γ∀g∈Γ∑g∈Gxg≤|G|∀G≤Γxg≥0∀g∈Γ\begin{array}{cl} \sum_{g\in G} x_g \le |G| & \forall G \le \Gamma \\ x_g \ge 0 & \forall g \in \Gamma \end{array} যেখানে মানে জি একটি উপদলের হয় …

10 gr.group-theory  fourier-analysis  convex-geometry 

অনুপ্রেরণা : ডেটা ভার্শনিংয়ের সরঞ্জামগুলি বিকাশ করার সময়, আমরা দুটি সংখ্যক পূর্ণসংখ্যার "ডিফ" তৈরির জন্য অ্যালগরিদমগুলি সন্ধান করি, যেখানে রূপান্তরগুলির ক্রম ঘটে যা একটি সংখ্যার পূর্ণাঙ্গ সেট করে নেয় set আমরা সেই সমস্যাটি নীচের খুব স্বাভাবিক সমস্যাটিতে কমাতে সক্ষম হয়েছি যা মনে হয় দূরত্ব সম্পাদনা করার জন্য সংযোগ রয়েছে, অদলবদল …

10 cc.complexity-theory  ds.algorithms  reference-request  string-matching  edit-distance