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

আমি একটি সাধারণ প্রোগ্রাম লিখতে চাই যা উইন্ডোজের একটি সেট (প্রস্থ + উচ্চতা) এবং স্ক্রিন রেজোলিউশন গ্রহণ করে এবং স্ক্রিনে windows উইন্ডোগুলির এমন একটি বিন্যাস আউটপুট দেয় যাতে উইন্ডোজ সর্বাধিক স্থান নেয়। সুতরাং রক্ষণাবেক্ষণ output size >= initial sizeএবং দিক অনুপাতের সময় উইন্ডোটির আকার পরিবর্তন করা সম্ভব । উইন্ডো জন্য …

20 algorithms  computational-geometry  packing  user-interface 

in এ এমন কোনও সমস্যা আছে যা ডিটারমিনিস্টিক অ্যালগরিদমগুলিতে নিম্ন অ্যালগরিদমগুলি দিয়েছে? আরও , আমরা কি এমন কোনও জানি যার জন্য ? এখানে ths গণিত {পিটিটাইম} (চ (এন)) এর অর্থ এফ (এন) পদক্ষেপগুলিতে ধ্রুবক-বাঁধা (এক বা দ্বি-পার্শ্ব) ত্রুটিযুক্ত একটি এলোমেলো টিএম দ্বারা ভাষা নির্ধারণযোগ্য ।PP\mathsf{P}kkkDTIME(nk)⊊PTIME(nk)DTIME(nk)⊊PTIME(nk)\mathsf{DTIME}(n^k) \subsetneq \mathsf{PTIME}(n^k)PTIME(f(n))PTIME(f(n))\mathsf{PTIME}(f(n))f(n)f(n)f(n) এলোমেলোভাবে কি আমাদের …

20 algorithms  complexity-theory  randomized-algorithms 

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

20 programming-languages  operating-systems 

ক্লাস এনসি দ্বারা প্রদত্ত "সমান্তরাল অ্যালগোরিদম দ্বারা দক্ষতার সাথে সমাধান করা" এর জটিলতা তাত্ত্বিক দৃষ্টিভঙ্গি গ্রহণ করতে আমার সমস্যা হয়েছে : এনসি সমস্যার ঐ সময়ের মধ্যে একটি সমান্তরাল আলগোরিদিম দ্বারা সমাধান করা যেতে পারে এর বর্গ উপর সঙ্গে প্রসেসর ।O(logcn)O(logc⁡n)O(\log^cn)p(n)∈O(nk)p(n)∈O(nk)p(n) \in O(n^k)c,k∈Nc,k∈Nc,k \in \mathbb{N} আমরা একটি প্র্যাম অনুমান করতে পারি …

20 complexity-theory  reference-request  parallel-computing 

আমি শিখছি অটোমেটেড উপপাদ্য প্রতিপাদন / শ্রীমতি solvers / প্রুফ সহায়ক নিজেকে দ্বারা এবং প্রক্রিয়া সম্পর্কে প্রশ্ন, শুরু একটি সিরিজ পোষ্ট এখানে । প্রাসঙ্গিক স্বয়ংক্রিয় উপপাদকগুলি কোনটি? আমি থিওরেম প্রোভার্সের একটি পর্যালোচনা পেয়েছি এটি কি এখনও বর্তমান? কোনটি এখনও খুব সক্রিয়, অর্থাৎ কোনটি বর্তমানে এটি তৈরি করা গোষ্ঠীর বাইরে ব্যবহৃত …

20 logic  automated-theorem-proving  proof-assistants 

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

20 algorithms  data-structures  binary-trees  search-trees 

এটি একটি হোম ওয়ার্ক সমস্যা হিসাবে উল্লেখ করে আমাকে শুরু করতে দিন , দয়া করে কেবল পরামর্শ এবং সম্পর্কিত পর্যবেক্ষণ সরবরাহ করুন, দয়া করে কোনও উত্তর উত্তর দিন না । এই বলে যে, আমি যে সমস্যাটি দেখছি তা এখানে: যাক বিরতি উপদল = { | হ'ল একটি অনায়াসিত গ্রাফ যেখানে …

20 complexity-theory  np-complete  reductions 

মনে করুন যে আমাদের একটি কালো-বাক্স যা আমরা কোয়েরি করতে এবং পুনরায় সেট করতে পারি। আমরা যখন রিসেট , রাষ্ট্র এর একটি উপাদান সেট থেকে এলোমেলোভাবে অবিশেষে মনোনীত সেট করা হয় যেখানে সংশোধন এবং প্রদত্ত জন্য পরিচিত হয় । অনুসন্ধানের জন্য , element element থেকে একটি উপাদান (অনুমান) সরবরাহ করা …

20 algorithms  probability-theory  randomized-algorithms 

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

20 algorithms  proof-techniques  runtime-analysis 

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

20 formal-methods  education 

একটি প্রদত্ত লেবেল পরিবর্তনকে সিস্টেম , যেখানে রাজ্যের একটি সেট করা হয়, লেবেল একটি সেট, এবং একটি তিন সম্পর্ক নেই। স্বাভাবিক হিসাবে, লেখ জন্য । লেবেল করা রূপান্তরটি দ্বারা বোঝানো হয় যে রাজ্যের সিস্টেম রাজ্যের পরিবর্তন ট্যাগ , যার মানে হল কিছু পর্যবেক্ষণযোগ্য কর্ম যে রাষ্ট্র পরিবর্তন ঘটে।এস Λ → …

20 programming-languages  formal-methods  semantics  process-algebras 

জিএসএটি অ্যালগরিদম হ'ল বেশিরভাগ অংশের জন্য, সরাসরি এগিয়ে: আপনি সূত্রটি সন্তুষ্ট করে এমন কোনও সমাধান না পাওয়া বা আপনি সর্বাধিক চেষ্টা / সর্বাধিক_ফ্ল্যাপস সীমাতে না পৌঁছা এবং সমাধান না পাওয়া পর্যন্ত আপনি সম্মিলিত স্বাভাবিক আকারে একটি সূত্র পান এবং ক্লজগুলির লিটারালগুলি সরিয়ে দিন। আমি নিম্নলিখিত অ্যালগরিদম বাস্তবায়ন করছি: procedure GSAT(A,Max_Tries,Max_Flips) …

20 algorithms  satisfiability  3-sat 

আমি অবাক হয়েছি যে গ্রাফিক কার্ডগুলিতে আজকাল প্রচুর পরিমাণে সমান্তরাল গণনা ইউনিট সরবরাহ করা হয়েছে ( উদাহরণস্বরূপ, ওপেনসিএল প্রোগ্রামযোগ্য ) একটি 1D সেলুলার অটোমেটা (বা সম্ভবত 2 ডি সেলুলার অটোমেটা?) সিমুলেট করার জন্য যথেষ্ট ভাল কিনা? যদি আমরা চিপটির স্মৃতিতে যে কোনও সীমাবদ্ধ গ্রিড ফিট করে তা চয়ন করি, আমরা …

20 computer-architecture  parallel-computing  cellular-automata 

আপনার এক বারের-প্যাড কী দিয়ে একটি বার্তা এনক্রিপ্ট করতে । কে ই এন সি ( মি 1 , কে ) = মি 1 ⊕ কেমি1m1m_1টkkইn সি ( মি।)1, কে ) = মি1⊕ কেEnc(m1,k)=m1⊕kEnc(m_1,k) = m_1 \oplus k যদি আপনি একই কোনও বার্তা এনক্রিপ্ট করতে ব্যবহার করেন তবে আপনি এবং আপনি …

20 cryptography  information-theory  encryption 

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

20 computability  undecidability