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

আমি প্রমাণ প্রচেষ্টার অংশ আছে । প্রুফ প্রয়াসটিতে com-পরিপূর্ণ সমস্যা 3-নিয়মিত ভার্টেক্স কভারটি স্যাট থেকে কর্প হ্রাস রয়েছে ।⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP}⊕P⊕P\oplus \mathbf{P}⊕⊕\oplus একটি ঘন গ্রাফ , হ্রাস একটি সিএনএফ সূত্র দুটি নিম্নলিখিত বৈশিষ্ট্য রয়েছে:GGGFFF FFF সর্বাধিক সন্তোষজনক কার্য রয়েছে।111 FFF কেবলমাত্র এর ভার্টেক্স কভারের সংখ্যাটি বিজোড় হলেই সন্তুষ্ট হয়।GGG …

12 cc.complexity-theory  graph-theory  complexity-classes  sat  counting-complexity 

সীমিত সংখ্যক পরিবর্তনশীল সংঘটন সহ 1-ইন-3-স্যাট এর জটিলতা শ্রেণীর কোনও পরিচিত ফলাফল রয়েছে? আমি পিটার নাইটিংগলের সাথে নিম্নলিখিত পার্সোনমোনাস হ্রাস নিয়ে এসেছি, তবে এটি জানা থাকলে আমি কিছু উল্লেখ করতে চাই। এই কৌশলটি আমরা সামনে এনেছি। এটি দেখায় যে 1-ইন-3-স্যাটটি ভেরিয়েবলের প্রতি 3 টি ইভেন্টের মধ্যে সীমাবদ্ধ হ'ল এনপি সম্পূর্ণ …

11 reference-request  sat  reductions 

ইম্পাগলিয়াজো, পাটুরি এবং ক্যালাব্রো, ইমপাগলিয়াজো, পাটুরি এক্সপেনশনাল -টাইম হাইপোথিসিস (ইটিএইচ) এবং স্ট্রংলি এক্সপোনেনশিয়াল-টাইম হাইপোথিসিস ( এসইটিএইচ) প্রবর্তন করেছিলেন। মোটামুটিভাবে, SETH বলছে যে এমন কোনও অ্যালগরিদম নেই যা সময়কে sol এ স্যাট সমাধান করে । 1.99এন1.99n1.99^n আমি ভাবছিলাম এসথ ভাঙার অর্থ কী? আমাদের অবশ্যই একটি অ্যালগরিদম সন্ধান করা দরকার যা than …

11 cc.complexity-theory  sat  exp-time-algorithms 

যাক বুলিয়ান ভেরিয়েবল একটি ভেক্টর দেখুন। যাক সি , ডি দুটি বুলিয়ান সার্কিট হতে এক্স । বলুন যে সি ডি এর সমান হয় যদি:x=(x1,…,xn)x=(x1,…,xn)x=(x_1,\dots,x_n)C,DC,DC,DxxxCCCDDD Pr[C(x)≠D(x)]Pr[C(x)≠D(x)]\Pr[C(x) \ne D(x)]xxx{0,1}n{0,1}n\{0,1\}^n C,DC,DC,D গ্রাফ সম্পাদনার দূরত্বকে একটি ক্ষুদ্র পরিমাণ দ্বারা পৃথক করে (তাদের সম্পাদনার দূরত্বটি সার্কিটের আকারের তুলনায় অনেক ছোট, বলুন, বা কিছু ছোট ধ্রুবক), …

11 sat  application-of-theory 

FOCS2013 থেকে এই সাম্প্রতিক কাগজ, বেষ্টিত Treewidth SAT এর স্ট্রং backdoors মধ্যে সংযোগ সম্পর্কে Gaspers এবং Szeider কথাবার্তায় treewidth স্যাট দফা গ্রাফ এবং উদাহরণস্বরূপ কঠোরতা করুন। এলোমেলো 3-স্যাট অর্থাত্ এলোমেলোভাবে বেছে নেওয়া 3-স্যাট দৃষ্টান্তের জন্য, ক্লজ গ্রাফের গাছের প্রস্থ এবং উদাহরণস্বরূপ কঠোরতার মধ্যে সম্পর্ক কী? "উদাহরণস্বরূপ কঠোরতা "টিকে" একটি সাধারণ …

11 graph-algorithms  sat  treewidth  random-k-sat  hard-instances 

