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

স্যাট সমাধানের জন্য কি কোনও অ্যালগরিদম রয়েছে যা ডিপিএল ভিত্তিক নয়? বা স্যাট সলভার দ্বারা ব্যবহৃত সমস্ত অ্যালগরিদমগুলি ডিপিএল ভিত্তিক?

18 ds.algorithms  reference-request  sat 

এখানে লক্ষ্যটি হ'ল স্বল্পসংখ্যক ক্লজ এবং ভেরিয়েবলের সংখ্যার সাহায্যে বহুবিবাহের সময় একটি স্বেচ্ছাসেবক SAT সমস্যা হ্রাস করতে। আমার প্রশ্ন কৌতূহল দ্বারা অনুপ্রাণিত হয়। কম আনুষ্ঠানিকভাবে, আমি জানতে চাই: "স্যাট থেকে 3-স্যাট থেকে 'সবচেয়ে প্রাকৃতিক' হ্রাস কী?" আমি পাঠ্য বইয়ে সর্বদা যে হ্রাস দেখেছি তা এরকম কিছু হয়: প্রথমে আপনার স্যাট …

18 cc.complexity-theory  sat  reductions 

Satisfiability সমস্যা তাত্ত্বিক সি এস একটি মৌলিক সমস্যা অবশ্যই, হয়। আমি অসীম অনেকগুলি ভেরিয়েবলগুলির সাথে সমস্যার একটি সংস্করণ নিয়ে খেলছিলাম। \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} বেসিক সেটআপ। যাক একটি nonempty এবং হতে এর সম্ভবত অসীম সেট ভেরিয়েবল । আক্ষরিক হয় হয় একটি পরিবর্তনশীল x X এক্স বা এর প্রত্যাখ্যান \ নাগ এক্স । …

18 reference-request  lo.logic  sat  topology  lattice 

সংক্ষিপ্ত সংস্করণ. # 2-স্যাট হ'ল আসল প্রমাণ হ'ল # পি- কমপ্লিট দেখায়, আসলে, # 2-স্যাট এর যে দৃষ্টান্তগুলি উভয়ই একঘেয়ে (কোনও ভেরিয়েবলের অবহেলার সাথে জড়িত নয়) এবং বাইপারটাইট ( উপরের ধারাগুলির দ্বারা গঠিত গ্রাফ ) ভেরিয়েবলগুলি দ্বিপক্ষীয় গ্রাফ) # পি- হর্ট। সুতরাং, # 2-মনোটোন-স্যাট এবং # 2-বিপার্টি-স্যাট দুটি বিশেষ কেস …

17 cc.complexity-theory  sat  counting-complexity 

প্রদত্ত , কিভাবে অনেক ট -DNFs সঙ্গে এন ভেরিয়েবল এবং মি অনুলাপ ক্লজ হয়? (বা কয়টি কে- সিএনএফ অসন্তুষ্টিজনক?)m,n,km,n,km, n, kkkknnnmmmkkk

17 co.combinatorics  lo.logic  sat 

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

17 sat  lo.logic  csp 

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

16 sat 

কুরোড়ারএনএনn একটি ক্লাসিক ফলাফল অনুসারে, জটিলতা ক্লাস এনএসপিএসিই [ এন ] (এটি এনলিন-স্পেস নামে পরিচিত) হ'ল প্রাসঙ্গিক সংবেদনশীল ভাষার ক্লাস সিএসএল । সন্তুষ্টিযোগ্যতা সমস্যাটি স্যাট এনএসপেসে রয়েছে [ ], যেহেতু কোনও সমাধানের জন্য লিনিয়ার আকারের অনুমানটি বইয়ের রক্ষার জন্য বেশিরভাগ রৈখিক পরিমাণের ওভারহেড দিয়ে পরীক্ষা করা যায়। এর অর্থ হল …

16 cc.complexity-theory  fl.formal-languages  sat  space-bounded 

এটা সর্বজনবিদিত যে র্যান্ডম উপর -CNF সূত্র সঙ্গে ভেরিয়েবল ক্লজ unsatisfiable হয় (অর্থাত তারা অসঙ্গতি হয়) উচ্চ সম্ভাবনা সঙ্গে, ভালোই বড় ধ্রুবক জন্য । সুতরাং, এলোমেলো সিএনএফ সূত্রগুলি ( যথেষ্ট পরিমাণে জন্য) অসন্তুষ্টিজনক বুলিয়ান সূত্রগুলিতে (বা দ্বৈতভাবে, টাউটোলজির উপর অর্থাত্ দ্বন্দ্বের অবহেলা ) প্রাকৃতিক বিতরণ গঠন করে constitu এই বিতরণ …

