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

যাক সঙ্গে একটি CNF সূত্র হতে এন ভেরিয়েবল এবং মি ক্লজ। যাক টি ∈ { 0 , 1 } এন একটি পরিবর্তনশীল নিয়োগ এবং প্রতিনিধিত্ব চ φ ( T ) ∈ { 0 , ... , মি } করার জন্য একটি পরিবর্তনশীল নিয়োগ সন্তুষ্ট ক্লজ সংখ্যা গণনা φ । তারপরে …

14 cc.complexity-theory  sat  counting-complexity 

যদি স্যাটের সর্বাধিক সুস্পষ্টতীয় আনসট প্রমান বা আরও দৃ strongly়তার সাথে, স্যাটটির সুব্যাক্সোনশিয়াল-টাইম অ্যালগরিদম থাকে তবে তার কোনও বড় পরিণতি হবে?

14 cc.complexity-theory  sat  proof-complexity 

আমরা প্রদত্ত জেনারেল বুলিয়ান সূত্র (সিএনএফ-স্যাট), একটি প্রদত্ত ডিএনএফ সূত্র, এমনকি একটি প্রদত্ত 2 এসএটি সূত্র একটি # পি-সম্পূর্ণ সমস্যা হিসাবে সন্তোষজনক নিয়োগের সংখ্যা গণনা করার সমস্যাটি আমরা জানি । এখন, কোনও সিএনএফ-স্যাট বিবেচনা করুন কোনও নেতিবাচক আক্ষরিক (না , সর্বদা এ )। সিদ্ধান্তের সমস্যাটি খুব সহজ (সমস্ত ভেরিয়েবলগুলি সত্যে …

13 sat  counting-complexity  polynomial-time  monotone 

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

13 sat  proofs  nondeterminism 

