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

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

12 graph-theory  graph-algorithms 

1979 সালে Hopcroft / Ullman লিখেছেন এল ⊆ পি ⊆ দ্বারা NP ⊆ PSpace পরিচিত হয় কিন্তু এল ⊊ PSpace শুধুমাত্র সঠিক (& তুচ্ছ) পরিচিত যদিও সব সঠিক containments হতে অনুমিত হয় সংবরণ, এবং "যেখানে কিছু স্থির" ~ 4 দশক পরে । তখন থেকে এল ⊊ পি, পি ⊊ পিএসস্পেস …

12 cc.complexity-theory  reference-request  lower-bounds  p-vs-np  conditional-results 

P/poly=NP/polyP/poly=NP/polyP/poly = NP/poly ইঙ্গিত করেNP⊆P/polyNP⊆P/polyNP \subseteq P/poly , যার ফলস্বরূপ বহুবর্ষীয় শ্রেণিবিন্যাসের পতনের মতো আকর্ষণীয় পরিণতি রয়েছে। জন্য আকর্ষণীয় প্রভাব সেখানে আছেন P/poly≠NP/polyP/poly≠NP/polyP/poly \neq NP/poly ?

12 cc.complexity-theory  conditional-results  advice-and-nonuniformity 

যাক সংশোধন করা, এবং দিন জি একটি (সংযুক্ত) গ্রাফ দেখুন। যদি আমি ভুল না হলে, এটা Bodlaender [1, উপপাদ্য 3.11] এর কাজ থেকে যা অনুসরণ করে যদি এর treewidth জি মোটামুটিভাবে অন্তত হয় 2 ট 3 , তারপর জি একটি তারকা রয়েছে কে 1 , ট একটি ছোটখাট হিসাবে।kkkGGGGGG2k32k32k^3GGGK1,kK1,kK_{1,k} আমরা …

12 graph-theory  treewidth  graph-minor 

এটি জানা যায় যে পিএসপিএসিই-তে বাউন্ডড-ত্রুটিযুক্ত র্যান্ডমাইজেশন যুক্ত করার ফলে শক্তি যোগ হয় না। যা, বিপিপিএসএপসিই = পিএসপিএসিই। এটা তোলে কিনা পি = BPP বিখ্যাত অজানা, কিন্তু এটা জানা যায় ।বি পিপি⊆ Σ2∩ পাইয়ের মান2BPP⊆Σ2∩Π2BPP\subseteq \Sigma_2\cap \Pi_2 সুতরাং, এটি সম্ভব (যদিও এটি মিথ্যা বলে অনুমান করা হয়েছিল) যে পি তে …

12 randomness  derandomization  polynomial-hierarchy 

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

12 ds.data-structures  memory 

আমি বিভিন্ন সংখ্যা তাত্ত্বিক / বীজগণিত সমস্যার পরিচিত বা অজানা জটিলতা সম্পর্কে একটি তালিকা সন্ধান করছি। উদাহরণ স্বরূপ, জিসিডি খোলা আছে,এনসি1NC1NC^1 মধ্যে ফ্যাক্টরিং খোলা,পিPP কম্পিউটিং শেফ কোহমোলজিটি হল হার্ড# পি#P\#P , অরোরা এবং বারাক জানিয়েছেন যে ফ্যাক্টরিংয়ের একটি বৈকল্পিক হ'ল কমপ্লিট (যদিও এটি এনপি-সম্পূর্ণ ফ্যাক্টরিংয়ের বৈকল্পিকের আলোচনার ভিত্তিতে পরিষ্কার নয় …

12 cc.complexity-theory  big-list  algebra  open-problem 

আমি সার্ভে পড়া করছি Trevisan এবং Lovett TCS মধ্যে যুত combinatoric অ্যাপ্লিকেশন উপর। এই অ্যাপ্লিকেশনগুলির বেশিরভাগই গণ্য জটিলতার মধ্যে পড়ে , যেমন, নিম্ন সীমা। আমি ভাবছি যদি যুক্ত সংযুক্তিবিদরাও অ্যালগোরিদম ডিজাইনে অ্যাপ্লিকেশন খুঁজে পেয়েছে । আমার প্রশ্নের অনুপ্রেরণাটি নিম্নরূপ: যোগমূলক সংযোজক এবং জটিলতার মধ্যে সংযোগ কিছুটা প্রাকৃতিক বলে মনে হচ্ছে, …

