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

আমি এমন একটি সমস্যা অধ্যয়ন করছি যা কোয়ান্টিফায়ার সংখ্যার বিকল্পগুলির লগারিদমিক সংখ্যার সাথে কোয়ান্টাইটিড বুলিয়ান সূত্রগুলির শ্রেণীর পক্ষে শক্ত। এই শ্রেণীর একটি সমস্যা দেখতে পাবেন: ∀(x1,x2,…xa1)∃(xa1+1,…xa2),…∃(xalogn−1,…xalogn)F∀(x1,x2,…xa1)∃(xa1+1,…xa2),…∃(xalog⁡n−1,…xalog⁡n)F\forall (x_1, x_2, \ldots x_{a_1}) \exists (x_{{a_1}+1}, \ldots x_{a_2}), \ldots \exists(x_{a_{\log n - 1}}, \ldots x_{a_{\log n}})F যেখানে , এবং এফ ভ্যারিয়েবলের এক্স 1 …

15 cc.complexity-theory  boolean-formulas 

২০১২ সালে, লিপটন প্রসাদ রাঘভেন্দ্রের সীমাবদ্ধ ক্ষেত্রগুলিতে রৈখিক ব্যবস্থা সমাধানের জন্য একটি নতুন অ্যালগরিদম সম্পর্কে একটি ব্লগ এন্ট্রি লিখেছিলেন । বিষয়ে রাঘবেন্দ্র এর খসড়া কাগজ লিঙ্ক এখন মৃত , এবং আমি রাঘবেন্দ্র এর ওয়েবসাইটে বিষয় কিছু খুঁজে পাচ্ছি না। ফলাফল কি সঠিক? একটি লিখন আপ কোথাও পাওয়া যায়? ধন্যবাদ!

15 linear-algebra  finite-fields 

আমি এই প্রশ্নটি 10 ​​দিন আগে এখানে সিএস স্ট্যাকেক্সচেঞ্জে জিজ্ঞাসা করেছি তবে আমার কোনও উত্তর নেই। একটি খুব বিখ্যাত কাগজে (নেটওয়ার্কিং সম্প্রদায়ের), ওয়াং এবং ক্রোক্রফ্ট কয়েকটি সংযোজক / গুণগত বাধাগুলির মধ্যে কয়েকটি পথের গণনার ফলাফলের কমপ্লিটনেস ফলাফল উপস্থাপন করে। প্রথম সমস্যাটি হ'ল:NPNP\mathsf{NP} একটি নির্দেশিত গ্রাফ এবং দুটি ওজন মেট্রিক ডাব্লু …

15 np-hardness  reductions 

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

15 soft-question  lambda-calculus  turing-machines  functional-programming  np 

আমি গণিতে একটি স্নাতক শিক্ষার্থী এবং তাত্ত্বিক কম্পিউটার বিজ্ঞান এমন একটি ডোমেন যা আমি কখনই বুঝতে পারি নি যে এটি কী তা সম্পর্কে কারণ আমি বিষয়টি সম্পর্কে খুব ভাল পঠন পাইনি। আমি জানতে চাই যে এই ডোমেনটি আসলে কী সম্পর্কে, এটি কী ধরণের বিষয়ের সাথে জড়িত, এটিতে প্রবেশ করার জন্য …

15 reference-request  soft-question  books 

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

15 automated-theorem-proving  program-verification 

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

15 fl.formal-languages  automata-theory  dfa 

এটি অগত্যা কোনও গবেষণা প্রশ্ন নয়। কৌতূহলের বাইরে কেবল একটি প্রশ্ন: কেউ যদি "অপরিশোধনযোগ্য" ভাষা সংজ্ঞায়িত করতে পারে তবে আমি তা বোঝার চেষ্টা করছি। একটি প্রথম অনুমান আমি একটি ভাষা L "লিখে রূপান্তরযোগ্য" কল যদি এটা হিসেবে লেখা যেতে পারে L=A⋅BL=A⋅BL = A \cdot B সঙ্গে A∩B=∅A∩B=∅A \cap B = …

