প্রশ্ন ট্যাগ «proof-complexity»

এই প্রশ্নটি ম্যাথওভারফ্লোতে প্রয়োগিত গণিত সম্পর্কিত একই প্রশ্ন দ্বারা অনুপ্রাণিত হয়েছিল এবং এই উত্তেজনাপূর্ণ ধারণা ছিল যে পি বনাম এনপি-র মতো টিসিএসের গুরুত্বপূর্ণ প্রশ্নগুলি জেডএফসি (বা অন্যান্য সিস্টেমগুলি) থেকে স্বতন্ত্র থাকতে পারে। সামান্য ব্যাকগ্রাউন্ড হিসাবে, বিপরীত গণিত একটি নির্দিষ্ট গুরুত্বপূর্ণ উপপাদ্য প্রমাণ করার জন্য প্রয়োজনীয় অক্ষগুলি সন্ধানের প্রকল্প। অন্য কথায়, …

37 cc.complexity-theory  lo.logic  proof-complexity 

এটি আমার দক্ষতার বাইরে একটি নির্লজ্জ প্রশ্ন; অগ্রিম ক্ষমা গোল্ডবাচের কনজেকচার এবং গণিতে অনেকগুলি অমীমাংসিত প্রশ্নকে প্রাকটিক্যাল ক্যালকুলাসে সংক্ষিপ্ত সূত্র হিসাবে লেখা যেতে পারে। উদাহরণস্বরূপ, কুকের কাগজ "কম্পিউটারগুলি কি গণিতের প্রুফগুলিকে নিয়মিত আবিষ্কার করতে পারে?" হিসাবে অনুমান যে সূত্র ∀n[(n>2∧2|n)⊃∃r∃s(P(r)∧P(s)∧n=r+s)]∀n[(n>2∧2|n)⊃∃r∃s(P(r)∧P(s)∧n=r+s)]\forall n [( n > 2 \wedge 2 | n) \supset …

35 cc.complexity-theory  proof-complexity  automated-theorem-proving  proof-search 

" এনপি লিনিয়ার সাইজের সাক্ষীদের মধ্যে সীমাবদ্ধ কী? " ক্লাসেওরিয় প্রশ্নটি লাইনারি সাইজের সাক্ষীদের মধ্যে সীমাবদ্ধ এনপি ক্লাস সম্পর্কে জিজ্ঞাসা করে , তবেও ( এন )O(n)O(n) সেখানে আছেন প্রাকৃতিক দ্বারা NP-সম্পূর্ণ সমস্যার যা (হ্যাঁ) আকার দৃষ্টান্ত চেয়ে আকার তদ্বুর্ধ্ব সাক্ষী প্রয়োজন এন ?এনএনnnএনnn স্পষ্টতই আমরা কৃত্রিম সমস্যাগুলি তৈরি করতে পারি …

28 cc.complexity-theory  np  proof-complexity 

আপনি প্রায়শই স্যাট সলভারগুলিতে বিমানের কাটিয়া পদ্ধতি, পরিবর্তনশীল প্রসারণ, শাখা এবং আবদ্ধ, ক্লজ লার্নিং, বুদ্ধিমান ব্যাকট্র্যাকিং বা এমনকি হাতে বোনা মানুষের হিউরিস্টিকস খুঁজে পেতে পারেন। তবু কয়েক দশক ধরে সেরা এসএটি সলভারগুলি রেজুলিউশন প্রুফ কৌশলগুলিতে প্রচুর নির্ভর করে এবং কেবলমাত্র সহায়তার জন্য এবং রেজোলিউশন-স্টাইল অনুসন্ধানের জন্য অন্যান্য জিনিসের সংমিশ্রণ ব্যবহার …

27 reference-request  big-list  sat  proof-complexity  lo.logic 

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

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

ইন্টারপোলেন্টস কম্পিউটিংয়ের জন্য কি অ্যালগরিদমের কোনও জরিপ আছে? একটি মাত্র অ্যালগরিদমের কাগজপত্র সম্পর্কে কী বলা যায়? আমি যে মামলায় সবচেয়ে বেশি আগ্রহী তা হ'ল এবং , আরও অন্তরঙ্গ যে যতটা সম্ভব ছোট। (আমি ম্যাকমিলনের কাগজটি ২০০৫ সাল থেকে জানি যা কোয়ান্টিফায়ারগুলি এড়িয়ে গিয়ে কীভাবে ইন্টারপোল্যান্ট পেতে হয় তা বর্ণনা করে))এ …

19 reference-request  lo.logic  proof-complexity  feasible-interpolation 

XORification যে পরিবর্তনশীল প্রতিস্থাপন দ্বারা একটি বুলিয়ান ফাংশন বা সূত্র কঠিন করে তুলতে কৌশল এর XOR যাও দ্বারা স্বতন্ত্র ভেরিয়েবল । কে ≥ 2 এক্স 1 ⊕ … ⊕ এক্স কেxএক্সxk≥2ট≥2k\geq 2x1⊕…⊕xkএক্স1⊕...⊕এক্সটx_1 \oplus \ldots \oplus x_k আমি প্রমাণ জটিলতায় এই কৌশলটির ব্যবহার সম্পর্কে সচেতন, মূলত রেজোলিউশন-ভিত্তিক প্রুফ সিস্টেমগুলির জন্য স্থান …

18 cc.complexity-theory  reference-request  boolean-functions  proof-complexity 

আমি দক্ষ অ্যালগরিদমগুলির প্রাকৃতিক উদাহরণগুলি খুঁজছি (অর্থাত্ বহুপক্ষীয় সময়ে) স্ট্যান্ড তাদের সঠিকতা এবং দক্ষতা গঠনমূলকভাবে প্রমাণিত হতে পারে (যেমন বা ), তবেPRAPRAPRAHAHAHA কেবল দক্ষ ধারণা ব্যবহার করে কোনও প্রমাণ জানা যায় না (যেমন আমরা বা কীভাবে তাদের সঠিকতা এবং দক্ষতা প্রমাণ করতে পারি তা জানি না )।TV0TV0TV^0S12S21S^1_2 আমি নিজেই কৃত্রিম …

17 cc.complexity-theory  reference-request  lo.logic  proof-complexity  constructive-mathematics 

এই প্রশ্নটি প্রজেকশনাল লজিক সম্পর্কে এবং "রেজোলিউশন" এর সমস্ত উপস্থিতি "প্রস্তাবের রেজোলিউশন" হিসাবে পড়া উচিত। এই প্রশ্নটি চূড়ান্ত কিছু কিছু তবে এটি আমাকে কিছুক্ষণ বিরক্ত করছে। আমি লোকেদের দৃ .় প্রতিবেদনের প্রস্তাবটি সম্পূর্ণ হওয়ার বিষয়টি দেখতে পাচ্ছি তবে আমি লোকেদের দেখি যে রেজোলিউশন অসম্পূর্ণ। আমি বুঝতে পারি যে রেজোলিউশনটি অসম্পূর্ণ। …

15 lo.logic  terminology  proof-complexity  proof-theory  resolution 

আমরা জানি যে DPLL ভিত্তিক স্যাট-solvers এর unsatisfiable দৃষ্টান্ত সঠিকভাবে উত্তর দিতে ব্যর্থ (পায়রা গর্ত নীতি), যেমন "সেখান থেকে একটি injective ম্যাপিং উপর করতে ": এন + 1 এনPHPPHP\mathrm{PHP}n+1n+1n+1nnn PHPn+1n:=⎛⎝⋀i∈[n+1] ⋁j∈[n] pi,j⎞⎠∧⎛⎝⋀i≠i′∈[n+1] ⋀j∈[n] (¬pi,j∨¬pi′,j)⎞⎠PHPnn+1:=(⋀i∈[n+1] ⋁j∈[n] pi,j)∧(⋀i≠i′∈[n+1] ⋀j∈[n] (¬pi,j∨¬pi′,j))\mathrm{PHP^{n+1}_{n}} := \left(\bigwedge_{i\in[n+1]} \ \bigvee_{j\in[n]} \ p_{i,j}\right) \wedge \left(\bigwedge_{i\neq i'\in[n+1]} \ \bigwedge_{j\in[n]} \ …

15 cc.complexity-theory  lo.logic  proof-complexity 

" FPH এর জন্য একটি প্রয়োগমূলক তত্ত্ব " কাগজটি পড়ার সময় আপনি নিম্নলিখিত প্যাসেজটির মুখোমুখি হতে পারেন: গণনাগত জটিলতার শ্রেণিগুলিকে চিহ্নিত করে এমন তত্ত্বগুলি বিবেচনা করে তিনটি ভিন্ন পদ্ধতি রয়েছে: এক, তত্ত্বের মধ্যে সংজ্ঞায়িত করা যেতে পারে যে ফাংশন একটি নির্দিষ্ট জটিলতা শ্রেণীর মধ্যে "স্বয়ংক্রিয়ভাবে" হয়। এই জাতীয় অ্যাকাউন্টে, বাক্য …

15 cc.complexity-theory  reference-request  complexity-classes  lo.logic  proof-complexity 

যদি স্যাটের সর্বাধিক সুস্পষ্টতীয় আনসট প্রমান বা আরও দৃ strongly়তার সাথে, স্যাটটির সুব্যাক্সোনশিয়াল-টাইম অ্যালগরিদম থাকে তবে তার কোনও বড় পরিণতি হবে?

14 cc.complexity-theory  sat  proof-complexity 

মনে রাখবেন যে কোনও সিএনএফ সূত্র এফের রেজোলিউশন খণ্ডন আর এর প্রস্থ হ'ল আর-এ সংঘটিত যে কোনও ধারাটিতে আক্ষরিক সংখ্যা সর্বাধিক । প্রত্যেক জন্য W , সেখানে unsatisfiable সূত্রে এফ 3-CNF St মধ্যে প্রতিটি রেজল্যুশন অপ্রমাণ এফ অন্তত প্রস্থ প্রয়োজন W ।আরRRএফFFআরRRWwwএফFFএফFFWww আমার 3-সিএনএফ (যতটা সম্ভব ছোট এবং সহজ) এর …

13 cc.complexity-theory  lo.logic  sat  proof-complexity 

এনপি! = CoNP ধরে নিই, তবে CoNP- সম্পূর্ণ সমস্যার জন্য কোনও বহুপদী আকারের শংসাপত্র নেই। তবে সুবেস এক্সনোশিয়াল সাইজ শংসাপত্র সম্পর্কে কী? বিশেষত কোস্যাট-এর জন্য, কোনও সূত্রকে অসন্তুষ্টিজনক প্রমাণ করার জন্য কি সাপযুক্ত এক্সটেনশিয়াল আকারের প্রমাণ রয়েছে? তা না হলে নেতিবাচক প্রমাণ কী? ধন্যবাদ

13 cc.complexity-theory  proof-complexity 

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

12 cc.complexity-theory  lo.logic  proof-complexity