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

বিতরণ সিস্টেমে গসিপিং সমস্যাটি নিম্নলিখিত। আমাদের একটি এন গ্রোফেস সহ একটি গ্রাফ আছে । প্রতিটি ভার্টেক্স ভি এর একটি বার্তা এম ভি রয়েছে যা অবশ্যই সমস্ত নোডে প্রেরণ করতে হবে।জি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 

আমি যখন ডানা মোশকভিত্জকে অন্য বিষয়ের উত্তর পেয়েছি তখন আমার কাছে প্রশ্নটি এসেছিল । যাক এলLL একটি হতে এন পি ভাষা, দিন আরএলRLR_L নিজ নিজ হতে এন পি সম্পর্ক। আমরা জানি যে এখানে কিছু বহুবচনীয় রয়েছে পিppযা: ∀ x ∈ এল ,, ∃ W ∈0 , 1পি ( | x …

13 cc.complexity-theory  np 

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

13 cc.complexity-theory  communication-complexity 

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

13 cc.complexity-theory  lower-bounds  proofs 

একটি মনোোটোন -2 সিএনএফ সূত্র হল একটি সিএনএফ সূত্র যেখানে প্রতিটি ধারাটি 2 টি ইতিবাচক আক্ষরিক দ্বারা রচিত হয়। এখন, আমার কাছে মনোটোন -2 সিএনএফ সূত্র । যাক এস সেট হতে এফ এর পরিতৃপ্ত বরাদ্দকরণ। আমার কাছে একটি ওরাকল ও রয়েছে যা নিম্নলিখিত তথ্যগুলি দিতে সক্ষম:এফFFএসSSএফFFহেOO সেট এর কার্ডিনালিটি (অর্থাত্ …

13 cc.complexity-theory  ds.algorithms  sat  counting-complexity 

অনুমান করুন যে আপনাকে বিমানটিতে এন পয়েন্টের একটি সেট দেওয়া হয়েছে এবং আপনি এটি পরীক্ষা করতে চান যে তারা একটি উত্তল এন বহুভুজ গঠন করে, অর্থাত্ যদি তারা সকলেই উত্তল স্তরে থাকে। আমি ভাবছিলাম যে কেউ কীভাবে ও (এনলগন) সময়ে এটি করতে পারেন, অর্থাত্ সিএইচকে গণনা না করে।

13 cg.comp-geom 

মনে করুন আমাদের কাছে গ্রাফের একটি সেট এস (সীমাবদ্ধ গ্রাফ, তবে সেগুলির একটি অসীম সংখ্যা) এবং এসের উপর কাজ করে এমন এক অনুক্রমের গ্রুপ পি P দৃষ্টান্ত: পি তে একটি ক্রমবর্ধমান পি। প্রশ্ন: এস-তে কোনও গ্রাফ আছে যা অটোমরফিজম পি স্বীকার করে? এই সমস্যাটি কি কিছু সেট এস-এর জন্য এনপি-সম্পূর্ণ? …

13 cc.complexity-theory  graph-theory  np-hardness  automorphism 

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

13 reference-request  ds.data-structures 

চং, হান এবং Lam দেখিয়েছেন যে undirected St-সংযোগ মধ্যে EREW pram উপর সমাধান করা যেতে পারে সঙ্গে সময় হে ( মি + + N ) প্রসেসর। পরিচালিত সেন্ট-সংযোগের জন্য সর্বাধিক পরিচিত সমান্তরাল অ্যালগরিদম কী ? অনুগ্রহ করে চলমান সময়, নির্বাহী / র্যান্ডমাইজড অ্যালগরিদম এবং ব্যবহৃত PRAM মডেলটি উল্লেখ করুন (প্রসেসরের …

13 dc.parallel-comp 

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

13 graph-theory  treewidth 

"প্রচলিত রেফারেন্স স্ট্রিং এবং র‌্যান্ডম ওরাকল মডেল অন অস্বীকারের শিরোনাম" শীর্ষক একটি গবেষণাপত্রে রাফায়েল পাস লিখেছেন: আমরা লক্ষ করেছি যে আরও [র‌্যান্ডম ওরাকল] মডেলটিতে স্ট্যান্ডার্ড শূন্য-জ্ঞান সংজ্ঞা অনুযায়ী সুরক্ষা প্রমান করার সময়, সিমুলেটারটির একটি সরল মডেল সিমুলেটারের দুটি সুবিধা রয়েছে, যথা, সিমুলেটরটি দেখতে পাচ্ছে যে পক্ষগুলি ওরেकलকে কী মান দেয়। …

13 cc.complexity-theory  cr.crypto-security  oracles  black-box 

কাগজে কোয়ান্টাম র‌্যান্ডম ওয়াকস হিট এক্সপোনেনটিভালি ফ্যাসার ( আরএক্সিভি: কোয়ান্ট-পিএইচ / 0205083 ) কোম্প্ট কোয়ান্টাম ওয়াকের ( হাইপারক्यूबে ) সময় দেওয়ার জন্য একটি ধারণা দেয় যা কোয়ান্টাম ওয়াক সাহিত্যে খুব বেশি জনপ্রিয় নয়। এটা অনুসরণ হিসাবে সংজ্ঞায়িত করা হয়: এক-শটের কোয়ান্টাম আঘাত সময়: একটি বিযুক্ত সময় কোয়ান্টাম হাঁটার টি এক-শটের …

13 quantum-computing  random-walks  markov-chains  quantum-walk 

সুতরাং, আমি পাশের দৈর্ঘ্য সহ কয়েক-দু'রকম সহ প্রায় 100-200 খুব কম স্পার্স স্কয়ার বুলিয়ান ম্যাট্রিক্স পেয়েছি এবং তাদের পণ্যগুলি গণনা করা দরকার। আমি জানি যে আমি যদি তাদের ক্রমিকভাবে গুণ করি তবে পণ্যটি প্রতিটি পদক্ষেপে প্রায়শই বিরল থাকে। এই ক্ষেত্রে বিশেষত দ্রুত কাজ করে এমন কোনও ম্যাট্রিক্স চেইন প্রোডাক্ট অ্যালগরিদম …

13 ds.algorithms  automata-theory  matrix-product  sparse-matrix