গাছগুলিতে পি-সম্পূর্ণ সমস্যা

14

এই প্রশ্নটি আমার আগের প্রশ্নগুলির সাথে সম্পর্কিত, গাছগুলিতে এনপি-হার্ড সমস্যা ।

আমি গাছগুলিতে পি-সম্পূর্ণ সমস্যাগুলি খুঁজছি।

— শিব কিন্তালী
সূত্র

6

কিছু অনুপ্রেরণা সাহায্য করতে পারে।

— সুরেশ ভেঙ্কট

5

আবদ্ধ গাছের প্রস্থের গ্রাফগুলিতে কিছু সমস্যার কঠোরতা প্রমাণ করার জন্য আমি এই জাতীয় সমস্যাটি ব্যবহার করতে চাই।

— শিব কিনতালি

1

বাইবেল, হোমস.এস.ওয়াশিংটন.ইডু

— চাদ

11

আইসিএলপি-তে উপস্থাপিত সাম্প্রতিক একটি

মার্কাস লোহরে, খ্রিস্টান ম্যাথিসেন: নিয়মিত গাছ এবং শব্দগুলির আইসোমর্ফিিজম। আইসিএএলপি (2) 2011: 210-221

আপনি কাগজটি উভয়ই আরক্সিব এবং এখানে পাবেন ।

অন্য উদাহরণ হ'ল মোস্তোস্কি মহাত্মাবাদ (পি-সম্পূর্ণতা এবং স্যাটারু মিয়ানো দ্বারা দক্ষ সমান্তরালিতা এবং দাহলৌসের কাগজ দেখুন ):

দাহলৌস ই, সমান্তরাল প্রোগ্রামিংয়ের জন্য উপযুক্ত ভাষা SETL- একটি তাত্ত্বিক পদ্ধতির, কম্পিউটার বিজ্ঞানের যুক্তি, 1 ম কর্মশালা, সিএসএল '87, কার্লসরুহে / এফআরজি 1987, লেক্ট। নোট গণনা সী। 329, 56-63, 1988)

উদাহরণ: একটি নির্দেশিত অ্যাসাইক্লিক গ্রাফ এক্সটেনসিলিটির অক্ষ এবং দুটি অনুভূমিক $D = (V, A)$ $x_1, x_2 \in V$

সমস্যা: সিদ্ধান্ত নিন কিনা , যেখানে জন্য Mostowski epimorphism হয় । $M_D(x_1) = M_D(x_2)$ $M_D$ $D$

— ম্যাসিমো কাফেরো
সূত্র

6

আপনি কী ধরণের সমস্যা দেখছেন তার উপর এটি খানিকটা নির্ভর করে তবে পাথ সিস্টেমগুলির সমস্যা প্রার্থী হতে পারে।

প্রদত্ত: প্রস্তাবের একটি সসীম সেট , একটি সেট axioms এর, একটি সেট অনুমান নিয়ম এবং কিছু লক্ষ্য । $P$ $A \subseteq P$ $R \subseteq P \times P \times P$ $p \in P$

প্রশ্ন: ব্যবহার করে থেকে ব্যবহারযোগ্য ? $p$ $A$ $R$

এখানে, প্রতিটি প্রস্তাব থেকে প্রতিপাদ্য হল ব্যবহার এবং, সেখানে একটি নিয়ম যদি মধ্যে এবং এবং থেকে প্রতিপাদ্য হয় ব্যবহার , তারপর এছাড়াও থেকে প্রতিপাদ্য হল ব্যবহার করে । $A$ $A$ $R$ $(p_1,p_2,p_3)$ $R$ $p_1$ $p_2$ $A$ $R$ $p_3$ $A$ $R$

মুল বক্তব্যটি হ'ল এই জাতীয় প্রমাণের কাঠামোটি একটি গাছ।

একটি নিবিড়ভাবে সম্পর্কিত সমস্যা হ'ল প্রসঙ্গ-মুক্ত ব্যাকরণের জন্য ভাষা শূন্যতার সমস্যা: একটি প্রসঙ্গ-মুক্ত ব্যাকরণ দেওয়া হলে এর কমপক্ষে একটির ডেরাইভিশন গাছ রয়েছে? (পাথ সিস্টেমগুলি থেকে হ্রাস প্রায় তাত্ক্ষণিক)) সুতরাং, প্রসঙ্গ-মুক্ত ব্যাকরণগুলির ভাষা শূন্যতা পি-সম্পূর্ণ। খুব অনুরূপ কারণে, গাছের অটোমেটার শূন্যতার সমস্যাটিও পি-সম্পূর্ণ।

