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

সর্বনিম্ন ব্যান্ডউইথ সমস্যাটি হ'ল গ্রাফিক নোডের ক্রম সংখ্যার ক্রম খুঁজে পাওয়া যা কোনও দুটি সংলগ্ন নোডের মধ্যে বৃহত্তম দূরত্বকে হ্রাস করে। সিদ্ধান্তের সমস্যাটি বাইনারি গাছের জন্য এমনকি এনপি-সম্পূর্ণ। ব্যান্ডউইথ মিনিমাইজেশনের জন্য জটিলতার ফলাফল। গ্যারি, গ্রাহাম, জনসন এবং নুথ, সিয়াম জে অ্যাপল। গণিত।, খণ্ড। 34, নং 3, 1978 । বাইনারি গাছগুলিতে …

14 complexity-theory  np-complete  reference-request  approximation 

যাক GGG একটি প্রেক্ষাপটে মুক্ত ব্যাকরণ হবে। টার্মিনাল এবং এর nonterminals একটি স্ট্রিং GGG একটি মনে করা হয় বাক্যগত ফর্ম এর GGG আপনি এটা এর প্রযোজনার প্রয়োগের দ্বারা পেতে পারেন GGG শুরুর প্রতীক থেকে শূন্য বা তার বেশি বার SSS । যাক SF(G)SF⁡(G)\operatorname{SF}(G) এর বাক্যগত ধরনের সেট হতে GGG । …

14 formal-languages  context-free  formal-grammars  closure-properties 

আমি লিখেছিলাম ∑i=1n1i=∑i=1nO(1)=O(n)∑i=1n1i=∑i=1nO(1)=O(n)\qquad \displaystyle \sum\limits_{i=1}^n \frac{1}{i} = \sum\limits_{i=1}^n \cal{O}(1) = \cal{O}(n) তবে আমার বন্ধু বলে যে এটি ভুল। TCS ঠকাই শীট থেকে আমি জানি যে সমষ্টি এছাড়াও বলা হয় যা লগারিদমিক বৃদ্ধি হয়েছে । সুতরাং আমার আবদ্ধ খুব তীক্ষ্ণ নয়, তবে এটির বিশ্লেষণের জন্য আমার পক্ষে প্রয়োজনীয় for এনHnHnH_nnnn আমি …

14 asymptotics  landau-notation 

কম্পিউটার বিজ্ঞানে 'কী' এর অর্থ কী তা নিয়ে আমি কিছুটা বিভ্রান্ত হয়ে পড়েছি। আমি কী-মান জোড়, প্রাথমিক কী ইত্যাদি বুঝেছি ... তবে 'কী' শব্দটি নিজের দ্বারা কী বোঝায় তার একটি সংজ্ঞা আমি পাই না। যতদূর আমি এটি বলতে পারি কেবলমাত্র ডেটা টুকরা। সিএলআরএসে, গাছের নোডের সাথে সম্পর্কিত ডেটাগুলি 'কী' হিসাবে …

14 terminology 

একটি দ্বি-মাত্রিক গোলকধাঁধা দেওয়া হয়েছে যেখানে আপনি 4 টি কমান্ড দিতে পারেন "সরানো উপরে / নিচে / ডান / বাম" commands গোলকধাঁধা সম্পর্কে জানা কিন্তু সেই ব্যক্তিটি কোথায় নেই, কীভাবে আদেশটি ন্যূনতম সিকোয়েন্সটি সন্ধান করবেন যা গোলকধাঁধা থেকে বেরিয়ে আসার নিশ্চয়তা দেয়? আমি একক কমান্ডের সন্ধান করছি যা আপনি যে …

14 algorithms  graphs  graph-traversal 

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

14 logic 

উপলভ্য স্বয়ংক্রিয় উপপাদ্য প্রভারগুলি ব্যবহার করে আমি কি নীচের বিবৃতিগুলি প্রমাণ করতে পারি? (a+b)2=a2+b2+2ab(a+b)2=a2+b2+2ab(a+b)^2=a^2+b^2+2ab । যদি , তবে ।11 ∣ 7 এ - 5 খ11∣2a−3b11∣2a−3b 11 \mid 2a-3b11∣7a−5b11∣7a−5b 11 \mid 7a-5b যদি তবে ।x = - খ ± √ √ax2+bx+c=0ax2+bx+c=0 ax^2+bx+c=0x=−b±b2−4ac√2ax=−b±b2−4ac2ax=\frac{-b\pm\sqrt{b^2-4ac} }{2a} যদি হয় তবে এ ।4 aaaa4a4a4a এবং তাই! …

