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

রিড-দু'বার বিপরীত সিএনএফ সূত্রে প্রতিটি চলক দু'বার প্রদর্শিত হয়, একবার ইতিবাচক এবং একবার নেতিবাচক। আমি সমস্যাটিতে আগ্রহী, যা সিএনএফ সূত্রের বিপরীতে একটি পঠন-বারের বিপরীতে সন্তুষ্টিত কার্যভার সংখ্যার সমতা গণনা করে।⊕Rtw-Opp-CNF⊕Rtw-Opp-CNF\oplus\text{Rtw-Opp-CNF} আমি এ জাতীয় সমস্যার জটিলতা সম্পর্কে কোনও রেফারেন্স খুঁজে পাইনি। নিকটতম আমি এটির সন্ধান করতে পেরেছি যে গণনা সংস্করণ হল …

11 cc.complexity-theory  ds.algorithms  counting-complexity 

একটি ডিএজি (নির্দেশিত অ্যাসাইক্লিক গ্রাফ) , উত্সগুলি এবং ডুবে । সোর্স এবং ডুবে সহ ন্যূনতম সংখ্যার প্রান্তের মতো একটি ডিএজি খুঁজুন :DDDSSSTTTD′D′D'SSSTTT সব বিদ্যমান জোড়া জন্য সেখান থেকে একটি পথ থেকে মধ্যে যদি এবং কেবল যদি সেখান থেকে একটি পথ থেকে মধ্যে ।u∈S,v∈Tu∈S,v∈Tu \in S, v \in TuuuvvvDDDuuuvvvD′D′D' এর একটি …

11 graph-theory  graph-algorithms 

একটি সীমাবদ্ধ গ্রুপ । আমি নিম্নলিখিত সিদ্ধান্তের সমস্যায় আগ্রহী: ইনপুটটি জি এর কিছু উপাদান যা তাদের উপর আংশিক আদেশ রয়েছে, এবং প্রশ্নটি এমন যে উপাদানগুলি ক্রম সন্তুষ্ট করে এবং এই জাতীয় উপাদানগুলির সংমিশ্রণটি এমন যে কোনও উপাদান রয়েছে কিনা তা এই প্রশ্নটি রয়েছে whether অর্ডার গ্রুপের নিরপেক্ষ উপাদান ই ।GজিGGGGeee …

11 np-hardness  sorting  gr.group-theory  partial-order  order-theory 

প্রদত্ত যেমন যে এর কোফিসিয়েন্টস দ্বারা বেষ্টিত করা হয় বি , না পি ≡ কুই হোল্ড ?পি , কিউপি ( এক্স1, … , এক্সএন) , q( এক্স1, … , এক্সএন) ∈ জেড [ এক্স1, … , এক্সএন]p(x1,…,xn),q(x1,…,xn)∈Z[x1,…,xn]p(x_1,\dots,x_n),q(x_1,\dots,x_n)\in \Bbb Z[x_1,\dots,x_n]p , qp,qp,qবিBBp ≡ qp≡qp\equiv q শোয়ার্জ-Zippel থিম এখানে প্রযোজ্য যেহেতু এটি …

11 big-picture  derandomization  conditional-results 

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

11 cc.complexity-theory  dc.parallel-comp 

