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

আমার সমস্যাটি কীভাবে আমি প্রমাণ করতে পারি যে ব্যাকরণটি দ্ব্যর্থহীন? আমি নিম্নলিখিত ব্যাকরণ আছে: S→statement∣if expression then S∣if expression then S else SS→statement∣if expression then S∣if expression then S else SS → statement ∣ \mbox{if } expression \mbox{ then } S ∣ \mbox{if } expression \mbox{ then } S \mbox{ …

25 context-free  formal-grammars  proof-techniques  ambiguity 

কোনও গণনামূলক সমস্যা দেওয়া, এই ধরনের গণনার জন্য নিম্ন সীমানা খুঁজে পাওয়া কাজটি কি আসলেই সম্ভব? আমি মনে করি এটি কীভাবে একটি একক গণ্য পদক্ষেপকে সংজ্ঞায়িত করা হয় এবং আমরা প্রমাণের জন্য কোন মডেলটি ব্যবহার করি তবে এটি কি সাধারণভাবে আমরা সাধারণভাবে নীচের দিকে আবদ্ধ প্রমাণ করি? আমি কি এর …

24 complexity-theory  time-complexity  proof-techniques  lower-bounds 

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

24 algorithms  proof-techniques  randomized-algorithms  correctness-proof  randomness 

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

24 formal-languages  turing-machines  logic  proof-techniques  undecidability 

আনুষ্ঠানিক ব্যাকরণ দিয়ে আনুষ্ঠানিক ভাষা নির্দিষ্ট করা একটি ঘন কাজ: আমাদের কেবলমাত্র ভাষার বর্ণনার জন্য নয়, সেগুলি বিশ্লেষণ করতে, এমনকি সঠিক বিজ্ঞান করার জন্যও ব্যাকরণ প্রয়োজন । সব ক্ষেত্রে, এটি গুরুত্বপূর্ণ যে হাতের ব্যাকরণটি সঠিক , এটি হ'ল পছন্দসই শব্দ উত্পন্ন করে। আমরা প্রায়শই একটি উচ্চ-স্তরে তর্ক করতে পারি যে …

22 formal-languages  formal-grammars  proof-techniques  reference-question 

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

21 algorithms  proof-techniques 

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

21 proof-techniques  computation-models  simulation 

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

20 automata  finite-automata  proof-techniques  reference-question  induction 

ফর্মটির পুনরাবৃত্তি সমাধানের জন্য কি কোনও সাধারণ পদ্ধতি রয়েছে: T(n)=T(n−nc)+T(nc)+f(n)T(n)=T(n−nc)+T(nc)+f(n)T(n) = T(n-n^c) + T(n^c) + f(n) c&lt;1c&lt;1c < 1 বা আরও সাধারণভাবে for T(n)=T(n−g(n))+T(r(n))+f(n)T(n)=T(n−g(n))+T(r(n))+f(n)T(n) = T(n-g(n)) + T(r(n)) + f(n) যেখানে g(n),r(n)g(n),r(n)g(n),r(n) কিছু উপ-রৈখিক ফাংশন হয় nnn । আপডেট : আমি নীচে প্রদত্ত লিঙ্কগুলি দিয়েছি এবং জেফ এরিকসনের নোটগুলিতে সমস্ত …

20 proof-techniques  recurrence-relation 

মাস্টার তত্ত্বটি নির্দিষ্ট ধরণের পুনরাবৃত্তিগুলি সমাধান করার জন্য একটি সুন্দর সরঞ্জাম । যাইহোক, আমরা প্রায়শই একটি অবিচ্ছেদ্য অংশ প্রয়োগ করার সময় চকচকে করি। উদাহরণস্বরূপ, Mergesort বিশ্লেষণের সময় আমরা আনন্দের সাথে চলে যাই T(n)=T(⌊n2⌋)+T(⌈n2⌉)+f(n)T(n)=T(⌊n2⌋)+T(⌈n2⌉)+f(n)\qquad T(n) = T\left(\left\lfloor \frac{n}{2} \right\rfloor\right) + T\left(\left\lceil \frac{n}{2} \right\rceil\right) + f(n) প্রতি T′(n)=2T′(n2)+f(n)T′(n)=2T′(n2)+f(n)\qquad T'(n) = 2 T'\left(\frac{n}{2}\right) …

20 asymptotics  proof-techniques  recurrence-relation  master-theorem 

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

20 algorithms  proof-techniques  runtime-analysis 

একটি নিয়মিত ভাষা দেওয়া , তারপর এটি প্রমাণ করার জন্য একটি ধ্রুবক আছে সহজ যেমন যে সঙ্গে বিদ্যমান আছে স্ট্রিং , এবং যেমন যে এবং এবং সমস্ত এটিএন σ ∈ এল | σ | । এন α β γ | । β | । এন | β | ≠ ε …

18 formal-languages  proof-techniques 

Reals এর অস্তিত্ববাদী তত্ত্ব রয়েছে PSPACE , কিন্তু আমি জানি না এটা PSPACE-সম্পূর্ণ । যদি আমি বিশ্বাস করি যে এটি ঘটনা নয় তবে আমি কীভাবে এটি প্রমাণ করতে পারি? আরো সাধারণভাবে, কিছু জটিলতা ক্লাসে একটি সমস্যা দেওয়া এক্স , কিভাবে আমি দেখাতে পারি যে, এটা না এক্স-সমাপ্তি ? উদাহরণস্বরূপ, এক্স …

18 complexity-theory  proof-techniques 

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

17 complexity-theory  np-complete  proof-techniques 

ধরুন আমাদের কাছে একটি সহজ ভাষা রয়েছে যা শর্তাদি নিয়ে গঠিত: truetrue\mathtt{true} falsefalse\mathtt{false} যদি পদ তারপর তাই আমি চt1,t2,t3t1,t2,t3t_1,t_2,t_3ift1thent2elset3ift1thent2elset3\mathtt{if}\: t_1 \:\mathtt{then}\: t_2 \:\mathtt{else}\: t_3 এখন নিম্নলিখিত যৌক্তিক মূল্যায়ন বিধি অনুমান: iftruethent2elset3→t2[E-IfTrue]iffalsethent2elset3→t3[E-IfFalse]t1→t′1ift1thent2elset3→ift′1thent2elset3[E-If]iftruethent2elset3→t2[E-IfTrue]iffalsethent2elset3→t3[E-IfFalse]t1→t1′ift1thent2elset3→ift1′thent2elset3[E-If] \begin{gather*} \dfrac{} {\mathtt{if}\: \mathtt{true} \:\mathtt{then}\: t_2 \:\mathtt{else}\: t_3 \to t_2} \text{[E-IfTrue]} \quad \dfrac{} {\mathtt{if}\: \mathtt{false} \:\mathtt{then}\: t_2 \:\mathtt{else}\: t_3 …

14 logic  semantics  proof-techniques  term-rewriting