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

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

16 ds.algorithms  approximation-algorithms  approximation-hardness 

যাক বোঝাতে একটি স্ট্রিং Kolmogorov জটিলতা । মতো স্ট্রিং রয়েছে কি ? (এখানে এটি নিজের সাথে )। অনুরূপ একটি কিন্তু বিভিন্ন প্রশ্ন জিজ্ঞাসা করা হল এখানে কিন্তু counterexample যে প্রশ্নের উত্তর দেওয়া এই এক জন্য কাজ করে না।K(x)K(x)K(x)xxxK(xx)&lt;K(x)K(xx)&lt;K(x)K(xx)<K(x)xxxxxxxxx

16 cc.complexity-theory  kolmogorov-complexity 

একটি সাম্প্রতিক প্রশ্নে বেলম্যান এবং হেল্ড-কার্পের জন্য স্বাধীনভাবে টিএসপি-র জন্য বর্তমানে-ক্লাসিকাল ডায়নামিক প্রোগ্রামিং অ্যালগরিদম নিয়ে আলোচনা হয়েছে । অ্যালগরিদম সর্বজনীনভাবে সময়ে চালিত হয় বলে জানা গেছে । তবে, সম্প্রতি আমার একজন শিক্ষার্থী যেমন উল্লেখ করেছে, এই চলমান সময়ের জন্য গণনার অযৌক্তিকভাবে শক্তিশালী মডেলের প্রয়োজন হতে পারে।O(2nn2)O(2nn2)O(2^n n^2) এখানে অ্যালগরিদমের সংক্ষিপ্ত …

16 ds.algorithms  machine-models  computing-over-reals 

আমাদের family 1, ..., n} এর এম সাবসেটের একটি পরিবার দেওয়া হয় } এফ স্পারনার পরিবার কিনা তা সিদ্ধান্ত নেওয়ার জটিলতায় একটি বে-তুচ্ছ নিম্ন সন্ধান পাওয়া সম্ভব ? তুচ্ছ নিম্ন বাঁধাই ও ( এন মি ) এবং আমি দৃ I়ভাবে সন্দেহ করি যে এটি শক্ত নয় tightFF\mathcal{F}mmmFF\mathcal{F}O(nm)O(nm)O(n m) SS\mathcal{S}XXXYYYSS\mathcal{S}X≠YX≠YX \ne …

16 ds.algorithms  co.combinatorics 

দুটি এভিএল গাছ T1T1T_1 এবং T2T2T_2 এবং একটি মান trtrt_r যে ∀x∈T1,∀y∈T2,x&lt;tr&lt;y∀x∈T1,∀y∈T2,x&lt;tr&lt;y\forall x \in T_1, \forall y \in T_2, x < t_r < y , trtrt_r আর মান সহ একটি নতুন এভিএল গাছ তৈরি করা সহজ is মধ্যে T1T1T_1 এবং T2T2T_2 সময় O(1+|h(T1)−h(T2)|)O(1+|h(T1)−h(T2)|)O(1+|h(T_1) - h(T_2)|) , যেখানেh(T)h(T)h(T) একটি গাছ উচ্চতা …

16 ds.data-structures  randomized-algorithms 

প্রদত্ত পয়েন্ট মধ্যে আর ঘ এবং একটি দূরত্ব ঠ এই পয়েন্ট যেমন যে তাদের কোন দুই Euclidian দূরত্ব অতিক্রম করে সর্ববৃহৎ উপসেট এটি ঠ ।p1,…,pnp1,…,pnp_1,\ldots,p_nRdRd\mathbb{R}^{d}llllll এই সমস্যার জটিলতা কী? দুটি পয়েন্টের দূরত্ব সর্বাধিক হলে যে পয়েন্টগুলির উপরের গ্রাফটিতে সমস্যাটি সর্বাধিক চক্র সন্ধানের সমতুল্য। কথোপকথনটি ধরে রাখতে পারে না, কারণ প্রতিটি …

16 ds.algorithms  reference-request  cg.comp-geom 

একটি ফাংশন একমুখী হয় যদি f বহুপদী সময় অ্যালগরিদম দ্বারা গণনা করা যায় তবে প্রতিটি এলোমেলোভাবে বহুবর্ষের সময় অ্যালগরিদম এf:{0,1}∗→{0,1}∗f:{0,1}∗→{0,1}∗f \colon \{0, 1\}^* \to \{0, 1\}^*fffAAA , Pr[f(A(f(x)))=f(x)]&lt;1/p(n)Pr[f(A(f(x)))=f(x)]&lt;1/p(n)\Pr[f(A(f(x))) = f(x)] < 1/p(n) প্রত্যেক বহুপদী জন্য এবং যথেষ্ট বৃহৎ এন ভেবে যে তারা এক্স থেকে অবিশেষে নির্বাচিত { 0 , 1 …

16 cc.complexity-theory  cr.crypto-security  one-way-function 

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

16 soft-question  research-practice 

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

16 computability  lo.logic 

এই প্রশ্নটি "হাইপারবোলিক স্পেসে সেলুলার অটোমেটা: ভলিউম 2" বইয়ের পৃষ্ঠা 125 সম্পর্কে রয়েছে মরিস মার্জেনস্টার্ন দ্বারা প্রকাশক আর্কাইভ সমকালীন, ২০০৮। http://books.google.com/books?id=eEgvfic3A4kC&amp;pg=PA125 লেখকের মতে, পি = এনপি প্রশ্নটি অসুস্থ কারণ, কারণ হাইপারবোলিক সেটিং পি = এনপি বা পরে পি এইচ = এনপি এইচ বইতে ব্যবহৃত স্বরলিপিটিতে । এগুলি কী তৈরি করতে …

16 cc.complexity-theory 

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

16 reference-request  cr.crypto-security 

এক্স-মুক্ত গ্রাফগুলি হ'ল এক্স প্রেরিত সাবগ্রাফ হিসাবে এক্স থেকে কোনও গ্রাফ থাকে না। একটি গর্ত হ'ল একটি চক্র যা কমপক্ষে 4 টি শীর্ষ কোণে। একটি বিজোড়-গর্তটি এমন একটি গর্ত যা বিজোড় সংখ্যার শীর্ষ কোণে। অ্যান্টিহোল হোলের পরিপূরক। (বিজোড়-গর্ত, বিজোড়-অ্যান্টিহোল) -ফ্রি গ্রাফগুলি নিখুঁতভাবে নিখুঁত গ্রাফ হয়; এটি স্ট্রং পারফেক্ট গ্রাফ উপপাদ্য …

16 reference-request  graph-theory  co.combinatorics  graph-classes 

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

16 pr.probability  markov-chains  stochastic-process 

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

16 gt.game-theory  online-learning 

নিসান "স্পেস-বাউন্ডেড কম্পিউটেশন ফর সিসিডোরেন্ডম জেনারেটর"-এ প্রমাণ করেছেন যে সেখানে একটি সিউডো-র্যান্ডম জেনারেটর রয়েছে যা "বোকা" স্থান নির্ধারিত গণনাগুলি। এই নির্মাণটি কি প্রতিটি ওরাকেলের জন্য অন্ততপক্ষে (কমপক্ষে অভিযোজিত প্রশ্নের জন্য নয়)?

16 cc.complexity-theory  space-bounded  derandomization