পাথ সিস্টেমে একটি রেফারেন্স হ'ল: স্টিফেন কুক: টাইম-স্পেস স্টোরেজ বাণিজ্য বন্ধের একটি পর্যবেক্ষণ। জেএসএসএস, 1974।

— উইম মার্টেনস
সূত্র

1

আমি পি-সম্পূর্ণতার জন্য কিছু সম্ভাব্য প্রার্থীদের পরামর্শ দিতে চাই:

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

পি-সম্পূর্ণতা যদিও আমার কাছে পরিষ্কার নয়, হর্নস্যাট থেকে হ্রাস সম্ভব বলে মনে হচ্ছে তবে জটিল trick টার্গেট সেট নির্বাচনের সমস্যাটি কি আরও প্রাকৃতিক সূচনা পয়েন্ট হতে পারে?

— NisaiVloot
সূত্র

সম্পর্কিত নোটে, আমি মনে করি যে দ্বিতীয় সমস্যার পি-সম্পূর্ণতা চেস্টার এট আল দ্বারা "ডিসলভিং মুল্টিগ্রাফগুলি দ্বারা সমাধানিত রুটড ট্রিপলেট অসঙ্গতি" থেকে অনুসরণ করে। যদিও আমি প্রথমটির বিষয়ে নিশ্চিত নই।

— নিসাইভ্লূট

এছাড়াও, রঙিন বিএসপি গাছগুলির সাথে জড়িত তৃতীয় সমস্যার জন্য আমার ধারণা রয়েছে তবে আমার সুনির্দিষ্ট সংজ্ঞাটি খুঁজে বের করতে হবে। থাকুন ...

— নিসাইভ্লুট

এই উত্তরের পৃথক উত্তরে আপনার আপডেটটি একটি মন্তব্য বা সম্পাদনা হওয়া উচিত। অতএব, আমি এটি মুছে ফেলেছি।

— লেভ Reyzin

P

$\sf{P}$

O (\log^{2} n)

$O(\log^2 n)$

1

এখানে আমি তৃতীয় সমস্যাটি উল্লেখ করেছি, যাকে বলা হয় কোয়াড ট্রি রিক্লোরিং। আমাদের দেওয়া হয়:

$\Gamma = (\gamma_{i,j})$
$T$ $\Gamma$

$T$ $T$ $\Gamma$

আর একটি সম্ভাব্য ব্যয় ফাংশন হ'ল তাদের সংখ্যার পরিবর্তে পুনরায় রঙ করা নোডগুলির পৃষ্ঠকে গণনা করা । আমি অনুমান করি যে এই সমস্যাটি পি-সম্পূর্ণ, তবে পি-তেও সদস্যপদটি তাত্ক্ষণিক নয়।

— Super8
সূত্র

কেন এটি একটি "তৃতীয় সমস্যা"? এটি কি অন্য উত্তরের যোগ?

— লেভ Reyzin

এবং কেন আপনি এটি আপনার অন্যান্য উত্তরের সাথে একত্রিত করতে পারবেন না?

— সুরেশ ভেঙ্কট

হ্যাঁ, এটি উপরের উত্তরের একটি সংযোজন ছিল; সাম্প্রতিক আপডেট দেওয়া এই আমার পক্ষে একটি 'দ্বিতীয় সমস্যা' হিসাবে বিবেচনা করা উচিত। ব্যবহারিক বিবেচনার ভিত্তিতে এই সমস্যাটি কেবল একটি 'অনুমান' ছিল, আমি এখনও পি-তে সদস্যপদ সম্পর্কে অনিশ্চিত; ষড়ভুজাকৃতির টিলিংসের মতো বিকল্প টপোলজগুলি বিবেচনা করলে জটিলতা পরিবর্তন হতে পারে? আমি অন্যান্য প্রার্থীদের সন্ধান করব এবং উত্তরগুলি শেষ পর্যন্ত একীভূত করব - ধরে নিলাম যে 2 মাস আগে তৈরি করা পুরানো 'সুপার 8' প্রোফাইলগুলিতে অ্যাক্সেস করতে পারি।

— সুপার 8

2

একাধিক প্রোফাইল ব্যবহার করা এইভাবে বিশৃঙ্খলা তৈরি করে এবং মোডগুলির জন্য আরও কাজ করে। এটি একটি ভাগ করা সংস্থান এবং জিনিসগুলিকে "পরিপাটি" রাখা আমাদের সবার উপর নির্ভর করে।

— সুরেশ ভেঙ্কট 13