সম-অফ-স্কোয়ার্স প্রুফ সিস্টেম


23

সম্প্রতি আমি আরক্সিভ সম্পর্কিত বেশ কয়েকটি নিবন্ধ দেখেছি যা একটি প্রুফ সিস্টেমকে উল্লেখ করে যা সমষ্টিগুলির স্কোয়ার বলে।

স্কোয়ার্স-এর প্রমাণের যোগফল কী এবং কীভাবে এই জাতীয় প্রমাণগুলি গুরুত্বপূর্ণ / আকর্ষণীয়?

তারা অন্যান্য বীজগণিত প্রমাণ সিস্টেমের সাথে কীভাবে সম্পর্কিত? লাসেরের কাছে কি তারা একরকম দ্বৈত?


11
Arxiv.org/abs/1211.1958 এ কিছু সংক্ষিপ্ত বিবরণ রয়েছে । মৌলিক এসওএস সিস্টেমটি পৃষ্ঠা 3 এ পাশ করার ক্ষেত্রে সংজ্ঞায়িত করা হয়েছে (গ্রিগরিভিভ এবং ভোরোজভের জন্য সন্ধান করুন)।
এমিল জেবেক মনিকে

3
@ এমিল, মনে হচ্ছে কাগজে পোস্টের প্রশ্নের উত্তর রয়েছে (এটি সিস্টেম, এর ইতিহাস এবং সাম্প্রতিক কাজের সাথে এর প্রাসঙ্গিকতার ব্যাখ্যা দেয়), কেন উত্তর হিসাবে আপনার মন্তব্য পোস্ট করবেন না?
কাভেহ

@ এমিলজেবেক আপনি উত্তর হিসাবে এর প্রসারিত সংস্করণ পোস্ট করলে আমি আপনার মন্তব্যটি গ্রহণ করব।
বেনামে

2
ঠিক আছে, আমি এটি করেছি, যদিও আমি যদি পছন্দ করতাম তবে যদি এই সিস্টেমগুলি আসলে বোঝে এমন কোনও ব্যক্তির দ্বারা উত্তর দেওয়া হয়।
এমিল জেব্যাক মনিকে

উত্তর:


18

মৌলিক সমষ্টি অফ স্কোয়ার প্রমাণ সিস্টেম দ্বারা Positivstellensatz refutations নামের অধীনে চালু Grigoriev এবং Vorobjov , একটি "স্ট্যাটিক" দেখানোর জন্য প্রমাণ সিস্টেম যে বহুপদী সমীকরণ সেট এবং inequations যেখানে এফ 1 , , এফ কে , এইচ 1 , ,

S={f1=0,,fk=0,h10,,hm0},
, কোন সাধারণ সমাধান আছে আর এন : একটি অপ্রমাণ এস polynomials দেওয়া হয়আমি এবংআমি , যেমন যে - 1 = Σ আমি = 1আমি i + I { 1 , , m } j e 2 If1,,fk,h1,,hmR[x1,,xn]RnSgieI,j (আরএর স্থলে যেকোনও আসল-বন্ধ ক্ষেত্রের সাথে কাজ করতে পারে)) স্টেংলির পজিটিভসটেলেনস্যাটজ গ্যারান্টি দেয় যেএসএর খণ্ডন আছে যদি এবং কেবল যদি এর কোনও সমাধান না থাকে। এখানে প্রধান জটিলতার পরিমাপ হলখণ্ডনেরডিগ্রি, যা বহুবচনগুলির সর্বাধিক ডিগ্রি যা()এর যোগফলগুলির নিচে প্রদর্শিত হয়, যা,gifiএবংe2I,jiIhi
()1=i=1kgifi+I{1,,m}jeI,j2iIhi.
RS()gifieI,j2iIhi

বীজগাণিতিক প্রমাণ সিস্টেমের সাথে স্বাভাবিক হিসাবে, এক এটি unsatisfiable বুলিয়ান সূত্র একটি অপ্রমাণ সিস্টেম হিসাবে বিবেচনা করতে পারেন মধ্যে অন্তর্ভুক্ত করে এস উপপাদ্য ব্যবহার x 2 আমি - x আমি প্রতিটি পরিবর্তনশীল জন্য x আমি , এবং একটি অনুবাদ φ বহুপদী অসাম্য দ্বারা।ϕSxi2xixiϕ

এসওএস সিস্টেমের ইতিহাস ও বিকাশের আরও বিস্তারিত http://arxiv.org/abs/1211.1958 এ পাওয়া যাবে ।


1
মানক বই আছে কি?

1
এছাড়াও এখানে কি মডেল তত্ত্বের কোনও ব্যবহার আছে?

2
লেজারের অপ্টিমাইজেশনের দিকগুলি নিয়ে একটি সাম্প্রতিক বই রয়েছে। কেমব্রিজ ইউনিভার্সিটি প্রেস দ্বারা প্রকাশিত "বহু পরিচিতি এবং আধা-বীজগণিত অনুকূলকরণের একটি ভূমিকা"।
চন্দ্র চেকুরি

11

p(x)0p(x)x

অনুমানের নিয়মগুলি হ'ল:

  1. x2x0
  2. xx20
  3. p(x)20
  4. p(x)0p(x)x0
  5. p(x)0p(x)(1x)0
  6. p1(x)0,,pm(x)0i=1mcipi(x)0c1,,cmR+

p(x)20

সেমিডেফিনাইট প্রোগ্রামিং এবং আনুমানিক অ্যালগরিদমের সাথে দুর্দান্ত সংযোগ রয়েছে।

প্রয়োগিত স্যাট সমাধানের তাত্ত্বিক ফাউন্ডেশনগুলিতে বিআইআরএস কর্মশালায় অ্যালবার্ট অ্যাটসারিয়াসের সাম্প্রতিক আলাপটি আরও পরীক্ষা করে দেখুন :


এই সূত্রটি কি এমিলের মতো? আপনার "গতিশীল", এবং সেইজন্য ড্যাগের মতো প্রমাণগুলির জন্য অনুমতি দেয়, যেখানে এমিলের "স্থিতিশীল", এবং তাই এটি আপনার গাছের মতো সংস্করণের সাথে সামঞ্জস্যপূর্ণ বলে মনে হয়। সুতরাং, স্পষ্টতই তারা জটিলতার ক্ষেত্রে আলাদা (যেমন, ডিগ্রি, মোমোমিয়ালের সংখ্যার আকার এবং লাইন সংখ্যা)। এটা কি সত্য?
ইড্ডো টাজামেরেট

@ ইডডো, আমি মনে করি আপনি ঠিক বলেছেন একটি জটিলতা পরিমাপ একই নাও হতে পারে। অ্যালবার্ট তার বক্তৃতায় খুব আকর্ষণীয়ভাবে ব্যাখ্যা করেছেন মূল আকর্ষণীয় জটিলতার পরিমাপের জন্য চিঠিপত্রটি যদি আমি সঠিকভাবে মনে রাখি তবে যদি কেউ অন্য ব্যবস্থায় আগ্রহী হয় তবে গঠনের ক্ষেত্রে আরও সতর্ক হওয়া দরকার।
কাভেঃ

@ কাভেঃ যদি আপনি দয়া করে সহায়তা করতে পারেন তবে আমি দুটি সম্পর্কিত প্রশ্ন উত্থাপন করেছি, (1) cstheory.stackexchange.com/questions/30930/… (2) cstheory.stackexchange.com/questions/30932/…
ব্যবহারকারী 6818
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.