প্রশ্ন ট্যাগ «cc.complexity-theory»

কে ভেরিয়েবল এবং ক্লজ সহ একটি সন্তুষ্ট সিএনএফ সূত্র হতে দিন । যাক সমাধান স্থান হতে ।F1F1F_1মি এস এফ 1 এফ 1nnnmmmSF1SF1S_{F_1}F1F1F_1 নির্ধারণের সমস্যা, প্রদত্ত বিবেচনা , অন্য CNF ফর্মুলা যেমন ভেরিয়েবল একই সেট দিয়ে F_1 , সঙ্গে S_ {F_2} = S_ {F_1} (হিসাবে একই সমাধান ক্ষেত্র F_1 ), কিন্তু …

18 cc.complexity-theory  co.combinatorics  sat  formulas 

আমি মনে করি যে উপপাদাগুলির একটি তালিকা তৈরি করা ভাল ধারণা হবে যে পি পি এনপির সমান হয় না এবং কেবল যদি এই জাতীয় এবং এইভাবে প্রস্থান হয়, কিছু জটিলতা শ্রেণি অন্য জটিলতার ক্লাসে অন্তর্ভুক্ত থাকে এবং আরও অনেক কিছু।

18 cc.complexity-theory  big-list  p-vs-np 

সংক্ষিপ্ত সুপারস্ট্রিং সমস্যার সঠিক জটিলতা সম্পর্কে কী জানা যায়? এটি চেয়ে দ্রুত সমাধান করা যায় O∗(2n)O∗(2n)O^*(2^n)? এমন কি অ্যালগরিদম রয়েছে যা টিএসপিকে হ্রাস না করে সংক্ষিপ্ততম সুপারস্ট্রিং সমাধান করে? ইউপিডি: বহুপদী উপাদানগুলিকে দমন করে।O∗(⋅)O∗(⋅)O^*(\cdot) সংক্ষিপ্ততম সুপারস্ট্রিং সমস্যা হ'ল এমন একটি সমস্যা যার উত্তর হ'ল সংক্ষিপ্ততম স্ট্রিং যা প্রদত্ত স্ট্রিংগুলির সেট …

18 cc.complexity-theory  ds.algorithms  graph-theory  tsp  exp-time-algorithms 

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 

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

18 cc.complexity-theory  reference-request  time-complexity  query-complexity 

সম্পাদনা (আগস্ট 22, 2011): আমি প্রশ্নটি আরও সরলীকরণ করছি এবং প্রশ্নের উপর একটি অনুগ্রহ রেখেছি। সম্ভবত এই সহজ প্রশ্নের সহজ উত্তর হবে। আমি মূল প্রশ্নের যে সমস্ত অংশ আর প্রাসঙ্গিক নয় সেগুলি হরতাল করতে চলেছি। (মূল প্রশ্নের আংশিক উত্তর দেওয়ার জন্য স্ট্যাসিস জুকনা এবং রায়ান ও ডনেলকে ধন্যবাদ!) পটভূমি: ডিপিসি …

18 cc.complexity-theory  lower-bounds  circuit-complexity 

এখানে লক্ষ্যটি হ'ল স্বল্পসংখ্যক ক্লজ এবং ভেরিয়েবলের সংখ্যার সাহায্যে বহুবিবাহের সময় একটি স্বেচ্ছাসেবক SAT সমস্যা হ্রাস করতে। আমার প্রশ্ন কৌতূহল দ্বারা অনুপ্রাণিত হয়। কম আনুষ্ঠানিকভাবে, আমি জানতে চাই: "স্যাট থেকে 3-স্যাট থেকে 'সবচেয়ে প্রাকৃতিক' হ্রাস কী?" আমি পাঠ্য বইয়ে সর্বদা যে হ্রাস দেখেছি তা এরকম কিছু হয়: প্রথমে আপনার স্যাট …

18 cc.complexity-theory  sat  reductions 

