কখন একটি এফও সম্পত্তি এনএল-কঠোরতা বন্ধ করে দেয়?
প্রসঙ্গ: আমরা কেবল ডিজিট্রাফ বিবেচনা করি। সাইক্লিকে একটি চক্র সহ গ্রাফের ভাষা হতে দিন; এটি একটি এনএল-সম্পূর্ণ সমস্যা। কমপক্ষে একটি প্রান্ত সহ গ্রাফের ভাষা হ্যাশডে যাক। তারপর জাভাস্ক্রিপ্টে গার্বেজ, CYCLE∪HASEDGECYCLE∪HASEDGE\text{CYCLE} \cup \text{HASEDGE} আর এন এল-কঠিন, যখন CYCLE∪HASEDGE¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯CYCLE∪HASEDGE¯\text{CYCLE} \cup \overline{\text{HASEDGE}} থাকার বিষয়টি মতেই তাই। আসল সমস্যা: আমি ভাবছি যে ভাষাটি CYCLE∪{(V,E):(∃u,v,x,y)[E(u,v)∧E(x,y)∧¬E(u,y)∧¬E(x,v)]}CYCLE∪{(V,E):(∃u,v,x,y)[E(u,v)∧E(x,y)∧¬E(u,y)∧¬E(x,v)]}\text{CYCLE} …