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

আমি ইতিমধ্যে ম্যাথওভারফ্লোতে কিছুক্ষণ আগে এই প্রশ্নটি পোস্ট করেছি , তবে আমার জ্ঞানের সর্বোত্তমভাবে এটি এখনও উন্মুক্ত, তাই আমি কেউ এখানে শুনেছি এই আশায় এটিকে পুনরায় পোস্ট করছি। সমস্যা বিবৃতি যাক , এবং মধ্যে তিনটি পার্টিশন হতে nonempty অংশ (দ্বারা প্রকাশ এর, 's এবং সেটের {' গুলি) }। দুটি অনুমান …

21 co.combinatorics  np-hardness 

যে কেউ দয়া করে একটি বা একাধিক ওয়েবসাইটের দিকে ইঙ্গিত করতে পারবেন যেখানে # এসএটি সলভারের কার্যকরী বাস্তবায়ন ডাউনলোড করা সম্ভব? আমি সঠিক সমাধান গণনা প্রত্যাবর্তনকারীদের সাথে আগ্রহী, প্রায় না।

21 ds.algorithms  sat  software 

(ভন নিউমান একটি অ্যালগরিদম দিয়েছেন যা একটি নমনীয় পক্ষপাতিত্বকারী মুদ্রার অ্যাক্সেস দেওয়া ন্যায্য মুদ্রাকে সিমুলেট করে। বেষ্টিত।) ধরুন আমাদের পক্ষপাতিত্বের সাথে অভিন্ন কয়েন রয়েছে । পক্ষপাতিত্ব হ্রাস করার সময় লক্ষ্য একটাই কয়েন টস সিমুলেট করা।nnnδ=P[Head]−P[Tail]δ=P[Head]−P[Tail]\delta=P[Head]-P[Tail] সিমুলেশনটি নিম্নলিখিত অর্থে দক্ষ হতে হবে: বহুপদী সময়ে চলমান একটি অ্যালগরিদম এলোমেলো বিট দেখে এবং …

21 cc.complexity-theory  circuit-complexity  pr.probability 

যদি চff একটি উত্তল ফাংশন হয় তবে জেনসেনের বৈষম্য বলে যে চ( ই [ এক্স ] ) ≤ ই [ চ( এক্স ) ]f(E[x])≤E[f(x)]f(\textbf{E}[x]) \le \textbf{E}[f(x)] , এবং মুচটিস মুটানডিস যখন চff অবলম্বন হয়। স্পষ্টতই সবচেয়ে খারাপ ক্ষেত্রে আপনি উত্তল চ এর জন্য f ( E [ x ] ) …

21 randomness  pr.probability  randomized-algorithms 

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

21 cc.complexity-theory  lower-bounds  circuit-complexity 

একটি ভাল জরিপ আছে যা বিভিন্ন এক্সট্রাক্টর, ঘনক এবং সুপারকেনসেট্রেটারগুলির সাথে তুলনা করে এবং এলোমেলোতা, সময় এবং স্থানের মধ্যে ট্রেড অফের ক্ষেত্রে সর্বোত্তম পদ্ধতিগুলি রাখে?

21 reference-request  randomness  derandomization 

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

21 cc.complexity-theory  circuit-complexity  lower-bounds 

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

21 cr.crypto-security 

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

21 cc.complexity-theory 

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

21 pl.programming-languages  semantics  term-rewriting-systems 

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

21 cc.complexity-theory  np-hardness 

এসএসSআমি( n ) = { w ∈ S: | ডাব্লু | = ঢ }আমি(এন)={W∈এস:|W|=এন}I(n) = \{w \in S : |w| = n\}এনএনnটি( ডাব্লু )টি(W)T(w)একজনএকজনAWWwএকজনএকজনAচএন= সর্বাধিকডব্লিউ ∈ আই( এন )টি( W ) ।চএন=সর্বোচ্চW∈আমি(এন)টি(W)। f_n = \max_{w \in I(n)} T(w). আসুন এখন সেটগুলি সংজ্ঞায়িত করুন এবং কোলমোগোরভ জটিলতা সহ সমস্ত ইনপুটগুলির জন্য …

21 cc.complexity-theory  kolmogorov-complexity  parameterized-complexity  succinct  analysis-of-algorithms 

এই প্রশ্নটি বহুপদী হির্চ অনুমান (পিএইচসি) দ্বারা অনুপ্রাণিত। প্রদত্ত -facet polytope মধ্যে , তার প্রান্ত প্রান্তবিন্দু গ্রাফ ভুতুড়ে ফাঁক (এটা কল ) দ্বারা বেষ্টিত LOWER ? নোট করুন যে শীর্ষে চক্রের গ্রাফটি দেখায় যে, এমনকি জন্য বর্ণালীর ফাঁকগুলি মতো ছোট হতে পারে ; সুতরাং অনুমান করা আবদ্ধ - যদি সত্য …

21 co.combinatorics  linear-programming  expanders 

1- যখন গ্রাফ প্ল্যানার হয় তখন সংলগ্ন ম্যাট্রিক্সের জন্য কোনও নির্দিষ্ট বৈশিষ্ট্য থাকে? 2- যখন কোনও গ্রাফ প্ল্যানার হয় তখন কি সংলগ্ন ম্যাট্রিক্সের স্থায়ী গণনা করার জন্য বিশেষ কিছু আছে?

21 graph-theory  co.combinatorics  permanent 

কুবালা Babai সম্প্রতি প্রমাণ গ্রাফ Isomorphism সমস্যা quasipolynomial সময় হয় । তার দেখুন আলাপ শিকাগো বিশ্ববিদ্যালয়ের, জেরেমি Kun দ্বারা আলোচনা থেকে নোট GLL পোস্টে 1 , GLL পোস্ট 2 , GLL পোস্টে 3 । ল্যাডনারের উপপাদ্য অনুসারে, যদি পি। এনপিপি≠এনপিP \neq NP তবে এনপিআমিএনপিআমিNPI খালি নই, অর্থাৎ এনপিএনপিNP এমন সমস্যা …

21 cc.complexity-theory  complexity-classes  np-complete  polynomial-time  np-intermediate