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

আমি কম্পিউটার বিদ্যায় আগ্রহী এমন একটি উচ্চ বিদ্যালয়ের সোফমোর। আমি # স্যাট-এর জন্য একটি দুর্দান্ত অ্যালগরিদম তৈরি করেছি এবং আমি এটিতে একটি বিজ্ঞান মেলা প্রকল্প বাস্তবায়ন করছি এবং করছি। আমার উপদেষ্টা, যিনি আমার স্কুলের সেরা বিজ্ঞানের শিক্ষক এবং এপি কমপ সায়েন্সের শিক্ষকও তিনি আমাকে বলেছিলেন যে আমার প্রকল্পটি কী তা …

9 algorithms  satisfiability 

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

9 complexity-theory  satisfiability  p-vs-np 

আমি ভাবছিলাম যে এই সমস্যার কোনও নাম আছে কিনা: একটি সাধারণ গ্রাফ দেওয়া হয়েছে যার প্রান্তগুলি লাল, নীল এবং সবুজ বর্ণের, , সেখানে একটি শীর্ষবর্ণ রয়েছে যেমন প্রতিটি প্রান্তে একই রঙের একটি সমাপ্তি রয়েছে?G=(V,B∪R∪G)G=(V,B∪R∪G)G=(V,B\cup R\cup G)c:V→{B,R,G}c:V→{B,R,G}c:V\to \{B,R,G\} এছাড়াও, এটি এনপি-সম্পূর্ণ হিসাবে পরিচিত হয়? এটি সিএসপি (বা 2SAT এর সাধারণীকরণ) এর …

9 algorithms  complexity-theory  graphs  satisfiability  colorings 

যাক সব ভাষার হতে -CNF সূত্র , যেমন যে অন্তত এর এর ক্লজ সন্তুষ্ট করা যাবে না।LϵLϵL_\epsilon222φφ\varphi(12+ϵ)(12+ϵ)(\frac{1}{2}+\epsilon)φφ\varphi আমি প্রমাণ করতে অস্তিত্ব আছে যে প্রয়োজন St হয় -hard কোন ।ϵ′ϵ′\epsilon'LϵLϵL_\epsilonNPNP\mathsf{NP}ϵ&lt;ϵ′ϵ&lt;ϵ′\epsilon<\epsilon' আমরা জানি যে একটি হ্রাস থেকে অনুচ্ছেদগুলির cent অনুমানের হতে পারে । আমি কীভাবে এটি সমাধান করব?Max2SatMax2Sat\text{Max}2\text{Sat}55565556\frac{55}{56}Max3SatMax3Sat\text{Max}3\text{Sat}

9 complexity-theory  satisfiability  approximation