15 fl.formal-languages 

সফল ডেরেন্ডোমাইজেশনের কয়েকটি বড় উদাহরণ বা পি = বি পি এর দিকে কমপক্ষে প্রগা .় প্রমাণ দেখানোর ক্ষেত্রে কমপক্ষে অগ্রগতির্যান্ডমনেস সংযোগ নয়)কি?P=BPPP=BPPP=BPP আমার মনে যে একমাত্র উদাহরণটি আসে তা হ'ল একেএস ডিস্ট্রিমেন্টিক বহুবর্ষীয় সময়ের প্রাথমিকতা পরীক্ষা করা (এমনকি এর জন্য জিআরএইচ অনুমান করার পদ্ধতিও ছিল)। সুতরাং উদাহরণস্বরূপ কোন নির্দিষ্ট প্রমাণ …

15 cc.complexity-theory  big-list  randomized-algorithms  derandomization  pseudorandom-generators 

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

15 cc.complexity-theory  circuit-complexity  lower-bounds  dynamic-programming 

kkk -cycle সমস্যা নিম্নরূপ: উদাহরণ: একটি আনইরেক্টার্ড গ্রাফ GGG সহ nnn শিখর এবং to পর্যন্ত কিনারা ।(n2)(n2)n \choose 2 প্রশ্ন: জি-তে কি (যথাযথ) সাইকেল রয়েছে ?kkkGGG পটভূমি: কোনও স্থির kkk , আমরা ও (এন ^ 2) সময়ে 2 2k2k2k সাইকেলটি সমাধান করতে পারি ।O(n2)O(n2)O(n^2) রাফেল ইয়াস্টার, উরি জুইক: এমনকি সাইকেল …

15 graph-theory  graph-algorithms  clique  polynomial-time  fixed-parameter-tractable 

সহজ আকারে: একটি দ্বিমুখী সসীম যন্ত্রমানব চিনতে পারে vvv -vertex গ্রাফ করে একটি ত্রিভুজ থাকতে o(v3)o(v3)o(v^3) রাজ্যের? বিস্তারিত সুদের এখানে আছেন vvv -vertex গ্রাফ প্রান্ত একটি ক্রম ব্যবহার এনকোড, প্রতিটি প্রান্ত থেকে স্বতন্ত্র ছেদচিহ্ন একজোড়া হচ্ছে {0,1,…,v−1}{0,1,…,v−1}\{0,1,\dots,v-1\} । ধরুন (Mv)(Mv)(M_v) দ্বি-মুখী সসীম অটোমাটা (নির্ণায়ক বা nondeterministic) একটি ক্রম পায়, তাহলে …

15 cc.complexity-theory  ds.algorithms  graph-algorithms  clique 

যাক বোঝাতে সেট { 1 , । । । , n } এবং সি (এন, কে) পুনরাবৃত্তি ছাড়াই [ এন ] থেকে সমস্ত কে -উপাদানগুলির সেটকে বোঝায় । যাক পি = P 1 P 2 । । । পি ট একটি হতে ট মধ্যে -tuple সি ( এন , ট …

15 reference-request  co.combinatorics  permutations 

ধরা যাক, আমাদের n বুলিয়ান ভেরিয়েবল x_1, ..., x_n এবং m ফাংশন y_1 এর সেট দেওয়া হবে ... y_m যেখানে প্রতিটি y_i এই ভেরিয়েবলগুলির একটি (প্রদত্ত) সাবসেটের XOR। লক্ষ্যটি হ'ল এই সমস্ত y_1 ... y_m ফাংশনগুলি গণনা করার জন্য আপনাকে ন্যূনতম সংখ্যক এক্সওআর ক্রিয়াকলাপ গণনা করতে হবে। নোট করুন যে …

15 circuit-complexity  approximation-hardness  approximation  matrix-product 

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

15 ds.algorithms  approximation-algorithms  tsp