প্রশ্ন ট্যাগ «hard-instances»

গ্রিবাচ বিখ্যাতভাবে একটি ভাষা সংজ্ঞায়িত করেছিলেন , এটি ডি 2 এর তথাকথিত ননডেটেরিস্টিনিস্টিক সংস্করণ যেমন কোনও সিএফএল এইচ এর বিপরীতমুখী চিত্র । ডিসিএফএল এর সাথে কি অনুরূপ বক্তব্য রয়েছে, সম্ভবত মরফিজমগুলিতে কিছুটা বিধিনিষেধ রয়েছে?এইচHHডি2D2D_2এইচHH (উদাহরণস্বরূপ, এম। অউবার্ট, জে। বার্স্টেল এবং এল। বোসন te প্রবন্ধমুক্ত ভাষা এবং পুশডাউন অটোমেটা R , …

12 fl.formal-languages  open-problem  context-free  nondeterminism  hard-instances 

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

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

আমি গ্রাফের স্পষ্ট উদাহরণগুলিতে আগ্রহী, যার জন্য Gomans এবং উইলিয়ামসন অ্যালগরিদম প্রয়োগের জন্য সর্বাধিক কাট ফলাফলগুলি প্রায় 0.878… -প্রক্রিমিকেশন ফ্যাক্টরের ফলস্বরূপ। এই জাতীয় দৃষ্টান্ত তৈরি করার জন্য অ্যালগরিদম নিখুঁত হবে, স্পষ্ট উদাহরণ এবং উল্লেখ সন্তোষজনক।

10 ds.algorithms  approximation-algorithms  max-cut  hard-instances 

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

10 cc.complexity-theory  sat  hard-instances