তাত্ত্বিক কম্পিউটার বিজ্ঞান

ইম্পাগলিয়াজো, পাটুরি এবং ক্যালাব্রো, ইমপাগলিয়াজো, পাটুরি এক্সপেনশনাল -টাইম হাইপোথিসিস (ইটিএইচ) এবং স্ট্রংলি এক্সপোনেনশিয়াল-টাইম হাইপোথিসিস ( এসইটিএইচ) প্রবর্তন করেছিলেন। মোটামুটিভাবে, 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 

আমি "ক্যালকুলাস" এর একমাত্র সংজ্ঞাটি বিশ্লেষণের সীমা, ডেরাইভেটিভস, ইন্টিগ্রাল ইত্যাদির অধ্যয়ন is লাম্বদা ক্যালকুলাস (বা মি ক্যালকুলাসের মতো জিনিস) "ক্যালকুলাস" কোন অর্থে? এটি বিশ্লেষণে ক্যালকুলাসের সাথে কীভাবে সম্পর্কিত?

11 terminology  lambda-calculus 

ইউপি ক্লাসটি যেমন সংজ্ঞায়িত করা হয়: কোনও এনপি মেশিনের দ্বারা সমাধানযোগ্য সমস্যার সিদ্ধান্তের শ্রেণি 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 

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

11 ds.algorithms  reference-request  survey  books 

আমি ১৯ Imp৯ সালে ইম্পাগলিয়াজো এবং উইগডারসনের বিখ্যাত reading কাগজটি পড়ছি Since যেহেতু আমি এই ক্ষেত্রে নতুন এবং কাগজটি একটি সংক্ষিপ্ত সম্মেলনের সংস্করণ, তাই তাদের প্রমাণগুলি অনুসরণ করতে আমার অসুবিধা হচ্ছে। বিশেষত, তাদের কিছু নতুন উপপাদীর প্রমাণের অভাব রয়েছে। আমার সর্বোত্তম জ্ঞানের জন্য জার্নাল সংস্করণ প্রকাশিত হয়নি।পি = বি পি …

11 cc.complexity-theory  reference-request  circuit-complexity  derandomization  pseudorandom-generators 

যাক বুলিয়ান ভেরিয়েবল একটি ভেক্টর দেখুন। যাক সি , ডি দুটি বুলিয়ান সার্কিট হতে এক্স । বলুন যে সি ডি এর সমান হয় যদি:x=(x1,…,xn)x=(x1,…,xn)x=(x_1,\dots,x_n)C,DC,DC,DxxxCCCDDD Pr[C(x)≠D(x)]Pr[C(x)≠D(x)]\Pr[C(x) \ne D(x)]xxx{0,1}n{0,1}n\{0,1\}^n C,DC,DC,D গ্রাফ সম্পাদনার দূরত্বকে একটি ক্ষুদ্র পরিমাণ দ্বারা পৃথক করে (তাদের সম্পাদনার দূরত্বটি সার্কিটের আকারের তুলনায় অনেক ছোট, বলুন, বা কিছু ছোট ধ্রুবক), …

11 sat  application-of-theory 

একমুখী বিকল্প পুশডাউন অটোমেটা (1APDA) কোনও শব্দ চিনতে পারে চন্দ্র, কোজেন এবং স্টকমেয়ার দ্বারা আবর্তন, 1981) । কাউন্টার দিয়ে 1 এপিডিএর পুশডাউন স্টোরেজটি প্রতিস্থাপনের মাধ্যমে আমরা ওয়ান-কাউন্টার (1ACA) দিয়ে একমুখী বিকল্প অটোমেটন পেতে পারি। আমার প্রশ্নটি অ্যারারি ভাষাগুলিতে 1ACA সম্পর্কিত।ডি টিআমিএমই( 2)ও ( এন ))ডিটিআমিএমই(2হে(এন)) DTIME(2^{O(n)}) 1ACAs কিছু অনার্য নিয়মিত …

11 automata-theory  counter-automata  unary-languages 

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

11 cc.complexity-theory  reference-request  graph-isomorphism 

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

11 cc.complexity-theory  counting-complexity  gt.game-theory 

শন অ্যান্ডারসন প্রকাশিত বিট হ্যাক twiddling এরিক কোল এর এলগরিদম ধারণকারী এটি একটি এর -বিট পূর্ণসংখ্যা মধ্যে সংখ্যাবৃদ্ধি এবং লুকআপ অপারেশন।⌈log2v⌉⌈log2⁡v⌉\lceil\log_2 v \rceilNNNvvvO(lg(N))O(lg⁡(N))O(\lg(N)) অ্যালগরিদম ডি ব্রুইজন ক্রম থেকে একটি "যাদু" সংখ্যার উপর নির্ভর করে। কেউ কি এখানে ব্যবহার করা অনুক্রমের মৌলিক গণিতের বৈশিষ্ট্য ব্যাখ্যা করতে পারে? uint32_t v; // find …

11 nt.number-theory  comp-number-theory 

আমি এএইচএসপি অ্যালগরিদমের শেষ ধাপগুলি বুঝতে অসুবিধা করেছি। GGG কে একটি আবেলীয় গ্রুপ হতে দিন এবং fff ফাংশনটি হও যা উপগোষ্ঠী আড়াল করে HHH। যাক G∗G∗G^* দ্বৈত গ্রুপ প্রতিনিধিত্ব GGG । এখানে অ্যালগরিদমের পদক্ষেপ রয়েছে প্রথমে রাষ্ট্র প্রস্তুত করুন, ।I=1|G|∑g∈G|g⟩|0⟩I=1|G|∑g∈G|g⟩|0⟩\qquad \displaystyle I=\frac{1}{|G|} \sum_{g \in G} |g\rangle|0\rangle তারপর কোয়ান্টাম ওর্যাকল মূল্যায়ণ …

11 ds.algorithms  quantum-computing  gr.group-theory 

আমি নীচের দাবিগুলি সত্য বলে বুঝতে পেরেছি: প্রদত্ত সিএফজিতে একটি স্ট্রিংয়ের দুটি স্বতন্ত্র ডারাইভেশন কখনও কখনও একই প্যারাস গাছটিকে স্ট্রিংকে দায়ী করতে পারে। যখন কোনও প্রদত্ত সিএফজিতে কিছু স্ট্রিংয়ের বিকাশ ঘটে যা বিভিন্ন পার্স গাছের বৈশিষ্ট্য দেয়, তখন সিএফজি দ্বিধাগ্রস্ত হয়। দ্ব্যর্থহীন সিএফজির দ্বারা উত্পন্ন কয়েকটি প্রসঙ্গ-মুক্ত ভাষাও দ্ব্যর্থহীন সিএফজি …

11 fl.formal-languages  regular-language  context-free