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

একটি পঠিত একবার সিদ্ধান্ত গাছ নীচে হিসাবে সংজ্ঞায়িত করা হয়: এবং এফ একটি ঠ গুলি ই পাঠযোগ্য একবার সিদ্ধান্ত গাছ হয়।টিR তোমার দর্শন লগ করা ইTrueTrueএফa l s eFalseFalse যদি এবং বি একবারে সিদ্ধান্ত গৃহীত গাছ হয় এবং x একটি পরিবর্তনশীল হয় যা A এবং B তে ঘটে না , …

11 cc.complexity-theory  lo.logic  decision-trees  boolean-formulas 

সীমাবদ্ধ বিপরীতমুখী সেমিগ্রুপ আইসোমরফিজম সমস্যা জিআই-সম্পূর্ণ ? এখানে সসীম বিপরীতমুখী সেমিগ্রুপগুলি তাদের গুণ টেবিল দ্বারা দেওয়া বলে ধরে নেওয়া হয়।

11 cc.complexity-theory  graph-isomorphism 

নিম্নলিখিত সমস্যা বিবেচনা করুন: দুটি স্ট্রিং x, y দেওয়া হয়েছে তা স্থির করে নিন যে সেখানে স্ট্রিং হোমোমর্ফিজম f রয়েছে যা f (x) = y। এটি সহজেই দেখানো যায় যে এই সমস্যাটি । এই সমস্যা সম্পর্কে আমরা বলতে পারি এমন আরও কিছু জিনিস রয়েছে? যেমন এটি সি ও এন পি …

11 cc.complexity-theory  reference-request  fl.formal-languages 

কিছু ক্ষেত্র হতে দিন । যথারীতি, আমরা সংজ্ঞায়িত করিkkkf∈k[x1,x2,…,xn]f∈k[x1,x2,…,xn]f\in k[x_{1},x_{2},\ldots,x_{n}]L(f)L(f)L(f) সরল-রৈখিক জটিলতা হতে fff উপর kkk । যাক FFF এর monomials সেট হতে fff , যথা monomials যা প্রদর্শিত fff নন-জিরো সহগ সঙ্গে। এটা কি সত্য যে ∀m∈F:L(m)≤L(f)∀m∈F:L(m)≤L(f) \forall m\in F:L(m)\le L(f) ? এমনকি জন্য কিছু দুর্বল ওপেন বাউন্ডও L(m)L(m)L(m)জানা …

11 cc.complexity-theory  algebraic-complexity  arithmetic-circuits 

ধরুন যে আমাদের ইনপুট একটি বাইনারি হয় এবং আমরা আউটপুট আছে ⌊ এক্স / গ ⌋ , যেখানে গ কিছু ধ্রুবক পূর্ণসংখ্যা। এটি কেবলমাত্র একটি শিফট যদি গ এর দুটি শক্তি হয় তবে অন্য সংখ্যার কী হবে? আমরা এটা প্রত্যেক জন্য একটি ধ্রুবক গভীরতা বর্তনী দিয়ে কি পারবেন গ ? …

11 cc.complexity-theory  circuit-complexity  ac0 

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

11 cc.complexity-theory  np  board-games  pspace 

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

11 cc.complexity-theory  reference-request  computability  computing-over-reals  computable-analysis 

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

11 cc.complexity-theory  graph-theory 

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

11 cc.complexity-theory  graph-theory  graph-algorithms  co.combinatorics 

সম্পর্কিত প্রশ্ন পড়ার পরে অ্যালগরিদমের অ-গঠনমূলক অস্তিত্বের প্রমাণ সম্পর্কে আমি ভাবছিলাম যে আসলে এটি তৈরি না করে "ছোট" (বলুন, রাজ্য-ভিত্তিক) গণনা মেশিনগুলির অস্তিত্ব দেখানোর পদ্ধতি আছে কি না? আনুষ্ঠানিকভাবে: অনুমান করা আমরা কিছু ভাষা দেওয়া হয় এবং কিছু গণনার মডেল (NFAs / টুরিং মেশিন / ইত্যাদি) সমাধান করুন।এল ⊆ Σ*L⊆Σ∗L\subseteq …

11 cc.complexity-theory  automata-theory  turing-machines 

ইম্পাগলিয়াজো, পাটুরি এবং ক্যালাব্রো, ইমপাগলিয়াজো, পাটুরি এক্সপেনশনাল -টাইম হাইপোথিসিস (ইটিএইচ) এবং স্ট্রংলি এক্সপোনেনশিয়াল-টাইম হাইপোথিসিস ( এসইটিএইচ) প্রবর্তন করেছিলেন। মোটামুটিভাবে, SETH বলছে যে এমন কোনও অ্যালগরিদম নেই যা সময়কে sol এ স্যাট সমাধান করে । 1.99এন1.99n1.99^n আমি ভাবছিলাম এসথ ভাঙার অর্থ কী? আমাদের অবশ্যই একটি অ্যালগরিদম সন্ধান করা দরকার যা than …

11 cc.complexity-theory  sat  exp-time-algorithms 

আমি একটি জটিলতা শ্রেণীর সন্ধান করছি যা এপিএক্সের সাথে সম্পর্কিত যেমন বিপিপি পি সম্পর্কিত। আমি ইতিমধ্যে এখানে একই প্রশ্নটি জিজ্ঞাসা করেছি , তবে সম্ভবত টিসিএস উত্তরগুলির জন্য আরও ফলপ্রসূ অবস্থান হবে location প্রশ্নের কারণ হ'ল ব্যবহারিক সমস্যাগুলির মধ্যে প্রায়শই পর্যাপ্ত উচ্চ আত্মবিশ্বাসের সাথে প্রায়শই আনুমানিক উত্তরগুলি (যেমন এপিএক্স) খুঁজে পাওয়া …

11 cc.complexity-theory  approximation-hardness 

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

11 cc.complexity-theory  unique-solution 

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

11 cc.complexity-theory  complexity-classes 

ধরে নিন যে আমাদের একটি অ্যারে A[1..n]A[1..n]A[1..n] নননেগেটেভ পূর্ণ সংখ্যার (অগত্যা স্বতন্ত্র নয়)। যাক BBB হতে AAA nonincreasing অনুক্রমে সাজানো। আমরা গণনা করতে চাই m=maxi∈[n]B[i]+i.m=maxi∈[n]B[i]+i.m = \max_{i\in [n]} B[i]+i. সুস্পষ্ট সমাধানটি A কে বাছাই করা হয় AAAএবং তারপরে mmm । এটি একটি অ্যালগরিদম দেয় যা সবচেয়ে খারাপ ক্ষেত্রে সময় O(nlgn)O(nlg⁡n)O(n …

11 cc.complexity-theory  ds.algorithms  optimization  sorting