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

অরোরা এবং বারাকের বইটিতে পিসিপিতে অধ্যায় নোট রয়েছে আমরা লক্ষ করেছি যে দিনুরের সাধারণ কৌশলটি বিস্তৃত গ্রাফগুলির জিগ-জাগ নির্মাণ এবং অধ্যায় 20-এ বর্ণিত অনাকাঙ্ক্ষিত সংযোগের জন্য রিইনগোল্ডের ডিটারমিনিস্টিক লগস্পেস অ্যালগরিদমকে কিছুটা স্মরণ করিয়ে দিচ্ছে যা বোঝায় যে গবেষণার এই বিভিন্ন ক্ষেত্রগুলির মধ্যে আরও সংযোগ স্থাপনের অপেক্ষায় রয়েছে। (পৃষ্ঠা 494) এই …

9 cc.complexity-theory  pcp 

ধরুন অ্যালিসের একটি সীমাবদ্ধ (তবে সম্ভবত খুব বড়) ডোমেনের উপরে একটি বিতরণ রয়েছে, যেমন non (শ্যানন) এনট্রপিটি একটি নির্বিচারে ছোট ধ্রুবক দ্বারা আবদ্ধ থাকে । অ্যালিস থেকে একটি মান এবং তারপরে ববকে (কে who জানেন ) অনুমান করতে বলে ।μμ\muμμ\muεε\varepsilonএক্সxxμμ\muμμ\muএক্সxx বব জন্য সাফল্য সম্ভাবনা কি? তিনি শুধুমাত্র একটি অনুমান অনুমতি …

9 it.information-theory  pr.probability 

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

9 optimization  big-picture  linear-programming  linear-equations 

টটk স্বতন্ত্র পয়েন্টগুলি এ থেকে এলোমেলোভাবে নির্বাচিত হয় p × qপি×কুইp\times qগ্রিড। (একথাও ঠিক যেk ≤ p × qট≤পি×কুইk\leq p\times q এবং একটি প্রদত্ত ধ্রুবক সংখ্যা)) এগুলি থেকে একটি সম্পূর্ণ ওজনযুক্ত গ্রাফ তৈরি করা হয় টটk শীর্ষবিন্দুগুলির মধ্যে প্রান্তের ওজনের মতো বিন্দুগুলি আমিআমিi এবং ভার্টেক্স ঞঞj মূল গ্রিডে দুটি উল্লম্বের …

9 graph-theory  co.combinatorics  planar-graphs  hamiltonian-paths 

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

9 pl.programming-languages  functional-programming  compilers  type-systems 

সসীম পণ্য এবং অঙ্কগুলি থেকে তৈরি ফ্যাক্টরগুলির ক্লোজার অর্ডিনাল ome , ফ্রেঞ্চকাইস মেটায়ারের এই পাণ্ডুলিপিতে খুব সুন্দরভাবে বিস্তারিত । অর্থাৎ আমরা সূক্ষ্ম প্রকারের নাটকে পৌঁছাতে পারি : = \ মিউ এক্স। 1 + এক্স ফান্টর 1 + এক্স পুনরাবৃত্তি করে , যা \ ওমেগা পুনরাবৃত্তির পরে তার স্থির স্থানে পৌঁছে …

9 lo.logic  type-theory  ct.category-theory 