সাধারণ ভেক্টর দ্বারা নির্ধারিত হাইপারপ্লেনের একটি সেট দেওয়া , এর ঘরের প্রকারগুলি (বা সাইন ভেক্টর) সমস্ত ভেক্টর t ∈ { + , - } m যার জন্য সেখানে ভেক্টর ভি ∈ আর ডি রয়েছে যাতে ⟨ বনাম , জ ই ⟩ ≠ 0 এবং T আমি = চিহ্ন ( ⟨ …

11 co.combinatorics  cg.comp-geom  computational-geometry  metric-spaces 

সীমিত সংখ্যক পরিবর্তনশীল সংঘটন সহ 1-ইন-3-স্যাট এর জটিলতা শ্রেণীর কোনও পরিচিত ফলাফল রয়েছে? আমি পিটার নাইটিংগলের সাথে নিম্নলিখিত পার্সোনমোনাস হ্রাস নিয়ে এসেছি, তবে এটি জানা থাকলে আমি কিছু উল্লেখ করতে চাই। এই কৌশলটি আমরা সামনে এনেছি। এটি দেখায় যে 1-ইন-3-স্যাটটি ভেরিয়েবলের প্রতি 3 টি ইভেন্টের মধ্যে সীমাবদ্ধ হ'ল এনপি সম্পূর্ণ …

11 reference-request  sat  reductions 

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

11 reference-request  soft-question 

আছে আলগোরিদিমিক গ্রাফ তত্ত্ব / NUMBER তত্ত্ব / সংযুক্তকারিতা / তথ্য তত্ত্ব / খেলা তত্ত্ব। অ্যালগরিদমিক গাণিতিক বিশ্লেষণ আছে কি? উইকির মতে, গাণিতিক বিশ্লেষণে পার্থক্য, সংহতকরণ, পরিমাপ, সীমা, অসীম ধারা এবং বিশ্লেষণমূলক কার্যের তত্ত্ব অন্তর্ভুক্ত রয়েছে। প্রকৃত বিশ্লেষণ (উইকি) -এ ফোকাস করা ঠিক আছে যা আসল সংখ্যাগুলি এবং আসল ভেরিয়েবলের …

11 cc.complexity-theory  reference-request  soft-question  computability 

আমি ভাবছিলাম যে এই ভাষাটি কোন শ্রেণীর অন্তর্ভুক্ত: একটি গ্রাফ, একটি প্রাকৃতিক সংখ্যা এবং of এর ক্রোমেটিক সংখ্যাL={⟨G,k⟩∣GL={⟨G,k⟩∣GL =\{ \langle G,k \rangle \mid G kkkkkkG}G}G\} আমি হিসাবে ভেবেছিলাম (1) "কে -1 রঙের রঙ নেই" এবং (2) " রঙের রঙ আছে"। এখন, (1) কোএনপি এবং (2) এনপি-সম্পূর্ণ তাই আমি ধরে নিয়েছি …

11 cc.complexity-theory  np-hardness  complexity-classes 

আলগোরিদিম বিশ্লেষণ করার সময় বিপরীত একারম্যান ফাংশন প্রায়শই ঘটে। এর দুর্দান্ত উপস্থাপনাটি এখানে: http://www.gabrielnivasch.org/fun/inverse-ackermann । এবং [দ্রষ্টব্য: [x]) এর অর্থ হল লগ করার সময় আমরা এক্সটিকে নিকটতম পূর্ণসংখ্যায় পরিণত করি ∗ এখানে পুনর্বিবেচিত লগ ফাংশন: http://en.wikedia.org/wiki/Iterated_logarithm ]α 1 ( এন ) = [ এন / 2 ] α1(n)=[n/2]\alpha_1(n) = [n/2] …

11 ds.algorithms  ds.data-structures  bounds 

যৌক্তিক কাঠামো এবং প্রকারের তত্ত্বের মধ্যে পার্থক্য কী? উভয়ের উভয় প্রকার, পদ রয়েছে এবং নির্ভরশীল টাইপ করা ল্যাম্বদা ক্যালকুলাসের উপর ভিত্তি করে। আমাদের এডিনবুর্গ এলএফ আছে যা ল্যাম্বদা-পাই ক্যালকুলাসের উপর ভিত্তি করে রয়েছে, তবে আমার কাছে মনে হয় সেখানে কিছু সূক্ষ্ম পার্থক্য রয়েছে।

11 lo.logic  type-theory 

আমি সচেতন বেশিরভাগ টাইপ তত্ত্বগুলি ভবিষ্যদ্বাণীপূর্ণ যার দ্বারা আমি এটি বুঝি Void : Prop Void = (x : Prop) -> x এই পাই টাইপটি একই মহাবিশ্বের অন্তর্গত হিসাবে বেশিরভাগ উপপাদ্য প্রবাদগুলিতে ভালভাবে টাইপ Propকরা হয় না এবং এটি এরকম হয় না Prop : Prop। এটি তাদের ভবিষ্যদ্বাণীপূর্ণ করে তোলে এবং …

11 lo.logic  type-theory 

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

11 string-matching  string-search 

আমি বর্তমানে অ্যালান কেসের বক্তব্য শুনছি "এটি কি আসলে জটিল বা আমরা কেবল জটিল করে তুলেছি?" ( https://www.youtube.com/watch?v=ubaX1Smg6pY&= ) যেখানে তিনি বলেছেন যে "সেমোফোরগুলি একটি খারাপ ধারণা ছিল এবং সিউডো সময় বলে কিছু ছিল যা উন্নত ছিল" (লিঙ্কযুক্ত ভিডিওতে 51:40 এ)। হয়তো আমি "সিউডো টাইম" শব্দটি ভুল বুঝেছি, তবে আপনি …

11 terminology  concurrency