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

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

13 algorithms  randomness  sudoku 

আমি জানি যে নিয়মিত নয় এমন ভাষা রয়েছে, যাতে regular নিয়মিত হয় তবে আমি যে সমস্ত উদাহরণ খুঁজে পেতে পারি সেগুলি প্রসঙ্গ-সংবেদনশীল তবে প্রসঙ্গমুক্ত নয়।এল*এল*L^* আপনি যদি এটি প্রমাণ করেন তবে সেখানে কেউ নেই?

13 formal-languages  context-free  regular-languages 

একটি হিউরিস্টিক ফাংশন হ'ল ...h(n)জ(এন)h (n) সামঞ্জস্যপূর্ণ যদি নোড থেকে লক্ষ্য পর্যন্ত আনুমানিক ব্যয়টি তার উত্তরসূরি এর উত্তরাধিকারীর লক্ষ্য থেকে অনুক্রমিক ব্যয়ের চেয়ে ধাপ ব্যয়ের চেয়ে বেশি না হয় ।nnnn′n′n' মান্যযোগ্য যদি কখনই লক্ষ্য স্থিতির সত্যিকারের ব্যয়কে বেশি বিবেচনা করে না।h(n)h(n)h(n) আমার আর্টিফিশিয়াল ইন্টেলিজেন্স কোর্সের পাঠ্যপুস্তকে উল্লেখ করা হয়েছে যে …

13 algorithms  shortest-path  heuristics 

এটি প্রদর্শিত হয় যে POSIX.1-2-2008 দ্বারা সংজ্ঞায়িত "বেসিক নিয়মিত অভিব্যক্তি" বিকল্প পরিবর্তন সমর্থন করে না, a|bযদিও কিছু কিছু গ্রেপ বাস্তবায়ন পালিয়ে যাওয়া সংস্করণকে স্বীকৃতি দেয় \|)। যেহেতু নিয়মিত ভাষা সংজ্ঞার অধীনে ইউনিয়নের অধীনে বন্ধ থাকে, এর অর্থ কি পসিক্স বিআরইতে সসীম অটোমেটনের চেয়ে কম ভাবের শক্তি রয়েছে? বা অন্য কনস্ট্রাক্টস …

13 formal-languages  regular-expressions 

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

13 computer-architecture  concurrency  functional-programming 

আমি ভেবেছিলাম আমি নির্ভরশীল টাইপিং (টিটি) সঠিকভাবে বুঝতে পেরেছি, তবে এই প্রশ্নের উত্তর: /cstheory/30651/why-was-there-a-need- for-martin-l%C3% বি 6 এফ-টু-ক্রিয়েট-ইন্টুশনিশিস্টিক-টাইপ-থিওরি আমাকে অন্যথায় ভাবতে বাধ্য করেছে। ডিটি পড়ার পরে এবং সেগুলি কী তা বোঝার চেষ্টা করার পরে আমি অবাক হওয়ার চেষ্টা করছি, টিটি-র এই ধারণাটি দিয়ে আমরা কী অর্জন করব? এগুলি কেবল টাইপ …

13 logic  type-theory  intuition 

এই তিনটি শর্তের মধ্যে আইসোমরফিজম, অটোমর্ফিিজম এবং হোমোমর্ফিজম এর সাধারণ ব্যবস্থাগুলির মধ্যে মূল পার্থক্য কী এবং আমরা আইসোমর্ফিিজম, অটোমোরফিজম এবং হোমোমরফিজম কেন করি?

13 graph-theory 

সুপরিচিত SAT সমস্যাটি এখানে রেফারেন্সের জন্য সংজ্ঞায়িত করা হয়েছে । ডাবল-স্যাট সমস্যাটি হিসাবে সংজ্ঞায়িত করা হয়েছে DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}\qquad \mathsf{DOUBLE\text{-}SAT} = \{\langle\phi\rangle \mid \phi \text{ has at least two satisfying assignments}\} কীভাবে আমরা এটি এনপি-সম্পূর্ণ হিসাবে প্রমাণ করব? প্রমাণ করার …

13 complexity-theory  np-complete  satisfiability 

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

13 algorithms  dynamic-programming  efficiency  algorithm-design 

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

13 algorithms  graphs 

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

13 complexity-theory  computer-architecture  power-consumption  machine-models 

বন্ধ থাকে। এই প্রশ্নটি অফ-টপিক । এটি বর্তমানে উত্তর গ্রহণ করছে না। এই প্রশ্নটি উন্নত করতে চান? প্রশ্নটি আপডেট করুন যাতে এটি কম্পিউটার সায়েন্স স্ট্যাক এক্সচেঞ্জের বিষয়বস্তু । 2 বছর আগে বন্ধ । এএফএআইইউ প্রকারগুলি এমন একটি হতে পারে Setযার উপাদানগুলি প্রোগ্রাম বা propositionযার উপাদানগুলির প্রুফ। সুতরাং এই বোঝার উপর …

13 dependent-types  coq 

আমি দুটি ম্যাট্রিক্সের যদি এবং , মাত্রার এবং যথাক্রমে, এবং Compute করতে চান , এটি আরও দক্ষ প্রথম যেমন অভিব্যক্তি পুনর্লিখন এবং তারপরেই সংখ্যাসূচকভাবে মূল্যায়ন করুন, কারণ মাত্রা তবে মাত্রা ।বি 1000 × 2 2 × 1000 ( এ বি ) 5000 এ ( বি এ ) 4999 বি এ …

13 optimization  dynamic-programming  linear-algebra 

আমি যা পড়েছি তা থেকে preliminary version of a chapter of the book “Lectures on Scheduling” edited by R.H. M¨ohring, C.N. Potts, A.S. Schulz, G.J. Woeginger, L.A. Wolsey, to appear around 2011 A.D. এটি পিটিএএস সংজ্ঞা: সমস্যা জন্য একটি বহুপদী সময় আনুমানিক পরিকল্পনা ( পিটিএএস ) হল একটি আনুমানিক স্কিম, …

13 algorithms  complexity-theory  terminology  complexity-classes  approximation 

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

13 computer-architecture  parallel-computing