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

ধরুন আমরা ভেরিয়েবল এবং ক্লজ সহ 3-স্যাট বিবেচনা করি । আমি এমন একটি পদ্ধতি নিয়ে গবেষণা করছি যা এই বর্ণনা অনুসারে কোনও SAT সমস্যা সমাধানের জন্য সময় / স্থান গ্রহণ করে মনে হয়, এমন একটি ত্রুটির মধ্যে যা একটি সালিশ পরিমাণে সামঞ্জস্য করা যায়। তবে, একটি ধরা আছে।সি ও ( …

10 ds.algorithms  sat  upper-bounds 

একটি ল্যাঙ্গুয়েজ LLL বর্গ হয় DPDPDP iff দুটি ভাষা L1∈NPL1∈NPL1 \in NP এবং L2∈coNPL2∈coNPL2 \in coNP যেমন যে L=L1∩L2L=L1∩L2L = L1 \cap L2 একটি ক্যানোনিকাল DPDPDP কমপ্লিট সমস্যাটি স্যাট-ইউএনএসএটি: দুটি 3-সিএনএফ এক্সপ্রেশন, FFF এবং GGG , এটি সত্য যে FFF সন্তুষ্টযোগ্য এবং GGG নয়? ক্রিটিকাল স্যাট সমস্যাটি DPDPDP কমপ্লিট হিসাবেও …

10 cc.complexity-theory  np-hardness  complexity-classes  sat 

আমার প্রশ্নটিতে মনোোটোন -2 সিএনএফ সূত্রের গণনা সমাধানের আগের প্রশ্নটিতে অ্যান্ড্রেস সালামন এবং কলিন ম্যাককিলার অবদানগুলি পড়ে আমার মনে এই প্রশ্নটি জাগে । সম্পাদনা 30 তম মার্চ 2011 যোগ করা হয়েছে প্রশ্ন এন ° 2. সম্পাদনা 29 তম অক্টোবর 2010 প্রশ্নটি ধারণা মাধ্যমে এটি ডিক্রী András প্রস্তাব পর পুনরায় তৈরি …

10 cc.complexity-theory  ds.algorithms  sat  counting-complexity 

আমি র্যান্ডম কে-স্যাট, প্রদত্ত এন ভেরিয়েবল এবং এম ক্লোজের জন্য পর্ব স্থানান্তরের বর্তমান অবস্থা জানতে চাই, উপরের এবং নিম্ন সীমাগুলির জন্য সর্বাধিক পরিচিত সি = মি / এন কী।

10 cc.complexity-theory  sat  lower-bounds  upper-bounds  phase-transition 

আমি এনপি-সম্পূর্ণ সমস্যার স্বতন্ত্র দৃষ্টান্তগুলিতে আগ্রহী। রিয়ান উইলিয়ামস রিচার্ড লিপটনের ব্লগে এসএটি 0 সমস্যাটি নিয়ে আলোচনা করেছেন । SAT0 জিজ্ঞাসা করে যে কোনও SAT দৃষ্টান্তটিতে সমস্ত 0 টি সমন্বিত নির্দিষ্ট সমাধান রয়েছে। এটি আমাকে "শক্ত" হওয়ার সম্ভাবনা রয়েছে এমন SAT দৃষ্টান্ত তৈরির বিষয়ে ভাবতে পেরেছিল। ক্লজ এবং ভেরিয়েবল সহ একটি …

10 cc.complexity-theory  sat  hard-instances 

জেড 3 বা বুলেক্টারের মতো এসএমটি সলভার সমস্যা সমাধানের জন্য হিউরিস্টিক্সের একটি জটিল সেট ব্যবহার করে। তবে এটি প্রদত্ত সমস্যার জন্য এমন কোনও সমাধানকারীর কার্যকারিতাটি খুব শক্তভাবে ভবিষ্যদ্বাণী করে। আমার প্রশ্নটি হ'ল: প্রশ্ন কোয়ান্টিফায়ার-মুক্ত বিটভেেক্টর (কিউএফবিভি) তত্ত্বের কোনও নির্দিষ্টটির জন্য কোনও এসএমটি সলভারের কার্যকারিতাটি বোঝার বা অন্তর্দৃষ্টি পাওয়ার কোনও উপায় …

9 ds.algorithms  sat  heuristics 

মান সমস্যা 1-ইন-3 স্যাট (অথবা XSAT বা X3SAT) হল: ইন্সটান্স : ধারণকারী ঠিক 3 লিটারেল প্রত্যেক দফা সঙ্গে একটি CNF সূত্র প্রশ্ন সেখানে পরিতৃপ্ত নিয়োগ অবিকল 1 দফা প্রতি আক্ষরিক সত্য সেটিং: সমস্যাটি এনপি-সম্পূর্ণ এবং কোনও পরিবর্তনশীল অবহেলিত না হওয়া সত্ত্বেও শক্ত থেকে যায়। আমি ভাবছি যে এই সমস্যাটি সহজ …

9 cc.complexity-theory  np-hardness  sat 

ক্লাসিকাল # পি-সম্পূর্ণ সমস্যাটি বিবেচনা করুন # 3 এস্যাট, অর্থাত্, ভেরিয়েবলগুলি সন্তুষ্টিকর সাথে 3 সিএনএফ করার জন্য মূল্যায়নের সংখ্যা গণনা করতে । আমি অ্যাডিটিভ আনুমানিকতা আগ্রহী । স্পষ্টতই, 2 ^ {n-1 er -ররর অর্জনের জন্য তুচ্ছ একটি অ্যালগরিদম রয়েছে তবে কে <2 ^ {n-1} , যদি একটি কার্যকর আনুমানিক অ্যালগরিদম …

9 approximation-algorithms  sat  counting-complexity  approximation-hardness 

নিম্নলিখিত দুটি অতিরিক্ত বিধিনিষেধযুক্ত একটি মনোোটোন 3 সিএনএফ সূত্র বিবেচনা করুন: প্রতিটি পরিবর্তনশীল হুবহু প্রদর্শিত হয় 222 ক্লজ। কোন দেওয়া 222 ধারা, তারা সর্বাধিক ভাগ 111 পরিবর্তনশীল। আমি জানতে চাই যে এই জাতীয় সূত্রের সন্তোষজনক দায়িত্বগুলি গণনা করা কতটা কঠিন। আপডেট 06/04/2013 12:55 সন্তোষজনক কার্যভারের সংখ্যার সমতা কতটা নির্ধারণ করা …

9 cc.complexity-theory  sat  counting-complexity 

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

9 reference-request  sat  survey 

আমি অবাক হয়েছি তারা যদি স্যাট / এসএমটি উদাহরণ হিসাবে টাইম-উইন্ডোজ ( ভিআরপিটিডাব্লু ) (সিদ্ধান্তগত সমস্যা হিসাবে) এর সাথে কোনও যানবাহন-রাউটিং-সমস্যা তৈরির কোনও পদ্ধতির হয় ? (বিকল্প: টিএসপি) উদাহরণস্বরূপ: "সমস্ত গ্রাহককে এন টাইম উইন্ডোতে এন = 10 যানবাহন দিয়ে তাদের সাথে দেখা করার কোনও বৈধ সমাধান আছে?" এই সিদ্ধান্তের সমস্যাটি …

9 ds.algorithms  reference-request  sat  reductions  tsp