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

ম্যাথওভারফ্লো সম্পর্কে আমার একটি প্রশ্নের মন্তব্য থেকে আমি অনুভব করি যে জিসিডি বনাম পি- তে থাকা প্রশ্নটি পি ভার্সেস এন পি-তে ইন্টিজার ফ্যাক্টরাইজেশন সম্পর্কিত প্রশ্নের অনুরূপ ।এন সিএনসি\mathsf{NC}পিপি\mathsf{P}পিপি\mathsf{P}এন পিএনপি\mathsf{NP} ইন্টিজার ফ্যাক্টোরাইজেশনের জন্য কোয়ান্টাম পলিনোমিয়াল টাইম ( বি কিউ পি ) অ্যালগরিদম থাকায় জিসিডির জন্য কি "কোয়ান্টাম " অ্যালগরিদমের মতো কিছু …

14 cc.complexity-theory  quantum-computing  dc.parallel-comp  nt.number-theory  comp-number-theory 

তাদের কাগজে আনুমানিক দূরত্বের ওরাকলস , থারুপ এবং জুইক দেখিয়েছেন যে কোনও ওজনযুক্ত পুনর্নির্দেশিত গ্রাফের জন্য, আকারের একটি ডেটা কাঠামো তৈরি করা সম্ভব যা কোনও ( 2 কে - 1 ) -প্রযুক্তি ফিরে আসতে পারে গ্রাফের যেকোন জোড়ের মধ্যে দূরত্ব।ও ( কে এন)1 + 1 / কে)হে(টএন1+ +1/ট)O(k n^{1+1/k})( 2 …

14 ds.algorithms  graph-theory  approximation-algorithms  space-complexity 

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

14 cg.comp-geom  convex-geometry 

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

14 pl.programming-languages  lambda-calculus 

এটা সর্বজনবিদিত যে কোন নির্ণায়ক দুই পক্ষের প্রোটোকল উপর disjointness সমস্যা (DISJ) সমাধান করতে পারে পাঠিয়েই -বিট ইনপুট এন + + 1 বিট সবচেয়ে খারাপ ক্ষেত্রে (যেমন, বই Kushilevitz এবং নিশান দ্বারা দেখুন)। নিবন্ধন-ত্রুটি প্রোটোকল এলোমেলোভাবে, একটি নিম্ন বাউন্ড δ এন , কিছু ধ্রুবক জন্য δ , এছাড়াও Razborov [Razborov92] …

14 lower-bounds  communication-complexity 

ইনপুট হিসেবে দেওয়া একটি পূর্ণসংখ্যা এবং একটি সেট এস উপাদানের সেট { 1 , । । । , n } , { 1 , এর উপাদানগুলির একটি সেট টি খুঁজে বের করার জটিলতা কী । । । , n } যেমন টি এর ন্যূনতম কার্ডিনালিটি রয়েছে এবং টি এস এর …

14 cc.complexity-theory  ds.algorithms 

র্যাঙ্কিং অ্যালগরিদম ( 1 - 1 প্রমাণ করে) অনলাইনে দ্বিপক্ষীয় মিলের জন্য র্যাঙ্কিংয়ের প্রাথমিক-দ্বৈত বিশ্লেষণে কাগজে র্যান্ডমাইজড প্রাথমিক দ্বৈত বিশ্লেষণ করা হয়েছেপ্রতিযোগিতামূলক, লেখকরা দেখান যে দ্বৈত প্রত্যাশায় সম্ভাব্য (পৃষ্ঠায় লেমমা 3 দেখুন)। আমার প্রশ্নটি হ'ল:(1−1e)(1−1e)\left(1 - \frac{1}{e}\right) লিনিয়ার প্রোগ্রামের সীমাবদ্ধতাগুলি প্রত্যাশায় সন্তুষ্ট হওয়ার পক্ষে কি যথেষ্ট? উদ্দেশ্যমূলক ফাংশনের প্রত্যাশিত মানটি …

14 linear-programming  randomized-algorithms  online-algorithms  matching  primal-dual 

উত্তর আমেরিকার হলিডে পার্টিতে একটি জনপ্রিয় গেম হ'ল সাদা হাতির উপহার বিনিময় । সংক্ষেপে (ভিন্নতা উপেক্ষা করে) এটি নিম্নলিখিত হিসাবে কাজ করে: সেখানে ব্যক্তি এবং এন মোড়ানো উপহার রয়েছে। খেলোয়াড়দের নির্বিচারে আদেশ করা হয়। ইন আমি তম বৃত্তাকার, প্লেয়ার আমি পারেনnnnnnnithithi^{\text{th}}iii একটি মোড়ানো উপহার চয়ন করে এবং এটি তাদের বর্তমান …

14 gt.game-theory  mechanism-design 

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

14 cc.complexity-theory  ds.algorithms  reference-request  big-picture  machine-models 

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

14 ds.algorithms  reference-request  big-picture  ar.hardware-architecture 

আমি "পড়া করছি নিয়মিত ভাষাসমূহ এবং Descriptional জটিলতা সংযুক্তকরণ " গালিনা Jiraskova, 2009 দুটি নিয়মিত ভাষা (গালিনা Jiraskova দ্বারা) এর সংযুক্তকরণের ফলে রাষ্ট্র জটিলতার উপর, কিন্তু আমি বুঝতে পারছি না রাষ্ট্র জটিলতা ব্যবহারিক বিষয় হবে কি । প্রথম তুচ্ছ চিন্তা আমাকে আঘাত করেছিল যে উচ্চতর জটিলতার জন্য মেশিনের দ্বারা আরও …

14 fl.formal-languages  automata-theory  regular-language 

বিবেচনা করুন nnn মাত্রিক স্থান {0,1}n{0,1}n\{0,1\}^n , এবং দিন ccc ফর্মের একটি রৈখিক বাধ্যতা হতে a1x1+a2x2+a3x3+ ... +an−1xn−1+anxn≥ka1x1+a2x2+a3x3+ ... +an−1xn−1+anxn≥ka_1x_1 + a_2x_2 + a_3x_3 +\ ...\ + a_{n-1}x_{n-1} + a_nx_n \geq k , যেখানে ai∈Rai∈Ra_i \in \mathbb{R} , এবং কে ∈ আর ।xi∈{0,1}xi∈{0,1}x_i \in \{0,1\}k∈Rk∈Rk \in \mathbb{R} স্পষ্টত, বিভাজন এর …

14 reference-request  co.combinatorics  optimization  linear-programming  convex-optimization 

জিআই এবং নট সমস্যা উভয়ই গাণিতিক বস্তুর কাঠামোগত সমতা সিদ্ধান্ত নেওয়ার সমস্যা। তাদের মধ্যে সংযোগ স্থাপনের কোনও ফলাফল রয়েছে? পরিসংখ্যানগত পদার্থবিদ্যা গিঁট সমস্যার নিস সংযোগের মাধ্যমে অন্বেষণ করা হয়েছে গিঁট polynomials জন্য অনুরূপ ফলাফল নেই ?GIGIGI গিঁট সমস্যার দ্বারা অনুপ্রাণিত দিকে নজর দেওয়া শুরু করার আগে কোনও মানক ফলাফল / …

14 cc.complexity-theory  reference-request  graph-theory  graph-isomorphism  algebraic-topology 

আমি নীচে প্রক্রিয়া মাধ্যমে উত্পাদিত হতে পারে যা শীর্ষে গ্রাফ আগ্রহী ।nnn শীর্ষে একটি নির্বিচারে গ্রাফ দিয়ে শুরু করুন । সমস্ত উল্লম্বকে অব্যবহৃত হিসাবে লেবেল করুন ।GGGk≤nk≤nk\le nGGG একটি নতুন ভার্টেক্স যোগ করে একটি নতুন গ্রাফ উত্পাদন করুন , যা এক বা একাধিক অব্যবহৃত উল্লম্বের সাথে সংযুক্ত এবং তে কোনও …

14 ds.algorithms  graph-theory  treewidth 

ফলাফল 1: লিনিয়াল-মনসুর-নিসান উপপাদ্য বলেছেন যে সার্কিটগুলির দ্বারা গণনা করা ফাংশনের ফুরিয়ার ওজন উচ্চ সম্ভাবনার সাথে ছোট আকারের সাবসেটগুলিতে কেন্দ্রীভূত হয়।AC0AC0\mathsf{AC}^0 ফলাফল 2: এর ফুরিয়ার ওজন ডিগ্রি এন এর সহ-দক্ষতার উপর কেন্দ্রীভূত হয়েছে ।PARITYPARITY\mathsf{PARITY}nnn প্রশ্ন: প্রমাণ করার কোন উপায় আছে (যদি প্রমাণযোগ্য হয়) ফলাফল 1 এবং 2 এর মাধ্যমে / …

14 cc.complexity-theory  circuit-complexity  boolean-functions  fourier-analysis