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

"গণনা জটিলতায় বিজয় ঘোষণা করার সময় কি?" নিবন্ধটি পড়ার সময়? এ ওভার "গোডেলের লস্ট পত্র ও P = দ্বারা NP" ব্লগ, তারা সিএসপি এর জন্য বৈপরীত্য উল্লেখ করেছে। কিছু লিঙ্ক ফলো করার পরে, গুগলিং এবং উইকিপিডিংয়ের পরে, আমি ল্যাডনারের উপপাদ্য জুড়ে এসেছি : লাডনারের উপপাদ্য: যদি , তবে যা com-অসম্পূর্ণ …

27 cc.complexity-theory  np-hardness  complexity-classes  sat  csp 

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

22 ds.algorithms  reference-request  approximation-algorithms  semidefinite-programming  csp 

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

17 sat  lo.logic  csp 

পটভূমি : সুভাষ খোতের মূল ইউজিসি পেপারে ( পিডিএফ ), তিনি প্রদত্ত সিএসপি উদাহরণটি কোনও ত্রৈমাসিক বর্ণমালার চেয়ে সমস্ত-সমান নয় (আ, খ, সি) ফর্মের সমস্ত সীমাবদ্ধতা রয়েছে কিনা তা সিদ্ধান্ত নেওয়ার জন্য ইউজি-কঠোরতা প্রমাণ করেছেন 1 - সীমাবদ্ধতার বা আছে কিনা satisying কোন বরাদ্দকরণ অস্তিত্ব ইচ্ছামত ছোট সীমাবদ্ধতার, ।8ϵϵ\epsilonϵ>089+ϵ89+ϵ\frac{8}{9}+\epsilonϵ>0ϵ>0\epsilon > …

16 cc.complexity-theory  approximation-hardness  unique-games-conjecture  csp 

অর্ডার রক্ষণাবেক্ষণ সমস্যা (বা "একটি তালিকায় অর্ডার বজায় রাখা") অপারেশনগুলিকে সমর্থন করে: singleton: একটি আইটেম সহ একটি তালিকা তৈরি করে, এতে একটি পয়েন্টার দেয় returns insertAfter: কোনও আইটেমকে পয়েন্টার দেওয়া হয়, এর পরে একটি নতুন আইটেম সন্নিবেশ করানো হয়, নতুন আইটেমে একটি পয়েন্টার ফিরিয়ে দেওয়া হয় delete: কোনও আইটেমকে পয়েন্টার …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

শেফারের দ্বৈতত্ত্বের উপপাদ্যটি দেখায় যে over এর উপরে প্রতিটি সিএসপি সমস্যা হয় বহুপক্ষীয় সময়ে সমাধানযোগ্য বা এনপি-সম্পূর্ণ। এটি কেবল স্যাট এবং হর্ন-স্যাট ব্যতীত বাউন্ডেড প্রস্থের সিএসপি সমস্যার জন্য প্রযোজ্য। আনবাউন্ডেড প্রস্থের জেনারেল সিএসপি সমস্যাগুলি খুব কঠিন হতে পারে (এমনকি সমাহারহীন), সুতরাং আসুন আমরা "প্রাকৃতিক" এবং এনপিতে থাকা সমস্যাগুলিতে নিজেকে সীমাবদ্ধ …

12 cc.complexity-theory  lo.logic  csp 

যাক একটি 2CNF সূত্র হতে হবে এবং k নন-নেগেটিভ পূর্ণসংখ্যা। এই কাগজে প্রমাণিত হয়েছে যে কেউ সর্বাধিক কে ক্লজগুলি φ সন্তুষ্ট করার জন্য মুছতে পারে কিনা তা স্থির করে দেওয়ার সমস্যাটি স্থির-পরামিতি ট্র্যাকটেবল, যেখানে k প্যারামিটার। আমার প্রশ্ন হ'ল এমন কিছু কাজ আছে যা এই ফলাফলটিকে বাইনারি বুলিয়ান সিএসপিতে সাধারণীকরণ …

12 parameterized-complexity  csp  fixed-parameter-tractable 

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

12 lo.logic  csp  security 

পিসিপি উপপাদ্যের সমতুল্য সূত্রটি হ'ল: সর্বোচ্চ 3-স্যাট-এর জন্য সন্তুষ্টিজনক সূত্র এবং সূত্রগুলির মধ্যে পার্থক্য করা -hard যেখানে ক্লাসগুলির সর্বাধিক r- ভগ্নাংশটি সন্তুষ্টযোগ্য (কিছু আর < 1 এর জন্য )।NPNPNPrrrr<1r<1r\lt 1 এমন কোনও ডিকোটমির উপপাদ্য রয়েছে যা সমস্ত ম্যাক সিএসপি-এর শক্ত ফাঁক আছে কিনা তার ভিত্তিতে শ্রেণিবদ্ধ করে? ১ Dec ই …

12 cc.complexity-theory  pcp  csp 

এন-কুইন সমস্যা হ'ল: ইনপুট: এন আউটপুট: এনএক্সএন দাবা বোর্ডে এন "কুইনস" এর একটি বসানো স্থান যাতে কোনও দুটি রানী একই সারিতে, কলাম বা তির্যক স্থানে থাকে না। এটিতে একটি গুগল অনুসন্ধান করে, আমি দেখতে পেলাম যে অনেক অধ্যাপকের অনেক স্লাইডই দাবি করে যে এটি একটি এনপি-হার্ড সমস্যা eg (যেমন: ওয়েব.এমএসটি.ইডু …

11 cc.complexity-theory  np-hardness  csp 

সোডা ২০০ 2006-এ, মার্টিন গ্রোহ এবং ডি- নিল মার্ক্সের কাগজটি "ভগ্নাংশের প্রান্তের মাধ্যমে সীমাবদ্ধতা সমাধান" ( এসিএম উদ্ধৃতি ) দেখিয়েছে যে সীমানা ভগ্নাংশ হাইপারট্রি প্রস্থ সহ হাইপারগ্রাফ এইচ শ্রেণীর জন্য , সিএসপি ( এইচ ) \ ইন PTIME ।a´a´\acute{\rm a}HHHHHH∈PTIME∈PTIME\in PTIME সংজ্ঞা ইত্যাদি স্ট্যান্ডার্ড গাছের পচন এবং গাছের প্রশস্ততার দুর্দান্ত …

10 cc.complexity-theory  graph-theory  hypergraphs  treewidth  csp 

একটি নির্দিষ্ট নির্দেশিত গ্রাফ দেওয়া হয়েছে (ডিগ্রাফ) ডিDD, -COLORING সিদ্ধান্ত সমস্যা জিজ্ঞেস একটি ইনপুট digraph কিনা করার জন্য একটি homomorphism হয়েছে । (একটি homomorphism করার একটি ম্যাপিং হয় এর থেকে যে সংরক্ষণ পরিধির মধ্যে, যে, যদি একজন চাপ হয় , তারপর একজন চাপ হয় ।)ডিDDজিGGডিDDজিGGডিDDচffভী( ছ )V(G)V(G)ভী( ডি )V(D)V(D)u vuvuvজিGGচ( …

9 reference-request  graph-theory  np-hardness  csp  homomorphism