ভ্যারিয়েবল সহ একটি দেওয়া হয়েছে । ধরুন এবং both উভয়ই যথাক্রমে সর্বাধিক বারের সূত্রে উপস্থিত হন ।ϕ1,…,ϕkx1,…,xnxixi¯¯¯¯¯ki
আমরা একটি রঙিন ডিএজি নকশা করি যার শীর্ষে তিনটি অংশ থাকে:G
- "অ্যাসাইনমেন্ট" শীর্ষবিন্দুগুলি এবং , , । রঙ "রঙ" সঙ্গে , এবং সঙ্গে ।vi(j)v¯i(j)1≤i≤n1≤j≤kivi(j)xi(j)v¯i(j)xi¯¯¯¯¯(j)
- "ধারা" ছেদচিহ্ন , , । (বা সাথে রঙের ) যদি (বা , রেস।) থাকে তবে ধারাটির -th আক্ষরিক , এবং এটি এই আক্ষরিক সহ -th ক্লজ।wi′(j′)1≤i′≤kj′=1,2,3wi′(j′)xi(j)xi¯¯¯¯¯(j)xi¯¯¯¯¯xij′ϕi′j
- "কাটা" । উপরে থেকে পৃথক পৃথক রঙের তাদের রঙ করুন।s=s0,s1,…,sn,sn+1,…sn+k=t
প্রান্তগুলি অন্তর্ভুক্ত:
- si−1vi(1) , , ;v i ( k i ) s ivi(j)vi(j+1)vi(ki)si
- ˉ v i ( j ) ˉ v i ( j + 1 ) ˉ v i ( k i ) s isi−1v¯i(1) , , ;v¯i(j)v¯i(j+1)v¯i(ki)si
- এবং , ।W আমি ' ( ঞ ' ) গুলি এন + + আমি 'sn+i′−1wi′(j′)wi′(j′)sn+i′
উদাহরণস্বরূপ, 3CNF থেকে
নীচের গ্রাফটি তৈরি করা হয়েছে (প্রান্ত দিকগুলি বাম থেকে ডানদিকে)।
(x1∨x2∨x3¯¯¯¯¯)∧(x1∨x2¯¯¯¯¯∨x3)
এখন এটি দেখতে শক্ত নয় যে আসল 3CNFটি সন্তুষ্টযোগ্য যদি কেবল এবং যদি বিভিন্ন ভার্টেক্স রঙের সাথে একটি - পাথ থাকে ।t GstG
(যাইহোক, এটি একটি উপ-উত্পাদন যে রঙিন ডিএজে বিভিন্ন রঙের সাথে - পাথের উপস্থিতি হ'ল আমি দৃষ্টিকোণে এই সমস্যাটি সম্পর্কে অনেক সাহিত্য খুঁজে পাইনি If আপনি জানেন, মন্তব্য করুন!)t এনপি-হার্ডstNP-hard
তাহলে এবং ওপির সমস্যার মধ্যে কী সম্পর্ক ? স্বজ্ঞাতভাবে আমরা যা করতে যাচ্ছি তা হল ম্যাট্রিক্স ডিজাইন করা , যাতে প্রতিটি রঙ একটি সারিতে ম্যাপ করা হয় (যা একজন ব্যক্তি), এবং প্রান্তগুলি পরপর কলামগুলিতে ম্যাপ করা হয় (সময় স্লট)। সুতরাং একটি সর্বোচ্চ সময়সূচী, যা ম্যাট্রিক্সে মূলত বাম থেকে ডানে চলেছে, একটি - পথের সাথে সামঞ্জস্য করে ।এইচ এস টিGhst
আমাদের ম্যাট্রিক্স আছে সূচকগুলি থেকে শুরু দিয়ে, কলাম । নিম্নলিখিত সংক্রমণের ক্ষেত্রে একটি দুটি মান । অনুপাতটি এবং এর বৃহত শক্তি হতে পারে । যাক ।2 এন + 1 + ∑ i 2 কে আই + কে 0 এক্স ওয়াই 1 ≪ এক্স ≪ ওয়াই এক্স / 1 , ওয়াই / এক্স কে এনh2n+1+∑i2ki+k0XY1≪X≪YX/1,Y/XknKi=2i+2∑ij=1ki
- প্রতিটি , , আসুন (যদি স্থানাঙ্ক বিদ্যমান, নীচে একই)। 0 ≤ i ≤ n h ( s i , K i ) = h ( s i , K i - k i - 1 ) = h ( s i , K i + k i + 1 + 1 ) = Ysi0≤i≤nh(si,Ki)=h(si,Ki−ki−1)=h(si,Ki+ki+1+1)=Y
- প্রতিটি জন্য ; প্রত্যেকের জন্য যাক ।h ( x i ( j ) , K i - 1 + j ) = X ¯ x i ( j ) h ( ¯ x i ( j ) , K i - 1 + k i + 1 + j ) = এক্সxi(j)h(xi(j),Ki−1+j)=Xxi¯¯¯¯¯(j)h(xi¯¯¯¯¯(j),Ki−1+ki+1+j)=X
- প্রতিটি , এবং ক্লজ আক্ষরিক এর জন্য , । 1 ≤ i ′ ≤ k x ϕ i ′ h ( x , K n + i ′ ) = 1ϕi′1≤i′≤kxϕi′h(x,Kn+i′)=1
- অন্যান্য সমস্ত এন্ট্রি 0 হয়।
উদাহরণস্বরূপ, উপরের উদাহরণের জন্য গ্রাফটি সম্পর্কিত ম্যাট্রিক্স
এখন আমরা দাবি করি: আসল 3CNF কেবলমাত্র সর্বোচ্চ মান ।(2n+1)Y+∑ikiX+k
সর্বোচ্চ মান অর্জনের সময়সূচী বিবেচনা করুন। যেহেতু ঠিক হয় কলাম ধারণকারী , তারা সব ঢেকে দিতে হবে। কলামের জন্য যা এর দুটি পছন্দ রয়েছে , ধরুন এটিকে নির্ধারণ করে । যেহেতু কলাম নির্ধারিত করা আবশ্যক , consecutiveness দ্বারা আমরা কলাম হারাতে হবে করতে । একই ব্যাপার ঘটতে যদি কলাম বরাদ্দ সিডিউলিং করতে ।জ ওয়াই কে আমি + + k আমি + + 1 ওয়াই গুলি আমি কে আমি র আমার K আমি + + 1 কে আমি + + k আমি K আমি + + k আমি + + 1 এর আমি + + 1(2n+1)hYKi+ki+1YsiKisiKi+1Ki+kiKi+ki+1si+1
সুতরাং, মান , আমাদের অবশ্যই ম্যাট্রিক্সের বাকী সমস্ত উপলব্ধ নির্বাচন করতে হবে , যা ভেরিয়েবলের সাথে একটি কার্যক্রমে অনুরূপ। সুতরাং এর বাকী মানটি যদি অ্যাসাইনমেন্টটি প্রতিটি ধারা পূরণ করে তবেই তা অর্জনযোগ্য।X k∑ikiXXk
একটি উপসংহার হিসাবে, একটি আইনি সিডিউলিং সর্বোচ্চ মান সিদ্ধান্ত হয় । সম্ভবত সে কারণেই আমাদের পূর্ববর্তী সমস্ত অ্যালগোরিদম সন্ধান করার চেষ্টা ব্যর্থ হয়েছিল।NP-hard