প্রশ্ন ট্যাগ «big-picture»

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

42 soft-question  fl.formal-languages  automata-theory  big-picture  turing-machines 

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

41 big-picture  dc.distributed-comp 

এটি সাধারণত বিশ্বাস করা হয় যে সমস্ত ϵ > 0ϵ>0\epsilon > 0 জন্য ও ( এন 2 + ϵ ) সময়ে দুটি n × nn×nn \times n ম্যাট্রিককে গুণ করা সম্ভব । কিছু আলোচনা এখানে ।ও ( এন)2 + + ε)O(n2+ϵ)O(n^{2 + \epsilon}) আমি এমন কিছু লোককে জিজ্ঞাসা করেছি যারা …

39 cc.complexity-theory  linear-algebra  big-picture  matrices  matrix-product 

রায়ান উইলিয়ামস সবেমাত্র দুদকের উপর তার নিম্ন সীমানা পোস্ট করেছেন , এমন সমস্যা শ্রেণীর যেগুলি অসীম ফ্যান-ইন এবং ফটকগুলি সহ অবিচ্ছিন্ন গভীরতার সার্কিট রয়েছে এবং সমস্ত সম্ভাব্য মিটারের জন্য অ্যান্ড, ও, না এবং এমওডি_এম রয়েছে। এমওডি_এম গেটস সম্পর্কে এত বিশেষ কী? তারা যেকোন রিং Z_m এর উপরে পাটিগণিত অনুকরণ করতে …

39 cc.complexity-theory  circuit-complexity  big-picture  circuit-families 

কখনও কখনও দাবি করা হয় যে পি বনাম এনপি প্রশ্নের মতো জটিলতা তত্ত্বের খোলামেলা প্রশ্নগুলির নিষ্পত্তি করার জন্য কেতন মুলমুলির জ্যামিতিক জটিল জটিলতা তত্ত্বই একমাত্র প্রশংসনীয় প্রোগ্রাম। প্রোগ্রামটি সম্পর্কে বিখ্যাত জটিল তাত্ত্বিকদের কাছ থেকে বেশ কয়েকটি ইতিবাচক মন্তব্য রয়েছে। মুলমুলির মতে এটি কাঙ্ক্ষিত ফলাফল পেতে দীর্ঘ সময় নিবে। সাধারণ জটিলতা …

38 cc.complexity-theory  big-picture  algebraic-complexity  p-vs-np  gct 

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

35 cc.complexity-theory  complexity-classes  big-picture 

দেখুন সাধারণ জ্ঞান বিন্দু থেকে, এটা বিশ্বাস করা যে অ নিয়তিবাদ যোগ সহজ উল্লেখযোগ্যভাবে তার ক্ষমতা, অর্থাত, প্রসারিত চেয়ে অনেক বড় । সর্বোপরি, অ-নির্ধারণবাদ তাত্পর্যপূর্ণ সমান্তরালতাটিকে মঞ্জুরি দেয় যা নিঃসন্দেহে খুব শক্তিশালী বলে মনে হয়। পিP\mathsf{P}পিএন পিNP\mathsf{NP}পিP\mathsf{P} অন্যদিকে, আমরা যদি just to সাথে কেবল অ-অভিন্নতা যুক্ত করি , তবে অন্তর্দৃষ্টি …

33 cc.complexity-theory  complexity-classes  big-picture 

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

32 reference-request  soft-question  big-picture  social-sciences  algorithmic-lens 

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

32 quantum-computing  big-picture 

অনেক বিশেষজ্ঞ বিশ্বাস করেন যে অনুমানটি সত্য এবং তাদের ফলাফলগুলিতে এটি ব্যবহার করুন। আমার উদ্বেগ হ'ল জটিলতা দৃ strongly ়ভাবে P ≠ N P অনুমানের উপর নির্ভর করে ।P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} সুতরাং আমার প্রশ্নটি হ'ল: যতক্ষণ না অনুমান প্রমাণিত না হয়, স্ট্রাসেনের উদ্ধৃতিতে ইঙ্গিত হিসাবে, কেউ কি এটিকে …

30 cc.complexity-theory  soft-question  big-picture  p-vs-np  physics 

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

28 pl.programming-languages  big-picture  type-theory 

তিনটি স্থানিক মাত্রা নিয়ে একটি মহাবিশ্বে বিকশিত হওয়া সম্পর্কে একটি সুন্দর বিষয় হ'ল আমরা মহাকাশে থাকা বস্তুগুলির সাথে সম্পর্কিত সমস্যা সমাধানের দক্ষতা অর্জন করেছি। উদাহরণস্বরূপ, উদাহরণস্বরূপ, আমরা 3-d-তে একটি বিন্দু হিসাবে সংখ্যার একটি ট্রিপলটি ভাবতে পারি এবং তাই 3-d-তে পয়েন্ট সম্পর্কে গণনা হিসাবে তিনটি সংখ্যার অঙ্ক করা যায়, যা আমাদের …

28 big-list  cg.comp-geom  big-picture 

গ্রোথেন্ডিক মারা গেছেন । তিনি একবিংশ শতাব্দী অবধি অবধি 20 শতকের গণিতে ব্যাপক প্রভাব ফেলেছিলেন। এই প্রশ্নটি কিছুটা স্টাইল / স্পিরিটে জিজ্ঞাসা করা হয়েছে, উদাহরণস্বরূপ, কম্পিউটার বিজ্ঞানে অ্যালান টুরিংয়ের অবদানগুলির । তাত্ত্বিক কম্পিউটার বিজ্ঞানের উপর গ্রোথেন্ডিকের প্রধান প্রভাবগুলি কী কী ?

27 big-picture  ct.category-theory  ho.history-overview 

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

27 reference-request  big-picture  application-of-theory  evolutionary-game-theory  algorithmic-lens 

আমি বেশ কয়েকটি গবেষণাপত্রে পড়েছি যে ওয়ান-ওয়ে ফাংশনের অস্তিত্ব ব্যাপকভাবে বিশ্বাসযোগ্য। কেন কেউ এই বিষয়ে আলোকপাত করতে পারে? ওয়ান-ওয়ে ফাংশনগুলির অস্তিত্বকে সমর্থন করার জন্য আমাদের কী যুক্তি রয়েছে?

25 cc.complexity-theory  cr.crypto-security  big-picture  one-way-function