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

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

9 time-complexity  discrete-mathematics  cryptography 

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

9 complexity-theory  reference-request  logic 

একটি দ্বিপক্ষীয় গ্রাফ প্ল্যানার হয় যদি এর কোনও থাকে না কে3 , 3K3,3K_{3, 3} অথবা কে5K5K_5 অপ্রাপ্তবয়স্কদের। আমি কোন প্রান্তকে "ঘুরতে" বেড়াতে কোন প্রান্ত ছাড়াই প্ল্যানার অঙ্কনের অনুমতি দেওয়ার জন্য প্রয়োজনীয় বা / এবং পর্যাপ্ত শর্তের সন্ধান করছি। এগুলি সন্তোষজনক অঙ্কনগুলি: এক অংশের সমস্ত সূচনা একক উল্লম্ব রেখায় আঁকা। অন্য …

9 graph-theory  terminology  graph-drawing 

আমি গ্রাফের সমস্ত জোড়ার মধ্যে সংক্ষিপ্ততম পথ ( 10 এর কম হবে) উত্পাদন করতে চাই । গ্রাফটি (আসলে একটি পাতাল রেল মানচিত্র):kkkkkk ইতিবাচক ওজন undirected বিরল প্রায় 100 নোড সহ আমার বর্তমান পরিকল্পনাটি প্রতিটি জোড়ায় সংক্ষিপ্ততম পথের রাউটিং প্রয়োগ করা ; আমি এখন আরও কার্যকর বিকল্পের সন্ধান করছি (সম্ভবত ডায়নামিক …

9 algorithms  graphs  optimization  shortest-path 

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

9 reductions  network-flow  bipartite-matching 

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

9 reference-request  computational-geometry 

সাধারণত আমি দেখতে পাই যে লুপের জন্য স্ট্রাকচারাল অপারেশনাল সিনটিকের উপস্থাপনায় প্রোগ্রামের স্থিতি পরিবর্তন হয় না: (whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(Wজআমিঠইবিঘণএস,σ)→(আমিচবিটিজইএনএস;(Wজআমিঠইবিঘণএস)ইঠগুলিইএসকেআমিপি,σ)(while \> B \> do \>S, \sigma) \rightarrow (if \>B \> then \>S; (while \> B \> do \>S) \> else \> SKIP, \sigma) আমার জন্য, এটি স্বজ্ঞাত নয়, যদি রাষ্ট্র পরিবর্তন না হয় …

9 formal-languages  programming-languages  formal-methods  operational-semantics 

র্যান্ডমাইজড মেল্ডেবল হিপগুলির একটি অপারেশন " মেল্ড " রয়েছে, যা আমরা পরে সন্নিবেশ সহ অন্যান্য সমস্ত ক্রিয়াকলাপ সংজ্ঞায়িত করতে ব্যবহার করি। প্রশ্নটি হল, নোড সহ সেই গাছের একটি প্রত্যাশিত উচ্চতা কত ?nnn গাম্বিন এবং মলিনকোভস্কির উপপাদ্য 1, র্যান্ডমাইজড মেল্ডেবল অগ্রাধিকার ক্যু ( প্রফেসিং অফ সফটওয়্যার 1998, কম্পিউটার সায়েন্সের বক্তৃতা নোট …

9 algorithm-analysis  data-structures  randomized-algorithms  heaps 

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

9 automata  finite-automata  education 

আমি প্রোগ্রামিং ভাষাগুলির বাস্তবায়ন কৌশলগুলি সন্ধান করছি এবং সম্প্রতি স্প্যাগেটি স্ট্যাকগুলি জুড়ে এসেছি, যা ধারাবাহিকতা পাস করার স্টাইল মডেলটির (যেমন স্কিম এবং এসএমএল / এনজে তাদের ব্যবহারের ভিত্তিতে দেওয়া হয়েছে ) মনে করা ভাল fit সরলতার স্বার্থে, আসুন কেবল এই প্রশ্নের জন্য একটি একক থ্রেডেড প্রক্রিয়া বিবেচনা করুন। তবে আমি …

9 data-structures  programming-languages  continuations 

এই সমস্যাটি থামার সমস্যাটি সম্পর্কে আমার কাছে এসেছিল এবং কেউ অনলাইনে সহায়তা করতে পারে কিনা তা ভেবে আমি অনলাইনে একটি ভাল উত্তর পাই না। ইনপুটটি টিএমটি নিজেই না হয়ে থাকায় কোনও আউটপুটটিতে কোনও টিএম-এর পক্ষে থমকে থাকা সমস্যাটি স্থিতিশীল? মূলত: Halts(TM, I) IF TM == I: Undecidable, return a random …

9 computability  undecidability  halting-problem 

আজ মধ্যাহ্নভোজনে, আমি এই সমস্যাটি আমার সহকর্মীদের সাথে নিয়ে এসেছি, এবং আমার অবাক করে দিয়েছি যে সমস্যাটি নির্ধারিত বলে জেফ ইয়ের যুক্তি তাদের বোঝাতে পারেনি ( এখানে গণিত প্রবাহের একটি ঘনিষ্ঠ সম্পর্কিত পোস্ট রয়েছে)'s একটি সমস্যার বিবৃতি যা ব্যাখ্যা করা সহজ ("এটি পি = এনপি?") এটিও নির্ধারণযোগ্য: হয় হ্যাঁ বা …

9 computability  undecidability 

আমি সুবিধাজনক অবস্থান গাছ শিখছি, এবং আমি এই সাক্ষাৎ কাগজ পড়ার সময়ের জন্য সাধারণ মেট্রিক শূন্যস্থানের মধ্যে নিয়ারেস্ট অনুসন্ধান ডাটা স্ট্রাকচার এবং আলগোরিদিম পিটার Yianilos দ্বারা ( প্রসিডিংস SODA 1993 , ছিয়াম, পৃষ্ঠা 311-321; পিডিএফ )। নিম্নলিখিত সিউডোকোড আলগোরিদিম 1 এ উপস্থিত হয়। function Make_vp_tree(S)if S=∅ then return ∅new(node);node↑.p:=Select_vp(S);node↑.mu:=Medians∈Sd(p,s);…function Make_vp_tree(S)if …

9 notation 

3-বর্ণ নির্ধারণযোগ্য তা প্রমাণ করার জন্য, এটি কি যথেষ্ট: গ্রাফের প্রতিটি নোডে 3 টি সম্ভাব্য রঙ রয়েছে অতএব আমরা সমস্ত সম্ভাবনার উপরে অঙ্ক করতে পারি এবং তারপরে পরীক্ষা করে দেখি যে কোনও দুটি কিনারা একই রঙের সাথে নোডকে সংযুক্ত করে না3এন3এন3^n এটি কি প্রমাণ করে যে 3-বর্ণ নির্ধারণযোগ্য? বা সঠিক …

9 computability  turing-machines  colorings 

আমরা ডিএনএ দ্বারা বিভাজনযোগ্য বাইনারি সংখ্যা গ্রহণ করে গঠন করতে পারি এনnn। উদাহরণস্বরূপ, ডিএনএ 2 দ্বারা বিভাজ্য বাইনারি সংখ্যাগুলি গ্রহণ করে নিম্নলিখিতভাবে গঠিত হতে পারে: একইভাবে ডিভিএ গ্রহণ করে বাইনারি সংখ্যাগুলি 3 দ্বারা বিভাজ্য নিম্নরূপ গঠিত হতে পারে: আমরা এই ধরণের ডিএফএ তৈরি করতে একটি সংজ্ঞায়িত পদ্ধতি অনুসরণ করতে পারি। …

9 regular-languages  automata  finite-automata  regular-expressions