(n+1)(n+1)(n + 1) পয়েন্টগুলি ডিগ্রি এর একটি বহুপদী নির্ধারণের জন্য স্বতন্ত্রভাবে আবশ্যকnnn; উদাহরণস্বরূপ, একটি প্লেনে দুটি পয়েন্ট হুবহু একটি লাইন নির্ধারণ করে। কিভাবে অনেক পয়েন্ট স্বতন্ত্র করার প্রয়োজন হয় তা নির্ধারণ একটি গণনীয় ফাংশন , একটি প্রোগ্রাম এর দৈর্ঘ্য দেওয়া যে নির্ণয় চ একটি নির্দিষ্ট ভাষায়? (অর্থাত্ চ এর কোলমোগোরভ …

18 cc.complexity-theory  computability 

এটা সর্বজনবিদিত যে পি = এন পিP=NP\mathbf{P}=\mathbf{NP} তারপর বহুপদী অনুক্রমের ভেঙে এবং পি = পি এইচP=PH\mathbf{P}=\mathbf{PH} । এটি সহজেই ওরাকল মেশিনগুলি ব্যবহার করে সূক্ষ্মভাবে বোঝা যায়। প্রশ্ন হল - কেন আমরা পরিবর্তনও একটি ধ্রুবক স্তর অতিক্রম করিয়া প্রস্তাবনামূলক প্রক্রিয়াটি চালিয়ে যান এবং প্রমাণ করতে পি = একটি ঠ টি টি …

18 cc.complexity-theory  polynomial-hierarchy  intuition 

আমি মনে করি যে সার্কিট জটিলতার জন্য একটি আকারের হায়ারার্কি উপপাদ্যটি অঞ্চলে একটি বড় অগ্রগতি হতে পারে। এটি কি শ্রেণি বিচ্ছেদের একটি আকর্ষণীয় পদ্ধতির? প্রশ্নের অনুপ্রেরণাটি আমাদের বলতে হবে কিছু ফাংশন রয়েছে যা আকার সার্কিটের সাথে গণনা করা যায় না এবং একটি আকার দ্বারা গণনা করা যায়f(n)f(n)f(n)g(n)g(n)g(n) সার্কিট দিয়ে যেখানে …

18 cc.complexity-theory  circuit-complexity  lower-bounds  natural-proofs  hierarchy-theorems 

এটি কি সত্য যে সময়ে (বহুবর্ষীয় স্তরক্রমের কিছু স্তরে একটি বিকল্প ট্যুরিং মেশিন দ্বারা) সমাধানযোগ্য যে বহুত্বীয় শ্রেণিবিন্যাসে সমস্যা আছে যা O ( n কে - 1 ) এর যে কোনও স্তরে দ্রবণযোগ্য নয় বহুবর্ষীয় শ্রেণিবিন্যাস? অন্য কথায় - বহিরাগত শ্রেণিবিন্যাসের জন্য কি পি এবং এনপি-র মতো একটি সময়ক্রমক্রমের উপপাদ্য …

18 cc.complexity-theory  reference-request  polynomial-hierarchy  time-hierarchy 

আমি কী বুঝতে পারছি যে কোনও সমস্যা এনপি সম্পূর্ণ প্রমাণ করা একটি গবেষণা সাফল্য? যদি তাই হয় কেন?

18 cc.complexity-theory  np-hardness  big-picture 

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

18 cc.complexity-theory  soft-question  big-picture 

সম্প্রতি, ওয়াটারস এট আল প্রমাণ করেছে যে কিউআইপি (3) = পিএসপিএসি একটি উল্লেখযোগ্য ফলাফল। এটি আমার কাছে অবাক করার মতো ফলাফল ছিল যা আমি কম বলেছি এবং এটি আমাকে চিন্তাভাবনা থেকে সরিয়ে দিয়েছে ... আমি ভাবলাম যে কোয়ান্টাম কম্পিউটারগুলি ক্লাসিকাল কম্পিউটারগুলি দ্বারা দক্ষতার সাথে অনুকরণ করা যায়। এটি কি আইপি …

18 cc.complexity-theory  quantum-computing  space-bounded  conditional-results  interactive-proofs 

সর্বোচ্চ ডিগ্রি 3 এর প্ল্যানার দ্বিপক্ষীয় গ্রাফের শ্রেণিতে সীমাবদ্ধ গ্রাফগুলিতে ডমিনিটিং SET সমস্যার জন্য এনপি-সম্পূর্ণতার ফলাফল সম্পর্কে কেউ কি জানেন? আমি জানি যে এটি সর্বোচ্চ ডিগ্রি 3 (গ্যারি এবং জনসন বইটি দেখুন) এর প্ল্যানার গ্রাফের জন্য NP- সম্পূর্ণ, পাশাপাশি সর্বোচ্চ ডিগ্রি 3 এর দ্বিপক্ষীয় গ্রাফের জন্য দেখুন (এম। Chleb andk …

18 cc.complexity-theory  graph-theory