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

এটি আমাকে বিভ্রান্ত করে। গণনা করার একটি সহজ ক্ষেত্রে হ'ল সিদ্ধান্তের সমস্যাটি এবং এর কোনও সমাধান হয় না।PPP একটি বক্তৃতা দেখায় যে দ্বিপক্ষীয় গ্রাফে (সমতুল্য, নির্দেশিত গ্রাফের চক্রের কভার সংখ্যা গণনা করা) নিখুঁত মিলগুলির সংখ্যা গণনা করার সমস্যাটি অসম্পূর্ণ।#P#P\#P তারা গ্যাজেটগুলি ব্যবহার করে একটি ডিগ্রাফের আকারের আকারের কাউন্ট থেকে গণনা …

11 cc.complexity-theory  graph-theory 

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

11 quantum-computing 

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

11 set-cover 

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

11 lo.logic  type-theory  formal-modeling  automated-theorem-proving  bioinformatics 

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

11 cc.complexity-theory  graph-theory  graph-algorithms  co.combinatorics 

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

11 lo.logic  type-theory 

সম্পর্কিত প্রশ্ন পড়ার পরে অ্যালগরিদমের অ-গঠনমূলক অস্তিত্বের প্রমাণ সম্পর্কে আমি ভাবছিলাম যে আসলে এটি তৈরি না করে "ছোট" (বলুন, রাজ্য-ভিত্তিক) গণনা মেশিনগুলির অস্তিত্ব দেখানোর পদ্ধতি আছে কি না? আনুষ্ঠানিকভাবে: অনুমান করা আমরা কিছু ভাষা দেওয়া হয় এবং কিছু গণনার মডেল (NFAs / টুরিং মেশিন / ইত্যাদি) সমাধান করুন।এল ⊆ Σ*L⊆Σ∗L\subseteq …

11 cc.complexity-theory  automata-theory  turing-machines 

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

11 soft-question  research-practice 

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

11 reference-request  ct.category-theory  parametricity 

যতদূর আমি জানি, লিনিয়াল এবং শ্রাইবমান প্রদত্ত গুণনীয়করণের নিয়ম নীচেই মূলত কোয়ান্টাম যোগাযোগ জটিলতার জন্য পরিচিত (বা কমপক্ষে এটি অন্য সকলকে গ্রহণ করে) একমাত্র নিম্ন বন্ড bound এই সীমাবদ্ধ শক্ত থাকার বিরুদ্ধে কোন প্রমাণ আছে কি? গুণকনির্ণয় আদর্শ আবদ্ধ (নামেও আবদ্ধ) আমি তো দূরের কথা এর উপপাদ্য 13 Linial, Shraibman …

11 quantum-information  communication-complexity  norms 

খাঁটি ফাংশন সম্পর্কে আমার প্রশ্ন আছে। উইকিপিডিয়া পৃষ্ঠা অনুসারে খাঁটি ফাংশনের জন্য প্রয়োজনীয়গুলির মধ্যে একটি হল: ফলাফলের মূল্যায়ন কোনও শব্দার্থভাবে পর্যবেক্ষণযোগ্য পার্শ্ব প্রতিক্রিয়া বা আউটপুট সৃষ্টি করে না, যেমন পরিবর্তনযোগ্য বস্তুর রূপান্তর বা I / O ডিভাইসে আউটপুট। এখন এর আসলে কী বোঝায়। বা বরং আমি কীভাবে পার্শ্ব প্রতিক্রিয়া তৈরি …

11 functional-programming  semantics 

জান্তা শেখার অনুরূপ স্বাদে এখানে একটি সমস্যা রয়েছে: ইনপুট: একটি ফাংশন f:{0,1}n→{−1,1}f:{0,1}n→{−1,1}f: \{0,1\}^n \rightarrow \{-1,1\} , সদস্যপদ ওরাকল দ্বারা প্রতিনিধিত্ব করে, অর্থাত্ একটি প্রদত্ত ওরাকল যা xxx , f(x)f(x)f(x) । গোল: একটি subcube খুঁজুন SSS এর {0,1}n{0,1}n\{0,1\}^n ভলিউমের সাথে |S|=2n−k|S|=2n−k|S|=2^{n-k} এমন |Ex∈Sf(x)|≥0.1|Ex∈Sf(x)|≥0.1\left|\mathbb{E}_{x \in S} f(x) \right| \ge 0.1 । আমরা …

11 machine-learning  lg.learning  boolean-functions  sample-complexity 

নীচের দাবিটি কি জানা আছে? দাবি : উল্লম্ব সহ যে কোনও গ্রাফ জন্য রঙিন উপস্থিত রয়েছে যা প্রতিটি স্বতন্ত্র সেটকে সর্বাধিক বর্গ রঙ দ্বারা রঙ করা হয়।GGGnnnGGGO(n−−√)O(n)O(\sqrt{n})

11 reference-request  graph-colouring 

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

11 ds.algorithms  computability 

আপনি কি ডব্লু [1] - এমনকি সীমাবদ্ধ ডিগ্রি গ্রাফের জন্যও সমস্যাগুলি জানেন? মেট্রিক ডাইমেনশন সর্বোচ্চ 3 ডিগ্রি সহ গ্রাফগুলিতে শক্ত তবে এটি ডাব্লু [2] -রকম। রেড-ব্লু ননব্লাবার্ডার ডাব্লু [1] -সীমাবদ্ধ ডিগ্রি গ্রাফগুলিতে ব্যবহৃত হত তবে প্রুফটিতে একটি ত্রুটি ছিল (ডাউনি ফেলো 2013 এর বই), এবং এটি কেবল তখনই শক্ত যখন …

11 reference-request  parameterized-complexity