প্রশ্ন ট্যাগ «reference-request»

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

21 reference-request  big-list  context-free 

আমি আমার গবেষণার সময় নিম্নলিখিত ফলাফলের মুখোমুখি হয়েছি। মি=ω(√limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1\lim\limits_{n\to \infty} \mathbb{E}\left[ \frac{\#\{|a_i-a_j|,1\le i,j\le m \}}{n} \right] = 1এ1,⋯,একটিমি[এন]m=ω(n−−√)m=ω(n)m=\omega(\sqrt n)a1,⋯,ama1,⋯,ama_1,\cdots,a_m[n][n][n] আমি একটি রেফারেন্স / প্রত্যক্ষ প্রমাণ খুঁজছি। এমও-তে ক্রসপোস্ট করা

21 reference-request  co.combinatorics  pr.probability 

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

21 reference-request  pr.probability  randomized-algorithms 

পটভূমি: যাক একটি undirected গ্রাফ দুটি ছেদচিহ্ন হতে জি = ( ভী , ই ) । ভার্টেক্স সেট এস ⊆ ভি হ'ল একটি ইউ , ভি- সিপেটর যদি আপনি এবং ভি জি - এস এর বিভিন্ন সংযুক্ত উপাদানগুলির সাথে সম্পর্কিত হন । একটি কোন উপসেট যদি তোমার দর্শন লগ করা …

21 reference-request  graph-theory  graph-algorithms 

অনেকগুলি জায়গা রয়েছে যেখানে এবং হয়। আমি অ্যালগরিদমগুলি সম্পর্কে জানতে আগ্রহী, যার চলমান অনুপাত বা থাকে exp( 1 + √)ππ\piπ( 1 + 5)-√) / 2(1+5)/2(1+\sqrt5)/2ππ\pi

21 reference-request  big-list 

নিম্নলিখিত যুক্তি বিবেচনা করুন: যাক বোঝাতে Kolmogorov জটিলতা এর স্ট্রিং এক্স । চৈতিনের অসম্পূর্ণতা উপপাদ্যটি তা বলেK(x)K(x)K(x)xxx যে কোনও ধারাবাহিক এবং পর্যাপ্ত শক্তিশালী আনুষ্ঠানিক সিস্টেম একটি ধ্রুবক টি উপস্থিত রয়েছে (কেবলমাত্র আনুষ্ঠানিক সিস্টেম এবং তার ভাষার উপর নির্ভর করে) যেমন কোনও স্ট্রিংয়ের জন্য এক্স , এস প্রমাণ করতে পারে না …

21 cc.complexity-theory  reference-request  lo.logic  circuit-complexity  kolmogorov-complexity 

সম্প্রতি, আমি বাছাই করা নন-সংকেত সংখ্যার তালিকার আনুমানিক যোগফলের গণনা করার জন্য সমস্যার উপরে কাজ করেছি। যেকোন স্থির , একটি সময় আনুমানিক স্কিম তৈরি করা হয়েছে যা এটি একটি ps এপসিলন যোগফলের জন্য অ্যাপপ্রক্সিমেশন দেয়। কাগজটি http://arxiv.org/abs/1112.0520 এ পোস্ট করা হয়েছে, যা চূড়ান্ত হয়নি।ও ( লগ এন ) (ϵ > …

21 ds.algorithms  reference-request 

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

21 reference-request  lo.logic  coq 

(এই একটি ফলো-আপ এই প্রশ্নের এবং তার উত্তর ।) আমার কাছে নিম্নলিখিত সম্পূর্ণ আনমোডুলার (টিইউ) পূর্ণসংখ্যার লিনিয়ার প্রোগ্রাম (আইএলপি) রয়েছে। এখানে ইনপুট অংশ হিসেবে দেওয়া সমস্ত ধনাত্মক পূর্ণসংখ্যা। X i j ভেরিয়েবলের একটি নির্দিষ্ট উপসেটটি শূন্যে সেট করা আছে, এবং বাকিগুলি ইতিবাচক অবিচ্ছেদ্য মানগুলি নিতে পারে:ℓ,m,n1,n2,…,nℓ,c1,c2,…,cm,wℓ,m,n1,n2,…,nℓ,c1,c2,…,cm,w\ell,m,n_{1},n_{2},\ldots,n_{\ell},c_{1},c_{2},\ldots,c_{m},wxijxijx_{ij} কমান ∑mj=1cj∑ℓi=1xij∑j=1mcj∑i=1ℓxij\sum_{j=1}^{m}c_{j}\sum_{i=1}^{\ell}x_{ij} বিষযে: ∑mj=1xij=ni∀i∑j=1mxij=ni∀i\sum_{j=1}^{m}x_{ij}=n_{i}\,\,\forall …

21 ds.algorithms  reference-request  linear-programming  integer-programming  polynomial-time 

এন সিNC\mathsf{NC} দক্ষতার parallelizable ধারণা ধারন করে, এবং এটি এক ব্যাখ্যা ঐ সময়ের মধ্যে সমাধেয় হয় সমস্যার হয় ব্যবহার কিছু ধ্রুবক জন্য সমান্তরাল প্রসেসর , । যদি একটি অনুরূপ জটিলতা বর্গ যেখানে সময় হল আমার প্রশ্ন হচ্ছে এবং প্রসেসর সংখ্যা । খালি শূন্য প্রশ্ন হিসাবে:ও ( এন কে ) সি …

21 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  dc.parallel-comp 

একটি ভাল জরিপ আছে যা বিভিন্ন এক্সট্রাক্টর, ঘনক এবং সুপারকেনসেট্রেটারগুলির সাথে তুলনা করে এবং এলোমেলোতা, সময় এবং স্থানের মধ্যে ট্রেড অফের ক্ষেত্রে সর্বোত্তম পদ্ধতিগুলি রাখে?

21 reference-request  randomness  derandomization 

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

20 reference-request  counting-complexity  nt.number-theory  permanent  decision-trees 

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

20 reference-request  soft-question  ho.history-overview  nondeterminism 

(এই প্রশ্নটি কিছুটা "জরিপ" is আমি বর্তমানে এমন একটি সমস্যায় কাজ করছি যেখানে আমি একটি টুর্নামেন্টের প্রান্তগুলিকে দুটি সেটে বিভক্ত করার চেষ্টা করছি, যার উভয়টিরই কিছু কাঠামোগত বৈশিষ্ট্য পূরণ করা প্রয়োজন। সমস্যাটি "শক্ত" অনুভব করে, এবং আমি এটি সম্পূর্ণরূপে কমপ্লিট হওয়ার প্রত্যাশা করি some কিছু কারণে এমনকি সাহিত্যেও অনুরূপ সমস্যাগুলি …

20 cc.complexity-theory  reference-request  np-hardness 

যদিও এডলম্যান এর উপপাদ্য শো, যে , আমি সম্ভাব্য অন্তর্ভুক্তি তদন্ত কোন সাহিত্যের সচেতন আছি বি কিউ পি ⊆ পি / পলি । এ জাতীয় অন্তর্ভুক্তির কী জটিলতা-তাত্ত্বিক পরিণতি ঘটবে?BPP⊆P/polyBPP⊆P/poly\mathsf{BPP} \subseteq \mathsf{P}/\text{poly}BQP⊆P/polyBQP⊆P/poly\mathsf{BQP} \subseteq \mathsf{P}/\text{poly} এডলম্যান এর উপপাদ্য হয় কখনও কখনও "derandomization আর্গুমেন্ট জনক।" বলা ডেরানডমাইজেবল বলে বিশ্বাস করা হয়, যদিও …

20 reference-request  quantum-computing  derandomization  conditional-results