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

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

13 ds.algorithms  reference-request  sat  optimization 

আমি গণনা হিসাবে যা উল্লেখ করি তা হ'ল সমস্যাটি যা কোনও ফাংশনের সমাধানের সংখ্যা খুঁজে বের করে consists আরও স্পষ্টভাবে, একটি ফাংশন দেওয়া (অগত্যা ব্ল্যাক-বাক্স নয়), আনুমানিক # { x ∈ N ∣ f ( x ) = 1 } = | চ - 1 ( 1 ) | ।f:N→{0,1}f:N→{0,1}f:N\to …

13 ds.algorithms  reference-request  counting-complexity  time-complexity 

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

13 cc.complexity-theory  reference-request  approximation-algorithms  fixed-parameter-tractable 

কোনও সমস্যা সমাধানের চেষ্টা করার সময় আমি এর অংশটি নিম্নলিখিত পূর্ণসংখ্যার লিনিয়ার প্রোগ্রাম হিসাবে প্রকাশ করে শেষ করেছি। এখানে ইনপুট অংশ হিসেবে দেওয়া সমস্ত ধনাত্মক পূর্ণসংখ্যা। X i j ভেরিয়েবলের একটি নির্দিষ্ট উপসেটটি শূন্যে সেট করা আছে, এবং বাকিগুলি ইতিবাচক অবিচ্ছেদ্য মানগুলি নিতে পারে:ℓ , মি , এন1, এন2, …

13 reference-request  linear-programming  polynomial-time  integer-programming  integrality-gap 

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

13 reference-request  co.combinatorics  counting-complexity 

বিতরণকৃত অ্যালগরিদমগুলির জন্য নিম্ন সীমা প্রমাণ করার বিভিন্ন কৌশল অন্বেষণ করার সময়, আমার কাছে এমনটি ঘটেছিল যে রামসির উপপাদ্যের নিম্নলিখিত বর্ণগুলির প্রয়োগ থাকতে পারে - যদি এটি সত্য হয়। পরামিতি: kkk , KKK , nnn দেওয়া হয় এবং তারপরে NNN যথেষ্ট পরিমাণে বড় হিসাবে বেছে নেওয়া হয়। পরিভাষা: একটি mmm …

13 reference-request  co.combinatorics  ramsey-theory 

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

13 reference-request  dc.distributed-comp 

বিতরণ সিস্টেমে গসিপিং সমস্যাটি নিম্নলিখিত। আমাদের একটি এন গ্রোফেস সহ একটি গ্রাফ আছে । প্রতিটি ভার্টেক্স ভি এর একটি বার্তা এম ভি রয়েছে যা অবশ্যই সমস্ত নোডে প্রেরণ করতে হবে।জিGGএনnnবনামvvমিবনামmvm_v এখন, আমার প্রশ্নটি অ্যাড-হক নেটওয়ার্ক মডেলের প্রসঙ্গে রয়েছে (আমরা ধরে নিয়েছি যে কোনও নোডের নেটওয়ার্কের টপোলজি, এর অভ্যন্তরীণ এবং আউট …

13 reference-request  dc.distributed-comp 

এটি জানা যায় যে প্রদত্ত ত্রিভুজযুক্ত 3-ম্যানিফোল্ড 3-গোলক কিনা তা নির্ধারণ এনপি-তে রয়েছে 2004 সালে শৌল শ্লেইমার রচনা দ্বারা: "গোলকের স্বীকৃতি এনপি-র মধ্যে রয়েছে" arXiv: গণিত / 0407047v1 [math.GT] । আমি ভাবছি যে এটি কি গত পাঁচ বা ছয় বছরে এনপি-সম্পূর্ণ হিসাবে প্রতিষ্ঠিত হয়েছে? 3 ম্যানিফোল্ড নট জিনাস সমস্যার মতো …

13 cc.complexity-theory  reference-request  open-problem  topology 

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

13 reference-request  machine-learning  lg.learning  boolean-functions 

দুটি বাইনারি অনুসন্ধান গাছ যখন তারা তাদের অর্ডার ট্র্যাভারসলে সম্মতি জানায় তখন লিনিয়ার সমতুল্য বলে মনে হয়। গাছের আবর্তন কেন এত মৌলিক তা নিম্নলিখিত উপপাদ্যটি ব্যাখ্যা করে: A এবং B বাইনারি অনুসন্ধান গাছ হতে দিন। তারপরে A এবং B রৈখিক সমতুল্য হয় এবং কেবল যদি তারা গাছের আবর্তনের ক্রম দ্বারা …

13 reference-request  ds.data-structures 

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

13 reference-request  cg.comp-geom  lower-bounds 

এটি ইম্মারম্যান এবং স্লেলেপসিনি'র ধন্যবাদ হিসাবে জানা যায় যে যদি (এমনকি স্থান- কার্যকারিতার জন্য)।f = Ω ( লগ )এন এস পি এ সি ই (চ) = সি ও এন এস পি এ সি ই ( চ))NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)চ= Ω ( লগ )f=Ω(log)f=\Omega(\log) একই গবেষণাপত্রে পর্যায়ক্রমে হায়ারার্কি ভেঙে পড়ার কথা বলেছেন, …

13 cc.complexity-theory  reference-request  space-bounded  alternating-hierarchy 

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

13 reference-request  graph-algorithms  parameterized-complexity 

এটি কি জানা যায় যে সীমানা ডিগ্রির অপরিবর্তিত প্ল্যানার গ্রাফগুলিতে প্রতিক্রিয়া ভারটেক্স সেট সমস্যাটি হার্ড কিনা?এন পিএনপি\mathsf{NP}

13 cc.complexity-theory  reference-request  graph-algorithms  np-hardness