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

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

14 cc.complexity-theory  sorting 

কিছু ভাষা বিবেচনা করুন LLL এমন যে: L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L \in DTIME(O(f(n))) \cap DSPACE(O(g(n))) এবং তাই যে L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L \not\in DTIME(o(f(n))) \cup DSPACE(o(g(n))) অন্য কথায়, দ্রুততম মেশিন নির্ণয় সময় এবং সবচেয়ে স্থান দক্ষ মেশিন নির্ণয় স্থান ব্যবহার করার সময়।MMMLLLO(f(n))O(f(n))O(f(n))M′M′M'LLLO(g(n))O(g(n))O(g(n)) এম এর স্পেস দক্ষতা বা এম এর সময় দক্ষতা সম্পর্কে কী বলা যেতে পারে? …

14 cc.complexity-theory  ds.algorithms  open-problem  space-time-tradeoff 

প্রদত্ত গ্রাফ এর শীর্ষবিন্দুগুলির সংখ্যা গণনার # পি-সম্পূর্ণ সমস্যাটি বিবেচনা করুন ।G=(V,E)G=(V,E)G = (V, E) আমি জানতে চাই যে কোনও ফলাফলের কিছু পরামিতি (উদাহরণস্বরূপ, ।) সাথে এই জাতীয় সমস্যাটির কঠোরতা কীভাবে পরিবর্তিত হয় তা দেখায় কিনা তা জানতে চাই ।GGGd=|E||V|d=|E||V|d = \frac{|E|}{|V|} আমার সংবেদনটি হ'ল স্পার্স থাকাকালীন এবং যখন ঘন …

14 cc.complexity-theory  graph-theory  counting-complexity  time-complexity 

1) একটি # পি-সম্পূর্ণ সমস্যা #A থেকে একটি গণনা সমস্যা # বিতে পার্সোনোনিয়াস হ্রাস পাওয়া সম্ভব যখন # (সিদ্ধান্তের সংস্করণ) এ এনপি-সম্পূর্ণ হয় এবং বি পি তে থাকে? উদাহরণস্বরূপ, বি পিতে থাকা অবস্থায় # এসএটি থেকে # বি-তে কোনও পার্সামোনীয় হ্রাস হতে পারে? 2) বি পি তে থাকলে # বি …

14 cc.complexity-theory  complexity-classes  counting-complexity 

দুটি সিএনএফ দেওয়া, তাদের সত্য করার জন্য যদি তাদের একই সংখ্যক অ্যাসাইনমেন্ট থাকে তবে "হ্যাঁ" উত্তর দিন, অন্যথায় "না" উত্তর দিন। এটি দেখতে সহজ , যেহেতু আমরা যদি এই দুটি সিএনএফের সমাধানের সঠিক সংখ্যাটি জানি তবে আমরা কেবল তাদের শিবির স্থাপন করি এবং "হ্যাঁ" বা "না" উত্তর দিই answerP#PP#PP^{\#P} এই …

14 cc.complexity-theory  complexity-classes  counting-complexity 

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

14 cc.complexity-theory  circuit-complexity  space-bounded  arithmetic-circuits 

সাবসেট যোগ বা সংখ্যার পার্টিশন সমস্যার একটি উদাহরণ এনকোড করার কোনও উপায় রয়েছে যাতে কোনও পূর্ণসংখ্যার সম্পর্কের জন্য একটি (ছোট) সমাধান একটি উত্তর দেয়? যদি অবশ্যই না হয়, তবে কিছু সম্ভাব্য অর্থে? আমি জানি যে এলএলএল (এবং সম্ভবত পিএসএলকিউ) 'নিম্ন-ঘনত্ব' অঞ্চলে সাবসেট সামমের সমস্যাগুলি সমাধানে মাঝারি সাফল্যের সাথে ব্যবহার করা …

14 cc.complexity-theory  np-hardness  approximation-algorithms  reductions  subset-sum 

