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

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

28 complexity-theory  satisfiability  heuristics 

আমি কোনও সমস্যা এনকোড করার জন্য একটি স্যাট সলভার ব্যবহার করছি এবং স্যাট উদাহরণের অংশ হিসাবে আমার কাছে বুলিয়ান ভেরিয়েবল যেখানে এটি উদ্দেশ্যযুক্ত যে এর মধ্যে ঠিক একটি সত্য হওয়া উচিত এবং মিথ্যা হওয়া উচিত । (আমি মাঝে মাঝে এটিকে "ওয়ান-হট" এনকোডিং হিসাবে বর্ণিত দেখেছি))এক্স1, এক্স2, … , এক্সএনx1,x2,…,xnx_1,x_2,\dots,x_n আমি …

25 satisfiability  sat-solvers  applied-theory 

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

24 complexity-theory  reference-request  satisfiability 

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

22 algorithms  reductions  satisfiability 

সম্প্রতি আমি একটি কাগজে পেয়েছি [1] 2/2/4-SAT নামে স্যাট এর একটি বিশেষ প্রতিসাম্য সংস্করণ । তবে সেখানে অনেকগুলি অসম্পূর্ণ বৈকল্পিক রয়েছে, উদাহরণস্বরূপ: একচেটিয়া NAE- 3SAT , মনোটোন 1-ইন-3-স্যাট , ...দ্বারা NPNP\text{NP} কিছু অন্যান্য রূপগুলি ট্র্যাকটেবল: - স্যাট , প্ল্যানার-NAE- স্যাট , ...222স্যাটSAT\text{SAT}স্যাটSAT\text{SAT} এমন কোনও জরিপ কাগজপত্র (বা ওয়েব পৃষ্ঠাগুলি) রয়েছে …

20 complexity-theory  reference-request  satisfiability 

বুলিয়ান সন্তোষজনকতা সমস্যা সমাধানের জন্য ওয়াকস্যাট এবং জিএসএটি সুপরিচিত এবং সাধারণ স্থানীয় অনুসন্ধান অ্যালগরিদম। জিএসএটি অ্যালগরিদমের সিউডোকোড জিএসএটি অ্যালগরিদম বাস্তবায়ন করা প্রশ্ন থেকে অনুলিপি করা হয়েছে - উল্টাতে কোন আক্ষরিকটি কীভাবে নির্বাচন করবেন? এবং নীচে উপস্থাপন। procedure GSAT(A,Max_Tries,Max_Flips) A: is a CNF formula for i:=1 to Max_Tries do S <- …

20 algorithms  data-structures  satisfiability 

জিএসএটি অ্যালগরিদম হ'ল বেশিরভাগ অংশের জন্য, সরাসরি এগিয়ে: আপনি সূত্রটি সন্তুষ্ট করে এমন কোনও সমাধান না পাওয়া বা আপনি সর্বাধিক চেষ্টা / সর্বাধিক_ফ্ল্যাপস সীমাতে না পৌঁছা এবং সমাধান না পাওয়া পর্যন্ত আপনি সম্মিলিত স্বাভাবিক আকারে একটি সূত্র পান এবং ক্লজগুলির লিটারালগুলি সরিয়ে দিন। আমি নিম্নলিখিত অ্যালগরিদম বাস্তবায়ন করছি: procedure GSAT(A,Max_Tries,Max_Flips) …

20 algorithms  satisfiability  3-sat 

আমি কীভাবে প্রমাণ করতে পারি যে সিএনএফ থেকে ডিএনএফ রূপান্তরটি এনপি-হার্ড? আমি কোনও উত্তর চাইছি না, এটি প্রমাণ করতে কীভাবে যেতে হবে সে সম্পর্কে কিছু পরামর্শ।

20 complexity-theory  np-hard  satisfiability  sat-solvers  normal-forms 