আমার জানা সমস্ত # এসএটি সলভার, যেমনঃ রিলস্যাট, সি 2 ডি, কেবলমাত্র সন্তুষ্টযোগ্য উদাহরণগুলির সংখ্যারই ফিরিয়ে দেয়। কিন্তু আমি কি সেই উদাহরণগুলির প্রতিটি জানতে চাই? এমন কোনও # স্যাট সমাধানকারী আছে বা এটি করার জন্য আমার কীভাবে একটি উপলভ্য # এসএটি সলভার পরিবর্তন করতে হবে? ধন্যবাদ.

11 lo.logic  sat  software 

বিশেষ গ্রাফ অ্যালগরিদমের সাথে স্যাট সলভারকে প্রতিযোগিতামূলক তৈরি করতে বাধা কী? অন্য কথায়, স্যাট সমাধানকারীরা অ্যালগরিদম ডিজাইনারের ভূমিকা প্রতিস্থাপন করতে পারে এমন আশা করা কি সম্ভব - অর্থাৎ, সমস্যা কাঠামোটি স্বয়ংক্রিয়ভাবে স্বীকৃতি দিতে সক্ষম হবে এবং তারপরে একটি বিশেষ অ্যালগরিদমের মতো দ্রুত সমাধান করতে সক্ষম হবে? এখানে আমার মনে হয় …

11 ds.algorithms  graph-theory  sat 

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

11 sat  soft-question  proofs 

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

11 cc.complexity-theory  np-hardness  sat 

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

10 cc.complexity-theory  sat  treewidth  space-complexity 

আমি উদাহরণটিকে আরও বড় না করেই ক্লিককে স্যাট- তে হ্রাস করতে আগ্রহী ।টkk চক্রটি এনপিতে থাকে সুতরাং লোগারিদমিক স্থান ব্যবহার করে এটি স্যাট-এ কমিয়ে আনা যায়। সোজা গ্যারি / জনসন পাঠ্যপুস্তক হ্রাস উদাহরণটি ঘনক্ষেত্রের আকারে ফুটিয়ে তুলেছে । যাইহোক, -Clique যে সংশোধন করা হয়েছে জন্য P হয় ট তাই নির্দিষ্ট …

10 cc.complexity-theory  sat  reductions  clique 

প্ল্যানার 3-স্যাট এর স্ট্যান্ডার্ড সংজ্ঞাটি কী? আমি বিভিন্ন সংজ্ঞা দেখতে পেয়েছি। মূল কাগজটি কী ছিল যা এটি সংজ্ঞায়িত করেছিল এবং এটি এনপি-সম্পূর্ণ হিসাবে প্রমাণিত হয়েছিল?

10 cc.complexity-theory  reference-request  np-hardness  sat  planar-graphs 

3-বা-বেশি-মেয়াদী ধারাগুলির মোট সংখ্যা (তবে প্রস্থ নয়) একটি সিএনএফ স্যাট সমস্যাটি কি এনপি শক্ত? বিশেষত যখন এই জাতীয় একটি ধারা আছে তখন কী হবে?

10 np-hardness  sat  upper-bounds 

সিএনএফ সূত্রগুলির একটি প্রাকৃতিক শ্রেণি রয়েছে - নীচের বৈশিষ্ট্যগুলি সহকারে এমনটি যা সাহিত্যে পূর্বে অধ্যয়ন করা হয়েছিল:সিCC C F ∈ CসিCC হ'ল একটি সহজ ক্ষেত্রে, যেমন হর্ন বা ২-সিএনএফ, যেমন, সদস্যপদ বহুবর্ষের সময় পরীক্ষা করা যেতে পারে, এবং সূত্রগুলি বহুবর্ষের সময় সন্তুষ্টির জন্য পরীক্ষা করা যেতে পারে।সিCCএফ। সিF∈CF\in C অসন্তুষ্টিযোগ্য …

10 sat  proof-complexity 

প্রসঙ্গ : Kavvadias এবং Sideri দেখা গেছে ইনভার্স 3-স্যাট সমস্যা coNP সম্পূর্ণ হলে: প্রদত্ত φϕ\phi উপর মডেলের একটি সেট এনnn ভেরিয়েবল, একটি 3-CNF সূত্র যেমন যে φϕ\phi মডেলের তার সঠিক সেট হয়? একটি তাৎক্ষণিক প্রার্থী সূত্র দেখা দেয় দুটো কারণে যা সব 3-ক্লজ-এ সমস্ত মডেলের সন্তুষ্ট এর একত্রে হয় φϕ\phi …

10 cc.complexity-theory  lo.logic  complexity-classes  computability  sat