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

কোয়ান্টাম তোফোলি গেট সম্পর্কিত : এটি কি ধ্রুপদী সর্বজনীন, এবং যদি তাই হয় তবে কেন? এটি কি পরিমাণে সর্বজনীন, এবং কেন?

20 quantum-computing  circuits  turing-completeness 

আমি কীভাবে প্রমাণ করতে পারি যে সিএনএফ থেকে ডিএনএফ রূপান্তরটি এনপি-হার্ড? আমি কোনও উত্তর চাইছি না, এটি প্রমাণ করতে কীভাবে যেতে হবে সে সম্পর্কে কিছু পরামর্শ।

20 complexity-theory  np-hard  satisfiability  sat-solvers  normal-forms 

আমি ব্যবহারকারী-সংজ্ঞায়িত ডোমেন নির্দিষ্ট ভাষাগুলি পার্স করতে চাই। এই ভাষাগুলি সাধারণত গাণিতিক স্বরলিপিগুলির নিকটে থাকে (আমি কোনও প্রাকৃতিক ভাষা পার্স করছি না)। ব্যবহারকারীরা তাদের ডিএসএল একটি বিএনএফ স্বরলিপিতে সংজ্ঞায়িত করেছেন: expr ::= LiteralInteger | ( expr ) | expr + expr | expr * expr ইনপুটটিকে 1 + ( 2 …

20 formal-languages  parsers  compilers 

আমি জানতে চাই যে সর্বজনীন- প্রকার : a একটি উপ-প্রকার, বা বিশেষ ক্ষেত্রে, একই স্বাক্ষর সহ অস্তিত্বযুক্ত-পরিমাণযুক্ত :TaTaT_aTa=∀X:{a∈X,f:X→{T,F}}Ta=∀X:{a∈X,f:X→{T,F}}T_a = \forall X: \left\{ a\in X,f:X→\{T, F\} \right\}TeTeT_eTe=∃X:{a∈X,f:X→{T,F}}Te=∃X:{a∈X,f:X→{T,F}}T_e = \exists X: \left\{ a\in X,f:X→\{T, F\} \right\} আমি "হ্যাঁ" বলব: যদি কিছু "সমস্ত এক্স" এর জন্য সত্য হয় ( ), তবে এটি অবশ্যই …

20 logic  type-theory  typing 

কোলমোগোরভ-জটিলতা সংজ্ঞায়নের অনেকগুলি উপায় রয়েছে এবং সাধারণত, এই সমস্ত সংজ্ঞাগুলি একটি সংযোজক ধ্রুবকের সমতুল্য। এটি যদি কে 1K1K_1 এবং কে 2K2K_2 কোলমোগোরভ জটিলতা ফাংশন (বিভিন্ন ভাষা বা মডেলের মাধ্যমে সংজ্ঞায়িত) হয়, তবে সেখানে একটি ধ্রুবক সি থাকে ccযা প্রতিটি স্ট্রিংয়ের জন্য xxx , | কে 1 ( এক্স ) - …

20 computability  kolmogorov-complexity 

শিরোনামহীন, মূলযুক্ত বাইনারি গাছগুলি বিবেচনা করুন। আমরা পারি কম্প্রেস যেমন গাছ: যখনই সেখানে সাব-ট্রি পয়েন্টার হয় এবং সঙ্গে (ব্যাখ্যা কাঠামোগত সমতা যেমন), আমরা দোকান (wlog) এবং সব পয়েন্টার প্রতিস্থাপন পয়েন্টার সঙ্গে । উদাহরণস্বরূপ উলির উত্তর দেখুন ।TTTT′T′T'T=T′T=T′T = T'===TTTT′T′T'TTT উপরের অর্থে একটি গাছকে ইনপুট হিসাবে গ্রহণ করে এমন একটি অ্যালগোরিদম …

20 algorithms  data-structures  trees  binary-trees 

মতে Immerman , জটিলতা সঙ্গে যুক্ত বর্গ SQL এর প্রশ্নের ঠিক এর বর্গ নিরাপদ প্রশ্নের মধ্যে SQL এর যেমনটি নিরাপদ প্রশ্নের: (প্রথম-অর্ডার প্রশ্নের প্লাস কাউন্টিং অপারেটর)। (অন্য কথায়, সব এসকিউএল কোয়েরি একটি জটিলতা আছে , এবং সব সমস্যার একটি SQL কোয়েরি হিসাবে প্রকাশ করা যেতে পারে।)কিউ ( এফ ও ( …

20 database-theory  complexity-theory  finite-model-theory  descriptive-complexity 

পি বনাম এনপি সমস্যার জন্য দুটি সম্ভাবনা বিবেচনা করুন: পি = এনপি এবং পি এনপি।≠≠\neq প্রশ্নটি এনপি-হার্ড সমস্যাগুলির মধ্যে একটি হয়ে উঠুক। পি = এনপি প্রমাণীকরণের জন্য, আমাদের Q এর জন্য একটি একক বহুপদী সময় অ্যালগরিদম এ ডিজাইন করতে হবে এবং প্রমাণ করতে হবে যে A সঠিকভাবে Q সমাধান করে। …

20 complexity-theory  p-vs-np 

আমি প্রায়শই প্রয়োগিত ম্যাক্স ফ্লো অ্যালগরিদমগুলি, ডাইনিকের অ্যালগোরিদম, পুশ রিলেবল এবং অন্যান্যগুলিতে গতিশীল গাছগুলির ব্যবহারের মাধ্যমে তাদের অ্যাসিম্পটোটিক সময় ব্যয়কে উন্নত করতে পারি (লিঙ্ক-কাট গাছ হিসাবেও পরিচিত)। পুশ রিলেবল বা বা সাধারণত চালিত হয় তবে গতিশীল গাছগুলিও ( ভ2ই)হে(ভী2ই)O(V^2E)হে( ভ3)হে(ভী3)O(V^3)ও ( ভ2ই--√)হে(ভী2ই)O(V^2\sqrt{E})ও (ভইলগ( ভ2/ ই) )হে(ভীইলগ⁡(ভী2/ই))O(VE \log(V^2/E)) ডাইনিকের অ্যালগোরিদম , …

20 reference-request  graphs  data-structures  network-flow 

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

20 complexity-theory  asymptotics  landau-notation 

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

20 computer-architecture  floating-point  number-formats 

আমি ভাবছি এটি ঘের একটি বিক্ষিপ্ত undirected গ্রাফ। স্পার্স দ্বারা আমার অর্থ । সর্বোত্তম দ্বারা আমি সর্বনিম্ন সময়ের জটিলতা বলতে চাই| ই| =ও( | ভি।)| )|E|=O(|V|)|E|=O(|V|) আমি অপ্রচলিত গ্রাফগুলির জন্য টারজানের অ্যালগরিদমটিতে কিছু সংশোধন করার কথা ভেবেছিলাম , তবে আমি ভাল ফলাফল পাইনি। প্রকৃতপক্ষে আমি ভেবেছিলাম যে যদি আমি 2-সংযুক্ত …

20 algorithms  time-complexity  graph-theory 

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

20 operating-systems  threads 

এসেম্বলারের মাধ্যমে অ্যাসেম্বলির ভাষা মেশিনের ভাষায় রূপান্তরিত হয়। কেন একটি সংকলক উচ্চ স্তরের ভাষা সমাবেশে রূপান্তর করবে? এটি কি উচ্চ স্তরের ভাষা থেকে সরাসরি মেশিন কোডে রূপান্তর করতে পারে না?

19 compilers  code-generation  assembly 

কখনও কখনও এটি সতর্কতার সাথে আমার পরীক্ষা করে অ্যালগরিদমের সময়ের জটিলতা সনাক্ত করা সহজ। এর দুটি নেস্টেড লুপ সহ অ্যালগরিদমগুলি অবশ্যই । অ্যালগরিদমগুলি যে দুটি মানগুলির গ্রুপগুলির সমস্ত সম্ভাব্য সংমিশ্রণ অন্বেষণ করে তা অবশ্যই ।এন 2 এন 2 এনএনNNএন2N2N^2এনNN2এন2N2^N তবে আমি কীভাবে জটিলতার সাথে একটি অ্যালগরিদমকে "স্পট" করব তা জানি …

19 algorithm-analysis  time-complexity  intuition