২০০ 2006 এর একসময় (আমার মনে হয়) হ্যান্ডেল এবং ইনভার্টার গ্রাফগুলি পরিচালনা করার জন্য এআইজিআইআর লাইব্রেরি প্রকাশের পরে, কিছু সার্কিট স্যাট সলভার 2006-2008 সালে প্রকাশিত হয়েছিল এবং কয়েকটি স্যাট রেস / প্রতিযোগিতায় এআইজি ট্র্যাক ছিল। তবে তার পর থেকে মনে হচ্ছে ফোকাস পুরোপুরি এসএমটি বা ক্লাসাল এসএটি সলভারগুলিকে উন্নত করার …

18 satisfiability  circuits  sat-solvers 

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

18 algorithms  satisfiability  approximation  decision-problem 

স্যাট সলভাররা বড় উদাহরণগুলি সমাধানে আরও বেশি দক্ষ হচ্ছে এবং বিভিন্ন প্রসঙ্গে ব্যাক-এন্ড হিসাবে ব্যবহৃত হচ্ছে being যখনই কোনও নির্দিষ্ট ডোমেইনে সমস্যা সমাধানের জন্য কেউ এগুলি ব্যবহার করতে চান, তাকে / তাকে একটি অ্যাড-হক এনকোডিং নিয়ে আসতে হবে যা কেবলমাত্র সমাধানের সঠিক সেটই রাখে না তবে বাঁধার (এমনকি অপ্রয়োজনীয় )ও …

17 reference-request  satisfiability  sat-solvers 

আমরা যে ভাষা হয় ঘন যদি অস্তিত্ব আছে একটি বহুপদী পি যেমন যে | জে সি ∩ Σ n | ≤ পি ( এন ) সবার জন্য এন ∈ এন । অন্য কথায়, কোনো দৈর্ঘ্য জন্য এন দৈর্ঘ্য মাত্র polynomially অনেক শব্দ বিদ্যমান এন যে নেই জে ।J⊆Σ∗J⊆Σ∗J \subseteq \Sigma^{*}ppp|Jc∩Σn|≤p(n)|Jc∩Σn|≤p(n) …

16 complexity-theory  time-complexity  np-complete  satisfiability 

আমি একটি এনপি-সম্পূর্ণতা প্রমাণ যা আমার স্যাট / 3 সিএনএফ-স্যাট এর চারদিকে ঘোরে বলে মনে হচ্ছে তার চারপাশে আমার মাথা গুটিয়ে দেওয়ার চেষ্টা করছি। হতে পারে দেরি হয়ে গেছে তবে আমি আশঙ্কা করছি যে আমি 3CNF সূত্রটি ভাবতে পারি না যা সন্তুষ্ট হতে পারে না (আমি সম্ভবত কিছু স্পষ্ট অনুপস্থিত)। …

15 logic  satisfiability  3-sat 

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

14 complexity-theory  np-complete  satisfiability  p-vs-np 

lllrrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r জঞ্জাল অ্যালগরিদম সহজভাবে সমস্ত সম্ভাব্য জোড়া পরীক্ষা করে; উদাহরণস্বরূপ রুবিতে আমাদের থাকতে হবে: def max_xor(l, r) max = 0 (l..r).each do |i| (i..r).each do |j| if (i ^ j > max) max = i ^ j end end end max end আমি অনুভব করি যে আমরা …

14 algorithms  algorithms  machine-learning  statistics  testing  terminology  asymptotics  landau-notation  reference-request  optimization  scheduling  complexity-theory  time-complexity  lower-bounds  communication-complexity  computational-geometry  computer-architecture  cpu-cache  cpu-pipelines  operating-systems  multi-tasking  algorithms  algorithm-analysis  education  correctness-proof  didactics  algorithms  data-structures  time-complexity  computational-geometry  algorithms  combinatorics  efficiency  partitions  complexity-theory  satisfiability  artificial-intelligence  operating-systems  performance  terminology  computer-architecture