আমাদের প্রত্যেকটি শীর্ষবিন্দু ( g : V → N ), এবং একটি লক্ষ্য সংখ্যা T ∈ N এর সাথে সংযুক্ত একটি নির্দেশিক অ্যাসাইক্লিক গ্রাফ হয় ।
DAG উপসেট সমষ্টি সমস্যা (ভিন্ন নামে অস্তিত্ব পারে, একটি রেফারেন্স মহান হতে হবে) জিজ্ঞেস সেখানে ছেদচিহ্ন কিনা , যেমন যে Σ বনাম আমি গ্রাম ( বনাম আমি ) = টি , এবং V 1 → । । In v k জি এর একটি পথ ।
এই সমস্যাটি তুচ্ছভাবে এনপি-সম্পূর্ণ, কারণ সম্পূর্ণ ট্রানসিটিভ গ্রাফটি ক্লাসিকাল সাবসেটের যোগফল দেয়।
ডিএজি সাবসেট সমষ্টি সমস্যার জন্য একটি আনুমানিক অ্যালগরিদম হ'ল নিম্নলিখিত বৈশিষ্ট্যগুলির সাথে একটি অ্যালগরিদম:
- T এর যোগফলের সাথে যদি কোনও পথ থাকে, তবে অ্যালগরিদম সত্য ফিরে আসে।
- কিছু সি ∈ ( 0 , 1 ) এর জন্য এবং টি এর মধ্যে সংখ্যার যোগফল না থাকলে , আলগোরিদিম FALSE ফেরত দেয়।
- এবং টি এর মধ্যে সংখ্যার সাথে যোগফলের একটি পথ থাকলে , অ্যালগরিদম কোনও উত্তর আউটপুট দিতে পারে।
সাবসেটের যোগফল সমস্ত জন্য বহুবচনীয় সময়ে নিকটবর্তী হিসাবে পরিচিত ।
ডিএজি-সাবসেট-সামের জন্য কি একই রকম রয়েছে?