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

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

10 ds.algorithms  graph-theory  graph-algorithms 

আমার প্রশ্নটিতে মনোোটোন -2 সিএনএফ সূত্রের গণনা সমাধানের আগের প্রশ্নটিতে অ্যান্ড্রেস সালামন এবং কলিন ম্যাককিলার অবদানগুলি পড়ে আমার মনে এই প্রশ্নটি জাগে । সম্পাদনা 30 তম মার্চ 2011 যোগ করা হয়েছে প্রশ্ন এন ° 2. সম্পাদনা 29 তম অক্টোবর 2010 প্রশ্নটি ধারণা মাধ্যমে এটি ডিক্রী András প্রস্তাব পর পুনরায় তৈরি …

10 cc.complexity-theory  ds.algorithms  sat  counting-complexity 

গ্রাফ অটোমোরফিজম গ্রাফ নোডের একটি ক্রমশক্তি যা প্রান্ত সেট তে একটি বাইজেকশন প্ররোচিত করে । আনুষ্ঠানিকভাবে, এটা একটা বিন্যাস হয় নোড যেমন ifff ( u , v ) ∈ E ( f ( u ) , f ( v ) ) ∈ EEEEfff(u,v)∈E(u,v)∈E(u,v)\in E(f(u),f(v))∈E(f(u),f(v))∈E(f(u),f(v))\in E কিছু অনুক্রমের জন্য একটি লঙ্ঘিত …

10 cc.complexity-theory  graph-theory  automorphism  symmetry 

সোডা ২০০ 2006-এ, মার্টিন গ্রোহ এবং ডি- নিল মার্ক্সের কাগজটি "ভগ্নাংশের প্রান্তের মাধ্যমে সীমাবদ্ধতা সমাধান" ( এসিএম উদ্ধৃতি ) দেখিয়েছে যে সীমানা ভগ্নাংশ হাইপারট্রি প্রস্থ সহ হাইপারগ্রাফ এইচ শ্রেণীর জন্য , সিএসপি ( এইচ ) \ ইন PTIME ।a´a´\acute{\rm a}HHHHHH∈PTIME∈PTIME\in PTIME সংজ্ঞা ইত্যাদি স্ট্যান্ডার্ড গাছের পচন এবং গাছের প্রশস্ততার দুর্দান্ত …

10 cc.complexity-theory  graph-theory  hypergraphs  treewidth  csp 

বলুন যে, আমি একজন ভরযুক্ত গ্রাফ আছে যেমন যে তৌল ফাংশন - দয়া করে মনে রাখবেন নেতিবাচক ওজন অনুমতি দেওয়া হয়।ডাব্লু : ই → [ - 1 , 1 ]জি = ( ভ, ই, ডাব্লু )G=(V,E,w)G = (V,E,w)ডব্লিউ : ই→ [ - 1 , 1 ]w:E→[−1,1]w:E\rightarrow [-1,1] বলুন যে উল্লম্ব …

10 ds.algorithms  graph-theory  co.combinatorics 

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

10 ds.algorithms  gt.game-theory 

আমি র্যান্ডম কে-স্যাট, প্রদত্ত এন ভেরিয়েবল এবং এম ক্লোজের জন্য পর্ব স্থানান্তরের বর্তমান অবস্থা জানতে চাই, উপরের এবং নিম্ন সীমাগুলির জন্য সর্বাধিক পরিচিত সি = মি / এন কী।

10 cc.complexity-theory  sat  lower-bounds  upper-bounds  phase-transition 

বিতরণ সিস্টেমে ত্রুটিগুলি পরিচালনা করার জন্য কোন কাগজগুলি আপনি সুপারিশ করেন?

10 reference-request  dc.distributed-comp 

আমি অবাক হয়ে জানতে পারি যে অনুমানের অধীনে এনপিআইতে বিচ্ছিন্ন ভাষা রয়েছে (এমনকি বিলম্বিত ডায়াগোলাইজেশন দ্বারা নির্মিত) ।P≠NPP≠NPP \neq NP

10 cc.complexity-theory  complexity-classes 

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

10 cc.complexity-theory  complexity-classes 

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

10 ds.algorithms  hash-function 

অদম্য জেনারেটর নীচে হিসাবে সংজ্ঞায়িত করা হয়: কে একটি এনপির সম্পর্ক হতে দিন এবং এমন একটি মেশিন হন যা গ্রহণ করে । অনানুষ্ঠানিকভাবে, একটি প্রোগ্রাম একটি অদম্য জেনারেটর যদি ইনপুট , এটি সাথে -তে উদাহরণ-সাক্ষী জোড় produces উত্পাদন করে প্রথমে একটি ডিস্ট্রিবিউশন যার অধীনে কোনো বহুপদী সময় প্রতিদ্বন্দ্বী যারা দেওয়া …

10 cc.complexity-theory  cr.crypto-security  oracles  relativization  kolmogorov-complexity 

স্ট্র্যাটেগো একটি প্রোগ্রামিং রূপান্তর ভাষা / পুনর্লিখনের ডিএসএল L এন্থনি Sloane হয়েছে কিছু কাজ একটি করছেন বাস্তবায়ন যে Scala উপর সঞ্চালিত হয় । কার্যকরী ভাষা হিসাবে কৌশলগতের তাত্ত্বিক সীমাগুলি কী কী? (বাস্তবায়ন নির্বিশেষে) স্ট্র্যাটেগোতে কি একজন আবেদনকারী আদেশ ycombinator লিখতে পারেন?

10 functional-programming 

এখানে অনেক সম্ভবত এর alôn সাম্প্রতিক সুপার-রৈখিক জন্য নিম্ন সীমা সচেতন একটি প্রাকৃতিক জ্যামিতিক সেটিং -nets [পিডিএফ] । আমি জানতে চাই কি, যদি কিছু হয় তবে এই জাতীয় নিম্ন আবদ্ধ সম্পর্কিত সেট কভার / হিটিং সেট সমস্যাগুলির সান্নিধ্যতা সম্পর্কে বোঝায়। ϵϵ\epsilon কিছুটা সুনির্দিষ্ট হওয়ার জন্য, পরিসীমা ব্যবস্থার একটি পরিবার বিবেচনা …

10 cg.comp-geom  set-cover  hypergraphs  approximation-hardness  epsilon-nets 

ধরে নিন P≠NPP≠NPP \neq NP দিন নিম্নলিখিত স্বরলিপি ব্যবহার tetration জন্য (অর্থাৎ। )।iaia{}^iaia=aa⋅⋅⋅ai timesia=aa⋅⋅⋅a⏟i times{}^ia = \underbrace{a^{a^{\cdot^{\cdot^{\cdot^{a}}}}}}_{i \mbox{ times}} | এক্স | উদাহরণস্বরূপ x এর আকার। এলকে একটি ভাষা হতে দিন,L|f(i)≤|x|&lt;g(i):={x∈L | ∃i∈N, f(i)≤|x|&lt;g(i)}L|f(i)≤|x|&lt;g(i):={x∈L | ∃i∈N, f(i)≤|x|&lt;g(i)}L|_{f(i)\leq |x| < g(i)} := \{ x \in L \mbox{ | } \exists i …

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