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

ক্যাশে-ওবলিভিস বি-ট্রিসের ২.২ ধারায় , শক্তিশালী ওজন-ভারসাম্যযুক্ত অনুসন্ধান গাছগুলি এইরূপে সংজ্ঞায়িত করা হয়েছে: কিছু ধ্রুবক জন্য , যে নোড বনাম উচ্চতা এ জ হয়েছে Θ ( ঘ জ ) উত্তরপুরূষ।dddvvvhhhΘ(dh)Θ(dh)\Theta(d^h) তারা দাবী করে: বৈশিষ্ট্য 1 এবং 2 কে সন্তুষ্ট গাছগুলি অনুসন্ধান করুন ওজন-সুষম বি-ট্রি, ডিটারমিনিস্টিক স্কিপ তালিকা এবং প্রত্যাশিত অর্থে …

11 ds.data-structures  skip-lists 

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

11 gt.game-theory 

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

11 sat  soft-question  proofs 

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

11 ds.algorithms  graph-theory  matching 

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

11 randomness  derandomization 

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

11 complexity-classes  functional-programming  dc.parallel-comp 

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

11 cc.complexity-theory  approximation-hardness 

Immerman (বর্ণনামূলক জটিলতা, 1999) উপহার মতিন পৃষ্ঠা 127. হিসাবে অস্তিত্ববাদের পরমাণুসদৃশ্য দ্বিতীয় অর্ডার (Ajtai-Fagin গেম) জন্য গেম শব্দের উপর MSO নিয়মিত ভাষায় সমতূল্য, খেলা নিম্নরূপ লেখা যেতে পারে।∃∃\exists একটি ল্যাঙ্গুয়েজ নিয়মিত যদি এবং কেবল যদি দলীলা নিম্নলিখিত গেম কোন বিজয়ী কৌশল আছে: 1. স্যামসন বেছে গ , মি ∈ এন …

11 lo.logic  automata-theory  descriptive-complexity 

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

11 cc.complexity-theory  reference-request  circuit-complexity  machine-models  ar.hardware-architecture 

ওমর রিইনগোল্ডের অন -ডাইরেক্টরেক্ট-কানেক্টিভিটি লগ-স্পেস অ্যালগরিদমের সঠিক সময়ের জটিলতা কী ?

11 cc.complexity-theory  randomness 

আমি বিশ্বাস করি যে এই প্রশ্নের উত্তর সুপরিচিত; কিন্তু, দুর্ভাগ্যক্রমে, আমি জানি না। কোয়ান্টাম কম্পিউটিংয়ে, আমরা জানি যে মিশ্র রাজ্যগুলি ঘনত্বের ম্যাট্রিকগুলি দ্বারা প্রতিনিধিত্ব করা হয়। এবং দুটি ঘনত্বের ম্যাট্রিকের পার্থক্যের ট্রেস রীতিটি দুটি মিলিত মিশ্র রাষ্ট্রের স্বাতন্ত্র্যকে চিহ্নিত করে। এখানে, ট্রেস রীতিনীতিটির সংজ্ঞাটি হ'ল ঘনত্বের ম্যাট্রিক্সের সমস্ত ইগেনালুগুলির যোগফল, …

11 quantum-computing  quantum-information 

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

11 lower-bounds  proof-complexity  kolmogorov-complexity 

দুটি মেট্রিক স্পেস এবং ( ওয়াই , চ ) এবং একটি এম্বেডিং Consider : এক্স → ওয়াই বিবেচনা করুন । প্রথাগত মেট্রিক স্থান embeddings মান পরিমাপ μ মূল নিকৃষ্টতম-কেস অনুপাত চূড়ান্ত দূরত্ব হিসেবে: ρ = সর্বোচ্চ পি , কুই ∈ এক্স { ঘ ( এক্স , Y )( এক্স, ডি)(X,d)(X, …

11 approximation-algorithms  cg.comp-geom  embeddings 

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

11 reference-request  lo.logic  type-theory  lambda-calculus  polymorphism 

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

11 ds.algorithms  reference-request  graph-theory  np-hardness  co.combinatorics