যাক গ্রাফ দেখুন। কেএকটি পূর্ণসংখ্যা হতে যাক প্রান্ত প্ররোচক subgraphs সংখ্যা হতে না থাকার ছেদচিহ্ন এবং প্রান্ত একটি বিজোড় সংখ্যা। যাক প্রান্ত প্ররোচক subgraphs সংখ্যা হতে না থাকার ছেদচিহ্ন এবং প্রান্ত একজন জোড় সংখ্যা। আসুন । জোড় বিজোড় প্রায় DELTA সমস্যা কম্পিউটিং মধ্যে রয়েছে দেওয়া এবং ।জি = ( ভ, …

9 ds.algorithms  graph-theory  graph-algorithms  counting-complexity 

বলুন আমাদের একটি ফাংশন রয়েছে যেমন এবং একটি বন্টন, অর্থাৎ, ।চ:জেডএন2। আরf:Z2n→Rf:\mathbb{Z}_2^n \to \mathbb{R}∀ x ∈জেডএন2চ( x ) ∈ {12এন,22এন, … ,2এন2এন} ,∀x∈Z2nf(x)∈{12n,22n,…,2n2n},\forall x\in \mathbb{Z}_2^n \quad f(x) \in \left\{\frac{1}{2^n}, \frac{2}{2^n}, \ldots, \frac{2^n}{2^n} \right\},চffΣx ∈জেডএন2চ( এক্স ) = 1∑x∈Z2nf(x)=1\sum_{x\in \mathbb{Z}_2^n} f(x) = 1 এর শ্যানন এনট্রপি নিম্নলিখিত হিসাবে সংজ্ঞায়িত করা হয়েছে: …

9 it.information-theory  boolean-functions 

(কিছু বড় বর্ণমালার জন্য ) -এর একটি এলোমেলো পরিবর্তনশীল মান হতে দিন , যা খুব উচ্চ এনট্রপি রয়েছে - বলুন,একটি নির্বিচারে ছোট ধ্রুবক জন্য । যাক সমর্থনে একটি ইভেন্ট হতে যেমন যে , যেখানে একটি ইচ্ছামত ছোট ধ্রুবক।XXXΣnΣn\Sigma^nΣΣ\SigmaH(X)≥(n−δ)⋅log|Σ|H(X)≥(n−δ)⋅log⁡|Σ|H(X) \ge (n- \delta)\cdot\log|\Sigma|δδ\deltaE⊆Supp(X)E⊆Supp(X)E \subseteq \rm{Supp}(X)XXXPr[X∈E]≥1−εPr[X∈E]≥1−ε\Pr[X \in E] \ge 1 - \varepsilonεε\varepsilon বলতে …

9 it.information-theory  pr.probability 

আরএক্সআইভিতে অনিয়মিত কাজ জমা দেওয়ার জন্য লোকেরা পেশাদার সেরা অনুশীলন বলে মনে করে তা প্রতিষ্ঠিত করার লক্ষ্যে এটি একটি নরম প্রশ্ন । শিকাগো বিশ্ববিদ্যালয়ের তার ওয়েবস্পেসে রবার্ট সেজেলিপসিনিয়ির একটি নিবন্ধের খসড়া রয়েছে [১] যা স্নাতক পড়ার সময় এক যুগেরও বেশি সময় আগে সম্ভবত প্রকাশিত হয়েছিল। কাজটি সঠিক বলে মনে হচ্ছে, …

9 soft-question  research-practice 

আমি জানি যে র্যান্ডমাইজড ইনক্রিমেন্টাল ডেলাউন ট্রাইঙ্গুলেশন অ্যালগরিদম ( গণনা জ্যামিতিতে প্রদত্ত ) এর প্রত্যাশিত সবচেয়ে খারাপতম রানটাইমটি হ'ল ম্যাথক্যাল । একটি অনুশীলন রয়েছে যা সবচেয়ে খারাপ ক্ষেত্রে রানটাইম বোঝায় is । আমি উদাহরণ তৈরি করার চেষ্টা করেছি যেখানে এটি আসলে ক্ষেত্রে তবে এখনও সফল হয়নি।O(nlogn)হে(এনলগ⁡এন)\mathcal O(n \log n)Ω(n2)Ω(এন2)\Omega(n^2) সেই …

9 ds.algorithms  randomized-algorithms  delaunay-triangulation  worst-case 

আমার প্রশ্ন সীমাবদ্ধ মডেল তত্ত্ব / বর্ণনামূলক জটিলতা সম্পর্কে, তাই FO(R)FO(R)FO(R) এর অর্থ হবে "সীমাবদ্ধ বাইনারি শব্দের উপর প্রথম অর্ডার, ব্যবহারের পূর্বাভাস ব্যবহার করে এবং শব্দের মধ্যে 1 এর অবস্থানের ভিত্তিতে একটি অ্যানারি প্রিডিকেট পি সত্য"। আমি জানতে চাই, সেখানে কি কোনও কর্কশীকরণ রয়েছে? FO(&lt;,R)FO(&lt;,R)FO(<,R) আর এর সাথে কোনও প্রিকিকেট …

9 cc.complexity-theory  lo.logic  circuit-complexity  descriptive-complexity  finite-model-theory 

আমি স্ট্রাকচারাল ইঞ্জিনিয়ারিংয়ের ক্ষেত্রে কাজ করছি এবং কিছুটা নির্দিষ্ট জন্য এলিপসয়েডসের উত্তল হাল দ্বারা উত্তল দেহ একটি অনুমান (হাউসডর্ফ মেট্রিক) নির্মাণের জন্য একটি কার্যকর অ্যালগরিদম খুঁজে পেতে চাই । বর্তমানে আমি মাত্র 2 এবং 3 মাত্রায় কাজ করছি।কেKKএনnnএনnn আমার প্রথম ধারণা সমর্থন ফাংশন ব্যবহার করে দ্বৈত মহাকাশে কাজ ছিল এর …

9 cg.comp-geom  approximation  convex-geometry 

Background––––––––––––––Background_\underline{\bf Background} 2005 সালে, রেজেভ [1] ত্রুটিজনিত সমস্যা সহ লার্নিং প্যারিটির একটি সাধারণীকরণ, লার্নিং উইথ এারারস (এলডাব্লুই) সমস্যাটি প্রবর্তন করেছিলেন। নির্দিষ্ট পরামিতি পছন্দগুলির জন্য এই সমস্যার কঠোরতার অনুমান এখন জাল-ভিত্তিক ক্রিপ্টোগ্রাফির ক্ষেত্রে হোস্ট কোয়ান্টাম পোস্ট ক্রিপ্টোসিস্টেমগুলির সুরক্ষার প্রমাণগুলির অন্তর্গত। LWE এর "ক্যানোনিকাল" সংস্করণগুলি নীচে বর্ণিত হয়েছে। preliminaries: দিন T=R/ZT=R/Z\mathbb{T} = …

9 cc.complexity-theory  ds.algorithms  cr.crypto-security  machine-learning  open-problem 

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

9 ds.algorithms  graph-algorithms  cg.comp-geom  graph-drawing