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

আমি উদাহরণটিকে আরও বড় না করেই ক্লিককে স্যাট- তে হ্রাস করতে আগ্রহী ।টkk চক্রটি এনপিতে থাকে সুতরাং লোগারিদমিক স্থান ব্যবহার করে এটি স্যাট-এ কমিয়ে আনা যায়। সোজা গ্যারি / জনসন পাঠ্যপুস্তক হ্রাস উদাহরণটি ঘনক্ষেত্রের আকারে ফুটিয়ে তুলেছে । যাইহোক, -Clique যে সংশোধন করা হয়েছে জন্য P হয় ট তাই নির্দিষ্ট …

10 cc.complexity-theory  sat  reductions  clique 

আসুন a প্রতিসাম্য বহুপদী হতে , অর্থাত্, বহুপদী এমন যে সমস্ত এবং সমস্ত । সুবিধার জন্য, আমরা গণনার মডেল নিয়ে সমস্যাগুলি এড়াতে একটি সীমাবদ্ধ ক্ষেত্র, ধরে নিতে পারি ।চ: কেএন→ কেf:Kn→Kf:\mathbb{K}^n \to \mathbb{K}x ∈ K n σ ∈ S n Kচ( এক্স ) = চ( σ)( এক্স ) )f(x)=f(σ(x))f(x)=f(\sigma(x))x∈Knx∈Knx \in …

10 cc.complexity-theory  permutations  polynomials 

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

10 cc.complexity-theory  optimization  examples 

এটি সুপরিচিত যে এনপি- প্রবলেমের কয়েকটি শ্রেণিতে দ্বৈতত্ত্বের উপপাদ্য রয়েছে, যা গ্যারান্টি দেয় যে ক্লাসের প্রতিটি কাজ হয় এনপি- কমপ্লিট বা পি-তে রয়েছে । এরকম সর্বাধিক পরিচিত ফলাফল হ'ল বেশ কয়েকটি জেনারালাইজেশন সহ স্কেফারের দ্বৈতত্ত্বের উপপাদ্য । আমার বোধগম্যতা হল যে এই দ্বিবিজ্ঞানের উপপাদ্য প্রমাণ করা সত্যিই সহজ নয়। আমি …

10 cc.complexity-theory  np  descriptive-complexity 

নিম্নলিখিত শব্দটি (ব্রুজন-ইনডেক্স ব্যবহার করে): BADTERM = λ((0 λλλλ((((3 λλ(((0 3) 4) (1 λλ0))) λλ(((0 4) 3) (1 0))) λ1) λλ1)) λλλ(2 (2 (2 (2 (2 (2 (2 (2 0))))))))) যখন কোনও গির্জার নম্বরে প্রয়োগ করা হয় তখন Nনিষ্পাপ লোকগুলি সহ বেশ কয়েকটি বিদ্যমান মূল্যায়নকারীগুলিতে দ্রুত স্বাভাবিক ফর্মের মূল্যায়ন করে …

10 cc.complexity-theory  lambda-calculus  interaction-nets 

নিম্নলিখিত সমস্যা বিবেচনা করুন: একটি ম্যাট্রিক্স আমরা কম্পিউটিংয়ের জন্য গুণিত অ্যালগরিদমের সংখ্যার সংযোজনটি অনুকূল করতে চাই ।MMMv↦Mvv↦Mvv \mapsto Mv আমি ম্যাট্রিক্সের গুণনের জটিলতার সাথে এই সম্পর্কের কারণে এই সমস্যাটিকে আকর্ষণীয় মনে করি (এই সমস্যাটি ম্যাট্রিক্সের গুণনের একটি সীমাবদ্ধ সংস্করণ)। এই সমস্যা সম্পর্কে কি জানেন? এই সমস্যাটি ম্যাট্রিক্সের গুণ গুণটির জটিলতার …

10 cc.complexity-theory  reference-request  circuit-complexity  matrices  arithmetic-circuits 

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

10 cc.complexity-theory  decision-trees 

এটি একটি পুরানো খোলা সমস্যা ডাইরেক্ট-সমষ্টি উপপাদ্য নির্ণায়ক যোগাযোগ জটিলতা হয় যে জন্য ঝুলিতে কিনা, কিনা সমাধানে হয় হয় কোন সমস্যা হওয়ার স্বাধীন দৃষ্টান্ত বার একটি একক উদাহরণস্বরূপ সমাধানে চেয়ে কঠিন। [FKNN95] নিম্নলিখিত ফলাফলগুলি দেখিয়েছেন:টিটিtটিটিt একটি নেতিবাচক ফলাফল: এখানে আংশিক ফাংশন রয়েছে ([O90] এর কারণে) যার নির্বিচারে যোগাযোগ জটিলতা হ'ল …