# স্যাট সমস্যাটি হ'ল ক্যানোনিকাল # পি-সম্পূর্ণ সমস্যা। এটি কোনও সিদ্ধান্ত সমস্যার পরিবর্তে একটি ফাংশন সমস্যা। এটা তোলে জিজ্ঞেস করে, একটি বুলিয়ান সূত্র দেওয়া propositional যুক্তিবিজ্ঞান, কত পরিতৃপ্ত বরাদ্দকরণ এফ হয়েছে। # স্যাট উপরের নিম্নতম সীমাটি কোনটি?FFFFFF

14 cc.complexity-theory  lower-bounds  sat  counting-complexity 

আমি অন্তর্ভুক্ত দুটি কাগজপত্র হ'ল: ডি কোজেন, "সাবক্রিসিভ ক্লাসগুলির সূচীকরণ" , এসটিওসি , 1978। আর । লাডনার, "স্ট্রাকচার অফ পলিনোমিয়াল টাইম হ্রাসযোগ্যতা" , জ্যাকএএম, 1975।

14 cc.complexity-theory  lo.logic  computability  big-list  structural-complexity 

রাইসের উপপাদ্যটিতে বলা হয়েছে যে কয়েকটি টিউরিং মেশিন দ্বারা স্বীকৃত সেটের প্রতিটি অনানুষ্ঠানিক সম্পত্তি অনস্বীকার্য। আমি জটিলতা-তাত্ত্বিক ধানের ধরণের উপপাদ্যের সন্ধান করছি যা আমাদের জানায় যে এনপি সেটের কোন অ-ক্ষণাত্মক বৈশিষ্ট্য অচল able

14 cc.complexity-theory  computability  np 

আপনি যদি প্রোগ্রাম যাচাইকরণের সাথে পরিচিত হন তবে আপনি ব্যাকগ্রাউন্ডের আগে প্রশ্নটি পড়া পছন্দ করতে পারেন । আপনি যদি প্রোগ্রাম যাচাইকরণের সাথে পরিচিত না হন তবে আপনি এখনও এই প্রশ্নের উত্তর দিতে সক্ষম হতে পারেন তবে আপনি প্রথমে পটভূমিটি পড়া পছন্দ করতে পারেন । পটভূমি এটি প্রায়শই বলা হয় যে …

14 cc.complexity-theory  lo.logic  program-verification  program-logic 

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

14 cc.complexity-theory  big-picture  reductions 

এটি কি জানা যায় যে সার্কিট মূল্যায়ন সমস্যা ? কীভাবে (ইউনিফর্ম )? এন সি 1 এ এল ও জি টি আই এম ই এন সি 1NC1NC1\mathsf{NC^1}NC1NC1\mathsf{NC^1}ALogTimeALogTime\mathsf{ALogTime}NC1NC1\mathsf{NC^1} আমরা জানি যে গভীরতা সার্কিটগুলি গভীরতা সার্কিটের সাথে মূল্যায়ন করা যেতে পারে যেখানে সর্বজনীন ধ্রুবক। গভীরতা এই উপায়ে সার্কিট গভীরতা একটি বর্তনী দ্বারা মূল্যায়ন …

14 cc.complexity-theory  reference-request  circuit-complexity 

আমি এটিতে কিছু অনুসন্ধান করেছি কিন্তু আমি কোনওভাবেই উত্তর খুঁজে পাচ্ছি না। হাক এর পুরো উত্তর দিয়েছিল। ধন্যবাদ :)

14 cc.complexity-theory  complexity-classes  time-complexity  space-complexity 

যাক সঙ্গে একটি CNF সূত্র হতে এন ভেরিয়েবল এবং মি ক্লজ। যাক টি ∈ { 0 , 1 } এন একটি পরিবর্তনশীল নিয়োগ এবং প্রতিনিধিত্ব চ φ ( T ) ∈ { 0 , ... , মি } করার জন্য একটি পরিবর্তনশীল নিয়োগ সন্তুষ্ট ক্লজ সংখ্যা গণনা φ । তারপরে …

14 cc.complexity-theory  sat  counting-complexity