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

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

18 soft-question  quantum-computing  big-list  quantum-information 

আমি একটি সুস্পষ্ট বুলিয়ান ফাংশন আগ্রহী f:0,1n→0,1f:0,1n→0,1f \colon \\{0,1\\}^n \rightarrow \\{0,1\\}নিম্নলিখিত বৈশিষ্ট্য সহ: যদি কিছু অ্যাফাইন উপস্থানে স্থির থাকেfff , তারপরে এই উপস্থানের মাত্রা হ'ল o ( n ) ।0,1n0,1n\\{0,1\\}^no(n)o(n)o(n) এটি দেখানো কঠিন নয় যে প্রতিসাম্য A = বিবেচনা করে একটি প্রতিসম ফাংশন এই সম্পত্তিটিকে সন্তুষ্ট করে নাA=x∈0,1n∣x1⊕x2=1,x3⊕x4=1,…,xn−1⊕xn=1A=x∈0,1n∣x1⊕x2=1,x3⊕x4=1,…,xn−1⊕xn=1A=\\{x \in \\{0,1\\}^n …

18 cc.complexity-theory  circuit-complexity  derandomization  linear-algebra 

যাক একটি undirected সহজ গ্রাফ হতে হবে এবং দিন গুলি , T ∈ ভী ( জি ) স্বতন্ত্র ছেদচিহ্ন হও। সরল স্ট্যান্ড পাথের দৈর্ঘ্যটি পথের প্রান্তগুলির সংখ্যা হতে দিন। আমি সরল স্ট্যান্ড পাথের একটি সর্বাধিক আকারের গণনা করতে আগ্রহী যেমন প্রতিটি পাথার বিজোড় দৈর্ঘ্য রয়েছে এবং প্রতিটি জোড়ের পাথের ভার্টেক্স …

18 matching  graph-algorithms 

সমস্যা: আমাদের পূর্ণসংখ্যার দৈর্ঘ্যযুক্ত লাঠিগুলির একটি সেট দেওয়া হয়। তাদের দৈর্ঘ্যের মোট যোগফল n (n + 1) / 2। বহুবর্ষীয় সময়ের মধ্যে size size আকারের লাঠিগুলি পেতে আমরা কী তাদের ভাঙ্গতে পারি ? ১ , ২, … , এন1,2,...,এন{1,2,\ldots,n} আশ্চর্যজনকভাবে, এই সমস্যার জন্য আমি কেবলমাত্র রেফারেন্সটি পাই এটি প্রাচীন আলোচনা: …

18 reference-request  complexity-classes  puzzles 

এই কাগজটিতে পরামর্শ দেওয়া হয়েছে যে সংযুক্তকারী রয়েছে (প্রতীকী গণনাগুলি উপস্থাপন করছেন) যা ল্যাম্বদা ক্যালকুলাস দ্বারা প্রতিনিধিত্ব করা যায় না (যদি আমি বিষয়গুলি সঠিকভাবে বুঝতে পারি):

18 lo.logic  lambda-calculus 

আমি নিম্নলিখিত সমস্যাটিতে আগ্রহী: একটি সেট এক্স এবং উপসর্গ X_1, X, X_n দেওয়া হয়েছে, কে এর বর্ণগুলির সাথে এক্স এর উপাদানগুলির একটি রঙিন সন্ধান করুন যাতে প্রতিটি এক্স_আই এর উপাদানগুলি সমস্ত আলাদাভাবে বর্ণযুক্ত। আরও সুনির্দিষ্টভাবে, আমি সেই ক্ষেত্রে দেখছি যেখানে সমস্ত এক্স_আই আকারের কে। সাহিত্যে এটি কি কোনও নামে পরিচিত? …

18 cc.complexity-theory  reference-request  np-hardness  hypergraphs 

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

18 cc.complexity-theory  complexity-classes  np 

ম্যাট্রিক্সকে উপরের ত্রিভুজাকার আকারে আনতে প্রয়োজনীয় প্রাথমিক সারি এবং কলামের অপারেশনগুলির ন্যূনতম সংখ্যার জন্য একটি ম্যাট্রিক্সের গাউসীয় জটিলতার সংজ্ঞা দিন । এটি এবং (গাউসিয়ান এলিমেন্টের মাধ্যমে) এর মধ্যে একটি পরিমাণ । ধারণাটি যে কোনও ক্ষেত্রেই উপলব্ধি করে।0 n 2n × nn×nn \times n000এন2n2n^2 এই সমস্যাটি অবশ্যই খুব প্রাথমিক বলে মনে …

18 cc.complexity-theory  lower-bounds  matrices 

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

18 cc.complexity-theory  quantum-computing  query-complexity 

Satisfiability সমস্যা তাত্ত্বিক সি এস একটি মৌলিক সমস্যা অবশ্যই, হয়। আমি অসীম অনেকগুলি ভেরিয়েবলগুলির সাথে সমস্যার একটি সংস্করণ নিয়ে খেলছিলাম। \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} বেসিক সেটআপ। যাক একটি nonempty এবং হতে এর সম্ভবত অসীম সেট ভেরিয়েবল । আক্ষরিক হয় হয় একটি পরিবর্তনশীল x X এক্স বা এর প্রত্যাখ্যান \ নাগ এক্স । …

18 reference-request  lo.logic  sat  topology  lattice 

আমি শুধু পড়া " ? গুণকনির্ণয় পূর্ণসংখ্যা একটি দ্বারা NP-সম্পূর্ণ সমস্যা " প্রশ্ন ... তাই আমি আমার খ্যাতি কিছু :-) ব্যয় আরেকটি প্রশ্ন জিজ্ঞাসা সিদ্ধান্ত নিয়েছে থাকার পি ( প্রশ্নঃ তুচ্ছ হয় ) ≈ 1 :QQQP(Q is trivial)≈1P(Q is trivial)≈1P(\text{Q is trivial}) \approx 1 যদি এমন একটি ওরাকল হয় যা …

18 cc.complexity-theory  oracles  factoring 

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

18 ds.algorithms 

যদি এটি অফ-টপিক হয় তবে আমি ক্ষমা চাই। মনে হচ্ছে ডোমেন নামটির মেয়াদ শেষ হয়ে গেছে। আমি আশা করি এখানে সম্প্রদায়ের কিছু সদস্য (গুলি) আমি জানতে পারি যে সেই সাইটের প্রশাসক / মালিক কে ছিলেন। এটি বেশ কার্যকর সংস্থান ছিল।

17 soft-question 

একটি শব্দ Www বলা হয় আদিম , যদি সেখানে কোন শব্দ নেই বনামvv এবং ট > 1k>1k > 1 যাতে W = V টw=vkw = v^k । সেট প্রশ্নQQ একটি বর্ণমালা সব আদিম শব্দের ΣΣ\Sigma একটি সুপরিচিত ভাষা। WLOG আমরা নির্বাচন করতে পারবেন Σ = { একটি , খ }Σ={a,b}\Sigma …

17 fl.formal-languages 

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

17 cc.complexity-theory  pl.programming-languages  big-list  open-problem