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

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

12 cc.complexity-theory  circuit-complexity  sat  context-free 

গণিতের পটভূমি থেকে আসা আমার কাছে এটি আকর্ষণীয় মনে হয় যে পুরো কম্পিউটারে বিজ্ঞানীরা অনুমানের অধীনে কাজ করার ঝোঁক রাখেন P≠NPP≠NPP \neq NP। যদিও কোনও উপায়ই নেই, সাধারণত, যদি না কিছু নির্দিষ্টভাবে গাণিতিক এবং বিজ্ঞান উভয় ক্ষেত্রেই অপ্রমাণিত হতে পারে তবে এটি যথেষ্ট পরিমাণ শক্তি নিয়ে নেওয়া হয়। আমি অনুভব …

12 p-vs-np 

মনে করুন আমরা ম্যাট্রিককে গুণ করতে চাই । ধীর ম্যাট্রিক্সের গুণ গুণ অ্যালগরিদম সময় এবং মেমরি ব্যবহার করে। দ্রুততম ম্যাট্রিক্সের গুণটি time সময়ে সঞ্চালিত হয় , যেখানে লিনিয়ার বীজগণিত ধ্রুবক, তবে এর স্মৃতি জটিলতায় কী পরিচিত?ও ( এন 3 ) ও ( এন 2 ) এন ω + ও ( …

12 ds.algorithms  linear-algebra 

আমাদের বলতে গ্রাফ করা যাক যে সম্পত্তি হয়েছে এম যদি তার ছেদচিহ্ন আদেশ করা যাবে বনাম 1 , V 2 , ... বনাম এন এমনভাবে গ্রাফে এইচ আমি ছেদচিহ্ন দ্বারা প্রবর্তিত { বনাম 1 , ... , বনাম আমি } হয়েছে ঘ i s t H i ( v j …

12 reference-request  graph-theory 

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

12 reference-request  quantum-computing  automata-theory 

গ্রিবাচ বিখ্যাতভাবে একটি ভাষা সংজ্ঞায়িত করেছিলেন , এটি ডি 2 এর তথাকথিত ননডেটেরিস্টিনিস্টিক সংস্করণ যেমন কোনও সিএফএল এইচ এর বিপরীতমুখী চিত্র । ডিসিএফএল এর সাথে কি অনুরূপ বক্তব্য রয়েছে, সম্ভবত মরফিজমগুলিতে কিছুটা বিধিনিষেধ রয়েছে?এইচHHডি2D2D_2এইচHH (উদাহরণস্বরূপ, এম। অউবার্ট, জে। বার্স্টেল এবং এল। বোসন te প্রবন্ধমুক্ত ভাষা এবং পুশডাউন অটোমেটা R , …

12 fl.formal-languages  open-problem  context-free  nondeterminism  hard-instances 

একটি স্ট্রিং প্রদত্ত , একটি যে শব্দ কবিতা প্রভৃতি উলটা করিয়া পড়িলেও একই থাকে কভার একটি ক্রম পি 1 P 2 ⋯ পি এম শব্দের পি আমি যেমন যে পি 1 P 2 ⋯ পি মি = W এবং এই ধরনের প্রতিটি পি আমি একটি যে শব্দ কবিতা প্রভৃতি উলটা …

12 ds.algorithms  dynamic-programming  string-matching  covering-problems 

আমি টিসিএসে আগ্রহী গণিতের একজন। আমি অ্যালগরিদমগুলিকে স্ব-অধ্যয়ন করতে চাই এবং তাদের মধ্যে গ্রুপ তাত্ত্বিক সমস্যা সমাধানের জন্য জটিলতার মতো উপাদানগুলির ক্রম সন্ধান, কোসেটের গণনা, জেনারেটর সন্ধান, যদি প্রদত্ত সাবসেটটি গ্রুপ উত্পন্ন করে তবে পরীক্ষা করে। আমার কোন বই পড়া উচিত?

12 ds.algorithms  reference-request  gr.group-theory  books 

একটি অক্ষ-সমান্তরাল আয়তক্ষেত্র।CCC জোড়াযুক্ত-অভ্যন্তর-বিচ্ছিন্ন অক্ষ-সমান্তরাল আয়তক্ষেত্র যেমন সি 1 ∪ ⋯ ∪ সি এন ⊊ সি , এর মতো:C1,…,CnC1,…,CnC_1,\dots,C_nC1∪⋯∪Cn⊊CC1∪⋯∪Cn⊊CC_1\cup\dots\cup C_n \subsetneq C একটি আয়তক্ষেত্র-সংরক্ষণের পার্টিশন এর একটি পার্টিশন সি = ই 1 ∪ ⋯ ∪ ই এন , যেমন যে এন ≥ এন , ই আমি pairwise-অভ্যন্তর-টুকরো করা অক্ষ-সমান্তরাল আয়তক্ষেত্র, …

12 cg.comp-geom 

যাক একটি (অ-একঘেয়েমি) এর নূন্যতম আকারের গাণিতিক বোঝাতে ( + + , × , - ) সার্কিট কম্পিউটিং একটি প্রদত্ত multilinear বহুপদী চ ( এক্স 1 , ... , x এর এন ) = Σ ই ∈ ই গ ই এন Π আমি = 1 x ই i iক ( …

12 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits 

নীচের পুনরাবৃত্তির সম্পর্কটি কীভাবে সমাধান করব? চ( n ) = চ( এন - 1 ) + এফ( এন - লগএন )চ(এন)=চ(এন-1)+ +চ(এন-লগ⁡এন) f(n) = f(n-1) + f(n - \log n)

12 recursion 

প্রদত্ত যৌগিক সাধারণ সংখ্যা ক্ষেত্র চালনী সেরা পূর্ণসংখ্যা গুণকনির্ণয় জন্য গুণকনির্ণয় অ্যালগরিদম পরিচিত । এটি এলোমেলোভাবে তৈরি করা অ্যালগরিদম এবং আমরা বিগের একটি প্রত্যাশিত জটিলতা পাই factor থেকে ফ্যাক্টর ।N∈NN∈NN\in\Bbb NNNNO(e649√(logN)13(loglogN)23)O(e649(log⁡N)13(log⁡log⁡N)23)O\Big(e^{\sqrt{\frac{64}{9}}(\log N)^{\frac 13}(\log\log N)^{\frac 23}}\Big)NNN আমি এলোমেলোভাবে তৈরি করা অ্যালগরিদমের সবচেয়ে খারাপ ক্ষেত্রে জটিলতার তথ্য অনুসন্ধান করেছি। তবে আমি তথ্য …

12 reference-request  derandomization  factoring  average-case-complexity  worst-case 

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

12 cc.complexity-theory  randomized-algorithms  randomness 

'দেওয়া , সেখানে x , y ∈ N , একটি x 2 + b y = c ' হ'ল এন পি- অসম্পূর্ণ।a,b,c∈Na,b,c∈Na,b,c\in\Bbb Nx,y∈Nx,y∈Nx,y\in\Bbb Nax2+by=cax2+by=cax^2+by=cNPNP\mathsf{NP} কোনটি জটিলতা বর্গ 'দেওয়া নেই , নেই এক্স , Y ∈ এন , একটি এক্স 2 + + খ Y 2 = গ ' অন্তর্গত কিভাবে?a,b,c∈Na,b,c∈Na,b,c\in\Bbb …

12 ds.algorithms  complexity-classes  reductions  nt.number-theory  np-complete 

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

12 cc.complexity-theory