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

দ্বারা চিহ্নিত WএনWএনw_n দৈর্ঘ্যের শব্দের সংখ্যা এনএনn একটি (সম্ভবত দ্ব্যর্থক) প্রসঙ্গ-মুক্ত ভাষায়। WএনWএনw_n সম্পর্কে কী জানা যায় ? আমি নিশ্চিত এটি অনেক অধ্যয়ন করা হয়েছে, কিন্তু আমি এটি কিছুই খুঁজে পেল না।

20 fl.formal-languages  context-free 

প্রত্যাহার করুন π(n)π(n)\pi(n) প্রাইমগুলির সংখ্যা । N≤n\le n হ'ল প্রধান-গণনা কার্য । "পি ইন PR" দ্বারা, কম্পিউটিং π( এন )π(n)\pi(n) # পি-তে রয়েছে। সমস্যা কি # পি-সম্পূর্ণ? অথবা, সম্ভবত, এই সমস্যাটি # পি-সম্পূর্ণ নয় বলে বিশ্বাস করার একটি জটিল কারণ রয়েছে? পিএস আমি বুঝতে পেরেছি এটি কিছুটা নির্বোধ, যেহেতু যে …

20 cc.complexity-theory  counting-complexity  nt.number-theory  comp-number-theory  primes 

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

20 cc.complexity-theory  cr.crypto-security  cryptojacking 

আসুন আমরা বলতে পারি যে একটি ভাষা LLL হ'ল পি -ঘনত্ব-ঘনিষ্ঠ যদি এমন একটি বহুপাক্ষিক সময় অ্যালগরিদম থাকে যা প্রায় সমস্ত ইনপুটগুলিতে সঠিকভাবে সিদ্ধান্ত দেয় ।LLL অন্য কথায়, পি-তে একটি is রয়েছে , যেমন হচ্ছে, যার অর্থ একই সাথে এর একটি অভিন্ন র্যান্ডম ইনপুটের জন্য polytime অ্যালগরিদম জন্য সঠিক জবাব …

20 cc.complexity-theory  ds.algorithms  complexity-classes  np-complete 

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

20 reference-request  counting-complexity  nt.number-theory  permanent  decision-trees 

, এর নিয়মিত প্রকাশগুলি দেওয়া কি -এর জন্য ক্ষুদ্রতম প্রসঙ্গ-মুক্ত ব্যাকরণের আকারের কোনও অপ্রয়োজনীয় সীমারেখা আছে ?আর 1 ∩ ⋯ ∩ আর এনR1,…,RnR1,…,RnR_1, \dots, R_nR1∩⋯∩RnR1∩⋯∩RnR_1 \cap \cdots \cap R_n

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

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

20 cc.complexity-theory 

আমার দুটি historicalতিহাসিক প্রশ্ন রয়েছে: প্রথমে ননডেটেরিস্টিক গণনার বিবরণ কে দিয়েছিলেন? আমি জানি যে কুক এনপি-সম্পূর্ণ সমস্যা বর্ণনা করেছেন এবং এডমন্ডস প্রস্তাব করেছিলেন যে পি অ্যালগরিদমগুলি "দক্ষ" বা "ভাল" অ্যালগরিদম। আমি এই উইকিপিডিয়া নিবন্ধটি সন্ধান করেছি এবং "অ্যালগোরিদমগুলির গণনা সংক্রান্ত জটিলতার উপরে" স্কিম করেছিলাম , তবে ননডিটারিস্টিক গণনার প্রথম আলোচনার …

20 reference-request  soft-question  ho.history-overview  nondeterminism 

এটি সুপরিচিত যে প্যালিনড্রোমগুলি -টেপ টুরিং মেশিনগুলিতে রৈখিক সময়ে স্বীকৃত হতে পারে তবে একক টেপ টুরিং মেশিনে নয় (যার ক্ষেত্রে প্রয়োজনীয় সময়টি চতুর্ভুজ হয়)। লিনিয়ার-টাইম অ্যালগরিদম ইনপুটটির একটি অনুলিপি ব্যবহার করে এবং এর ফলে লিনিয়ার স্পেসও ব্যবহার করে।222 আমরা কেবলমাত্র লোগারিদমিক স্থান ব্যবহার করে একটি মাল্টিট্যাপ টুরিং মেশিনের রৈখিক সময়ে …

