লিনিয়ার সন্তুষ্টিজনিত সমস্যার জন্য নিম্ন সীমা

Question

ইন SODA 1995 , জেফ এরিকসন নিম্ন সীমা রৈখিক satisfiability জন্য (পরীক্ষণ একটি কিছু দেখিয়েছেন এর -subset বাস্তব সংখ্যার সন্তুষ্ট উপর একটি রৈখিক সমীকরণ ভেরিয়েবল)। প্রমাণ পদ্ধতিটি ইনফিনাইটিমালস এবং তারস্কির স্থানান্তর নীতিটি ব্যবহার করে ।$r$$n$$r$

এই সীমাবদ্ধ প্রমাণের জন্য নেওয়া রুটের পিছনের অন্তর্দৃষ্টি কি কেউ ব্যাখ্যা করতে পারে? এর মতো প্রত্যক্ষ প্রমাণ নিয়ে আসতে অসুবিধা কী: "একটি সিদ্ধান্তের গাছ দেওয়া যা সত্যিকারের সংখ্যা নেয়, এখানে আমরা কীভাবে একটি প্রতিকূল ইনপুট তৈরি করতে পারি"?

Comments

আমি ধরে নিচ্ছি আপনি এই দস্তাবেজটি উল্লেখ করেছেন: portal.acm.org/citation.cfm?id=313772

— এমআরএ

যথাযথভাবে সম্পাদিত

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

হ্যাঁ, আমি সেই কাগজটিই উল্লেখ করছি। @ সুরেশ ধন্যবাদ

— জগদীশ

Answer 1

আমি দৃঢ়ভাবে আরো সাম্প্রতিক পড়া সুপারিশ Ailon এবং Chazelle দ্বারা ফলোআপ কাগজ , যা পুরো ক্ষুদ্রাতিক্ষুদ্র ইস্যু সম্পূর্ণভাবে এড়াতে। আপনি যদি আমার কাগজটি আটকে রাখতে চান তবে দয়া করে জার্নাল সংস্করণটি পড়ুন ( শিকাগো জে তাত্ত্বিক কম্পিউটার বিজ্ঞান 1999 )। এসওডিএ সংস্করণে বিভাগ 5 এ একটি বড় বাগ রয়েছে, এবং (আমি মনে করি) জার্নাল সংস্করণটি মূল প্রমাণটি আরও স্পষ্টভাবে ব্যাখ্যা করে।

Answer 2

প্রকৃতপক্ষে, প্রধান যুক্তি হল একটি সিদ্ধান্ত গাছ গঠন করা এবং adversarial ইনপুট ডিজাইন করতে, কিন্তু এই কাজ সঙ্গে প্রযুক্তিগত সমস্যা যে লঘুকরণের এড়াতে হয়। প্রথম পৃষ্ঠার দ্বিতীয় কলামের নীচে আলোচনাটি দেখুন এবং চালিয়ে যান, যা এটি মোটামুটি পরিষ্কারভাবে ব্যাখ্যা করে।