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

পি বনাম এনপি এবং অন্যান্য সংস্থান-সীমাবদ্ধ গণনা।

9
এনপি-হার্ড সমস্যার জন্য অনুকূল লোভী অ্যালগরিদম
লোভ, একটি ভাল শব্দ অভাবের জন্য, ভাল। প্রারম্ভিক অ্যালগরিদম কোর্সে শেখানো প্রথম অ্যালগরিদমিক দৃষ্টান্তগুলির মধ্যে একটি হ'ল লোভী দৃষ্টিভঙ্গি । লোভী পদ্ধতির ফলাফল পি তে অনেক সমস্যার জন্য সহজ এবং স্বজ্ঞাত আলগোরিদিমগুলিতে আসে More আরও মজার বিষয়, কিছু এনপি-হার্ড সমস্যার জন্য সুস্পষ্ট এবং প্রাকৃতিক লোভী / স্থানীয় অ্যালগরিদম ফলাফল (সম্ভাব্য) …
5
ইন্ডাকশন ছাড়াই কি এমন যুক্তি রয়েছে যা বেশিরভাগ পি কে ক্যাপচার করে?
Immerman-Vardi উপপাদ্য বলে যে, PTIME (অথবা পি) অবিকল ভাষায় বর্গ প্রথম অর্ডার লজিক এর একটি বাক্য দ্বারা বর্ণিত যে করা যাবে একসঙ্গে একটি নির্দিষ্ট বিন্দু অপারেটর সঙ্গে, আদেশ স্ট্রাকচার ক্লাস শেষ। ফিক্সড পয়েন্ট অপারেটর হয় হয় কমপক্ষে স্থির-পয়েন্ট (ইমারম্যান এবং ভার্দি দ্বারা বিবেচিত), বা মুদ্রাস্ফীতি স্থায়ী-পয়েন্ট হতে পারে। (স্টিফান ক্রিয়েটজার, …
3
সর্বোত্তমভাবে n × n × n সমাধান করছে রুবিকের কিউব এনপি-হার্ড?
রুবিক কিউবের স্পষ্ট সাধারণীকরণ বিবেচনা করুন । প্রদত্ত স্ক্র্যাম্বল্ড কিউব সমাধান করে এমন চালগুলির সংক্ষিপ্ততর ক্রমটি গণনা করা কি এনপি-হার্ড বা বহু-কালীন অ্যালগরিদম রয়েছে?n × n × nn×n×nn\times n\times n [ আমার সাম্প্রতিক ব্লগ পোস্টে সম্পর্কিত কিছু ফলাফল বর্ণনা করা হয়েছে ]]
4
উদাহরণগুলির যেখানে সমাধানের স্বতন্ত্রতা এটি সন্ধান করা আরও সহজ করে তোলে
জটিলতা শ্রেণীর সেই এন পি- প্রবলেমগুলি নিয়ে গঠিত যা একটি বহুবর্ষ সময় ননডেটারিস্টেমনিক ট্রুরিং মেশিন দ্বারা সিদ্ধান্ত নেওয়া যেতে পারে যা সর্বাধিক একটি গণনার পথ গ্রহণ করে। অর্থাত, সমাধান, যদি কোনও হয়, এই অর্থে অনন্য । এটা অত্যন্ত অসম্ভাব্য যে সব মনে করা হয় ইউ পি -problems হয় পি কারণ …
6
জ্যামিতিক সমস্যাগুলি যেগুলি এনপি-সম্পূর্ণ তবে ট্র্যাকটেবল হতে পারে ?
বিবেচনা করার সময় বেশ কয়েকটি জ্যামিতিক সমস্যাগুলি সহজ , তবে জন্য এনপি-সম্পূর্ণ (আমার প্রিয় সমস্যাগুলির মধ্যে একটি, ইউনিট ডিস্ক কভার সহ) includingR1R1R^1RdRdR^dd≥2d≥2d\geq2 এবং জন্য পলটাইম দ্রবণযোগ্য তবে জন্য এনপি-সম্পূর্ণ রয়েছে এমন কোনও সমস্যা কি কেউ জানেন ? R1R1R^1R2R2R^2Rd,d≥3Rd,d≥3R^d,d\geq3 আরও সাধারণভাবে, আরকি- জন্য এনপি-সম্পূর্ণ তবে , যেখানে , এমন কি ?RkRkR^kRk−1Rk−1R^{k-1}k≥3k≥3k\geq3
2
তাত্ত্বিক কম্পিউটার বিজ্ঞানের জন্য প্রয়োজনীয় অ্যাক্সিমস
এই প্রশ্নটি ম্যাথওভারফ্লোতে প্রয়োগিত গণিত সম্পর্কিত একই প্রশ্ন দ্বারা অনুপ্রাণিত হয়েছিল এবং এই উত্তেজনাপূর্ণ ধারণা ছিল যে পি বনাম এনপি-র মতো টিসিএসের গুরুত্বপূর্ণ প্রশ্নগুলি জেডএফসি (বা অন্যান্য সিস্টেমগুলি) থেকে স্বতন্ত্র থাকতে পারে। সামান্য ব্যাকগ্রাউন্ড হিসাবে, বিপরীত গণিত একটি নির্দিষ্ট গুরুত্বপূর্ণ উপপাদ্য প্রমাণ করার জন্য প্রয়োজনীয় অক্ষগুলি সন্ধানের প্রকল্প। অন্য কথায়, …
4
কি ?
আমরা জানি যে বহুবর্ষীয় শ্রেণিবিন্যাসের প্রথম স্তরের (অর্থাত্ এনপি এবং কো-এনপি) পিপিতে রয়েছে, এবং সেই । আমরা এও জানি থেকে তোদা এর উপপাদ্য যে ।পি এইচ ⊆ পি পি পিPP⊆PSPACEPP⊆PSPACEPP \subseteq PSPACEPH⊆PPPPH⊆PPPPH \subseteq P^{PP} আমরা কি জানি কিনা ? যদি না হয়, কেন এটা যে একটি সঙ্গে ওরাকল থেকে অনেক …
3
সীমাবদ্ধ ভিসি-মাত্রায় হিট সেটের প্যারামিটারাইজড জটিলতা
আমি ডি-ডাইমেনশনাল হিটিং সেট সমস্যাটি যা কল করব তার প্যারামিটারাইজড জটিলতায় আগ্রহী: একটি পরিসীমা স্থান দেওয়া (যেমন একটি সেট সিস্টেম / হাইপারগ্রাফ) এস = (এক্স, আর) সর্বাধিক ডি এবং একটিতে ভিসি-ডাইমেনশন রয়েছে ধনাত্মক পূর্ণসংখ্যার কে, এক্স কি আকারের কে এর একটি উপসেট ধারণ করে যা আর এর প্রতিটি পরিসরকে হিট …
3
কি বোঝায় ?
যতদূর আমি বুঝতে পেরেছি, জ্যামিতিক জটিলতা তত্ত্বের প্রোগ্রামটি -এনেক ভিএনপিকে পৃথক করার চেষ্টা করে প্রমাণ করে যে কোনও জটিল-মূল্যবান ম্যাট্রিক্সের পারমাঙ্কটি নির্ধারকের চেয়ে গণনা করা আরও শক্ত।VP≠VNPVP≠VNPVP \neq VNP জিসিটি পেপারগুলির মাধ্যমে স্কিমিংয়ের পরে আমার যে প্রশ্নটি ছিল: এটি কি অবিলম্বে বোঝায় , বা এটি কেবল এই লক্ষ্যের দিকে একটি …
3
সমস্যাটি দেখানোর কৌশলগুলি কঠোরতা "লিম্বো"
একটি নতুন সমস্যা দেওয়া হয়েছে যার সত্যিকারের জটিলতা পি এবং এনপি-সম্পূর্ণ হওয়ার মধ্যে কোথাও রয়েছে , এমন দুটি পদ্ধতি রয়েছে যা আমি জানি যে এটি সমাধান করা কঠিন তা প্রমাণ করার জন্য এটি ব্যবহার করা যেতে পারে:এন পিএনপি\mathsf{NP}পিপি\mathsf{P} সমস্যাটি জিআই-সম্পূর্ণ (জিআই = গ্রাফ আইসোমর্ফিজম) দেখান দেখান যে সমস্যাটি । জ্ঞাত …
3
ল্যাম্বদা-ক্যালকুলাসের মাধ্যমে পি এবং এনপি ক্লাসের ব্যাখ্যা
ভূমিকা এবং ব্যাখ্যায় পি এবং এনপি জটিলতা ক্লাসগুলি প্রায়শই ট্যুরিং মেশিনের মাধ্যমে দেওয়া হয়। গণনার মডেলগুলির মধ্যে একটি হ'ল ল্যাম্বদা-ক্যালকুলাস। আমি বুঝতে পেরেছি, গণনার সমস্ত মডেল সমান (এবং আমরা যদি ট্যুরিং মেশিনের দিক দিয়ে কিছু উপস্থাপন করতে পারি তবে আমরা এটি গণনার কোনও মডেল হিসাবে পরিবেশন করতে পারি), তবে আমি …
4
পিসিপি উপপাদ্য ব্যতিরেকে আনুমানিকতার কঠোরতা
পিসিপি উপপাদ্যের একটি গুরুত্বপূর্ণ অ্যাপ্লিকেশনটি হ'ল এটি "আনুমানিকতার কঠোরতা" ধরণের ফলাফল দেয়। কিছু তুলনামূলক সহজ ক্ষেত্রে কেউ পিসিপি ছাড়াই এ জাতীয় কঠোরতা প্রমাণ করতে পারে। যাইহোক, পিসিপি উপপাদ্যটি ব্যবহার করে প্রথমে সান্নিধ্য ফলাফলের কঠোরতা প্রমাণিত হয়েছিল এমন কোনও ঘটনা আছে কি না, ফলাফলটি আগে জানা ছিল না, তবে পরে আরও …
3
জটিল চিড়িয়াখানার জন্য কি কোনও ব্যাকআপ / প্রতিস্থাপন আছে?
এটি একটি প্রযুক্তিগত প্রশ্ন নয়, তবে অবশ্যই টিসিএস সম্প্রদায়ের জন্য প্রাসঙ্গিক। যদি অনুচিত হিসাবে বিবেচনা করা হয়, বন্ধ করতে নির্দ্বিধায়। জটিলতা চিড়িয়াখানা ওয়েবপেজ (http://qwiki.stanford.edu/index.php/Complexity_Zoo) অবশ্যই বছরের পর বছর ধরে TCS সম্প্রদায়ে মহান সেবার হয়েছে। আপাতদৃষ্টিতে এটি বেশ কিছুদিন থেকে নিচে পড়েছে। আমি ভাবছিলাম, কেউ যদি এখনও এটি বজায় রাখে, যদি …
3
অ্যালগরিদমের তুলনায় র্যান্ডমনেস হ্রাসের উপর আরও শক্তিশালী প্রভাব ফেলবে কেন?
এটি অনুমান করা হয় যে এলোমেলোভাবে বহুবর্ষের সময় অ্যালগরিদমের শক্তি বাড়ায় না, অর্থাৎ । ধারণ করার জন্য অনুমান করা হয়। অন্যদিকে, এলোমেলোভাবে বহুবর্ষের সময় হ্রাসের ক্ষেত্রে বেশ আলাদা প্রভাব ফেলেছে বলে মনে হয় । বীর এবং Vazirani এর সুপরিচিত ফলাফলের মাধ্যমে, করার হ্রাস এলোমেলোভাবে বহুপদী সময় হ্রাস মাধ্যমে। এটি হ্রাসটি …
3
সূচকীয় ফাংশনের জটিলতা
আমরা জানি যে প্রাকৃতিক সংখ্যার চেয়ে বেশি ফাংশন এক্স ( x , y ) = x y বহুবর্ষের সময় গণনাযোগ্য নয়, কারণ আউটপুটটির আকার ইনপুটগুলির আকারের ক্ষেত্রে বহিরাগতভাবে আবদ্ধ হয় না।exp(x,y)=xyexp⁡(x,y)=xy\exp(x,y) = x^y সূচকীয় ফাংশনটি গণনা করতে অসুবিধার মূল কারণ কি, বা বিবেচ্যতা স্বতন্ত্রভাবে গণনা করা শক্ত, এই বিবেচনার বাইরে? …
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.