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

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

13 cc.complexity-theory  reference-request  graph-theory  np-hardness 

টাইম চলমান একটি অ্যালগরিদম দেওয়া , আমরা একে একে tri t ( n ) লগ টি ( এন ) এর আকারের একই সমস্যার জন্য "তুচ্ছ" ইউনিফর্ম সার্কিট পরিবারে রূপান্তর করতে পারি ।t(n)t(n)t(n)≈t(n)logt(n)≈t(n)log⁡t(n)\approx t(n)\log t(n) অন্যদিকে, এটি হতে পারে যে সমস্যাটির জন্য আমাদের অনেক কম ইউনিফর্ম সার্কিট রয়েছে, এমনকি যদি একটি …

13 cc.complexity-theory  circuit-complexity  uniformity 

আমি একটি নির্দিষ্ট সময়সূচী সমস্যার সাথে নিম্নলিখিত পার্টিশন সমস্যার হ্রাস পেয়েছি: ইনপুট: একটি তালিকা a1⩽⋯⩽ana1⩽⋯⩽ana_1\leqslant\cdots\leqslant a_n অ কমে অনুক্রমে ধনাত্মক পূর্ণসংখ্যা হয়। প্রশ্ন: সেখানে কি ভেক্টর রয়েছে (x1,…,xn)∈{−1,1}n(x1,…,xn)∈{−1,1}n(x_1,\ldots,x_n)\in\{-1,1\}^n যেমন ∑i=1naixi=0and∑i=1naixi=0and\sum_{i=1}^na_ix_i=0\qquad\text{and} ∑i=1kaixi⩾0for all k∈{1,…,n}∑i=1kaixi⩾0for all k∈{1,…,n}\sum_{i=1}^ka_ix_i\geqslant 0\quad\text{for all }k\in\{1,\ldots,n\} দ্বিতীয় শর্ত ছাড়াই এটি কেবল পার্টিশন, সুতরাং এনপি-হার্ড। তবে দ্বিতীয় শর্তটি অনেকগুলি …

13 cc.complexity-theory  reference-request  partition-problem  subset-sum 

পটভূমি: সিদ্ধান্ত গাছ জটিলতা বা ক্যোয়ারী জটিলতা নিম্নোক্তভাবে সংজ্ঞায়িত গণনার একটি সাধারণ মডেল। যাক একটি বুলিয়ান ফাংশন হবে। এর নির্ণায়ক ক্যোয়ারী জটিলতা চ , প্রকাশ ডি ( চ ) , সর্বনিম্ন ইনপুটের বিট সংখ্যা এক্স ∈ { 0 , 1 } এন পড়তে হবে একটি নির্ণায়ক আলগোরিদিম দ্বারা যে হবে …

13 cc.complexity-theory  reference-request  query-complexity  decision-trees 

শিরোনামটি কিছুটা বিভ্রান্তিকর: তবে আশা করি প্রশ্নটি এটি নয়: Grønlund এবং Pettie এর নতুন ফলাফলের দেখাচ্ছে যে 3SUM হয়েছে শুধুমাত্র সিদ্ধান্ত গাছ জটিলতা আমাকে হতাশ করেছেন:ও ( এন)3 / 2)O(n3/2)O(n^{3/2}) সেখানে একটা সিদ্ধান্ত গাছ জটিলতা কোন সমস্যা হওয়ার একটি সহজ উদাহরণ কিন্তু যে একটি কম আবদ্ধ স্বীকার (আরো বিস্তারিত মডেল) …

13 cc.complexity-theory  machine-models  decision-trees 

আমি সম্প্রতি গণনার বিএসএস মডেল অধ্যয়ন করছি (সিএফ। উদাহরণস্বরূপ জটিলতা এবং রিয়েল কম্পিউটেশন; ব্লাম, কাকার, শুব, স্যামেল।) রিয়েলস জন্য এটি দেখানো হয়েছে যে বহুবচনগুলির একটি ব্যবস্থা f 1 , ⋯ , f m ∈ R [ x 1 , ⋯ , x n ] দিয়ে শূন্যের অস্তিত্ব হ'ল এন পি …

13 cc.complexity-theory  computing-over-reals 

