প্রশ্ন ট্যাগ «proofs»

নির্দিষ্ট উপপাদ্য বা অনুমানের বিদ্যমান বা সম্ভাব্য প্রমাণ সম্পর্কে প্রশ্নগুলির জন্য ব্যবহৃত হয়

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

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

1
ক্লাসিক পাক্সো এবং দ্রুত প্যাকসগুলির সঠিকতার প্রমাণ
আমি লেসলি ল্যাম্পোর্টের "ফাস্ট পাক্সোস" কাগজটি পড়ছি এবং ক্লাসিক প্যাক্সোস এবং ফাস্ট প্যাক্সো উভয়ের যথার্থতার প্রমাণ সহ আটকে যাচ্ছি । দৃঢ়তা জন্য, মান পর্যায়ে সমন্বয়কারী দ্বারা বাছাই 2 একটি রাউন্ডে আমি সন্তুষ্ট উচিতvvv2a2a2aiii যে কোনও রাউন্ড জ < i i এর জন্য , ভি ছাড়া অন্য কোনও মানরাউন্ড জে নির্বাচিত …

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

2
Numberশ্বরের সংখ্যার একটি ইন্টারেক্টিভ প্রমাণ?
আমি ইদানীং ইন্টারেক্টিভ প্রমাণগুলি সম্পর্কে শিখছি এবং আমি ভাবছিলাম যে পুরো জিনিসটি তাত্ত্বিক কৌতূহল ছাড়া আর কিছুই ছিল না, বা এর কোনও ব্যবহারিক প্রয়োগ রয়েছে কিনা। আমি ভেবেছিলাম যে আমি একটি উদাহরণ দিয়ে শুরু করব যা ঝরনার সময় আমার সাথে ঘটেছিল: এটি "God'sশ্বরের সংখ্যা" = ২০ এ ইদানীং সংবাদ তৈরি …

1
ফিগা-ফিয়াট-শামির কেন সাইন বিট ছাড়া জিরো নলেজ নয়?
ইন hạc (10.4.2) 10 অধ্যায়ে , আমরা সুপরিচিত Feige-হুকমি-শামির আইডেন্টিফিকেশন (সম্ভাব্য) আহরণের বর্গমূল একটি যৌগিক যে ফ্যাক্টর কঠিন modulo অসুবিধা ব্যবহার করে একটি শূন্য-জ্ঞান প্রমাণ উপর ভিত্তি করে প্রোটোকল দেখুন। আমি আমার নিজের কথায় স্কিমটি দেব (এবং আশা করি এটি সঠিক হয়ে উঠবে)। এর একটি সহজ স্কীম দিয়ে শুরু করা …

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

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

3
গবেষণা / প্রকাশনা নিয়ে আমি কোথায় সাহায্য চাই?
আমি কিছুক্ষণ ধরে একটি স্যাট অ্যালগরিদম বিকাশ করছি এবং এমন একটি অবস্থানে পৌঁছেছি যেখানে আমি এটি ভাগ করতে চাই। আমি কম্পিউটার সায়েন্সে অনেক লোককে চিনি না এবং ঠিক কোথায় ঘুরতে হবে তাও নিশ্চিত নই। আমি ভাবছি যে প্রকাশনা বিবেচনা করছে এমন একটি অ্যালগরিদম কারও জন্য কি সংস্থানগুলি উপলব্ধ। আমার অ্যালগরিদমের …
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.