12 ds.algorithms  reference-request  co.combinatorics 

সংক্ষেপণের জন্য অনুকূলিত করার জন্য ডেটা পুনঃক্রম করার জন্য কি কোনও অ্যালগরিদম রয়েছে? আমি বুঝতে পারি এটি ডেটা এবং সংক্ষেপণ অ্যালগরিদমের সাথে সুনির্দিষ্ট, তবে এই বিষয়ের জন্য একটি শব্দ আছে? এই অঞ্চলে আমি কোথায় গবেষণা পাব? বিশেষত, আমার কাছে 1.5 মিলিয়ন স্ট্রিংয়ের একটি জসন তালিকা রয়েছে এবং আমি স্ট্রিংগুলি পুনরায় …

12 optimization  permutations 

নিম্নলিখিত বৈশিষ্ট্যগুলির সাথে সমস্যাগুলি কী: 1) এগুলি PSPACE- সম্পূর্ণ সমস্যাগুলির (সম্ভবত সুপরিচিত) সীমাবদ্ধতা; 2) সীমাবদ্ধ সংস্করণগুলি PSPACE এ রয়েছে, তবে এটি PSPACE- সম্পূর্ণ (বা তারা এনপি-হার্ড হলেও) যদি এটি একটি উন্মুক্ত সমস্যা । "ধাঁধা ও সি" থেকে চারটি উদাহরণ: 1x1 রাশ আওয়ারের জটিলতা [1] (পিএসপিসিই 2x1 আকারের ব্লকের জন্য সম্পূর্ণ); …

12 big-list  open-problem 

"কিছু রঙিন গেমগুলির জটিলতায়" কাগজে বোডলেেন্ডার কিছু গ্রাফের রঙিন গেমগুলিতে খেলোয়াড় 1 বা 2 এর বিজয়ী কৌশল আছে কিনা তা সিদ্ধান্ত নেওয়ার জটিলতা সম্পর্কে কিছু খোলামেলা প্রশ্ন দিয়েছেন। তাদের সমাধান করা হয়েছে কি কেউ জানেন? 1) একটি খেলায়, দুটি খেলোয়াড় একটি গ্রাফের মধ্যে একটি ভার্টেক্স নির্বাচন করে একটি নির্দিষ্ট সীমাবদ্ধ …

12 graph-colouring  pspace  two-player-games 

প্যারিটি গেমস, অর্থাৎ সিস্টেমগুলির বাস্তব প্রয়োগগুলির উদাহরণগুলি কি সত্যিকারের বিশ্বে প্যারিটি গেম হিসাবে প্রতিনিধিত্ব করা যায়? সাধারণত প্যারিটি গেম সম্পর্কিত সম্পর্কিত ডকুমেন্টেশনের প্রায়শই কখনও এই অ্যাপ্লিকেশনটির ব্যবহারিক উদাহরণ থাকে না।

12 lo.logic  two-player-games 

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

12 cc.complexity-theory  circuit-complexity 

আমি কি, কেন এবং কিভাবে প্রায় আমার মাথা মোড়ানো করার চেষ্টা করছি -calculus কিন্তু আমি সঙ্গে "কেন এটা কাজ করে" বাণিজ্য আসতে করতে অক্ষম নই?λλ\lambda "স্বজ্ঞাতভাবে" আমি ট্যুরিং মেশিনগুলির (টিএম) এর কম্পিউটারের মডেলটি পাই। কিন্তু এই -abstraction শুধু পাতার আমাকে হতভম্ব।λλ\lambda ধরে নেওয়া যাক, স্মৃতি উপস্থিত না থাকার - তারপর …

12 soft-question  computability  lambda-calculus  ho.history-overview  intuition 

আমি কোনও তাত্ত্বিক কম্পিউটার বিজ্ঞানী নই। আমি একটি স্থিতিশীল homotopy ব্যবহার তাত্ত্বিক নই -categories। আমি তাত্ত্বিক কম্পিউটার বিজ্ঞান বিভাগ তত্ত্ব ও topos তত্ত্ব অ্যাপ্লিকেশনের দেখা করেছি, এবং যদি কোন উপায় আছে একটি ব্যবহার ছিল আমি ভাবছিলাম ∞ -categories তাত্ত্বিক কম্পিউটার বিজ্ঞান (এবং বিশেষ করে আমার জন্য, স্থিতিশীল homotopy তত্ত্ব)। আমি …

12 lo.logic  soft-question  ct.category-theory