20 cc.complexity-theory  time-complexity  space-complexity  space-time-tradeoff 

একজন নখর একটি হল । একটি তুচ্ছ অ্যালগরিদম সময়ের মধ্যে একটি নখর সনাক্ত করবে । এটি , যেখানে দ্রুত ম্যাট্রিক্সের গুণকের সূচক হয়: নীচে প্রতিটি ভার্টেক্স জন্য দ্বারা অনুপ্রাণিত সাব-অনুচ্ছেদটি নিন এবং এর মধ্যে একটি ত্রিভুজটি সন্ধান করুন এর পরিপূরকK1,3K1,3K_{1,3}O(n4)O(n4)O(n^4)O(nω+1)O(nω+1)O(n^{\omega+1})ωω\omegaN[v]N[v]N[v]vvv যতদূর আমি জানি, এই বেসিক অ্যালগরিদমগুলি কেবল জানা যায়। স্পিনরাড …

20 graph-theory  graph-algorithms  graph-classes 

(এই প্রশ্নটি কিছুটা "জরিপ" is আমি বর্তমানে এমন একটি সমস্যায় কাজ করছি যেখানে আমি একটি টুর্নামেন্টের প্রান্তগুলিকে দুটি সেটে বিভক্ত করার চেষ্টা করছি, যার উভয়টিরই কিছু কাঠামোগত বৈশিষ্ট্য পূরণ করা প্রয়োজন। সমস্যাটি "শক্ত" অনুভব করে, এবং আমি এটি সম্পূর্ণরূপে কমপ্লিট হওয়ার প্রত্যাশা করি some কিছু কারণে এমনকি সাহিত্যেও অনুরূপ সমস্যাগুলি …

20 cc.complexity-theory  reference-request  np-hardness 

একটি সেট পরিবার প্রদত্ত FF\mathcal{F} একটি মহাবিশ্বের সাব-সেট এর UUU । যাক S1,S2∈FS1,S2∈FS_1,S_2 \in \mathcal F এবং আমরা উত্তর করতে চান S1⊆S2S1⊆S2S_1 \subseteq S_2 । আমি এমন একটি ডেটা-কাঠামো খুঁজছি যা আমাকে দ্রুত এর উত্তর দেওয়ার অনুমতি দেবে। আমার অ্যাপ্লিকেশন গ্রাফ তত্ত্ব থেকে যেখানে আমি দেখতে চাই যে কোনও শীর্ষবিন্দু …

20 graph-algorithms  ds.data-structures  partial-order 

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

20 type-theory  lambda-calculus  typed-lambda-calculus  curry-howard 

যাক REGREG\mathsf{REG} সব নিয়মিত ভাষার বর্গ করা। আর ই জি ⊄ এ সি 0 এ সি 0 ∩ আর ই জিAC0⊄REGAC0⊄REG\mathsf{AC}^0 \not\subset \mathsf{REG}REG⊄AC0REG⊄AC0\mathsf{REG} \not\subset \mathsf{AC}^0AC0∩REGAC0∩REG\mathsf{AC}^0 \cap \mathsf{REG}

20 circuit-complexity  regular-language 

যদিও এডলম্যান এর উপপাদ্য শো, যে , আমি সম্ভাব্য অন্তর্ভুক্তি তদন্ত কোন সাহিত্যের সচেতন আছি বি কিউ পি ⊆ পি / পলি । এ জাতীয় অন্তর্ভুক্তির কী জটিলতা-তাত্ত্বিক পরিণতি ঘটবে?BPP⊆P/polyBPP⊆P/poly\mathsf{BPP} \subseteq \mathsf{P}/\text{poly}BQP⊆P/polyBQP⊆P/poly\mathsf{BQP} \subseteq \mathsf{P}/\text{poly} এডলম্যান এর উপপাদ্য হয় কখনও কখনও "derandomization আর্গুমেন্ট জনক।" বলা ডেরানডমাইজেবল বলে বিশ্বাস করা হয়, যদিও …

20 reference-request  quantum-computing  derandomization  conditional-results