প্রশ্ন ট্যাগ «reference-request»

এটি আমার উপলব্ধি যে ট্যুরিংয়ের মডেল গণনার বিবরণ দেওয়ার সময় "মান" হয়ে উঠেছে। আমি কেন আগ্রহী তা জানতে আগ্রহী - এটি হ'ল টিএম মডেল কেন অন্যান্য তাত্ত্বিক সমতুল্য (আমার জ্ঞানের সাথে) মডেলগুলির চেয়ে বেশি ব্যবহৃত হয়েছে, উদাহরণস্বরূপ ক্লিনির μ-পুনরাবৃত্তি বা ল্যাম্বদা ক্যালকুলাস (আমি বুঝতে পেরেছি) পূর্ববর্তীটি পরবর্তীকালে উপস্থিত হয়নি এবং …

44 reference-request  soft-question  computability  turing-machines  ho.history-overview 

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

42 cc.complexity-theory  reference-request  big-list  survey 

তাত্ত্বিক কম্পিউটার বিজ্ঞানের গ্রাবারার ঘাঁটির আকর্ষণীয় অ্যাপ্লিকেশনগুলি কি কেউ জানেন ? গ্রোবারার বেসগুলি বহু-বৈচিত্র্য বহুপদী সমীকরণগুলি সমাধান করার জন্য ব্যবহৃত হয়, সাধারণভাবে একটি এনপি-হার্ড সমস্যা। আমি ভাবছিলাম যে টিসিএস বা টিসিএস-সম্পর্কিত অঞ্চলে (সংযুক্তিবিদ্যা, কোডিং তত্ত্ব) দক্ষ অ্যালগরিদম / নির্মাণ / প্রমাণ সরবরাহের জন্য কিছু ট্র্যাকটেবল বিশেষ ক্ষেত্রে ব্যবহৃত হয়েছিল কিনা।

41 cc.complexity-theory  reference-request  algebra  polynomials 

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

41 ds.algorithms  reference-request  soft-question  machine-models 

এটি গণিত.স্ট্যাকেক্সেক্সঞ্জের একটি ক্রস পোস্ট । যাক সত্যিকারের পূর্ণসংখ্যার ফ্যাক্টরিং সমস্যাটি বোঝানো যাক: given দেওয়া হয়েছে প্রাইমগুলি এবং যেমন thatp i ∈ N , e i ∈ N , n = ∏ k i = 0 p e i i ।n∈N,n∈N,n \in \mathbb{N},pi∈N,pi∈N,p_i \in \mathbb{N},ei∈N,ei∈N,e_i \in \mathbb{N},n=∏ki=0peii.n=∏i=0kpiei.n = \prod_{i=0}^{k} p_{i}^{e_i}. …

39 cc.complexity-theory  reference-request  np-hardness  cr.crypto-security  factoring 

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

39 reference-request  computability  turing-machines  randomness 

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

38 reference-request  big-list  survey  gct 

প্রমাণের কৌশল দ্বারা টিসিএস উপপাদাগুলি সংগঠিত এবং আলোচনা করে এমন কোনও রেফারেন্স রয়েছে (অনলাইন বা বই আকারে)? গ্যারি এবং জনসন এনপি-পূর্ণতা প্রমাণগুলির জন্য বিভিন্ন ধরণের উইজেট নির্মাণের জন্য এটি করেন (বিশেষত তাদের বইয়ের ৩ য় অধ্যায়ে), তবে আমি ভাবছি যে টিসিএসে প্রমাণ কৌশলগুলি আরও বিস্তৃতভাবে আচরণ করে এমন কিছু আছে …

38 reference-request  proof-techniques 

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

37 reference-request  lo.logic  set-theory 

বিবেচনা করার সময় বেশ কয়েকটি জ্যামিতিক সমস্যাগুলি সহজ , তবে জন্য এনপি-সম্পূর্ণ (আমার প্রিয় সমস্যাগুলির মধ্যে একটি, ইউনিট ডিস্ক কভার সহ) includingR1R1R^1RdRdR^dd≥2d≥2d\geq2 এবং জন্য পলটাইম দ্রবণযোগ্য তবে জন্য এনপি-সম্পূর্ণ রয়েছে এমন কোনও সমস্যা কি কেউ জানেন ? R1R1R^1R2R2R^2Rd,d≥3Rd,d≥3R^d,d\geq3 আরও সাধারণভাবে, আরকি- জন্য এনপি-সম্পূর্ণ তবে , যেখানে , এমন কি ?RkRkR^kRk−1Rk−1R^{k-1}k≥3k≥3k\geq3

37 cc.complexity-theory  reference-request  cg.comp-geom 

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

37 reference-request  complexity-classes  computability  pl.programming-languages 

এটি একটি প্রযুক্তিগত প্রশ্ন নয়, তবে অবশ্যই টিসিএস সম্প্রদায়ের জন্য প্রাসঙ্গিক। যদি অনুচিত হিসাবে বিবেচনা করা হয়, বন্ধ করতে নির্দ্বিধায়। জটিলতা চিড়িয়াখানা ওয়েবপেজ (http://qwiki.stanford.edu/index.php/Complexity_Zoo) অবশ্যই বছরের পর বছর ধরে TCS সম্প্রদায়ে মহান সেবার হয়েছে। আপাতদৃষ্টিতে এটি বেশ কিছুদিন থেকে নিচে পড়েছে। আমি ভাবছিলাম, কেউ যদি এখনও এটি বজায় রাখে, যদি …

36 cc.complexity-theory  reference-request  soft-question 

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

36 cc.complexity-theory  reference-request  algebraic-complexity 

সমস্যাটি হল বহুপদী । ধরে নিন যে সমস্ত সহগ একটি মেশিন শব্দের সাথে খাপ খায়, ইউনিট টাইমে ম্যানিপুলেট করা যায়।( ক)1x + খ1) × ⋯ × ( কএনx + খএন)(a1x+b1)×⋯×(anx+bn)(a_1 x + b_1) \times \cdots \times (a_n x + b_n) আপনি ট্রি ফ্যাশনে এফএফটি প্রয়োগ করে সময় করতে পারেন । …

35 ds.algorithms  reference-request  open-problem  polynomials 

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

33 cc.complexity-theory  reference-request  complexity-classes  nt.number-theory