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

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

11 lo.logic  computability  ho.history-overview 

একটি সম্মেলনের গবেষণাপত্রে, কোনও সমস্যার to প্রমাণ করার জন্য , আমি বোকা বাক্যটি লিখেছিলাম "এটি স্পষ্ট যে সমস্যাটি । সুতরাং আমরা প্রমাণ করব যে এটি -হার্ড "। আসলে এটি মোটেই পরিষ্কার ছিল না। এমনকি এটি একটি মুক্ত সমস্যা বলে মনে হয়। লক্ষ্যবস্তু দর্শকদের জন্য এটি কোনও বড় বিষয় নয় কারণ …

11 soft-question  conferences  journals 

সুতরাং আমি ভাবছিলাম যে লন্ডন অফ মিডল (এলইএম) যদি মার্টিন-ল্যাফের ইনটেনশনাল টাইপ থিওরিতে তথাকথিত অক্সিয়াম কে প্রয়োগ করে? অ্যাক্সিয়াম কে বলেছেন যে আসলে, আমি আরও সাধারণ বিবৃতি প্রমাণ করার চেষ্টা করেছি যে Π A : টি y পি ই Π এক্স , ওয়াই : এ Π পিΠA:TypeΠx:AΠp:Id(x,x),Id(p,reflx)ΠA:TypeΠx:AΠp:Id(x,x),Id(p,reflx)\Pi_{A : Type} \Pi_{x …

11 lo.logic  type-theory  lambda-calculus 

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

11 lambda-calculus  reductions  typed-lambda-calculus  normalization  calculus-of-constructions 

প্যারামেট্রিক পলিমারফিজমের মডেলগুলির দিকে তাকিয়ে আমি কৌতূহল বোধ করি কেন রেফ্লেক্সিভ গ্রাফ বিভাগগুলি ব্যবহার করা হয়? বিশেষত, কেন তারা আপেক্ষিক রচনা অন্তর্ভুক্ত করে না? মডেলগুলির দিকে তাকিয়ে, তারা সকলেই আপেক্ষিক রচনার একটি প্রাকৃতিক ধারণা সমর্থন করে বলে মনে হচ্ছে: x(R;S)z⟺∃y.xRy∧ySzx(R;S)z⟺∃y.xRy∧ySz x(R;S)z \iff \exists y. xRy \wedge y S z রিফ্লেক্সিভ …

11 ct.category-theory  parametricity  logical-relations 

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

11 physics  quantum-computing 

একটি antichain একটি DAG একটি উপসেট একটি ⊆ ভী ছেদচিহ্ন যে pairwise পৌঁছানো যাবে না, যথা, কোন হয় বনাম ≠ বনাম ' ∈ একজন যেমন যে বনাম থেকে যোগাযোগ করা যাবে বনাম ' মধ্যে ই । আংশিক ক্রম তত্ত্বের ডিলওয়ার্থের উপপাদ্য থেকে , এটি জানা যায় যে যদি ডিএজি-র আকার …

11 reference-request  graph-theory  directed-acyclic-graph  partial-order 

একটি ভাষা হতে দিন এবং two একটি বৈশিষ্ট্যটি দুটি প্যারামিটারের সাথে বৈশিষ্ট্যযুক্ত যে সমস্ত এবং , উপাদান ফেরত দেয় যদি এবং কেবলমাত্র এবং উভয়ই এর উপাদান হয় তবে :চ : ΣLএলLf:Σ⋆×Σ⋆→Σ⋆চ:Σ⋆×Σ⋆→Σ⋆f\colon {\Sigma^\star}\times\Sigma^\star\to\Sigma^\starxএক্সxyYyfচfx y এলLএলLxএক্সxyYyLএলL f(x,y)∈L⟺x∈L∧y∈L.চ(এক্স,Y)∈এল⟺এক্স∈এল∧Y∈এল।f(x,y)\in L \iff x\in L\wedge y\in L . প্রশ্ন সাহিত্যে এই জাতীয় ক্রিয়াকলাপের কোনও নাম আছে …

11 reference-request  fl.formal-languages 

নিম্নলিখিত সমস্যাটি বিবেচনা করুন: প্রদত্ত একটি ম্যাট্রিক্স M∈{−m,…,0,…,m}n×nএম∈{-মি,...,0,...,মি}এন×এনM\in\{-m,\dots,0,\dots,m\}^{n\times n} , সূচকগুলি i,j∈{1,…,n}আমি,ঞ∈{1,...,এন}i,j\in\{1,\dots,n\} এবং একটি পূর্ণসংখ্যা aএকটিa । প্রতিস্থাপন M[i,j]এম[আমি,ঞ]M[i,j] দ্বারা aএকটিa এবং নতুন ম্যাট্রিক্স কল এম । ইস পি ই আর ( এম ) > পিM^এম^\hat Mper(M)>per(M^)পিইR(এম)>পিইR(এম^)per(M)>per(\hat M) ? বহুবর্ষীয় শ্রেণিবিন্যাসে এই সমস্যাটি কি?

11 permanent 

কি NPPP=PPPNPPP=PPP\mathsf{NP^{PP}} = \mathsf{P^{PP}} ? বা আরও সাধারণভাবে, NPPP⊆PPP/polyNPPP⊆PPP/poly\mathsf{NP^{PP}} \subseteq \mathsf{P^{PP}/poly} ?

11 complexity-classes 

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

11 soft-question  journals 

যাক একটি হতে নির্দেশ acyclic গ্রাফ , এবং দিন প্রতিটি প্রান্তবিন্দু ম্যাপিং একটি লেবেল ফাংশন হবে কোন লেবেলে কিছু সসীম বর্ণমালায় । রচনা, একটি টপোলজিকাল সাজানোর এর একটি bijection হয় থেকে থেকে (অর্থাত, একজন ক্রম একটা ক্রম মধ্যে) যেমন যে যখনই তারপর (অর্থাত্, যদি থেকে পর্যন্ত প্রান্ত থাকেG=(V,E)G=(V,E)G = (V, …

11 cc.complexity-theory  sorting  directed-acyclic-graph  partial-order 

আমি বারেন্ড্রেগের ল্যাম্বদা কিউবে খাঁটি ধরণের সিস্টেমগুলির সাথে বিশেষত সবচেয়ে শক্তিশালী কন্সট্রাকশনসের ক্যালকুলাস নিয়ে পরীক্ষা করছি। এই সিস্টেমে বিভিন্ন ধরণের *এবং রয়েছে BOX। কেবল রেকর্ডের জন্য, নীচে আমি Morteসরঞ্জামটির কংক্রিট সিনট্যাক্সটি ব্যবহার করছি https://github.com/Gabriel439/Haskell-Morte- লাইব্রেরি যা ক্লাসিকাল ল্যাম্বদা ক্যালকুলাসের নিকটবর্তী। আমি দেখতে পাচ্ছি যে আমরা কিছু প্রকারের চার্চের মতো এনকোডিং …

11 type-theory  type-systems  dependent-type 

ইনপুট: আর 3 এ পয়েন্টের একটি সেট এবং একটি পূর্ণসংখ্যা k ≤ n ।এনnnR3R3\mathbb{R}^3k≤nk≤nk \le n আউটপুট: ক্ষুদ্রতম ভলিউম অক্ষ-সংযুক্ত বাউন্ডিং বাক্সে এই এন পয়েন্টের কমপক্ষে থাকে ।kkknnn আমি ভাবছি যে কোনও অ্যালগরিদম এই সমস্যার জন্য পরিচিত কিনা। সময় সম্পর্কে আমি সবচেয়ে ভালভাবে যা ভাবতে চেয়েছিলাম সেগুলি নিম্নরূপে: তিনটি মাত্রার …

11 cg.comp-geom 

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

11 cc.complexity-theory  quantum-information