প্রশ্ন ট্যাগ «cc.complexity-theory»

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

13 cc.complexity-theory  lower-bounds  proofs 

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

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

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

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

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

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

3 স্যাট [ 1 ] এর জন্য নিম্ন সীমানা নিয়ে আলোচনার পরে , আমি ভাবছি যে স্থান-কালীন ট্রেডঅফস হিসাবে সূচিত প্রধান নিম্ন সীমাবদ্ধ ফলাফলগুলি কী। আমি ফলাফলগুলি বাদ দিচ্ছি যেমন, বলুন, স্যাভিচের উপপাদ্য; একটি ভাল এন্ট্রি একক সমস্যা এবং তার সীমাতে ফোকাস করবে। একটি উদাহরণ হবে: "টি এবং এস-কে যে …

13 cc.complexity-theory  ds.algorithms  big-list  space-time-tradeoff 

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

13 cc.complexity-theory  turing-machines  oracles  circuit-families 

এটি ইম্মারম্যান এবং স্লেলেপসিনি'র ধন্যবাদ হিসাবে জানা যায় যে যদি (এমনকি স্থান- কার্যকারিতার জন্য)।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 cc.complexity-theory  reductions  search-problem  ppad 

সত্যি বলতে কী, এলোমেলো সংখ্যা কীভাবে উত্পন্ন হয় সে সম্পর্কে আমি তেমন কিছুই জানি না (মন্তব্যগুলি স্বাগত!) তবে আসুন নীচের তাত্ত্বিক মডেলটি ধরে নিই: আমরা থেকে অভিন্ন র্যান্ডমটি পেতে পারি এবং আমাদের লক্ষ্যটি হ'ল একটি পূর্ণসংখ্যা আউটপুট থেকে [1,3] একরকম এলোমেলোভাবে।[ ১ , ২ এন ][1,2n][1,2^n] একটি সহজ সমাধান যার …

13 cc.complexity-theory  np-hardness  randomized-algorithms 

ধরে নিন পি এনপি।≠≠\ne লাডনারের উপপাদ্য বলে যে এনপি ইন্টারমিডিয়েট সমস্যা রয়েছে (এনপিতে যে সমস্যাগুলি পি বা এনপি-সম্পূর্ণ নয়)। আমি অনলাইনে কিছু পর্দাযুক্ত রেফারেন্স পেয়েছি যা প্রস্তাব দেয় (আমি মনে করি) এনপিআইয়ের মধ্যে পারস্পরিক হ্রাসযোগ্য ভাষার অনেকগুলি "স্তর" রয়েছে যা অবশ্যই একটিতে বিভক্ত হয় না। এই স্তরের কাঠামো সম্পর্কে আমার …

13 cc.complexity-theory  np  np-intermediate 

যেহেতু আমি এটি বুঝতে পারি, একটি প্রমাণ যে পি = এনপি বা পি ≠ এনপি-র পুনঃ-পুনঃসংশোধনযোগ্য হতে হবে (রিকার্সন তত্ত্বের মতো)। যদিও কার্যত সমস্ত প্রমাণাদি আপেক্ষিক বলে মনে হয়। ভাল উদাহরণ কি কি অ relativizable প্রমাণাদি করে একটি পি = দ্বারা NP / পি ≠ দ্বারা NP প্রমাণ হতে হবে …

13 cc.complexity-theory  lo.logic  computability  p-vs-np  relativization 

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

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

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

13 cc.complexity-theory  complexity-classes  ppad 

কোনও নোডে একটি চিপযুক্ত নির্দেশিত ওয়েট গ্রাফ তে নিম্নলিখিত গেমটি বিবেচনা করুন ।GGG এর সমস্ত নোড এ বা বি দ্বারা চিহ্নিত করা হয়েছেGGG দুজন খেলোয়াড় রয়েছেন অ্যালিস এবং বব। অ্যালিসের (বব) লক্ষ্য হ'ল চিপটি একটি নোডে স্থানান্তর করা যা এ (বি) দ্বারা চিহ্নিত রয়েছে। প্রাথমিকভাবে অ্যালিস এবং ববকে যথাক্রমে এবং …

13 cc.complexity-theory  complexity-classes  gt.game-theory 

কল্পনা করুন আমরা দুটি আকার পয়েন্ট সেট এক্স , ওয়াই ⊂ আর এন । পরীক্ষার জটিলতা কী (সময়) কেবলমাত্র ঘূর্ণন দ্বারা পৃথক হয়? : সেখানে আবর্তনের ম্যাট্রিক্স রয়েছে হে হে টি = হে টি ও = আমি যেমন এক্স = হে ওয়াই ?mmmX,Y⊂RnX,Y⊂RnX,Y\subset \mathbb{R}^nOOT=OTO=IOOT=OTO=IOO^T=O^TO=IX=OYX=OYX=OY এখানে প্রকৃত মূল্যবোধের প্রতিনিধিত্ব করার একটি …

12 cc.complexity-theory  complexity-classes  graph-isomorphism  computational-geometry  high-dimensional-geometry