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

(এছাড়াও এখানে জিজ্ঞাসা করা হয়েছে , কোন উত্তর নেই) (d,λ)(d,λ)(d,\lambda)νν\nuU(d)U(d)\mathcal{U}(d)|supp ν|=d|supp ν|=d|\mathrm{supp} \ \nu| =d∥EU∼νU⊗U†−EU∼μHU⊗U†∥∞≤λ‖EU∼νU⊗U†−EU∼μHU⊗U†‖∞≤λ\Vert \mathbb{E}_{U \sim \nu} U \otimes U^{\dagger} - \mathbb{E}_{U \sim \mu_H} U \otimes U^{\dagger}\Vert_{\infty} \leq \lambda , যেখানে হর পরিমাপ। তাহলে unitaries উপর ডিস্ট্রিবিউশন পরিবর্তে আমরা বিন্যাস ম্যাট্রিক্স উপর ডিস্ট্রিবিউশন বিবেচনা, এটা যে আমরা একটি স্বাভাবিক …

17 quantum-computing  spectral-graph-theory 

ফ্র্যাক্টাল গোলকধাঁধা হ'ল একটি গোলকধাঁধা যার মধ্যে নিজের অনুলিপি থাকে। উদাহরণস্বরূপ, নিবন্ধটি মার্ক জেপি ওল্ফের এই নিবন্ধ থেকে : MINUS এ শুরু করুন এবং PLUS এ আপনার পথ তৈরি করুন। আপনি যখন গোলকধাঁধাঁটির একটি ছোট অনুলিপি প্রবেশ করেন, সেই অনুলিপিটির অক্ষরের নামটি অবশ্যই রেকর্ড করে নিন, কারণ আপনাকে এই অনুলিপিটি …

17 computability  fractals 

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

17 ds.algorithms  reference-request  fl.formal-languages  automata-theory  optimization 

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

17 ds.algorithms  ds.data-structures  tree 

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

17 reference-request  lo.logic  regular-language  finite-model-theory 

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

17 quantum-computing  application-of-theory 

আমাদের বলে যে গ্রাফ যাক হয় ( একটি , খ ) -connected যদি থাকে অপসারণের একটি ছেদচিহ্ন এবং কোন খ থেকে প্রান্ত জি পাতার সবসময় একটি সংযুক্ত গ্রাফ। উদাহরণস্বরূপ, স্ট্যান্ডার্ড সংজ্ঞা অনুসারে একটি কে- সংযুক্ত গ্রাফটি নতুন সংজ্ঞা অনুসারে ( কে - 1 , 0 ) -সংযুক্ত রয়েছে। সেখানে যদি …

17 ds.algorithms  graph-theory  graph-algorithms 

প্রদত্ত , কিভাবে অনেক ট -DNFs সঙ্গে এন ভেরিয়েবল এবং মি অনুলাপ ক্লজ হয়? (বা কয়টি কে- সিএনএফ অসন্তুষ্টিজনক?)m,n,km,n,km, n, kkkknnnmmmkkk

17 co.combinatorics  lo.logic  sat 

এই প্রশ্নের অনুরূপ এক আমার আগের প্রশ্ন। এটা তোলে পরিচিত যে সর্বাধিক treewidth এর গ্রাফ জন্য নিষিদ্ধ নাবালক টি ।Kt+2Kt+2K_{t+2}ttt এখানে কি খুব সুন্দরভাবে নির্মিত, প্যারামিটারাইজড, গ্রাফের অসীম পরিবার (সম্পূর্ণ গ্রাফ এবং গ্রিড গ্রাফ ব্যতীত) প্রতিটি বৃক্ষের প্রশস্ত গ্রাফের জন্য ন্যূনতম নিষিদ্ধ নাবালিকা। অন্য কথায়, সেখানে একটি সুনির্দিষ্ট গ্রাফ হয় …

