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

এটি আমার দক্ষতার বাইরে একটি নির্লজ্জ প্রশ্ন; অগ্রিম ক্ষমা গোল্ডবাচের কনজেকচার এবং গণিতে অনেকগুলি অমীমাংসিত প্রশ্নকে প্রাকটিক্যাল ক্যালকুলাসে সংক্ষিপ্ত সূত্র হিসাবে লেখা যেতে পারে। উদাহরণস্বরূপ, কুকের কাগজ "কম্পিউটারগুলি কি গণিতের প্রুফগুলিকে নিয়মিত আবিষ্কার করতে পারে?" হিসাবে অনুমান যে সূত্র ∀n[(n>2∧2|n)⊃∃r∃s(P(r)∧P(s)∧n=r+s)]∀n[(n>2∧2|n)⊃∃r∃s(P(r)∧P(s)∧n=r+s)]\forall n [( n > 2 \wedge 2 | n) \supset …

35 cc.complexity-theory  proof-complexity  automated-theorem-proving  proof-search 

রেজোলিউশন হ'ল সিএনএফ-এর অসন্তুষ্টি প্রমাণ করার একটি পরিকল্পনা। রেজুলেশনের একটি প্রমাণ হ'ল সিএনএফের প্রাথমিক দফার জন্য খালি ধারাটির যৌক্তিক ছাড়। বিশেষ করে কোনো প্রাথমিক দফা অনুমিত হতে পারে, এবং দুই ক্লজ থেকে এবং বি ∨ ¬ এক্স দফা একজন ∨ বি পাশাপাশি অনুমিত করা যেতে পারে। খণ্ডন হ'ল ছাড়ের অনুক্রম …

10 cc.complexity-theory  lo.logic  proof-complexity  proof-search