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

নিম্নলিখিত গণনীয় কাজের বিবেচনা করুন: আমরা একটি 3-স্যাট সূত্র নমুনা চান ভেরিয়েবল (ক বৈকল্পিক: ভেরিয়েবল ক্লজ) অভিন্ন সম্ভাব্যতা বিতরণের সম্মান সঙ্গে ফর্মুলা Satisfiable হচ্ছে নিয়ন্ত্রিত:এন মিএনnnএনnnমিmm প্রশ্ন 1: একটি ক্লাসিকাল কম্পিউটার (এলোমেলো বিট সহ) দক্ষতার সাথে এটি অর্জন করা যায়? প্রশ্ন 2: কোয়ান্টাম কম্পিউটারের মাধ্যমে এটি দক্ষতার সাথে অর্জন করা …

23 cc.complexity-theory  quantum-computing  sample-complexity 

বিশ্বাস করার বাধ্যতামূলক কারণগুলি কী কী ? এল ইনপুট পয়েন্টার সহ লগ-স্পেস অ্যালগরিদমের শ্রেণি।L≠PL≠PL\neq P ধরুন এই মুহুর্তের জন্য এল = পি। পি-সম্পূর্ণ সমস্যার জন্য লগ-স্পেস অ্যালগরিদম এর সাধারণ রূপরেখার মতো দেখতে কেমন হবে?

23 cc.complexity-theory  complexity-classes 

আমি জানি যে তুচ্ছভাবে ভ্যারিয়েবল এর ওআর ক্রিয়াকলাপটি ঠিক বহুবর্ষীয় দ্বারা প্রতিনিধিত্ব করা যেতে পারে : , যা ডিগ্রি ।এক্স 1 , … , এক্স এন পি ( এক্স 1 , … , এক্স এন ) পি ( এক্স 1 , … , এক্স এন ) = 1 - ∏ …

23 cc.complexity-theory  co.combinatorics  lower-bounds  polynomials 

আমি কিভাবে বন্ধ খুঁজে বের করার চেষ্টা করছি এবং যখন সত্যিই হয়, এবং (তাই এন উপর নির্ভর করে না ধ্রুবক )। আমার অনুমান যে whp, তবে আমি এটি প্রমাণ করতে সক্ষম হইনি।ই [ টি ডব্লু ( জি ) ] জি ∈ জি ( এন , পি = সি / এন …

23 graph-theory  co.combinatorics  treewidth  random-graphs 

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

23 graph-theory  co.combinatorics 

আমরা জানি যে সর্বোচ্চ স্বাধীন সেট (এমআইএস) একটি গুণক মধ্যে আনুমানিক কঠিন কোনো , যদি না পি = দ্বারা NP। গ্রাফগুলির কয়েকটি বিশেষ শ্রেণীর কী কী জন্য আরও ভাল আনুমানিক অ্যালগরিদম পরিচিত?n1−ϵn1−ϵn^{1-\epsilon}ϵ>0ϵ>0\epsilon > 0 বহুবর্ষ-সময়ের অ্যালগরিদমগুলি গ্রাফগুলি কীসের জন্য পরিচিত? আমি জানি নিখুঁত গ্রাফগুলির জন্য এটি পরিচিত, তবে গ্রাফগুলির আরও …

23 ds.algorithms  graph-theory  graph-algorithms  approximation-algorithms 

স্থগিত সমস্যা যে এটা অসম্ভব একটি প্রোগ্রাম যে যদি অন্য প্রোগ্রাম স্থগিত নির্ধারণ করতে পারেন, জন্য লিখতে সম্ভাব্য সব ইনপুট প্রোগ্রাম । আমি তবে অবশ্যই একটি প্রোগ্রাম লিখতে পারি যা লাইক প্রোগ্রামের চলমান সময় গণনা করতে পারে: for(i=0; i<N; i++) { x = 1; } এবং সময় জটিলতাটি এটি কখনও …

23 computability  time-complexity  formal-methods  se.software-engineering 

এই প্রশ্নের দ্বারা অনুপ্রাণিত , প্রধান সমস্যাগুলি এবং বিদ্যমান সমাধানগুলি কী যাগুলির (তাত্ত্বিক) বিতরণ সিস্টেম ডোমেনে উন্নতি প্রয়োজন। সদস্যতা প্রোটোকলের মতো কিছু, ডেটা ধারাবাহিকতা?

23 big-list  dc.distributed-comp 

ক্লিকুই থেকে কে-রঙে স্পষ্টভাবে হ্রাস পেয়েছে কারণ তারা উভয়ই এনপি-সম্পূর্ণ। প্রকৃতপক্ষে, আমি ক্লিকিউ থেকে 3-এসএটি-তে 3-স্যাট থেকে কে-রঙে হ্রাস করে একটি হ্রাস রচনা করে একটি নির্মাণ করতে পারি। আমি যা ভাবছি তা হ'ল এই সমস্যাগুলির মধ্যে কোনও যুক্তিসঙ্গত সরাসরি হ্রাস আছে কিনা। বলুন, এমন একটি হ্রাস যা আমি কোনও বন্ধুকে …

23 cc.complexity-theory  graph-theory  np-hardness  reductions 

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

23 lo.logic  soft-question  pl.programming-languages  constructive-mathematics 

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

23 approximation-algorithms  ne.neural-evol  na.numerical-analysis 

আপনারা কেউ কেউ এই প্রশ্নটি অনুসরণ করছেন , যা গবেষণা স্তর না হওয়ার কারণে বন্ধ ছিল। সুতরাং, আমি প্রশ্নের অংশটি বের করছি যা গবেষণা পর্যায়ে is "সরল" কৌশলগুলি ছাড়াই যেমন বাছাই বা হ'ল এক্সপটাইম-সম্পূর্ণ সমস্যা হ্রাস, কোনও সমস্যার সময় জটিলতার জন্য নিম্ন সীমা প্রমাণ করার জন্য কোন কৌশলগুলি ব্যবহার করা …

23 cc.complexity-theory  reference-request  fl.formal-languages  time-complexity  reductions 

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

23 pl.programming-languages  type-theory 

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

23 cc.complexity-theory  np-hardness  planar-graphs  hamiltonian-paths 

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

23 cc.complexity-theory  lo.logic  algebraic-complexity  proof-complexity  sum-of-squares