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

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

103 pl.programming-languages  lo.logic  ct.category-theory 

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

99 reference-request  big-list  books 

সাম্প্রতিক বছরগুলিতে প্রচুর প্যাথফাইন্ডিং অ্যালগরিদমগুলি তৈরি করা হয়েছে যা এ * এর তুলনায় গ্রাফ পরিবর্তনের প্রতিক্রিয়ায় সেরা পাথ গণনা করতে পারে - সেগুলি কী এবং তারা কীভাবে পৃথক হয়? এগুলি কি বিভিন্ন পরিস্থিতিতে রয়েছে, বা কিছু অপ্রচলিত অন্যকে করে? এগুলি আমি এ পর্যন্ত খুঁজে পেতে সক্ষম হয়েছি: ডি * (1994) …

96 ds.algorithms  shortest-path 

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

92 computability  decidability 

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

90 soft-question  big-list  conferences 

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

85 soft-question  big-picture  lambda-calculus  ho.history-overview 

আকর্ষণীয় শিরোনামের জন্য দুঃখিত। আমি বুঝতে চাই, চার্চ-টিউরিং থিসিসকে অস্বীকার করার জন্য আমাদের কী করা উচিত? কোথাও আমি পড়েছি এটি করা গাণিতিকভাবে অসম্ভব! কেন? ট্যুরিং, রোজার ইত্যাদি বিভিন্ন শর্তাদি ব্যবহার করে: "কী গুনা যায়" এবং "কী ট্যুরিং মেশিন দ্বারা গুণা যায়" between এ সম্পর্কে ট্যুরিংয়ের ১৯৩৯ সালের সংজ্ঞাটি হ'ল: "আমরা …

83 computability  proofs  hypercomputation 

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

80 reference-request  soft-question  big-list 

এটি একটি গবেষণামূলক প্রশ্নের চেয়ে অনেক বেশি একটি "questionতিহাসিক প্রশ্ন", তবে পিটার শর প্রথমে আবিষ্কারকৃত কারণের জন্য শোরের অ্যালগরিদমে ক্রম-সংক্রান্ত অনুসন্ধানের শাস্ত্রীয় হ্রাস ছিল, বা এটি আগে জানা ছিল? শোর পূর্বের তারিখগুলি হ্রাসের বর্ণনা দেয় এমন কোনও কাগজ কি আছে বা এটি কেবল একটি তথাকথিত "লোক ফলাফল"? অথবা এটি কেবল …

79 quantum-computing  ho.history-overview  factoring 

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

79 cc.complexity-theory  soft-question  advice-request 

বিশ্বের প্রথম প্রোগ্রামেবল কোয়ান্টাম ফোটোনিক চিপের ঘোষণার আলোকে , আমি ভাবছিলাম যে কোয়ান্টাম এনট্যাঙ্গেলমেন্ট ব্যবহার করে এমন কোনও কম্পিউটারের জন্য কী সফটওয়্যারটি হবে। আমি যে প্রথম প্রোগ্রামটি লিখেছিলাম তার মধ্যে একটি ছিল এরকম কিছু for i = 1 to 10 print i next i সিউডোকোড বা উচ্চ স্তরের ভাষায় কোয়ান্টাম …

76 quantum-computing 

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

75 soft-question  research-practice 

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

74 reference-request  soft-question  big-list  topology 

এটি সুপরিচিত যে সাধারণভাবে, সর্বজনীন এবং অস্তিত্বের পরিমাণের ক্রমটি বিপরীত হতে পারে না। অন্য কথায়, একটি সাধারণ যৌক্তিক সূত্র for ,ϕ(⋅,⋅)ϕ(⋅,⋅)\phi(\cdot,\cdot) (∀x)(∃y)ϕ(x,y)⇎(∃y)(∀x)ϕ(x,y)(∀x)(∃y)ϕ(x,y)⇎(∃y)(∀x)ϕ(x,y)(\forall x)(\exists y) \phi(x,y) \quad \not\Leftrightarrow \quad (\exists y)(\forall x) \phi(x,y) অন্যদিকে, আমরা জানি ডান হাতটি বাম-হাতের চেয়ে বেশি সীমাবদ্ধ; অর্থাৎ, (∃y)(∀x)ϕ(x,y)⇒(∀x)(∃y)ϕ(x,y)(∃y)(∀x)ϕ(x,y)⇒(∀x)(∃y)ϕ(x,y)(\exists y)(\forall x) \phi(x,y) \Rightarrow (\forall x)(\exists y) …

73 lo.logic  big-picture  proof-techniques 

পূর্ববর্তী প্রশ্নের উত্তরে আমি সাধারণ কিন্তু ভ্রান্ত বিশ্বাসের কথা উল্লেখ করেছি যে সময়ে "গাউসিয়ান" নির্মূলকরণ চলে । যদিও এটি স্পষ্ট যে অ্যালগরিদম গাণিতিক ক্রিয়াকলাপগুলি ব্যবহার করে, অসতর্কতা প্রয়োগের ফলে বহু বিট দিয়ে সংখ্যা তৈরি করতে পারে। একটি সাধারণ উদাহরণ হিসাবে ধরুন, আমরা নিম্নলিখিত ম্যাট্রিক্সকে তির্যক করতে চাই:O(n3)O(n3)O(n^3)O(n3)O(n3)O(n^3) ⎡⎣⎢⎢⎢⎢⎢⎢⎢211⋮1021⋮1002⋮1⋯⋯⋯⋱⋯000⋮2⎤⎦⎥⎥⎥⎥⎥⎥⎥[200⋯0120⋯0112⋯0⋮⋮⋮⋱⋮111⋯2]\begin{bmatrix} 2 & …

72 ds.algorithms  reference-request  linear-algebra