16 cc.complexity-theory  reference-request  lo.logic  sat  random-k-sat 

তাহলে L=NLL=NL\mathsf{L = NL} , তারপর সেখানে একটি logspace অ্যালগরিদম যে সমাধান সিদ্ধান্ত সংস্করণ 2-স্যাট করুন। হয় L=NLL=NL\mathsf{L = NL} পরোক্ষভাবে করার জন্য একটি logspace অ্যালগরিদম নেই পরিচিত একটি পরিতৃপ্ত নিয়োগ প্রাপ্ত , যখন ইনপুট হিসাবে একটি Satisfiable 2-স্যাট উদাহরণস্বরূপ দেওয়া? যদি তা না হয় তবে সাব-লিনিয়ার স্পেস (ধারাগুলির সংখ্যাতে) …

15 sat  search-problem  logspace 

এই প্রশ্নটি দৃ post ়ভাবে অন্য একটি পোস্টের সাথে সম্পর্কিত: এনপি হার্ড সমস্যায় ফেজ ট্রানজিশন তবে এটি কিছুটা আলাদা। যদিও প্রশ্নটি এনপি হার্ড সমস্যার নির্দিষ্ট দৃষ্টান্তগুলির কঠোরতা সম্পর্কিত , এটি একই উদাহরণগুলির অসুবিধাটিকে র‌্যাঙ্কিংয়ের বিষয়ে । ফেজ ট্রানজিশন হিসাবে পরিচিত প্রভাব সম্পর্কে অনেক গ্রন্থপঞ্জি রয়েছে । বিশেষত কনজেক্টিভ নরমাল ফর্ম …

15 cc.complexity-theory  np-hardness  sat 

স্যাট solvers একটি কোয়ান্টিফায়ার দিয়ে বুলিয়ান সূত্রের বৈধতা যাচাইয়ের একটি শক্তিশালী উপায় দেয়। উদাহরণস্বরূপ, এর বৈধতা যাচাই করতে , আমরা সন্তোষজনক কিনা তা নির্ধারণের জন্য একটি স্যাট দ্রাবক ব্যবহার করতে পারি । এর বৈধতা পরীক্ষা করতে , আমরা determine সন্তুষ্টযোগ্য কিনা তা নির্ধারণের জন্য একটি স্যাট দ্রাবক ব্যবহার করতে পারি …

15 ds.algorithms  lo.logic  sat  boolean-functions 

এলোমেলো 3-SAT এর জন্য ভেরিয়েবলের ক্লজগুলির সমালোচনা অনুপাতটি 3 এরও বেশি এবং 6-এরও কম এবং সাধারণত "প্রায় 4.2" বা "প্রায় 4.25" হিসাবে বর্ণিত বলে মনে হয়। মেজার্ড, প্যারিসি এবং জেকিনা (পদার্থবিজ্ঞানের অর্থে) প্রমাণ করেছেন যে সমালোচনামূলক অনুপাত ৪.২256, যেখানে প্রথম এবং তৃতীয় লেখক প্রমাণ করেছেন যে এটি ৪.২6767। What is …

14 sat  phase-transition  random-k-sat 

আমি ইন্টারনেটে সন্ধান করেছি, তবে স্যাট সমস্যার বৈকল্পিকগুলির কোনও 'বিগ-লিস্ট' খুঁজে পেলাম না। (সাধারণ) ব্যতীত স্যাট, K-স্যাট, MAX টি-kSAT, হাফ-স্যাট, XOR যাও-স্যাট, Nae-স্যাট আর কি রূপ আছে? (এছাড়াও জটিলতার ক্লাস দেওয়া হলে (যেখানে সম্ভব হবে) এটি সত্যই কার্যকর হবে)

14 cc.complexity-theory  sat  big-list 

# স্যাট সমস্যাটি হ'ল ক্যানোনিকাল # পি-সম্পূর্ণ সমস্যা। এটি কোনও সিদ্ধান্ত সমস্যার পরিবর্তে একটি ফাংশন সমস্যা। এটা তোলে জিজ্ঞেস করে, একটি বুলিয়ান সূত্র দেওয়া propositional যুক্তিবিজ্ঞান, কত পরিতৃপ্ত বরাদ্দকরণ এফ হয়েছে। # স্যাট উপরের নিম্নতম সীমাটি কোনটি?FFFFFF

14 cc.complexity-theory  lower-bounds  sat  counting-complexity