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

ধরুন এবং উপর প্রান্তবিন্দু সেট দুই undirected গ্রাফ হয় । গ্রাফগুলি হয় যদি এবং কেবল তখনই যদি কোনও থাকে যেমন , বা আরও আনুষ্ঠানিকভাবে, যদি সেখানে থাকে যেমন একটি প্রান্ত তবে এবং কেবল যদি একটি প্রান্ত । গ্রাফ আইসোমরফিজম সমস্যা হ'ল দুটি প্রদত্ত গ্রাফ আইসোমরফিক হয় কিনা তা সিদ্ধান্ত নেওয়ার …

53 cc.complexity-theory  graph-isomorphism  pcp 

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

52 cc.complexity-theory  ds.algorithms  reference-request 

এটি একটি সুনির্দিষ্ট উত্তরের পরিবর্তে একটি বিষয়গত প্রশ্ন হতে পারে তবে যাইহোক। জটিলতার তত্ত্বে আমরা দক্ষ গণনার ধারণাটি অধ্যয়ন করি। এখানে classes এর মতো শ্রেণি সময় বলতে বোঝায় এবং log লগ স্পেসের জন্য দাঁড়িয়ে । উভয়কেই একধরণের "দক্ষতা" হিসাবে উপস্থাপিত হিসাবে বিবেচনা করা হয় এবং তারা কিছু সমস্যার অসুবিধাগুলি বেশ …

49 cc.complexity-theory  space-bounded  big-picture 

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

47 cc.complexity-theory  soft-question  research-practice 

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

47 cc.complexity-theory  np-hardness  tree 

আমরা জানি যে L⊆NL⊆PL⊆NL⊆P\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{P} এবং সেই L⊆NL⊆L2⊆L⊆NL⊆L2⊆\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{L}^2 \subseteq polyLpolyL\mathsf{polyL} , যেখানে L2=DSPACE(log2n)L2=DSPACE(log2⁡n)\mathsf{L}^2 = \mathsf{DSPACE}(\log^2 n) । আমরা জানি যে polyL≠PpolyL≠P\mathsf{polyL} \neq \mathsf{P}কারণ পরবর্তীটির লোগারিথমিক স্পেসের অধীনে সম্পূর্ণ সমস্যা রয়েছে একাধিক হ্রাস এবং পূর্বেরটি (স্থান স্থানক্রমের উপপাদ্যের কারণে নয়) does অর্ডার মধ্যে সম্পর্ক …

46 cc.complexity-theory  complexity-classes  conditional-results  structural-complexity 

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

46 cc.complexity-theory  big-picture 

3SAT এর জন্য সময় এবং সার্কিটের গভীরতার জন্য সর্বোত্তম বর্তমান নিম্নতম সীমাগুলি কী কী?

46 cc.complexity-theory  lower-bounds  sat 

অরোরা এবং বারাকের বইটি ফ্যাক্টরিংটিকে নিম্নলিখিত সমস্যা হিসাবে উপস্থাপন করেছে: ফ্যাক্টরিং = { ⟨ এল , ইউ, এন⟩|( ∃ একটি মৌলিক পি ∈ { এল , ... , ইউ} ) [ পি | এন] }FACTORING={⟨L,U,N⟩|(∃ a prime p∈{L,…,U})[p|N]}\text{FACTORING} = \{\langle L, U, N \rangle \;|\; (\exists \text{ a prime } …

45 cc.complexity-theory  np-hardness  factoring 

লাডনারের উপপাদ্যটিতে বলা হয়েছে যে যদি পি ≠ এনপি হয়, তবে সেখানে জটিলতার ক্লাসগুলির একটি অসীম শ্রেণিবিন্যাস রয়েছে যা কঠোরভাবে পি রয়েছে এবং এনপিতে কঠোরভাবে রয়েছে contained প্রমাণটি এনপিতে একাধিক হ্রাসের অধীনে স্যাট এর সম্পূর্ণতা ব্যবহার করে। শ্রেণিবিন্যাসে একধরণের তির্যককরণ দ্বারা নির্মিত জটিল শ্রেণি রয়েছে, প্রত্যেকটিতে এমন কিছু ভাষা রয়েছে …

45 cc.complexity-theory  reference-request  np-intermediate 

চমস্কি (üSchützenberger) শ্রেণিবদ্ধতা তাত্ত্বিক কম্পিউটার বিজ্ঞানের পাঠ্যপুস্তকগুলিতে ব্যবহৃত হয়, তবে এটি সম্পূর্ণ জটিলতা চিড়িয়াখানার চিত্রের তুলনায় প্রথাগত ভাষার (আরইজি, সিএফএল, সিএসএল, আরই) খুব সামান্য অংশকেই আবৃত করে । শ্রেণিবিন্যাস কি বর্তমান গবেষণায় কোনও ভূমিকা পালন করে? আমি এখানে চেমস্কির খুব কম রেফারেন্স পেয়েছি cstheory.stackexchange এ এবং কমপ্লেক্সি চিড়িয়াখানায় চমস্কি এবং …

45 cc.complexity-theory  automata-theory  fl.formal-languages  big-picture  teaching 

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

44 cc.complexity-theory  ds.algorithms 

এটি জানা যায় যে মেট্রিক টিএসপি মধ্যে প্রায় অনুমান করা যায় এবং 123 এর চেয়ে আরও ভাল অনুমান করা যায় না1.51.51.5বহুবারের সময়ে 122 । তাত্পর্যপূর্ণ সময়ে আনুমানিক সমাধানগুলি সন্ধান করার বিষয়ে কি কিছু জানা যায় (উদাহরণস্বরূপ,কেবলমাত্র বহুবর্ষীয় স্থান সহ2এনপদক্ষেপেরকম)? উদাহরণস্বরূপ, কোন সময় এবং স্থানের মধ্যে আমরা এমন একটি ট্যুর খুঁজে …

44 cc.complexity-theory  graph-algorithms  approximation-algorithms  tsp  exp-time-algorithms 

অনানুষ্ঠানিকভাবে বলতে, একটি স্ট্রিং এর Kolmogorov জটিলতা একটি সংক্ষিপ্ত প্রোগ্রামের দৈর্ঘ্য যে আউটপুট হয় x । আমরা এটি ব্যবহার করে 'এলোমেলো স্ট্রিং'র একটি ধারণা সংজ্ঞায়িত করতে পারি ( x যদি এলোমেলো হয় তবে K ( x ) ≥ 0.99 | x | ) এটি দেখতে সহজ যে বেশিরভাগ স্ট্রিং এলোমেলো …

44 cc.complexity-theory  big-list  co.combinatorics  it.information-theory 

ইন্টিগ্রালিটি গ্যাপের (আইজি) গুরুত্ব এবং এটির সীমাবদ্ধতা বুঝতে আমার সর্বদা সমস্যা ছিল । আইজি সমস্যাটির শিথিলকরণের সর্বোত্তম প্রকৃত সমাধানের (মানের গুণমান) সর্বোত্তম পূর্ণসংখ্যার উত্তর (এর গুণমান) এর অনুপাত। উদাহরণ হিসাবে ভার্টেক্স কভার (ভিসি) বিবেচনা করুন। ভিসি নিম্নলিখিত রৈখিক সমীকরণের একটি সর্বোত্তম পূর্ণসংখ্যার সমাধান অনুসন্ধান হিসাবে বলা যেতে পারে: গ্রাফের এর …

44 cc.complexity-theory  ds.algorithms  approximation-algorithms  linear-programming  integrality-gap