10 cc.complexity-theory  communication-complexity 

দুটি উপাদানকে এবং এইচ-এর উপর এন এন উপাদানগুলির (যেমন, এস এন এর সদস্য ) দেওয়া, জি , এইচ দ্বারা উত্পন্ন উপগোষ্ঠীর ক্রম গণনা করার জটিলতা কী ? বা কেবল সিদ্ধান্ত নিচ্ছে যে সাবগ্রুপটি অর্ডার এন ! (অর্থাত্, সমস্ত এস এন এর )?ggghhhnnnSnSnS_ng,hg,hg,hn!n!n!SnSnS_n

10 cc.complexity-theory  algebra  gr.group-theory 

যাক k > 0k>0k>0 একটি নির্দিষ্ট ধ্রুবক হও। একটি পূর্ণসংখ্যার এনnn , আমরা একটি ক্রমান্বন σ। এসএনσ∈Sn\sigma \in S_n মতো নির্মাণ করতে চাই যে: নির্মাণে ধ্রুবক সময় এবং স্থান ব্যবহার করে (অর্থাত্ প্রিপ্রোসেসিং ধ্রুবক সময় এবং স্থান নেয়)। আমরা এলোমেলোভাবে ব্যবহার করতে পারি। দেওয়া আমি ∈ [ n ]i∈[n]i\in[n] , …

10 cc.complexity-theory  ds.algorithms  cr.crypto-security  derandomization  k-wise-independence 

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

10 cc.complexity-theory  complexity-classes  computability  dynamic-algorithms 

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

10 cc.complexity-theory  graph-algorithms  parameterized-complexity  fixed-parameter-tractable 

গ্রাফ আইসোমর্ফিজম সমস্যাটি দীর্ঘস্থায়ী সমস্যাগুলির মধ্যে একটি যা বা কমপ্লিট সমস্যাগুলিতে শ্রেণিবিন্যাসকে প্রতিহত করে । আমাদের প্রমাণ রয়েছে যে এটি অসম্পূর্ণ হতে পারে না । প্রথমত, বহিরাগত শ্রেণিবিন্যাস [1] দ্বিতীয় স্তরে পতিত না হলে গ্রাফ আইসোমর্ফিজম কমপ্লিট হতে পারে না । এছাড়াও, জিআই-র গণনা [2] সংস্করণটি বহু-সময়কালীন টুরিং এর সিদ্ধান্ত …

10 cc.complexity-theory  graph-isomorphism 

প্রুফ জটিলতা গণনা জটিলতার তত্ত্বের একটি সর্বাধিক প্রাথমিক ক্ষেত্র। এই ক্ষেত্রের একটি চূড়ান্ত উদ্দেশ্য প্রমাণ করা , যে কোনও প্রবক্তা প্রদত্ত ইনপুট সূত্রটি অসন্তুষ্টির প্রমাণ দিতে পারে না। NP≠coNPNP≠coNPNP\neq coNP একটি গ্রাফ প্রমাণের আনুষ্ঠানিক মডেলগুলির মধ্যে একটি। আমার প্রশ্ন এই মডেলটির আরও বাধা সম্পর্কে। একটি প্রমাণ একটি ডিএজি হিসাবে উপস্থাপন …

10 cc.complexity-theory  reference-request  graph-theory  np  proof-complexity 

1965 নিবন্ধটি "এ আলগোরিদিম গণনীয় জটিলতার উপর Hartmanis এবং স্টার্ন দ্বারা", লেখক অনুমান যে যদি একটি রিয়েল-টাইম টুরিং মেশিন নির্ণয় বাস্তব সংখ্যার মধ্যে, উদাহরণস্বরূপ, বেস 10, তারপর দ হয় একটি মূলদ সংখ্যা বা একটি হল ট্রান্সসিডেন্টাল নম্বর।rrrrrr এমন কোনও গণনাযোগ্য ট্রান্সসেন্টেন্টাল নম্বর রয়েছে যা রিয়েল-টাইম টুরিং মেশিন দ্বারা উদাহরণস্বরূপ, বেস …

10 cc.complexity-theory  reference-request  examples