প্রশ্ন ট্যাগ «ds.algorithms»

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

15 ds.algorithms  proofs 

প্রাকৃতিক সংখ্যার ব্যবধানে একটি প্রাইম থাকে কিনা তা সিদ্ধান্ত নেওয়ার জটিলতা কী? এরিটোস্টেসিসের সিভির একটি বৈকল্পিক একটি O~(L)O~(L)\tilde O(L) অ্যালগরিদম দেয়, যেখানে LLL অন্তর্বর্তের দৈর্ঘ্য এবং অন্তরটির প্রারম্ভিক বিন্দুতে বহু-লোগারিদমিক কারণগুলি আড়াল করে; আমরা কি আরও ভাল করতে পারি ( একা পরিপ্রেক্ষিতে )?এল∼∼\simLLL

14 cc.complexity-theory  ds.algorithms  nt.number-theory  comp-number-theory 

নিম্নলিখিত সাধারণ মনোোটোন সার্কিট মডেলটি বিবেচনা করুন: প্রতিটি গেটটি কেবল একটি বাইনারি OR। একটি ফাংশনের জটিলতা কত যেখানে বুলিয়ান ম্যাট্রিক্স 0 এর সাথে? এটি লিনিয়ার আকার বা সার্কিট দিয়ে গণনা করা যেতে পারে?f ( x ) = A x f(x)=Axf(x)=AxA AAn × n n×nn \times nO ( n )O(n)O(n) আরও …

14 ds.algorithms  circuit-complexity  upper-bounds 

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

14 cc.complexity-theory  ds.algorithms  time-complexity 

নিম্নলিখিত সেটিংটি বিবেচনা করুন: আমরা একটি স্ট্যাক দেওয়া হয় sss যা রয়েছে nnn আইটেম। আমরা অতিরিক্ত স্ট্যাকের একটি ধ্রুবক O(1)O(1)O(1) সংখ্যা ব্যবহার করতে পারি । আমরা এই স্ট্যাকগুলিতে নিম্নলিখিত ক্রিয়াকলাপগুলি প্রয়োগ করতে পারি: একটি স্ট্যাক খালি আছে কিনা তা পরীক্ষা করুন দুটি স্ট্যাকের শীর্ষ আইটেমগুলি তুলনা করুন, একটি স্ট্যাকের শীর্ষ …

14 ds.algorithms  sorting 

থিম: ধরে নেওয়া যাক ETA-সমানতা আমরা যে আছে (\x -> ⊥) = ⊥ :: A -> B। প্রুফ: ⊥ = (\x -> ⊥ x)এটা-সমতা এবং (\x -> ⊥ x) = (\x -> ⊥)ল্যাম্বদার নীচে হ্রাস দ্বারা। হাস্কেল 2010 রিপোর্ট, বিভাগ 6.2 seqদুটি সমীকরণ দ্বারা ফাংশন নির্দিষ্ট করে : seq :: …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

তাদের কাগজে আনুমানিক দূরত্বের ওরাকলস , থারুপ এবং জুইক দেখিয়েছেন যে কোনও ওজনযুক্ত পুনর্নির্দেশিত গ্রাফের জন্য, আকারের একটি ডেটা কাঠামো তৈরি করা সম্ভব যা কোনও ( 2 কে - 1 ) -প্রযুক্তি ফিরে আসতে পারে গ্রাফের যেকোন জোড়ের মধ্যে দূরত্ব।ও ( কে এন)1 + 1 / কে)হে(টএন1+ +1/ট)O(k n^{1+1/k})( 2 …

14 ds.algorithms  graph-theory  approximation-algorithms  space-complexity 

ইনপুট হিসেবে দেওয়া একটি পূর্ণসংখ্যা এবং একটি সেট এস উপাদানের সেট { 1 , । । । , n } , { 1 , এর উপাদানগুলির একটি সেট টি খুঁজে বের করার জটিলতা কী । । । , n } যেমন টি এর ন্যূনতম কার্ডিনালিটি রয়েছে এবং টি এস এর …

14 cc.complexity-theory  ds.algorithms 

জটিল অনুসন্ধান ক্লাসটি কীভাবে সম্পূর্ণ অনুসন্ধান অ্যালগরিদমের সাথে যুক্ত? (যদি একটি থাকে) এটি এনপি বা পিএসপিএসি? লোভী এবং গতিশীল প্রোগ্রামিংয়ের মডেলগুলির অনুরূপ নিখুঁত অনুসন্ধান অ্যালগরিদমগুলির ক্লাস ক্যাপচারের গণনার মডেলগুলি কি সীমাবদ্ধ রয়েছে?

14 cc.complexity-theory  ds.algorithms  reference-request  big-picture  machine-models 

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

14 ds.algorithms  reference-request  big-picture  ar.hardware-architecture 

আমি নীচে প্রক্রিয়া মাধ্যমে উত্পাদিত হতে পারে যা শীর্ষে গ্রাফ আগ্রহী ।nnn শীর্ষে একটি নির্বিচারে গ্রাফ দিয়ে শুরু করুন । সমস্ত উল্লম্বকে অব্যবহৃত হিসাবে লেবেল করুন ।GGGk≤nk≤nk\le nGGG একটি নতুন ভার্টেক্স যোগ করে একটি নতুন গ্রাফ উত্পাদন করুন , যা এক বা একাধিক অব্যবহৃত উল্লম্বের সাথে সংযুক্ত এবং তে কোনও …

14 ds.algorithms  graph-theory  treewidth 

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

14 ds.algorithms  optimization  linear-programming  integrality-gap 

আমি এমন কিছু সিস্টেম অংশ বাস্তবায়ন করছি যার কিছুটা সহায়তা প্রয়োজন। আমি এটিকে এটিকে ডোমেনটি স্বাধীন করার জন্য একটি গ্রাফ সমস্যা হিসাবে ফ্রেম করছি। সমস্যা: আমাদের পরিচালিত অ্যাসাইক্লিক গ্রাফ । সাধারণত্ব ক্ষতি ছাড়া অনুমান জি ঠিক একটি উৎস চূড়া আছে গুলি এবং ঠিক একটি বেসিনে প্রান্তবিন্দু টি ; দিন পি …

14 ds.algorithms  reference-request  co.combinatorics  graph-algorithms  directed-acyclic-graph 

পলিহেডর বিচ্ছিন্নতা সম্পর্কে ডবকিন এবং কিরকপ্যাট্রিকের কাগজে এক ধাপ বুঝতে আমার গুরুতর সমস্যা হচ্ছে। আমি এই সংস্করণটি বোঝার চেষ্টা করছি: http://www.cs.princeton.edu/~dpd/Papers/SCG-09-invited/old%20papers/DPD+Kirk.pdf এটা তোলে যুক্তি দেন যে আমরা শ্রেষ্ঠ বিচ্ছেদ জানেন পর এবং এস , দ্বারা নিরূপিত R আমি এবং গুলি আমি , আমরা শ্রেষ্ঠ বিচ্ছেদ জানতে পারেন পি আমি - …

14 ds.algorithms  cg.comp-geom 

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

14 ds.algorithms  reference-request  optimization  heuristics