14 automated-theorem-proving 

যদি আমি এটি সঠিকভাবে বুঝতে একটি অ্যালগরিদম যে একটি বাস্তব ফাংশনের মান নির্ণয় গণনীয় জটিলতা রয়েছে যদি নিম্নলিখিত ঝুলিতে: যখন আমরা কম্পিউট স্পষ্টতা থেকে অনুক্রম প্রয়োজন পদক্ষেপ ।fffO(g(n))O(g(n))O(g(n))fffδδ\deltag(n)g(n)g(n) তবে, আমাদের যদি এমন একটি অ্যালগরিদম থাকে যা প্রথমে " গণনা করার জন্য আরও কার্যকর অ্যালগরিদম খুঁজে পায় ", এবং তারপরে ?ffffff …

14 complexity-theory 

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

14 graph-theory  type-theory 

আমি এখানে সর্বোচ্চ প্রবাহ সমস্যা সম্পর্কে পড়ছি । আমি রেসিডুয়াল গ্রাফের পিছনে অন্তর্নিহিত বুঝতে পারি না। প্রবাহ গণনার সময় আমরা কেন প্রান্তগুলি পিছনে বিবেচনা করছি? কেউ কি আমাকে রেসিডুয়াল গ্রাফের ধারণাটি বুঝতে সহায়তা করতে পারে? পুনঃনির্দেশিত গ্রাফগুলিতে অ্যালগরিদম কীভাবে পরিবর্তন হয়?

14 algorithms  graphs  graph-theory  network-flow 

আমি খুঁজে পেয়েছি যে আমি যদি সিসি / প্রোগ্রামিং শব্দটির পিছনে ব্যুৎপত্তি বুঝতে না পারি তবে এটির অর্থ সাধারণত আমি কিছু গুরুত্বপূর্ণ অন্তর্নিহিত ধারণাটি মিস করেছি বা ভুল বুঝেছি। আমি বুঝতে পারছি না যে ক্লিন তারকাটিকে ক্লিন ক্লোজারও বলা হয়। এটি কি প্রোগ্রামিংয়ের ক্লোজার, বাউন্ড অ-লোকাল ভেরিয়েবলগুলির সাথে একটি ফাংশন …

14 automata  regular-expressions 

আমি HoTT বইটি পড়ছি এবং আমার প্রথম অধ্যায়ে স্টাফ সম্পর্কে একটি (সম্ভবত খুব নির্বোধ) প্রশ্ন রয়েছে। অধ্যায় প্রবর্তন ফাংশন টাইপ এবং তারপর উপার্জন দ্বারা এটি সাধারণীকরণ উপর নির্ভরশীল এবং এটিকে নির্ভর ফাংশন টাইপ বলা হয় ।B x : A B : A → U ,চ: এ → বিf:A→B f:A\to B …

14 type-theory  dependent-types  homotopy-type-theory 

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

14 complexity-theory  formal-languages 

সুতরাং, হিসাবে জানা যায়, আইএলপির 0-1 সিদ্ধান্তের সমস্যাটি এনপি-সম্পূর্ণ। এটি এনপিতে দেখানো সহজ, এবং মূল হ্রাসটি স্যাট থেকে হয়েছিল; তার পর থেকে, আরও অনেক এনপি-কমপ্লিট সমস্যায় আইএলপি ফর্মুলেশন (যা এই সমস্যাগুলি থেকে আইএলপিতে হ্রাস হিসাবে কাজ করে) দেখানো হয়েছে, কারণ আইএলপি খুব কার্যকরভাবে সাধারণ। হ্রাস থেকে ILP অনেক পারেন নিজেকে …

14 np-complete  reductions  satisfiability  integer-programming 

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

14 algorithms  trees  greedy-algorithms