একবারে সিদ্ধান্ত নেওয়া গাছের জন্য সমতা সমস্যার জটিলতা কী?


11

একটি পঠিত একবার সিদ্ধান্ত গাছ নীচে হিসাবে সংজ্ঞায়িত করা হয়:

  • এবং এফ একটি গুলি পাঠযোগ্য একবার সিদ্ধান্ত গাছ হয়।TrueFalse
  • যদি এবং বি একবারে সিদ্ধান্ত গৃহীত গাছ হয় এবং x একটি পরিবর্তনশীল হয় যা A এবং B তে ঘটে না , তবে ( x A ) ( ˉ xB ) একটি পঠন- বার্তা সিদ্ধান্ত গাছ।ABxAB(xA)(x¯B)

একবারে সিদ্ধান্ত নেওয়া গাছের জন্য সমতা সমস্যার জটিলতা কী?

  • ইনপুট: দুটি পঠিত একবার সিদ্ধান্ত গাছ এবং বিAB
  • আউটপুট: ?AB

প্রেরণা:

আমি লিনিয়ার লজিকের একটি অংশের প্রুফ ইকুয়ালেন্স সমস্যা (নিয়মের অনুমান) দেখছিলাম তখন এই সমস্যাটি উপস্থিত হয়েছিল।


আপনি বাইনারি সিদ্ধান্ত ডায়াগ্রাম হ্রাস করতে পারবেন না? সম্পাদনা: ভুল হতে পারে না, আপনার ভেরিয়েবলগুলি অর্ডার করা হয়নি ...
সিলভাইন

@ কাভেহ নাপ, এটি প্রুফ তত্ত্বে ঘটে: আমি লিনিয়ার লজিকের একটি অংশের প্রুফ ইকুয়ালেন্স সমস্যা (নিয়মের অনুমান) দেখছি। এই বুলিয়ান সমস্যা থেকে ফুটন্ত। যেহেতু আমি কোনও বিশেষজ্ঞ নই, আমি অনুভব করেছি যে আমি যদি জিজ্ঞাসা করতাম যে এটি কোনও ভাল / সহজ প্রশ্ন ছিল কিনা। সুতরাং, হ্যাঁ আমি নামটি তৈরি করেছি কারণ এর চেয়ে ভাল আমি জানি না।
মার্ক

1
@ মার্ক, আপনি কেন কোনও সমস্যায় আগ্রহী তা বোঝানো সাধারণত একটি ভাল ধারণা। আমি প্রশ্নটি সম্পাদনা করেছি। এটি ঠিক আছে তা নিশ্চিত করার জন্য দয়া করে একবার দেখুন। (এছাড়াও আমার পূর্ববর্তী মন্তব্যগুলি
অপরিহার্য

@ কাভেঃ হ্যাঁ, সে সম্পর্কে দুঃখিত। আমি আপনার সংশোধনীটি আমার মূল যুক্তির নিকটবর্তী করার জন্য সম্পাদনা করেছি (আপনার ঠিক আছে যদি তাত্ক্ষণিকভাবে বুঝতে পারি না তাই এটি করা সহজ মনে হয়েছিল)
মার্ক

উত্তর:


5

আমি একটি আংশিক সমাধান পেয়েছি। সমস্যা এল।

অস্বীকৃতি সমতূল্য ( ˉ একটিবি ) ( একটি ˉ বি ) যা সমতূল্য এফ একটি গুলি উভয় iff ( ˉ একটিবি ) এবং ( একটি ˉ বি ) হয়।AB(A¯B)(AB¯)False(A¯B)(AB¯)

পাঠযোগ্য একবার সিদ্ধান্ত গাছ জন্য পাঠযোগ্য একবার সিদ্ধান্ত গাছ থেকে প্রাপ্ত করা যাবে একটি সুইচিং দ্বারা টি R U এবং এফ একটি গুলি মধ্যে একজন । এটি লগ স্পেসে করা যেতে পারে।A¯ATrueFalseA

A¯BFalseAB¯Truexx¯False

সুতরাং সমস্যাটি কমপক্ষে এল এ is


AC0


এডিআইটি 2: এটি এখানে রয়েছে, http://iml.univ-mrs.fr/~bagnol/drafts/mall_bdd.pdf

সুতরাং সমস্যাটি আসলে লগস্পেস-সম্পূর্ণ।


x.A+x¯.B(x¯+A¯).(x+B¯)x.A¯+x¯.B¯+A¯.B¯

1
x.A¯+x¯.B¯

1
xx¯1L

1
এটি বর্ণনা করার একটি সহজ উপায়: প্রতিটি পাথ তার পাতার লেবেলের উপর নির্ভর করে একটি ন্যূনতম-মেয়াদী বা সর্বোচ্চ-মেয়াদী। তাদের যদি একই ন্যূনতম শর্তাবলী রয়েছে কিনা তা আমরা পরীক্ষা করি। আমরা লগ স্পেসে ন্যূনতম শর্তাদি গণনা করতে পারি এবং পরীক্ষা করতে পারি যে দুটি মিনিট-শর্তগুলি একই লগ স্পেসে রয়েছে কিনা checking
কাভেহ

2
NC1AC0AC0

2

ϕ

011{x,y¯,z}{x,y¯,z}{x,y,z}{x,z}y{x,y¯,z,t}{x,y,z}

{x1,,xn}ixi{x,xi,xj},{x,xj¯}{x,xi},{x,xi¯,xj¯}i<jxxixjji

P


1
x,y,zx,y¯,zx,y,z¯

আহ হ্যাঁ এটি ভুলে গেছি, আমি এখনই এটি কাজ করে আশা করে একটি সংশোধন করছি।
ডেনিস

আপনার মিলিয়ন $ দাবি করতে ভুলবেন না যদি এটি কাজ করে :)
মার্ক

L
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.