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

আমি 25 কে ক্লজ 5 কে ভেরিয়েবল এসএটি সমস্যাটি সমাধান করার চেষ্টা করছি। যেহেতু এটি এক ঘন্টার জন্য চলছে (প্রাকোস্যাট) এবং আমি এর পরে আরও বড়গুলি সমাধান করতে চাই, তাই আমি একটি বহু-কোর স্যাট-সলভার খুঁজছি। অনেকগুলি SAT- সমাধানকারী মনে হচ্ছে, আমি বেশ হারিয়েছি। কেউ কি আমার মামলার জন্য আমাকে সেরাটি …

12 algorithms  reference-request  parallel-computing  sat-solvers 

CoNP- পূর্ণতা NP- কঠোরতা বোঝায়? বিশেষত, আমার একটি সমস্যা রয়েছে যা আমি সিএনপি-সম্পূর্ণ দেখিয়েছি। আমি কি দাবি করতে পারি যে এটি এনপি-হার্ড? আমি বুঝতে পারি যে আমি কোএনপি-কঠোরতার দাবি করতে পারি, তবে আমি নিশ্চিত নই যে এই পরিভাষাটি মানদণ্ড কিনা। আমি এই দাবিতে স্বাচ্ছন্দ্য বোধ করি যে কোনও এনপি-সম্পূর্ণ সমস্যা …

12 complexity-theory  np-hard 

সময় সিরিজের পূর্বাভাস দেওয়ার জন্য আমি নিউরাল নেটওয়ার্ক ব্যবহার করছি using আমি এখন যে প্রশ্নটির মুখোমুখি হচ্ছি তা হ'ল আমি কীভাবে তারিখ / সময় / সিরিয়ালের এনকোড করব? প্রতিটি ইনপুট নিউরাল নেটওয়ার্কে একটি ইনপুট হিসাবে সেট? এখানে বর্ণিত হিসাবে আমার কি সি এনকোডিংয়ের 1 টি (এনকোডিং বিভাগের জন্য ব্যবহৃত) ব্যবহার …

12 machine-learning  artificial-intelligence  neural-networks 

আমি সম্প্রতি উপলব্ধি করেছি যে রাসেলিয়ান টাইপ থিওরি এবং টাইপ সিস্টেমের মধ্যে কিছুটা সম্পর্ক রয়েছে, যেমন হাস্কেলের মধ্যে পাওয়া গেছে। আসলে, হাস্কেলের প্রকারের জন্য কিছু স্বরলিপি টাইপ তত্ত্বের পূর্বসূরী বলে মনে হয়। তবে, আইএমএইচও, ১৯০৮ সালে রাসেলের অনুপ্রেরণা ছিল রাসেলের প্যারাডক্সটিকে এড়ানো এবং আমি নিশ্চিত নই যে এটি কম্পিউটার বিজ্ঞানের …

12 programming-languages  type-theory 

আমাদের সমস্ত সাথে একটি অ্যারে ।a[1…n]a[1…n]a[1 \ldots n]a[i]>0a[i]>0a[i]>0 এখন আমাদের তার subarrays থেকে কতগুলি স্বতন্ত্র যোগফল তৈরি হতে হবে তা খুঁজে বের করতে হবে (যেখানে একটি subarray অ্যারের সংলগ্ন পরিসীমা, কিছু জন্য , যোগফলটি সকলের যোগফল) সাবহারির উপাদানগুলি)। উদাহরণস্বরূপ, যদি তবে উত্তরটি 4: আমরা গঠন করতে পারি ।a[j…k]a[j…k]a[j\ldots k]j,kj,kj,ka=[1,2,1]a=[1,2,1]a=[1,2,1]1,2,3,41,2,3,4 1,2,3,4 …

12 arrays  substrings  suffix-array 

