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

আমি স্নাতক কম্পিউটার বিজ্ঞানের ছাত্র এবং আমি বর্তমানে আমার স্নাতক প্রকল্পের জন্য পরিকল্পনা করছি। কোয়ান্টাম কম্পিউটিং ক্ষেত্রে আমার কিছু ধারণা দরকার। কোন সাহায্য?

15 quantum-computing  soft-question 

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

15 ds.algorithms  proofs 

আমি FOL এর জন্য কমপ্যাক্টনেস উপপাদ্যের একটি আনুষ্ঠানিককরণের জন্য অনুসন্ধান করেছিলাম, কিন্তু কোনও পাইনি। কেউ কি এরকম উন্নয়ন বা সম্পর্কিত কাজ সম্পর্কে সচেতন?

15 lo.logic  coq 

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

14 ct.category-theory  edit-distance 

প্রাকৃতিক সংখ্যার ব্যবধানে একটি প্রাইম থাকে কিনা তা সিদ্ধান্ত নেওয়ার জটিলতা কী? এরিটোস্টেসিসের সিভির একটি বৈকল্পিক একটি O~(L)O~(L)\tilde O(L) অ্যালগরিদম দেয়, যেখানে LLL অন্তর্বর্তের দৈর্ঘ্য এবং অন্তরটির প্রারম্ভিক বিন্দুতে বহু-লোগারিদমিক কারণগুলি আড়াল করে; আমরা কি আরও ভাল করতে পারি ( একা পরিপ্রেক্ষিতে )?এল∼∼\simLLL

14 cc.complexity-theory  ds.algorithms  nt.number-theory  comp-number-theory 

একটি ভাষায় হয় যদি একটি logspace টুরিং মেশিন যে উপদেশ বহুপদী পরিমাণ সঙ্গে ভাষা সিদ্ধান্ত নেয় বিদ্যমান।L/polyL/polyL/poly আরও তথ্যের জন্য এখানে দেখুন: https://en.wikedia.org/wiki/L/poly প্রশ্ন এর পরিণতি কী ?P⊆L/polyP⊆L/polyP \subseteq L/poly

14 cc.complexity-theory  circuit-complexity  polynomial-time  advice-and-nonuniformity  logspace 

প্রদত্ত ইনপুট , আমরা সঙ্গে একটি র্যান্ডম বাছাই নেটওয়ার্কের গঠন করা দরজা iteratively এই অবচয় দুটি ভেরিয়েবল দ্বারা সঙ্গে এবং একটি comparator গেট যোগ যে তাদের যদি অদলবদল ।এক্স 0 , … , এক্স এন - 1nnnx0,…,xn−1x0,…,xn−1x_0, \ldots, x_{n-1}mmmxi,xjxi,xjx_i, x_ji&lt;ji&lt;ji < jxi&gt;xjxi&gt;xjx_i > x_j প্রশ্ন 1 : জন্য সংশোধন করা …

14 sorting-network 

নিম্নলিখিত সাধারণ মনোোটোন সার্কিট মডেলটি বিবেচনা করুন: প্রতিটি গেটটি কেবল একটি বাইনারি OR। একটি ফাংশনের জটিলতা কত যেখানে বুলিয়ান ম্যাট্রিক্স 0 এর সাথে? এটি লিনিয়ার আকার বা সার্কিট দিয়ে গণনা করা যেতে পারে?f ( x ) = A x f(x)=Axf(x)=AxA AAn × n n×nn \times nO ( n )O(n)O(n) আরও …

14 ds.algorithms  circuit-complexity  upper-bounds 

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

14 cc.complexity-theory  approximation-algorithms  soft-question  proof-assistants 

জেফ্রি শ্যালিটের অটোমাটা থিওরিতে দ্বিতীয় পাঠ্যক্রমের অধ্যায় 4 এ নিম্নলিখিত সমস্যাটি খোলা হিসাবে তালিকাভুক্ত করা হয়েছে: যাক মূলদ কোফিসিয়েন্টস সঙ্গে একটি বহুপদী হতে যেমন যে পি ( এন ) ∈ এন সবার জন্যp(n)p(n)p(n)p(n)∈Np(n) \in \mathbb{N}n∈Nn∈Nn \in \mathbb{N}{p(n)∣n⩾0}{p(n)∣n⩾0}\{p(n) \mid n \geqslant 0\}ppp⩽1⩽1\leqslant 1 এখন এর স্ট্যাটাসটি কী (অক্টোবর 2018)? এটা কি …

14 fl.formal-languages  nt.number-theory  grammars 

যাক ফাংশন যা মানচিত্র হতে গুলি -gate বর্তনী সি তে এন বিট এবং একটি এন -বিট স্ট্রিং এক্স থেকে সি ( এক্স ) । ধরে নিন যে সার্কিটগুলি অ্যাসাইসিলিক ক্রম হিসাবে এনকোড করা আছে : k : = g ( i , j ) যেখানে i , j , k …

14 cc.complexity-theory  circuit-complexity  circuit-families 

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

14 type-theory  dependent-type  homotopy-type-theory 

নিম্নলিখিত সিদ্ধান্ত সমস্যা বিবেচনা করুন ইনপুট : একটি মনোোটোন সিএনএফ এবং একটি একরঙা ডিএনএফ ।ΦΦ\PhiΨΨ\Psi প্রশ্ন : ট পিএসি কি টোটোলজি?Φ → ΨΦ→Ψ\Phi \to \Psi অবশ্যই আপনি এই সমস্যাটি সমাধান করতে পারেন , যেখানে \ Phi \ থেকে \ PSi এর মধ্যে ভেরিয়েবলের সংখ্যা এবং l ইনপুটটির দৈর্ঘ্য। অন্যদিকে, এই …

14 exp-time-algorithms  boolean-formulas  fine-grained 

BPP\mathbf{BPP}P\mathbf{P}poly\mathrm{poly} ( সর্বাধিক , + ) ( মিনিট , +(max,+)(\max,+) )(min,+)(\min,+) সেমিরিং হয়ে উঠুক । এর পলিনোমিয়ালের একটি সিকোয়েন্সের একটি শূন্য-প্যাটার্ন হ'ল একটি উপসেট যার জন্য রয়েছে exist এবং যে সমস্ত , , iff । অর্থাৎ ঠিক সেই polynomials এর গ্রাফ সঙ্গে স্থানে আঘাত আবশ্যক । ( "জিরো প্যাটার্ন" কারণ …

14 co.combinatorics  circuit-complexity  algebraic-complexity  arithmetic-circuits  vc-dimension 

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

14 coq  program-verification  ocaml