প্রশ্ন ট্যাগ «sum-of-squares»

সম্প্রতি আমি আরক্সিভ সম্পর্কিত বেশ কয়েকটি নিবন্ধ দেখেছি যা একটি প্রুফ সিস্টেমকে উল্লেখ করে যা সমষ্টিগুলির স্কোয়ার বলে। স্কোয়ার্স-এর প্রমাণের যোগফল কী এবং কীভাবে এই জাতীয় প্রমাণগুলি গুরুত্বপূর্ণ / আকর্ষণীয়? তারা অন্যান্য বীজগণিত প্রমাণ সিস্টেমের সাথে কীভাবে সম্পর্কিত? লাসেরের কাছে কি তারা একরকম দ্বৈত?

23 cc.complexity-theory  lo.logic  algebraic-complexity  proof-complexity  sum-of-squares 

আমি থেকে সমষ্টি অফ স্কোয়ার পদ্ধতি (এসওএস) সম্পর্কে একটু পড়া হয়েছে বারাক & Steurer প্রদানকারীর করা একটি সমীক্ষা এবং বরাক বক্তৃতা নোট । উভয় ক্ষেত্রেই তারা গালিচা অধীনে সংখ্যার যথাযথতার বিষয়গুলি ছড়িয়ে দেয়। পদ্ধতিটি সম্পর্কে আমার (স্বীকৃতভাবে সীমাবদ্ধ) বোঝার থেকে নিম্নলিখিতটি সত্য হওয়া উচিত: Real রিয়েল-ভ্যালু ভেরিয়েবলের ওপরে বহুবর্ষীয় সমতা …

13 optimization  sum-of-squares 

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

10 approximation-hardness  convex-optimization  semidefinite-programming  sum-of-squares  primal-dual