ইন Bundeswettberweb Infomatik 2010/2011, সেখানে একটি আকর্ষণীয় সমস্যা ছিল: স্থির জন্য একটি ন্যূনতম কে এবং একটি মানচিত্র find : { ( i , j ) | সন্ধান করুন আমি ≤ ঞ ≤ এন } → { 1 , ... , ট } , কোন ট্রিপল আছে যেমন যে ( আমি …

13 graph-theory  sat  combinatorics 

মনে রাখবেন যে কোনও সিএনএফ সূত্র এফের রেজোলিউশন খণ্ডন আর এর প্রস্থ হ'ল আর-এ সংঘটিত যে কোনও ধারাটিতে আক্ষরিক সংখ্যা সর্বাধিক । প্রত্যেক জন্য W , সেখানে unsatisfiable সূত্রে এফ 3-CNF St মধ্যে প্রতিটি রেজল্যুশন অপ্রমাণ এফ অন্তত প্রস্থ প্রয়োজন W ।আরRRএফFFআরRRWwwএফFFএফFFWww আমার 3-সিএনএফ (যতটা সম্ভব ছোট এবং সহজ) এর …

13 cc.complexity-theory  lo.logic  sat  proof-complexity 

আমি আগ্রহী এমন একটি অপ্টিমাইজেশন সমস্যা মোকাবিলার জন্য স্যাট সলভারের উপর নির্ভর করার সম্ভাবনাটি অনুসন্ধান শুরু করছি এবং বর্তমানে আমি একটি সমীক্ষার সন্ধান করছি যা স্যাট এর রূপগুলিতে "চালাক" রূপান্তরগুলির উদাহরণ বৈশিষ্ট্যযুক্ত করবে (অর্থাত্, পরিবর্তনের ফলে) যুক্তিসঙ্গত আকারের সমস্যায়, যেহেতু আমি দৃ results়তার ফলাফল প্রমাণ করতে আগ্রহী নই তবে আসলে …

13 ds.algorithms  reference-request  sat  optimization 

একটি মনোোটোন -2 সিএনএফ সূত্র হল একটি সিএনএফ সূত্র যেখানে প্রতিটি ধারাটি 2 টি ইতিবাচক আক্ষরিক দ্বারা রচিত হয়। এখন, আমার কাছে মনোটোন -2 সিএনএফ সূত্র । যাক এস সেট হতে এফ এর পরিতৃপ্ত বরাদ্দকরণ। আমার কাছে একটি ওরাকল ও রয়েছে যা নিম্নলিখিত তথ্যগুলি দিতে সক্ষম:এফFFএসSSএফFFহেOO সেট এর কার্ডিনালিটি (অর্থাত্ …

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

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

12 cc.complexity-theory  circuit-complexity  sat  context-free 

কীভাবে কেউ দেখায় যে একটি নির্দিষ্ট সম্পত্তি 2-CNF (2-SAT) এ প্রকাশ করা যায় না? এমন কোনও গেমস রয়েছে, যেমন নুড়ি খেলা? দেখে মনে হচ্ছে ক্লাসিকাল কালো নুড়ি খেলা এবং কালো-সাদা নুড়ি খেলাটি এর জন্য অনুপযুক্ত (তারা পিএসপিএসিই সম্পূর্ণ, হার্টেল এবং পিটাসি অনুসারে, কম্পিউটারের সিয়াম জেএম, ২০১০)। বা গেম ছাড়া অন্য …

12 sat  lower-bounds  combinatorial-game-theory 

এটি কি সম্ভব ? এই ধরনের প্রতিরোধের আকর্ষণীয় পরিণতি আছে? এটি কি Exponational সময় অনুমানের বিরোধিতা করবে?এসএ টি¯¯¯¯¯¯¯¯¯¯। এনটিআমিএমই( এক্সপ্রেস( এন)0.9) )এসএকজনটি¯∈এনটিআমিএমই(মেপুঃ⁡(এন0.9))\overline{SAT} \in NTIME(\exp(n^{0.9}))

12 sat  exp-time-algorithms  nexp 

অনন্য SAT সুপরিচিত সমস্যা: একটি সিএনএফ সূত্র , এফের ঠিক একটি মডেল রয়েছে তা কি সত্য ?FFFFFF আমি « অবিকল এস্যাট» সমস্যাটিতে আগ্রহী: একটি সিএনএফ সূত্র এফ এবং একটি পূর্ণসংখ্যা মি > 1 দিয়েছি , এফ কি ঠিক মি মডেল রেখেছেন ?mmmFFFm>1m>1m>1FFFmmm উভয় সমস্যা একই দেখাচ্ছে। সুতরাং আমার প্রশ্নগুলি হ'ল: …

12 cc.complexity-theory  reference-request  np-hardness  sat  reductions 

এটি সর্বজনবিদিত যে সিএনএফ সূত্রগুলি মোটামুটি 2 বিস্তৃত শ্রেণিতে বিভক্ত করা যেতে পারে: এলোমেলো বনাম কাঠামোগত কাঠামোযুক্ত সিএনএফ সূত্রগুলি, এলোমেলো সিএনএফ সূত্রগুলির বিরোধিতা করে, কিছু প্রকারের ক্রম প্রদর্শন করে, এমন নিদর্শনগুলি দেখায় যা সম্ভাবনা দ্বারা ঘটতে পারে না। তবে, কেউ এমন কিছু কাঠামোযুক্ত সূত্রগুলি খুঁজে পেতে পারেন যা এলোমেলোতার কিছু …

12 cc.complexity-theory  sat  randomness  symmetry 

র্যান্ডম কে-স্যাট সংজ্ঞায়িত করার সময় আমাদের কাছে থাকতে পারে চারটি পৃথক বাধা। 1) প্রদত্ত অনুচ্ছেদে মোট আক্ষরিক সংখ্যা হ'ল কে বা এটি সর্বাধিক কে 2) প্রদত্ত আক্ষরিক একই দফা (এ বা এ বা এ) এর প্রতিস্থাপন ছাড়া বা ব্যবহার করা যেতে পারে 3) প্রদত্ত ভেরিয়েবলের সাথে বা ব্যবহার করা যেতে …

12 cc.complexity-theory  sat  randomness  phase-transition 

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

12 cc.complexity-theory  ds.algorithms  sat  np