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

এটি একটি সুনির্দিষ্ট উত্তরের পরিবর্তে একটি বিষয়গত প্রশ্ন হতে পারে তবে যাইহোক। জটিলতার তত্ত্বে আমরা দক্ষ গণনার ধারণাটি অধ্যয়ন করি। এখানে classes এর মতো শ্রেণি সময় বলতে বোঝায় এবং log লগ স্পেসের জন্য দাঁড়িয়ে । উভয়কেই একধরণের "দক্ষতা" হিসাবে উপস্থাপিত হিসাবে বিবেচনা করা হয় এবং তারা কিছু সমস্যার অসুবিধাগুলি বেশ …

49 cc.complexity-theory  space-bounded  big-picture 

টুরিং মেশিন এবং ল্যাম্বডা ক্যালকুলাসের মধ্যে কি কোনও সম্পর্ক রয়েছে - বা তারা কি একই সময়ে ঘটেছিল?

49 computability  lambda-calculus  turing-machines 

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

48 co.combinatorics  randomness  probabilistic-circuits 

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

48 computability  approximation-algorithms  parameterized-complexity  halting-problem 

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

48 computability  lambda-calculus  turing-machines 

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

48 imperative-programming  pl.programming-languages 

আমার মনে আছে আমি কোনও সমস্যার জন্য সমাধানযোগ্য হিসাবে প্রমাণিত এমন সমস্যার উল্লেখগুলির মুখোমুখি হতে পারি, তবে বাস্তবে এই জটিলতায় পৌঁছানোর কোনও অ্যালগরিদম নেই। আমি কীভাবে এটি হতে পারি তার চারপাশে আমার মনকে জড়িয়ে ফেলার লড়াই করি; অ্যালগরিদমের অস্তিত্বের জন্য অ-গঠনমূলক প্রমাণের মতো দেখতে কেমন হবে। আসলেই কি এমন সমস্যা …

47 ds.algorithms  soft-question  lo.logic  proofs 

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

47 cc.complexity-theory  soft-question  research-practice 

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

47 lo.logic  coq  proof-assistants 

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

47 cc.complexity-theory  np-hardness  tree 

আমরা জানি যে L⊆NL⊆PL⊆NL⊆P\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{P} এবং সেই L⊆NL⊆L2⊆L⊆NL⊆L2⊆\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{L}^2 \subseteq polyLpolyL\mathsf{polyL} , যেখানে L2=DSPACE(log2n)L2=DSPACE(log2⁡n)\mathsf{L}^2 = \mathsf{DSPACE}(\log^2 n) । আমরা জানি যে polyL≠PpolyL≠P\mathsf{polyL} \neq \mathsf{P}কারণ পরবর্তীটির লোগারিথমিক স্পেসের অধীনে সম্পূর্ণ সমস্যা রয়েছে একাধিক হ্রাস এবং পূর্বেরটি (স্থান স্থানক্রমের উপপাদ্যের কারণে নয়) does অর্ডার মধ্যে সম্পর্ক …

46 cc.complexity-theory  complexity-classes  conditional-results  structural-complexity 

আমি একজন ছাত্র পাণ্ডুলিপি সম্পাদনা করছিলাম। শিক্ষার্থী মন্তব্য করেছিল যে প্রকাশিত কাজে গুণমানের লেখার উদাহরণগুলি দেখে ভাল লাগবে এবং আমি বুঝতে পেরেছিলাম যে আমি আমার মাথার উপরের দিক থেকে ভাল উদাহরণ দিয়ে আসতে পারি না আপনি দেখেছেন মানের গাণিতিক লেখার সর্বোত্তম উদাহরণ কী কী? নিয়মাবলী: আমি যতদূর সম্ভব টিসিএসের কাগজপত্র …

46 soft-question  writing 

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

46 lo.logic  type-theory  dependent-type 

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

46 cc.complexity-theory  big-picture 

3SAT এর জন্য সময় এবং সার্কিটের গভীরতার জন্য সর্বোত্তম বর্তমান নিম্নতম সীমাগুলি কী কী?

46 cc.complexity-theory  lower-bounds  sat