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

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

14 lo.logic  functional-programming  ct.category-theory  denotational-semantics  type-systems 

আমার প্রথম প্রশ্নটি হল একটি ইন্টারেক্টিভ প্রুফ সিস্টেমের বৈশিষ্ট্যটি সমস্ত ক্লাসিক জটিলতার ক্লাসগুলির জন্য পরিচিত। আমি পি, এনপি, পিএসপিএসি, এক্সপি, এনএক্সপি, এক্সপ্যাসকে, পুনরাবৃত্ত এবং পুনরাবৃত্ত গণনার ফাংশন ক্লাসিক (অন্যদের মধ্যে) বলব call বিশেষতঃ একটি ইন্টারেক্টিভ প্রুফ সিস্টেমের বৈশিষ্ট্যটি কি পুনরাবৃত্ত এবং পুনরাবৃত্তভাবে গণনার পক্ষে কার্যকর হয়? আমি কেবল সেই আইপি …

14 cc.complexity-theory  big-picture  interactive-proofs 

আমি এই শরত্কালে আমার পিএইচডি শুরু করছি এবং আমি আমার থিসিসের জন্য জটিলতার তত্ত্বে কাজ করার পরিকল্পনা করছি। আমি প্রতিটি জটিলতা তাত্ত্বিককে জানা উচিত এমন গুরুত্বপূর্ণ কাগজগুলির একটি তালিকা সংকলন করছি। আমার মতো ব্যক্তিকে আপনি কোন কাগজপত্রের পরামর্শ দিবেন? এবং দয়া করে আপনি কেন কাগজটি গুরুত্বপূর্ণ বলে সংক্ষেপে ব্যাখ্যা করুন।

14 cc.complexity-theory  reference-request  big-list 

আমি আয়তক্ষেত্রাকার ম্যাট্রিক্সের ম্যাট্রিক্সের গুণনের গুণগত জটিলতার তথ্য অনুসন্ধান করছি। উইকিপিডিয়া যে গুন জটিলতা দ্বারা হয় (পাঠ্যপুস্তক গুণ)।A∈Rm×nA∈Rm×nA \in \mathbb{R}^{m \times n}B∈Rn×pB∈Rn×pB \in \mathbb{R}^{n \times p}O(mnp)O(mnp)O(mnp) আমি একটি মামলা যেখানে আছে এবং তুলনায় অনেক ছোট , এবং আমি রৈখিক বেশী ভালো জটিলতা পেতে আশা করছিলাম , উপর নির্ভরতা তৈরীর ব্যয় …

14 cc.complexity-theory  time-complexity  linear-algebra  matrix-product 

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

14 ds.algorithms  optimization  linear-programming  integrality-gap 

গোল্ডরিচ-লেভিন লার্নিং অ্যালগরিদমের সর্বাধিক পরিচিত কোয়েরি জটিলতা কী? লুকা ট্রেভিসনের ব্লগ লেমমা 3 এর লেকচার নোটগুলি এটিকে । এটি এর উপর নির্ভরতার ক্ষেত্রে সবচেয়ে বেশি পরিচিত ? একটি বিশেষ উত্সের রেফারেন্সের জন্য আমি বিশেষভাবে কৃতজ্ঞ থাকব!O(1/ϵ4nlogn)O(1/ϵ4nlog⁡n)O(1/\epsilon^4 n \log n)nnn সম্পর্কিত প্রশ্ন: কুশিলেভিটস-মনসুর লার্নিং অ্যালগরিদমের সর্বাধিক পরিচিত কোয়েরি জটিলতা কী?

14 cc.complexity-theory  reference-request  lg.learning  fourier-analysis 

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

14 reference-request  open-problem  nt.number-theory  halting-problem  computability 

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

14 reference-request  fl.formal-languages  regular-language  context-free  survey 

ইউনিটারি গ্রুপ উপর বিভিন্ন ফাংশন অনুকূলকরণের গণ্য জটিলতা কী ?U(n)U(n)\mathcal{U}(n) সাধারণত টাস্ক কোয়ান্টাম তথ্য তত্ত্ব প্রায়ই উদ্ভূত, ধরণ পরিমান বাড়ানোর হবে (অথবা উচ্চতর অর্ডার polynomials ইউ ) উপর সব ঐকিক ম্যাট্রিক্স ইউ । এই ধরণের অপ্টিমাইজেশন দক্ষতার সাথে (সম্ভবত প্রায়) গণনাযোগ্য, বা এটি এনপি-হার্ড? (সম্ভবত এটি সুপরিচিত, তবে আমি কোনও …

14 cc.complexity-theory  reference-request  optimization  quantum-information 

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

14 reference-request  ds.data-structures  advice-request  space-time-tradeoff 

আমি যতদূর বলতে পারি, কিউকেডি-র প্রায় সমস্ত বাস্তবায়ন ত্রুটি সংশোধনের জন্য ব্রাসার্ড এবং সালভাইলের ক্যাসকেড অ্যালগরিদম ব্যবহার করে। এলোমেলো কুইটগুলির ভাগ করে নেওয়া ক্রমের ত্রুটিগুলি সংশোধন করার জন্য এটি কি সত্যই পরিচিত পদ্ধতি, বা কিউকেডি প্রয়োগের পরিবর্তে এর চেয়ে আরও ভাল প্রস্তাব পাওয়া উচিত?

14 cr.crypto-security  quantum-computing  quantum-information 

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

14 cc.complexity-theory  ho.history-overview  space-time-tradeoff 

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

14 cc.complexity-theory  polynomial-time  undecidability  independence 

বেন-ডোর / হালেভি [1] এর গবেষণাপত্রে এটি আরও একটি প্রমাণ দেওয়া হয়েছে যে স্থায়ী অসম্পূর্ণ। কাগজের পরবর্তী অংশে, তারা হ্রাস শৃঙ্খলাটি স্থায়ী মান শৃঙ্খলে বরাবর সংরক্ষণ করা হয়। যেহেতু একটা 3SAT সূত্রের বরাদ্দকরণ satiesfying সংখ্যা স্থায়ী মান থেকে প্রাপ্ত করা যাবে, এটা চূড়ান্ত স্থায়ী গনা যথেষ্ট -matrix। এ পর্যন্ত সব …

14 cc.complexity-theory  counting-complexity  permanent 

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

14 cc.complexity-theory  counting-complexity  linear-algebra  logspace