17 graph-theory  co.combinatorics  treewidth  graph-minor 

একটি বিমানে পয়েন্টগুলির একটি সেট। একই বিমানটিতেএকটি এলোমেলো পয়েন্ট x ∉ এস দেওয়া হয়। কার্যটি হ'ল এক্স এবং y এর মধ্যে ইউক্লিডিয়ান দূরত্ব অনুসারেসমস্ত y ∈ S কে বাছাই করা।SSSx∉Sx∉Sx \notin Sy∈Sy∈Sy \in Sxxxyyy কোনও মস্তিষ্কের অ্যাপ্রোচ হ'ল সমস্ত Y ∈ S এর জন্য এবং y এর মধ্যে দূরত্ব গণনা …

17 cg.comp-geom  sorting 

একটি সুইচ নেটওয়ার্ক (নামটি উদ্ভাবিত) তিন ধরণের নোড দিয়ে তৈরি করা হয়: এক স্টার্ট নোড এক প্রান্ত নোড এক বা একাধিক সুইচ নোড সুইচ নোডে 3 টি প্রস্থান রয়েছে: বাম, উপরে, ডান; দুটি রাষ্ট্র এল এবং আর এবং একটি লক্ষ্য রাষ্ট্র টিএল বা টিআর রয়েছে । প্রতিটি সুইচ নিম্নলিখিত নিয়ম …

17 ds.algorithms  reference-request  graph-algorithms  np 

সম্প্রতি আমি একটি এসিএম সমর্থিত সম্মেলনে ছিলাম। বনভোজন চলাকালীন সম্মেলনের আয়োজকরা সম্মেলনের ভবিষ্যত এবং অতীত সম্পর্কে আমাদের জানান। তারা আমাদের জানিয়েছিল যে সম্মেলনের ২০১০ সংস্করণে 5000 ডলার ক্ষতি হয়েছিল $ তারা আমাদের পূর্ববর্তী সম্মেলনের বাজেট দেখিয়েছিল যেখানে আমরা দেখতে পেয়েছিলাম যে এসিএমকে দেওয়া 8000 $ (বাজেটের 10% যদি সঠিকভাবে মনে …

17 soft-question  conferences 

একটি ক্ষুদ্র ক্ষেত্রের দৈর্ঘ্য এর চক্রাকার সমঝোতার জন্য সর্বাধিক পরিচিত পদ্ধতিগুলি কী , যখন ? আমি বিশেষত ধ্রুব আকারের ক্ষেত্রগুলিতে বা এমনকি । সাধারণ অ্যাসিম্পোটিক-দক্ষতার বিবৃতি এবং উল্লেখগুলি অনেক প্রশংসা করা হয়।| এফ | । N এফ = এফ 2এনএনn|এফ | ।N|এফ|«এন|\mathbb{F}| \ll nএফ = চ2এফ=এফ2\mathbb{F} = \mathbb{F}_2 পটভূমি: আসুন …

17 ds.algorithms  reference-request 

নেতিবাচক প্রতিকূল পদ্ধতি ( ) এমন একটি এসডিপি যা কোয়ান্টাম কোয়েরি জটিলতার বৈশিষ্ট্যকে চিহ্নিত করে। এটি বহুল ব্যবহৃত বিরোধী পদ্ধতির একটি সাধারণীকরণ ( A D V ), এবং দুটি প্রতিবন্ধকতাগুলি প্রতিরোধ করে যা প্রতিকূল পদ্ধতিতে বাধা দেয়:ADV±ADV±ADV^\pmADVADVADV সম্পত্তি পরীক্ষামূলক বাধা যদি সব 0-দৃষ্টান্ত হয় সব 1-দৃষ্টান্ত থেকে -far তারপর প্রতিদ্বন্দ্বী …

17 cc.complexity-theory  reference-request  quantum-computing  query-complexity  property-testing 

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

17 cc.complexity-theory  np-hardness  reductions