প্রশ্ন ট্যাগ «proof-techniques»

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

159 algorithms  algorithm-analysis  runtime-analysis  proof-techniques  reference-question 

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

89 asymptotics  proof-techniques  combinatorics  recurrence-relation  reference-question 

আমরা প্রসঙ্গ-মুক্ত প্রত্যেক বর্গ সম্পর্কে শিখেছি । এটি প্রসঙ্গ-মুক্ত ব্যাকরণ এবং পুশডাউন অটোমেটা উভয়ই দ্বারা চিহ্নিত করা তাই কোনও প্রদত্ত ভাষা প্রসঙ্গমুক্ত তা দেখাতে সহজ।CFLCFL\mathrm{CFL} আমি বিপরীতটি কীভাবে দেখাব? আমার টিএ অনড় ছিল যে এটি করার জন্য, আমাদের সমস্ত ব্যাকরণ (বা অটোমেটা) এর জন্য এটি প্রদর্শন করতে হবে যে তারা …

88 formal-languages  context-free  proof-techniques  reference-question 

আমরা নিয়মিত ভাষার ক্লাস সম্পর্কে শিখেছি REGREG\mathrm{REG} । এটি নিয়মিত প্রকাশ, সসীম অটোমেটা এবং বাম-লিনিয়ার ব্যাকরণগুলির মধ্যে যে কোনও একটি ধারণার দ্বারা চিহ্নিত, তাই প্রদত্ত ভাষাটি নিয়মিত কিনা তা দেখানো সহজ। আমি বিপরীতটি কীভাবে দেখাব? আমার টিএ অবিচল ছিল যে এটি করার জন্য, আমাদের নিয়মিত সমস্ত এক্সপ্রেশন (বা সমস্ত সসীম …

75 formal-languages  regular-languages  proof-techniques  reference-question 

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

67 terminology  logic  proof-techniques  formal-methods  coinduction 

অনেক পদ্ধতি প্রমাণ করতে হবে যে হয় একটি ভাষা নিয়মিত নয় , কিন্তু কি আমি প্রমাণ করতে হবে যে কিছু ভাষা যা করতে হবে না হয় নিয়মিত? উদাহরণস্বরূপ, যদি আমাকে দেওয়া হয় যে নিয়মিত, তবে আমি কীভাবে প্রমাণ করতে পারি যে নীচের খুব নিয়মিত?এল ′LLLL′L′L' L′:={w∈L:uv=w for u∈Σ∗∖L and v∈Σ+}L′:={w∈L:uv=w …

48 formal-languages  regular-languages  automata  proof-techniques  reference-question 

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

43 computability  proof-techniques  undecidability  reference-question 

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

40 complexity-theory  computability  reductions  proof-techniques  reference-question 

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

32 computability  proof-techniques  compilers 

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

30 computability  proof-techniques  undecidability  halting-problem  intuition 

যখন আমি বাকের-গিল-সলোভে প্রমাণের ব্যাখ্যা দিয়েছিলাম যে সেখানে একটি ওরাকল রয়েছে যার সাথে আমরা থাকতে পারি, , এবং একটি ওরাকল যার সাহায্যে আমরা একটি বন্ধুকে পি ≠ এন পি রাখতে পারি, কেন একটি প্রশ্ন উঠেছিল কেন? P techniques N P সমস্যা প্রমাণ করার জন্য এই জাতীয় কৌশলগুলি উপযুক্ত নয় এবং …

29 complexity-theory  proof-techniques  p-vs-np  relativization 

আমার কাছে একটি লোভী অ্যালগরিদম রয়েছে যা আমার সন্দেহ হতে পারে যে এটি সঠিক হতে পারে তবে আমি নিশ্চিত নই। এটি সঠিক কিনা তা আমি কীভাবে পরীক্ষা করব? লোভী অ্যালগরিদমকে সঠিক প্রমাণ করার জন্য কী কী কৌশলগুলি ব্যবহার করবেন? সাধারণ প্যাটার্ন বা কৌশল আছে? আমি আশা করছি এটি একটি সূত্রের …

29 algorithm-analysis  proof-techniques  correctness-proof  greedy-algorithms 

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

28 computability  proof-techniques  undecidability 

আমি একটি জটিলতা কোর্স নিচ্ছি এবং এনপিসি সমস্যার মধ্যে হ্রাস নিয়ে আমার সমস্যা হচ্ছে। আমি কীভাবে সমস্যার মধ্যে হ্রাস পেতে পারি? আমি কি ব্যবহার করতে পারি এমন কোন সাধারণ কৌশল আছে? এনপিসি হ'ল আমাকে এমন কোনও সমস্যার কাছে যেতে হবে যা আমাকে সমস্যা প্রমাণ করতে বলে?

27 complexity-theory  np-complete  proof-techniques  reductions 

আছে অনেক কৌশল প্রমাণ করতে হবে যে একটি ভাষা না প্রেক্ষাপটে মুক্ত, কিন্তু আমি কিভাবে প্রমাণ যে একটি ভাষা হল প্রেক্ষাপটে মুক্ত? এটি প্রমাণ করার জন্য কী কৌশল রয়েছে? স্পষ্টতই, একটি উপায় হ'ল ভাষার জন্য প্রসঙ্গমুক্ত ব্যাকরণ প্রদর্শন করা। কোনও প্রদত্ত ভাষার জন্য প্রসঙ্গমুক্ত ব্যাকরণ সন্ধান করার জন্য কি কোনও …

26 formal-languages  context-free  formal-grammars  proof-techniques  reference-question