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

অনুমান করুন যে এনপি = সহ-এনপি এবং বহুপদী একটি 3-সিএনএফ উদাহরণ জন্য অসন্তুষ্টির প্রমাণের দৈর্ঘ্যকে সীমাবদ্ধ করে । তাহলে দৈর্ঘ্যের এর জন্য অসন্তুষ্টির কোনও প্রমাণ কী রূপ নিতে পারে তার কোনও ফলাফল রয়েছে ? উদাহরণস্বরূপ, এই জাতীয় প্রমাণের জন্য কি উদাহরণস্বরূপ, অসীম কাঠামোর উপর দ্বিতীয়-আদেশের যুক্তির সম্পূর্ণ শক্তি ব্যবহার করতে …

11 cc.complexity-theory  lo.logic  np  proof-complexity 

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

11 lower-bounds  proof-complexity  kolmogorov-complexity 

প্রুফ জটিলতা গণনা জটিলতার তত্ত্বের একটি সর্বাধিক প্রাথমিক ক্ষেত্র। এই ক্ষেত্রের একটি চূড়ান্ত উদ্দেশ্য প্রমাণ করা , যে কোনও প্রবক্তা প্রদত্ত ইনপুট সূত্রটি অসন্তুষ্টির প্রমাণ দিতে পারে না। NP≠coNPNP≠coNPNP\neq coNP একটি গ্রাফ প্রমাণের আনুষ্ঠানিক মডেলগুলির মধ্যে একটি। আমার প্রশ্ন এই মডেলটির আরও বাধা সম্পর্কে। একটি প্রমাণ একটি ডিএজি হিসাবে উপস্থাপন …

10 cc.complexity-theory  reference-request  graph-theory  np  proof-complexity 

সিএনএফ সূত্রগুলির একটি প্রাকৃতিক শ্রেণি রয়েছে - নীচের বৈশিষ্ট্যগুলি সহকারে এমনটি যা সাহিত্যে পূর্বে অধ্যয়ন করা হয়েছিল:সিCC C F ∈ CসিCC হ'ল একটি সহজ ক্ষেত্রে, যেমন হর্ন বা ২-সিএনএফ, যেমন, সদস্যপদ বহুবর্ষের সময় পরীক্ষা করা যেতে পারে, এবং সূত্রগুলি বহুবর্ষের সময় সন্তুষ্টির জন্য পরীক্ষা করা যেতে পারে।সিCCএফ। সিF∈CF\in C অসন্তুষ্টিযোগ্য …

10 sat  proof-complexity 

রাজবরোভের একটি আলোচনায় , একটি কৌতূহলী ছোট্ট বিবৃতি পোস্ট করা হয়েছে। যদি ফ্যাক্টরিং শক্ত হয়, তবে তে ফের্ম্যাট এর সামান্য উপপাদ্য প্রমাণযোগ্য নয় S12S21S_{2}^{1}। কী S12S21S_{2}^{1}এবং বর্তমান প্রমাণ S12S21S_{2}^{1} কেন?

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

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

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

উইকিপিডিয়া [১] বলেছে যে ফ্রেজের প্রমাণগুলির আকারের জন্য সর্বাধিক পরিচিত নিম্ন আবদ্ধটি চতুর্ভুজযুক্ত, এবং ফ্রিজ প্রুফের রেখার সংখ্যার জন্য কোনও সুপারলাইনার নিম্ন সীমা নেই। প্রশ্নাবলী: 1) বর্ধিত ফ্রিজ প্রুফের লাইনের সংখ্যার জন্য সর্বাধিক পরিচিত নিম্ন বন্ডটি কী? 2) বর্ধিত ফ্রিজ প্রমাণগুলির আকারের জন্য সর্বাধিক পরিচিত নিম্ন বন্ডটি কী? এটি কি …

9 proof-complexity 

আমি পিটিটাইমের জন্য পি-অপটিমাল প্রুফ সিস্টেম এবং লজিক অন পেপারের অধীনে চেষ্টা করার চেষ্টা করছি । কাগজে প্রুফ সিস্টেম নামে একটি ধারণা আছে এবং আমি অনুপ্রবেশটি পাই না: Σ={0,1}Σ={0,1}\Sigma = \{0,1\} ... আমরা সাবসেটগুলির সাথে সমস্যাগুলি সনাক্ত করি QQQ ভিতরে Σ∗Σ∗\Sigma^*। আমি মনে করি অনুপ্রবেশটি হ'ল আমরা একটি নির্দিষ্ট কাঠামোকে …

9 lo.logic  descriptive-complexity  proof-complexity