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

এমন কোনও উপায় আছে যে কোনও প্রবক্তা যাচাইকারীকে বোঝাতে পারে যে কিছু কিছু HORN-SAT প্রকাশটি সন্তুষ্ট? অবশ্যই এটি নির্বোধ বলে মনে হতে পারে, যেহেতু হর্ন-স্যাটের জন্য লিনিয়ার সময় অ্যালগরিদম রয়েছে। অন্যদিকে, হর্ন-স্যাট হল পি-সম্পূর্ণ, যার অর্থ পি = এল না থাকলে এর লগ-স্পেস অ্যালগরিদম নেই। তদনুসারে, ভেরিফায়ার এর গণ্য ক্ষমতা …

10 cc.complexity-theory  interactive-proofs  zero-knowledge 

একটি বুলিয়ান বর্তনী দেওয়া তে এন ভেরিয়েবল (যা শুধু ব্যবহার করে এবং এবং বা দরজা), সবচেয়ে কার্যকর উপায় বুলিয়ান সূত্র বের করে আনতে বর্তনী দ্বারা প্রতিনিধিত্ব কি? এই সমস্যার জন্য একটি পলটাইম অ্যালগরিদম আছে?সিCCএনnn

10 cc.complexity-theory  time-complexity  boolean-functions 

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

10 lg.learning  machine-learning  dc.parallel-comp 

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

10 ds.algorithms  graph-algorithms  graph-isomorphism 

আমি লেস ভ্যালিয়েন্টের সেমিনাল পেপারটি দিয়ে যাচ্ছিলাম এবং কাগজের 10 পৃষ্ঠায় প্রস্তাবটি 4.3 নিয়ে আমার খুব কষ্ট হয়েছিল। আমি দেখতে পারছি না কেন এটা ক্ষেত্রে যে যদি সেখানে নির্দিষ্ট মান জেনারেটরের হয় ভিত্তি সঙ্গে { ( একটি 1 , খ 1 ) ... ( একটি দ , খ দ ) …

10 ds.algorithms  counting-complexity  survey 

প্রকৃত ম্যাট্রিক্স The এর কাটা আদর্শ সর্বাধিক quantity quantity পরিমাণের।||A||C||A||C||A||_CA=(ai,j)∈Rn×nA=(ai,j)∈Rn×nA = (a_{i,j}) \in \mathcal{R}^{n\times n}I⊆[n],J⊆[n]I⊆[n],J⊆[n]I \subseteq [n], J \subseteq [n]∣∣∑i∈I,j∈Jai,j∣∣|∑i∈I,j∈Jai,j|\left|\sum_{i \in I, j \in J}a_{i,j}\right| দুটি ম্যাট্রিক্সের মধ্যে দূরত্ব নির্ধারণ এবং হতেAAABBBdC(A,B)=||A−B||CdC(A,B)=||A−B||Cd_C(A,B) = ||A-B||_C ক্ষুদ্রতম এর cardinality কি মেট্রিক স্থান -net ?( [ 0 , 1 ] n × n …

10 graph-theory  co.combinatorics  metrics  max-cut  epsilon-nets 

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

10 ds.data-structures  pl.programming-languages  dc.distributed-comp  concurrency 

আমি নিম্নলিখিত টাইপ করা তত্ত্ব আছে |- 1_X : X -> X f : A -> B, g : B -> C |- compose(g,f) : A -> C F, f : A -> B |- apply(F,f) : F(A) -> F(B) সমস্ত পদ সমীকরণ সহ: f : A -> B, g …

10 lo.logic  pl.programming-languages  type-theory  ct.category-theory  automated-theorem-proving 

ইন এই প্রশ্নের , এটা উল্লেখ করা হয়েছিল চাল এর উপপাদ্য বর্ণনামূলক জটিলতা সংস্করণ আছে। আমি নিম্নলিখিত উপপাদ্যের একটি প্রমাণ পেয়েছি: একটি জটিলতা বর্গ প্রদত্ত সি , এর ভাষাগুলির nontrivial বৈশিষ্ট্য সি মধ্যে নির্ণিত করা যাবে না সি আমি যে প্রমাণ পেয়েছি তার আগে আমি পোস্ট করেছিলাম তবে এটি এত …

10 cc.complexity-theory  complexity-classes  descriptive-complexity  separation 

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

10 reference-request  soft-question  cr.crypto-security  teaching 

যাক একটি মূলী বাইনারি ট্রি হও। টি এর মূল থেকে কোনও পাতার প্রতিটি পথের দৈর্ঘ্য n হয় । টি এর প্রতিটি নোডের সর্বদা একটি বাম এবং ডান চাইল্ড নোড থাকে তবে এটি সম্ভবত যে তারা একই (তাই সর্বদা 2 এন পথ সম্ভব)। টি এর আকার ও ( পি ও এল …

10 graph-theory  tree 

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

10 ds.data-structures  functional-programming  tree  hash-function 

রেজোলিউশন হ'ল সিএনএফ-এর অসন্তুষ্টি প্রমাণ করার একটি পরিকল্পনা। রেজুলেশনের একটি প্রমাণ হ'ল সিএনএফের প্রাথমিক দফার জন্য খালি ধারাটির যৌক্তিক ছাড়। বিশেষ করে কোনো প্রাথমিক দফা অনুমিত হতে পারে, এবং দুই ক্লজ থেকে এবং বি ∨ ¬ এক্স দফা একজন ∨ বি পাশাপাশি অনুমিত করা যেতে পারে। খণ্ডন হ'ল ছাড়ের অনুক্রম …

10 cc.complexity-theory  lo.logic  proof-complexity  proof-search 

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

10 semantics  topology  denotational-semantics  domain-theory  metrics 

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

10 ct.category-theory  semantics  denotational-semantics  domain-theory