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

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

36 cc.complexity-theory  big-list 

এমনকি কম্পিউটার বিজ্ঞানের একটি পটভূমি সহ এমন কাউকে জিজ্ঞাসা করুন যে নিয়মিত প্রকাশ কী, এবং উত্তরটি সীমাবদ্ধ-রাষ্ট্র অটোমেটনের নাগালের বাইরে যাওয়ার সীমাবদ্ধতার বাইরে চলে যেতে পারে। উদাহরণস্বরূপ, "নিয়মিত প্রকাশ" /^1?$|^(11+?)\1+$/ উল্লিখিত পার্ল ব্যক্তিত্বের দ্বারা নির্মিত অ্যাবিগাইল (এবং পার্লের পরীক্ষার স্যুট অংশটি ২০০২ সাল থেকে) এমন একটি মেশিনের বর্ণনা করেছে যা …

36 automata-theory  pl.programming-languages  fl.formal-languages  regular-expressions  terminology 

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

36 soft-question  career 

কোকের কাছে প্রমাণের অপ্রাসঙ্গিক প্রস্তাবগুলির একটি প্রকার রয়েছে যা নিষ্কাশনকালে বাতিল করা হয়। যদি আমরা কেবল প্রমাণের জন্য কক ব্যবহার করি তবে এটি থাকার কারণ কী? প্রোপ অবিশ্বাস্য, সুতরাং প্রপ: প্রপ, তবে কক স্বয়ংক্রিয়ভাবে মহাবিশ্ব সূচকে অনুমান করে এবং আমরা সর্বত্র প্রকার (i) ব্যবহার করতে পারি। মনে হয় প্রোপ সবকিছুকে …

35 coq  dependent-type 

আমি বিখ্যাত 15-ধাঁধাটির প্রাকৃতিক সাধারণীকরণে আগ্রহী , যেখানে আপনি প্রদত্ত সমস্ত সংখ্যা বাছাই না করা অবধি ব্লকগুলি স্লাইড করতে হবে (সাধারণত সেখানে 1 ব্লকের ব্যবধান রয়েছে)। এখন সাধারণীকরণ হ'ল ধাঁধাটির আকার 15 থেকে পর্যন্ত বাড়ানো হবে যেখানে একটি ক্ষেত্র বিনামূল্যে free আমি একটি ছোট চিত্র তৈরি করেছি (ড্যাশযুক্ত তীরগুলি অনুমোদিত …

35 cc.complexity-theory  np  np-complete 

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

35 soft-question  advice-request  research-practice  paper-review 

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

35 cc.complexity-theory  randomness  open-problem  nt.number-theory 

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

35 cc.complexity-theory  physics 

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

35 ds.data-structures 

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

35 soft-question  advice-request  career 

এটি আমার দক্ষতার বাইরে একটি নির্লজ্জ প্রশ্ন; অগ্রিম ক্ষমা গোল্ডবাচের কনজেকচার এবং গণিতে অনেকগুলি অমীমাংসিত প্রশ্নকে প্রাকটিক্যাল ক্যালকুলাসে সংক্ষিপ্ত সূত্র হিসাবে লেখা যেতে পারে। উদাহরণস্বরূপ, কুকের কাগজ "কম্পিউটারগুলি কি গণিতের প্রুফগুলিকে নিয়মিত আবিষ্কার করতে পারে?" হিসাবে অনুমান যে সূত্র ∀n[(n>2∧2|n)⊃∃r∃s(P(r)∧P(s)∧n=r+s)]∀n[(n>2∧2|n)⊃∃r∃s(P(r)∧P(s)∧n=r+s)]\forall n [( n > 2 \wedge 2 | n) \supset …

35 cc.complexity-theory  proof-complexity  automated-theorem-proving  proof-search 

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

35 big-list  proofs 

যাক AAA আকারের একটি ধনাত্মক পূর্ণসংখ্যা সংশোধন হতে nnn বিট। একটিকে যথাযথভাবে এই পূর্ণসংখ্যার প্রাক-প্রক্রিয়া করার অনুমতি দেওয়া হয়। সাইজের এম বিটগুলির আরও একটি ধনাত্মক পূর্ণসংখ্যার দেওয়া , গুণক A বি এর জটিলতা কত ?BBBmmmABABAB ϵ = 0(max(n,m))1+ϵ(max(n,m))1+ϵ(\max(n,m))^{1+\epsilon}ϵ=0ϵ=0\epsilon=0

35 cc.complexity-theory  ds.algorithms  circuit-complexity  algebraic-complexity  arithmetic-circuits 

আসুন ওজন ফাংশন গ্রাফ হতে । সর্বাধিক-কাটা সমস্যাটি হ'ল: যদি ওজন ফাংশনটি অ-নেতিবাচক (যেমন ডাব্লু (ই) \ সমস্ত ই এর জন্য গিগ 0 )), তবে সর্বোচ্চ-কাটের জন্য অনেকগুলি অত্যন্ত সাধারণ 2-অনুমানের রয়েছে। উদাহরণস্বরূপ, আমরা করতে পারি:জি = ( ভ, ই, ডাব্লু )G=(V,E,w)G = (V, E, w)ডব্লিউ : ই। আরw:E→Rw:E\rightarrow \mathbb{R}W …

35 ds.algorithms  graph-theory  approximation-algorithms  max-cut 

সমস্যাটি হল বহুপদী । ধরে নিন যে সমস্ত সহগ একটি মেশিন শব্দের সাথে খাপ খায়, ইউনিট টাইমে ম্যানিপুলেট করা যায়।( ক)1x + খ1) × ⋯ × ( কএনx + খএন)(a1x+b1)×⋯×(anx+bn)(a_1 x + b_1) \times \cdots \times (a_n x + b_n) আপনি ট্রি ফ্যাশনে এফএফটি প্রয়োগ করে সময় করতে পারেন । …

35 ds.algorithms  reference-request  open-problem  polynomials