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

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

9 ds.algorithms  graph-algorithms  clique 

DLOGTIME এ সংজ্ঞায়িত করা হয় http://en.wikipedia.org/wiki/DLOGTIME এ সংজ্ঞায়িত করা হয় http://en.wikipedia.org/wiki/L_%28complexity%29 এবং http://en.wikedia.org/wiki/NC_%28 কমপ্লেক্সেটি ৯৯৯ এ সংজ্ঞায়িত করা হয়েছে এলL\operatorname{L} এনসিNC\operatorname{NC}এনসিএনNCn\operatorname{NC}^n ডিফল্টটাইম মনে হয় সবচেয়ে ছোট যে কাজ করতে পারে। আমি বিভিন্ন জায়গায় পড়েছি যে ,, যদিও প্রতিটি জায়গাতেই আমি খুঁজে পেয়েছি যে ফলাফলগুলির মধ্যে একটি অভিন্নতার শর্ত রয়েছে - …

9 cc.complexity-theory  circuit-complexity 

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

9 pl.programming-languages  type-theory  type-inference  type-systems 

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

9 cc.complexity-theory  reference-request  communication-complexity 

একটি মেশিন লার্নিং অ্যাপ্লিকেশনের জন্য, আমার গ্রুপটির ইউক্লিডিয়ান দূরত্বটি গণনা করা দরকার kkkএকটি সেট মধ্যে নিকটতম প্রতিবেশী XXX প্রতিটির জন্য, প্রত্যেকটির জন্য x∈(X∪Y)⊂Rdx∈(X∪Y)⊂Rdx \in (X \cup Y) \subset \mathbb R^d (জন্য ddd 5 এবং প্রায় 100 এর মধ্যে এবং |X|≈|Y||X|≈|Y||X| \approx |Y|কয়েক মিলিয়ন পর্যন্ত কয়েক শত)। আমরা বর্তমানে নিষ্ঠুর শক্তি …

9 reference-request  cg.comp-geom  near-neighbors 

একটি submodular ফাংশন দেওয়া উপর যেখানে এবং টুকরো করা এবং হয় । এখানে এবং উপর submodular হয় এবং যথাক্রমে।চচfΩ =এক্স1∪এক্স2Ω=এক্স1∪এক্স2\Omega=X_1\cup X_2এক্স1এক্স1X_1এক্স2এক্স2X_2চ( এস) =চ1( এস∩এক্স1) +চ2( এস∩এক্স2)চ(এস)=চ1(এস∩এক্স1)+ +চ2(এস∩এক্স2)f(S)=f_1(S\cap X_1)+f_2(S\cap X_2)চ1চ1f_1চ2চ2f_2এক্স1এক্স1X_1এক্স2এক্স2X_2 এখানে অজানা এবং কেবলমাত্র একটি মান কোয়েরি অ্যাক্সেস দেওয়া হয়েছে। তারপরে একটি পলটাইম অ্যালগরিদম রয়েছে যা খুঁজে পায় । যদি জন্য …

9 ds.algorithms  submodularity 

ইন সর্বাধিক কাটা সমস্যা, এক একটি প্রদত্ত সহজ undirected গ্রাফ ছেদচিহ্ন একটি উপসেট এস বৃহত সম্ভব হয় যেমন যে এস এবং S সম্পূরক মধ্যে প্রান্ত সংখ্যা চায়। সর্বাধিক কাটটি সীমাবদ্ধ-ডিগ্রি গ্রাফগুলিতে [পিওয়াই ৯৯] এপিএক্স-সম্পূর্ণ এবং বাস্তবে কিউবিক গ্রাফগুলিতে এপিএক্স-সম্পূর্ণ (অর্থাৎ ডিগ্রি 3-এর গ্রাফ) [এ কে 100]। সর্বাধিক 3 [LY80] ডিগ্রি …

9 cc.complexity-theory  approximation-algorithms  approximation-hardness  max-cut 

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

9 fl.formal-languages 

