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

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

12 quantum-information 

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

12 db.databases  relational-structures 

নিম্নলিখিত অ্যাবেলিয়ান-সাবগ্রুপ সদস্যতা-পরীক্ষার সমস্যাটি বিবেচনা করুন । ইনপুট: একটি নির্দিষ্ট abelian গ্রুপ G=Zd1×Zd1…×ZdmG=Zd1×Zd1…×ZdmG=\mathbb{Z}_{d_1}\times\mathbb{Z}_{d_1}\ldots\times\mathbb{Z}_{d_m} অবাধ-লার্জ সঙ্গে didid_i । একজন উৎপাদিত সেট {h1,…,hn}{h1,…,hn}\lbrace h_1,\ldots,h_n\rbrace একটি উপদলের এর H⊂GH⊂GH\subset G । একটি উপাদান b∈Gb∈Gb\in G । আউটপুট: 'হ্যাঁ' যদি b∈Hb∈Hb\in H এবং অন্য কোথাও 'না' থাকে। প্রশ্ন: একটি শাস্ত্রীয় কম্পিউটারে এই সমস্যাটি দক্ষতার …

12 ds.algorithms  time-complexity  matrices  nt.number-theory  gr.group-theory 

ইন hạc (10.4.2) 10 অধ্যায়ে , আমরা সুপরিচিত Feige-হুকমি-শামির আইডেন্টিফিকেশন (সম্ভাব্য) আহরণের বর্গমূল একটি যৌগিক যে ফ্যাক্টর কঠিন modulo অসুবিধা ব্যবহার করে একটি শূন্য-জ্ঞান প্রমাণ উপর ভিত্তি করে প্রোটোকল দেখুন। আমি আমার নিজের কথায় স্কিমটি দেব (এবং আশা করি এটি সঠিক হয়ে উঠবে)। এর একটি সহজ স্কীম দিয়ে শুরু করা …

12 cr.crypto-security  proofs  zero-knowledge 

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

12 it.information-theory  kolmogorov-complexity  shannon-entropy 

অনন্য SAT সুপরিচিত সমস্যা: একটি সিএনএফ সূত্র , এফের ঠিক একটি মডেল রয়েছে তা কি সত্য ?FFFFFF আমি « অবিকল এস্যাট» সমস্যাটিতে আগ্রহী: একটি সিএনএফ সূত্র এফ এবং একটি পূর্ণসংখ্যা মি > 1 দিয়েছি , এফ কি ঠিক মি মডেল রেখেছেন ?mmmFFFm>1m>1m>1FFFmmm উভয় সমস্যা একই দেখাচ্ছে। সুতরাং আমার প্রশ্নগুলি হ'ল: …

12 cc.complexity-theory  reference-request  np-hardness  sat  reductions 

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

12 parameterized-complexity  csp  fixed-parameter-tractable 

দ্রুত সংস্করণ অসঙ্গতির সেখানে মডেলের লাইনে কোয়ান্টাম হাঁটার জন্য হয় যেমন আমরা সুর যেমন বিস্তারে চলতে পারে যে কোন 1 / 2 ≤ ট ≤ 1 ?Θ(tk)Θ(tk)\Theta(t^k)1/2≤k≤11/2≤k≤11/2 \leq k \leq 1 প্রেরণা ক্লাসিকাল র্যান্ডম ওয়াকগুলি অ্যালগরিদম ডিজাইনে দরকারী এবং কোয়ান্টাম এলোমেলো পদচারণা বেশ কয়েকটি শীতল কোয়ান্টাম অ্যালগরিদম তৈরির জন্য দরকারী …

12 quantum-computing  random-walks  quantum-walk 

হ'ল নট গেটস এবং আনবাউন্ডেড ফ্যান-ইন এবং ওআর গেটস সহ স্থির-গভীরতার বহুভুজ আকারের সার্কিটগুলির শ্রেণি, যেখানে ইনপুট এবং গেটগুলিও আনবাউন্ডেড ফ্যানআউট করে।এ সি0AC0AC^0 এখন একটি নতুন শ্রেণীর বিবেচনা করুন, এটিকে যা A C 0 এর মতো তবে যার জন্য ইনপুট এবং গেটগুলি সর্বাধিক O ( 1 ) এ ফ্যানআউট রয়েছে …

12 cc.complexity-theory  circuit-complexity 

সংখ্যার ক্রম দেওয়া , এটি তুলনা এবং অদলবদল / চালগুলি দিয়ে বাছাই করা যাবে? Matter নিম্ন দেখানো বিষয়গুলির উপর প্রকাশনা বা পাল্টে কোনও পয়েন্টার সহায়তা করবে।nnnO(nlnn)O(nln⁡n)O(n \ln n)O(n)O(n)O(n)Ω(nlnn)Ω(nln⁡n)\Omega(n \ln n)

12 cc.complexity-theory  ds.algorithms 

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

12 reference-request  computability  kolmogorov-complexity 

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

12 cc.complexity-theory  lo.logic  modal-logic 

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

12 reference-request  graph-theory  co.combinatorics  graph-minor 

ইন ক্ষুদ্র এনক্রিপশন অ্যালগরিদম : রাউন্ডগুলির প্রতিসাম্যের উপর ভিত্তি করে সাধারণ আক্রমণগুলি প্রতিরোধ করতে একটি ম্যাজিক ধ্রুবকের বিভিন্ন গুণক ব্যবহৃত হয়। জাদু ধ্রুবক, 2654435769 বা 9E3779B9 16 হতে নির্বাচিত , যেখানে φ সুবর্ণ অনুপাত।232/ϕ232/ϕ2^{32}/ \phi কোনটি বৈশিষ্ট্য নেই এটি এই প্রেক্ষাপটে উপযোগী করে তোলে আছে?232/ϕ232/ϕ2^{32}/ \phi

12 cr.crypto-security 

বিভিন্ন প্রোগ্রামিং ভাষার বৈশিষ্ট্যগুলির শব্দার্থবিজ্ঞানের কোনও জরিপ (কাগজ, বইয়ের অধ্যায়, টিউটোরিয়াল, লিঙ্কগুলি, ...) থেকে আছে? আমি এখানে মূলত ডি এর বৈশিষ্ট্যগুলি দেখে অভিভূত হয়েছি http://www.digitalmars.com/d/2.0/compistance.html আমি সম্ভবত এখান থেকে কী পেতে পারি তা দেখতে চাই, যদিও আমি স্ট্যাকওভারফ্লো সম্পর্কে একই ধরণের প্রশ্ন জিজ্ঞাসা করেছি এবং বুঝতে পারি যে এই দুটি …

12 reference-request  pl.programming-languages  survey