এটি রসিকতা ছিল কিনা তা আমি জানি না, তবে আমি একবার পড়লাম যা গিটিং, এইচজি বা এসএনএন এর মতো সংস্করণ সিস্টেমে কোনও ফাইলের আনুষ্ঠানিক সংজ্ঞা হিসাবে উল্লেখ করা হয়েছিল। এটি একটি হোমোমরফিজমের মতো একটি গাণিতিক অবজেক্টের মতো কিছু ছিল। এটি একটি কৌতুক ছিল বা সংস্করণ সংস্করণ এবং ভিসিএসের গণিত সম্পর্কে …

12 terminology  reference-request 

আমি এই সমস্যাটি সমাধান করার চেষ্টা করছি এবং আমি সত্যিই লড়াই করছি। একজন একঘেয়েমি বুলিয়ান সূত্র propositional যুক্তিবিজ্ঞান একটি সূত্র যেখানে সব লিটারেল ইতিবাচক হয়। উদাহরণ স্বরূপ, (x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)(x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)\qquad (x_1 \lor x_2) \land (x_1 \lor x_3) \land (x_3 \lor x_4 \lor x_5) এটি একঘেয়ে বুলিয়ান ফাংশন। অন্যদিকে, কিছু (x1∨x2∨x3)∧(¬x1∨x3)∧(¬x1∨x5)(x1∨x2∨x3)∧(¬x1∨x3)∧(¬x1∨x5)\qquad (x_1 \lor …

12 complexity-theory  np-complete  satisfiability 

ইমেজ প্রসেসিং কনভ্যুলেশনের জন্য কেন এই লেপ্লেস রূপান্তর জনপ্রিয় নয়? বেশিরভাগ পাঠ্যপুস্তক কেবল ফুরিয়ার রূপান্তরকে রূপান্তর করে।

12 history  image-processing 

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

12 algorithms  computational-geometry  tiling 

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

12 complexity-theory  time-complexity  np-complete 

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

12 algorithms  trees 

আমি বুঝতে পারি যে প্রসঙ্গ-মুক্ত ব্যাকরণগুলি প্রসঙ্গ-মুক্ত ভাষাগুলি উপস্থাপন করতে ব্যবহার করা যেতে পারে t এতে অস্পষ্টতা থাকতে পারে। আমরা মত স্বাভাবিক ফর্ম আছে চমস্কি এবং Greibach স্বাভাবিক ফর্ম। আমি এর প্রয়োজন বুঝতে পারি না। কেন তারা ভাষা তত্ত্ব গুরুত্বপূর্ণ? আমি উল্লেখ করা সমস্ত পাঠ্যপুস্তকগুলিতে এই সাধারণ ফর্মগুলি সম্পর্কে বলতে …

12 formal-languages  context-free  formal-grammars  normal-forms 

এনপি = কোএনপির কাছে আমার কাছে এই খুব সহজ "প্রমাণ" রয়েছে এবং আমি মনে করি যে আমি কোথাও ভুলভাবে কিছু করেছি, তবে আমি কী ভুল তা খুঁজে পাচ্ছি না। কেউ আমাকে সাহায্য করতে পারেন? এনপিকে এটিকে কিছুটা সমস্যা হতে দিন এবং এম কে এ এর ​​সিদ্ধান্ত নিতে দিন বিটিকে পরিপূরক …

12 complexity-theory  p-vs-np  check-my-proof  np 

মেশিন লার্নিং এবং সিস্টেম সনাক্তকরণের মধ্যে পার্থক্য ও সাদৃশ্য সম্পর্কে কি কেউ আমাকে ব্যাখ্যা করতে পারেন? এই দুটি কি একই জিনিসটির নাম? ইন এই পৃষ্ঠার , তখন বলে, মেশিন লার্নিং এবং সিস্টেম সনাক্তকরণ সম্প্রদায়গুলি একই ধরণের সমস্যার মুখোমুখি হয় যেখানে কাউকে সীমাবদ্ধ বা গোলমাল পর্যবেক্ষণ থেকে একটি মডেল তৈরি করা …

12 machine-learning 

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

12 terminology  compilers  functional-programming