(আমার মূল প্রশ্নের এখনও উত্তর দেওয়া হয়নি। আমি আরও স্পষ্টতা যোগ করেছি) মার্কোভ চেইন হিসাবে এলোমেলো পদচারণা দেখে র্যান্ডম ওয়াক্স (অনির্দেশিত গ্রাফগুলিতে) বিশ্লেষণ করার সময়, আমাদের গ্রাফটি নন-দ্বিপক্ষীয় হতে হবে যাতে মার্কভ চেইনের মৌলিক উপপাদ্য প্রয়োগ হয়। গ্রাফ হলে কী হয় জিGGপরিবর্তে দ্বিপক্ষীয়? আমি বিশেষভাবে হিট টাইমে আগ্রহীজi , jhi,jh_{i,j}, …

9 pr.probability  random-walks 

উইকিপিডিয়া - SHA-2 বলেছেন SHA-224 SHA-256 এর সাথে সমান, এটি ব্যতীত: h7 এর মাধ্যমে প্রাথমিক ভেরিয়েবলের মানগুলি পৃথক, এবং h7 বাদ দিয়ে আউটপুট তৈরি করা হয়। আরএফসি 3874 - একটি 224-বিট একমুখী হ্যাশ ফাংশন: এসএএএ-224 বলেছেন একটি পৃথক প্রাথমিক মান ব্যবহার নিশ্চিত করে যে কোনও ছাঁটাইয়া SHA-256 বার্তা ডাইজেস্ট মান …

9 cr.crypto-security  hash-function 

আমি এটি দেখানোর চেষ্টা করছি যে সেট কভার থেকে হ্রাসের মাধ্যমে একটি নির্দিষ্ট সমস্যা অনুপযুক্ত। আমার হ্রাস স্থল আকারের আকারের সাথে একটি উদাহরণকে রূপান্তরিত করেএনএনn এবং মিমিm আমার সমস্যার একটি উদাহরণে সেট করে যেখানে একটি নির্দিষ্ট পরামিতি RRr আকারের হয় ও ( এন + এম )হে(এন+ +মি)O(n+m)। তারপরে আমি দেখাতে …

9 cc.complexity-theory  approximation-hardness  set-cover 

আমি ভাবছিলাম যে নিয়মিত প্রকাশের সীমাবদ্ধতার দ্বারা ভাষাগুলির সেটগুলি কী উত্পন্ন হয়। মনে করুন যে সমস্ত বিধিনিষেধের প্রতিটি উপাদানের জন্য একটি স্থির প্রতীক রয়েছেΣΣ\Sigmaএবং উপসংহার। তারপরে আটটি ক্লাস পরিপূরক / অবহেলা, পরিবর্তন / ইউনিয়ন এবং ক্লিন তারার উপস্থিতি বা অনুপস্থিতি দ্বারা গঠিত হতে পারে। (হ্যাঁ, 'স্বাভাবিক' নিয়মিত এক্সপ্রেশনগুলির একটি থাকে …

9 fl.formal-languages  regular-expressions 

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

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

স্ট্রমের কোলমোগোরভ জটিলতা গণনাযোগ্য নয়। তবে আকারের এলোমেলো উপসেটে inএমMM দৈর্ঘ্যের বাইনারি স্ট্রিং এর এনnn, কতগুলি সংখ্যার পূর্ণসংখ্যার চেয়ে জটিলতা কম বলে আশা করা যায় এন0n0n_{0} এর চেয়ে কম এনnn (একটি কাজ হিসাবে এমMM, এনnn এবং এন0n0n_{0})?

9 cc.complexity-theory  kolmogorov-complexity 

আমার লিনিয়ার প্রোগ্রামিং সমস্যার একটি পরিবার রয়েছে: সর্বাধিক করুন c′xc′xc' x বিষযে Ax≤bAx≤bA x\le b, x≥0x≥0x\ge0। এর উপাদানগুলিAAA, bbb, এবং ccc nonnegative পূর্ণসংখ্যার হয়, cccকঠোর ইতিবাচক। (xxx এছাড়াও অবিচ্ছেদ্য হওয়া উচিত তবে আমি পরে এটি নিয়ে উদ্বিগ্ন হব) এটি প্রায়শই আমার অ্যাপ্লিকেশনটিতে ঘটে থাকে যে সহগগুলি AAA এবং ccc সরলিকৃত …

9 ds.algorithms  reference-request  linear-programming  matrices