আসুন the সংখ্যাগরিষ্ঠ ফাংশন, যেমন হলে এবং কেবল যদি । আমি ভাবছিলাম যে নিম্নলিখিত বিষয়গুলির একটি সহজ প্রমাণ আছে কিনা ("সহজ" দ্বারা আমি বোঝাচ্ছি ভ্যালেন্ট ৮৪ এর মতো সম্ভাব্য পদ্ধতিতে বা নেটওয়ার্ক বাছাইয়ের উপর নির্ভর না করা; সম্ভবত সার্কিটের একটি স্পষ্ট, সরল নির্মাণ সরবরাহ):f ( x ) = 1 ∑ …

13 cc.complexity-theory  circuit-complexity  boolean-functions  circuit-families  circuit-depth 

সাম্প্রতিক প্রশ্ন (দেখুন দ্বারা NP = PSPACE ফল ) এর "কদর্য" পরিণতি চাইলেন । এবং অন্যান্য সহ উত্তরগুলি বেশ কয়েকটি ধসে পড়ার পরিণতিগুলির তালিকা করে, বিশ্বাস করার প্রচুর কারণ সরবরাহ করে ।এন পি = সি ও এন পি এন পি ≠ পি এস পি এ সি সি ইএনপি= পিএসপিএ সিইNP=PSPACENP=PSPACEএনপি= …

13 cc.complexity-theory  complexity-classes  conditional-results 

নিম্নলিখিত সমস্ত কি একসাথে রাখা যাবে? মধ্যে অন্তর্ভুক্ত করা হয় এল গুলি + + 1 জন্য সব ধনাত্মক পূর্ণসংখ্যা গুলি ।এলগুলিLsL_sএলs + 1Ls+1L_{s+1}গুলিss সব সসীম শব্দের ভাষা { 0 , 1 } ।এল = ⋃গুলিএলগুলিL=⋃sLsL = \bigcup_s L_s{ 0 , 1 }{0,1}\{0,1\} কিছু জটিলতা ক্লাস হয় এবং জন্য হ্রাস উপযুক্ত …

13 cc.complexity-theory  complexity-classes  reductions 

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

13 cc.complexity-theory  one-way-function 

যাক একটি বুলিয়ান ফাংশন হবে এন বুলিয়ান ভেরিয়েবল। যাক ছ ( এক্স ) = টি ε ( চ ) ( এক্স ) প্রত্যাশিত মান হতে চ ( Y ) যখন Y থেকে প্রাপ্ত হয় এক্স প্রতিটি সম্ভাব্যতা সঙ্গে সমন্বয় আলোকসম্পাতের দ্বারা ε / 2 ।fffnnng(x)=Tϵ(f)(x)g(x)=Tϵ(f)(x)g(x)=T_\epsilon (f) (x)f(y)f(y)f(y)yyyxxxϵ/2ϵ/2\epsilon/2 আমি ক্ষেত্রে যেখানে …

13 cc.complexity-theory  circuit-complexity  boolean-functions 

যুক্তিযুক্ত এন্ট্রি সহ একটি ম্যাট্রিক্স এ দেওয়া । চেক করতে জটিলতা কি একটি diagonalizable হয়?n×nn×nn\times nAAAAAA আমি সন্দেহ করি যে এটি পি তে করা যেতে পারে তবে আমি কোনও রেফারেন্স জানি না। যাইহোক, আরও আকর্ষণীয় প্রশ্ন হ'ল, এই সমস্যাটি ধরার জন্য আরও ভাল কোনও জটিল শ্রেণি নেই? কোন গাইডেন্স / …

13 cc.complexity-theory  linear-algebra  matrices 

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

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

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

13 cc.complexity-theory  np-hardness  partition-problem 

এটি সহজেই দেখতে পাওয়া যায় যে যদি তবে মোট এন পি অনুসন্ধান সমস্যা রয়েছে যা বহু কালীন সময়ে সমাধান করা যায় না (সদস্যতার জন্য সাক্ষী এবং নন-এম্বারশিপের সাক্ষী উভয়কে রেখে সম্পূর্ণ অনুসন্ধানের সমস্যা তৈরি করুন)।এন পি ∩ সি ও এন পি ≠ পিNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq \mathsf{P}এন পিNP\mathsf{NP} কথোপকথনটি কি সত্য, অর্থাৎ …

13 cc.complexity-theory  reference-request  search-problem