সমান্তরাল হতে পারে?

Question

ধরা যাক আমরা কোনও ভবিষ্যদ্বাণীতে দুটি সম্পর্কের সাথে যোগ দিতে চাই। এটা কি এনিসিতে আছে?

আমি বুঝতে পারি যে এটি এনসিতে না থাকার একটি প্রমাণ তার প্রমাণ হিসাবে গণ্য হবে $P\not=NC$, সুতরাং আমি উত্তর হিসাবে এটি একটি উন্মুক্ত সমস্যা হিসাবে প্রমাণ গ্রহণ করব।

আমি সাধারণ ক্ষেত্রে পাশাপাশি নির্দিষ্ট কেসগুলিতে আগ্রহী (যেমন সম্ভবত কিছু নির্দিষ্ট ডেটা কাঠামোর সাথে এটি সমান্তরাল হতে পারে)।

সম্পাদনা: এই পোস্টে মন্তব্য থেকে কিছু স্পষ্টতা আনতে:

• আমরা একটি সমপরিমাণ বিবেচনা করতে পারে $A.x = B.y$। একটি একক প্রসেসরে, একটি হ্যাশ-ভিত্তিক অ্যালগরিদম চলে$O(|A|+|B|)$ এবং প্রতিটি সেটটি আমাদের পড়তে হবে বলে এটি আমরা সেরা করতে পারি
• যদি প্রিডিকেটটি একটি "ব্ল্যাক বক্স" হয় যেখানে আমাদের প্রতিটি জোড়া পরীক্ষা করতে হয়, সেখানে রয়েছে $|A|\cdot|B|$ জোড়া, এবং প্রতিটি এক হতে পারে বা না, তাই $2^{ab}$সম্ভাবনার। প্রতিটি জোড়া যাচাই করা সম্ভাবনাগুলিকে অর্ধেক ভাগ করে দেয়, তাই আমরা সবচেয়ে ভাল করতে পারি best$O(ab)$।

এর মধ্যে (অথবা কোনও তৃতীয় প্রকারের যোগদানের) কোনওটিতে উন্নতি করা যেতে পারে $\log^k n$ একাধিক প্রসেসরের উপর?

Comments

যদি এই প্রশ্নটি ব্যবহারিক সমস্যার দ্বারা অনুপ্রাণিত হয় তবে মনে রাখবেন যে এনসি সম্ভবত "সমান্তরাল" এর সবচেয়ে উপযুক্ত ধারণা নাও হতে পারে।

— রাফেল

@ রাফেল: এটি না, তবে কেন আপনি কিছু নিয়ে লিঙ্ক করতে পারেন? এটি আরও উপযুক্ত হলে আমি এটি একটি পৃথক প্রশ্ন হিসাবে জিজ্ঞাসা করতে পারি।

— Xodarap

আপনি কী জিজ্ঞাসা করছেন তা আমার পক্ষে পরিষ্কার নয়। আপনি এটিতে যোগ অপারেটরটি যুক্ত করছেন এমন বেসের রিলেশনাল ডাটাবেস ক্যোরি ভাষাটি কী? অথবা আপনি জিজ্ঞাসার জটিলতা জিজ্ঞাসা করছেন যা কেবলমাত্র অপারেটরগুলিতে থাকে? অথবা আপনার আসল প্রশ্নটি হল আরও ভাল সময়ের জটিলতা অর্জনের জন্য "সমান্তরালভাবে" যোগ অপারেটরগুলি চালানো সম্ভব কিনা? (যেভাবে বলা হয় এবং সমান্তরালভাবে করা যেতে পারে তার অনুরূপ) এছাড়াও মনে রাখবেন যে (নিরাপদ) এসকিউএল কোয়েরিগুলি FOL (গণনা) এর সাথে সম্পর্কিত s

— কাভেঃ

অথবা আপনি কী জিজ্ঞাসা করছেন জটিল পরিচিতিতে সর্বাধিক পরিচিত উপরের-আবদ্ধ এবং নিম্ন-সীমাবদ্ধ (জটিলতা শ্রেণিগুলি) ইনপুট হিসাবে দুটি আপেক্ষিক ডেটাবেস প্রদত্ত জয়েন্টকে সংযুক্ত করার জন্য।

— কাভেহ

@ এক্সডারাপ: আপনি আমার শিক্ষামূলক বিষয়ে এই প্রশ্নের উত্তর এবং মন্তব্য খুঁজে পেতে পারেন ; আমি জানি আমি করেছি। কুষকল এট আল। (1990) একটি ভাল পড়া।

— রাফেল

Answer 1

$n^2$ প্রসেসর সব তুলনা করতে পারেন ${n \choose 2}$ অবিচ্ছিন্ন গভীরতায় সম্ভাবনা, তাই হ্যাঁ এটি এনসির মধ্যে।

Comments

আপনি যদি ওআর নিতে যাচ্ছেন তবে গভীরতা লোগারিথমিক হবে।

— sdcvvc

@ এসডিসিভিসিসি: যথেষ্ট ফর্সা। চূড়ান্ত সময়ে আপনি 3SAT আনুপাতিক ক্যালকুলাসে এনকোড করতে পারে, সুতরাং আপনার ফলাফলগুলি সহজ (যেমন ধ্রুবক সময়) সহজ হয় তবে এই ফলাফলটি সত্যই ধারণ করে।

— Xodarap