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

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

16 cc.complexity-theory  board-games 

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

16 cr.crypto-security 

পটভূমি : সুভাষ খোতের মূল ইউজিসি পেপারে ( পিডিএফ ), তিনি প্রদত্ত সিএসপি উদাহরণটি কোনও ত্রৈমাসিক বর্ণমালার চেয়ে সমস্ত-সমান নয় (আ, খ, সি) ফর্মের সমস্ত সীমাবদ্ধতা রয়েছে কিনা তা সিদ্ধান্ত নেওয়ার জন্য ইউজি-কঠোরতা প্রমাণ করেছেন 1 - সীমাবদ্ধতার বা আছে কিনা satisying কোন বরাদ্দকরণ অস্তিত্ব ইচ্ছামত ছোট সীমাবদ্ধতার, ।8ϵϵ\epsilonϵ>089+ϵ89+ϵ\frac{8}{9}+\epsilonϵ>0ϵ>0\epsilon > …

16 cc.complexity-theory  approximation-hardness  unique-games-conjecture  csp 

ধরুন আমাদের পূর্ণসংখ্যার এন্ট্রি সহ এন ম্যাট্রিক্স, এম দ্বারা একটি এন দেওয়া হয়েছে। আমরা পি মধ্যে সিদ্ধান্ত নিতে পারেন আছে কিনা বিন্যাস যেমন যে সব বিনিময়ের জন্য π ≠ σ আমরা আছে Π এম আমি σ ( আমি ) ≠ Π এম আমি π ( আমি ) ?σσ\sigmaπ≠ σπ≠σ\pi\ne\sigma। এমআমি …

16 cc.complexity-theory  ds.algorithms  matrices  matching  permanent 

আমি প্রসঙ্গে সংবেদনশীল ভাষা (সিএসএল) এবং সম্পূর্ণতা সম্পর্কে দুটি প্রশ্নে আগ্রহী : সিএসএল-এর জন্য কি সম্পূর্ণতার ধারণা রয়েছে এবং কোন ভাষাগুলি সম্পূর্ণ? এমন কি প্রাকৃতিক সিএসএল রয়েছে যা এনপি-সম্পূর্ণ? ২ এর জন্য, আমি অবশ্যই প্রাকৃতিক এনপি-সম্পূর্ণ ভাষাগুলি সিএসএল হিসাবে ভাবতে পারি (সিএসএল যেমন এনএসপিএসি সমান [ ], স্যাট একটি সিএসএল) …

16 np-hardness  fl.formal-languages  space-bounded 

একটি ফাঁক যা আমি সর্বদা সচেতন ছিলাম যে আমি সত্যই বুঝতে পারি না তা হ'ল নন ইউনিফর্ম এবং ইউনিফর্ম গণনা জটিলতার মধ্যে যেখানে সার্কিট জটিলতা নন ইউনিফর্ম সংস্করণকে উপস্থাপন করে এবং ট্যুরিং মেশিনগুলি জিনিসগুলি অভিন্ন ছিল। আমি মনে করি "ইউনিফর্ম" হল অ্যালগরিদমের শ্রেণিকে সংযত করার একটি উপায়, যেমন এন + …

16 cc.complexity-theory  circuit-complexity 

-fixed বিন্দু বিনামূল্যে automorphism সমস্যা গ্রাফ automorphism যা অন্তত প্যাচসমূহ জন্য অনুরোধ নোড। কোনও > 0 এর জন্য থাকলে সমস্যাটি কমপ্লিট ।kkkk(n)k(n)k(n)NPNPNPk(n)=nck(n)=nck(n)=n^cccc তবে, যদি তবে সমস্যাটি বহুপাক্ষিক সময় টিউরিং গ্রাফ আইসোমরফিজম সমস্যা থেকে হ্রাসযোগ্য। তাহলে ট (ঢ) = হে (\ লগ n / \ লগ \ লগ ঢ) তারপর সমস্যা …

16 cc.complexity-theory  graph-isomorphism  automorphism  symmetry 

নিল ইম্মারম্যানের বিখ্যাত চিত্র দ্য ওয়ার্ল্ডের নিম্নলিখিত চিত্রগুলি (বিস্তৃত করতে ক্লিক করুন): তাঁর "সত্যই সম্ভাব্য" শ্রেণিতে অন্য কোনও শ্রেণি অন্তর্ভুক্ত নয়; আমার প্রশ্নটি তখন: একটি এসি 0 সমস্যা কী যা অযৌক্তিক হিসাবে বিবেচিত হয় এবং কেন?

16 cc.complexity-theory  circuit-complexity 

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

16 ds.algorithms  reference-request  experimental 

অ্যাডলম্যান, এফওসিএস'78৮ দেখিয়েছে যে দৈর্ঘ্যের ইনপুটগুলির জন্য যে কোনও এলোমেলো সার্কিট অ-ইউনিফর্মেন্ট ড্যারানডমাইজড হতে পারে। তবে, নির্মাণটি কার্যকরভাবে মূল সার্কিট O ( n ) বারের সদৃশ করে , সুতরাং ডেরানডমাইজড সার্কিটটি ও ( এন ) এর একটি ফ্যাক্টর দ্বারা মূলের চেয়ে বড় । সেখানে আরও কার্যকর কোন নির্মাণ রয়েছে যা …

16 derandomization 

[1] এ, তুরান দেখায় যে কোনও গ্রাফের সংবেদনশীলতা (কাগজে "জটিল জটিলতা" নামে পরিচিত) ⌊ 1 এর চেয়ে ⌊14m⌋⌊14m⌋\lfloor {1\over 4} m \rfloorযেখানেগ্রাফের উল্লম্ব সংখ্যা। তিনি অনুমান করতে গিয়েছিলেন যে কোনও তুচ্ছ গ্রাফের সম্পত্তিটিতে সংবেদনশীলতা রয়েছে। তিনি উল্লেখ করেছেন যে এটিজন্য যাচাই করা হয়েছে। এই অনুমান সম্পর্কে কোন অগ্রগতি হয়েছে?≥ m …

16 graph-theory  property-testing 

এটি গণিত.স্ট্যাকেক্সচেঞ্জ এ এই প্রশ্নের ফলোআপ। আমাদের বলে যে একটি খালি সেট এস ⊆ ℤ থাকা অবস্থায়ও স্বয়ম্ভর যদি প্রত্যেক জন্য একটি ∈ এস, বিদ্যমান আছে স্বতন্ত্র উপাদান B, C ∈ যেমন যে S একটি = খ + C। ধনাত্মক পূর্ণসংখ্যার এনগুলির জন্য , সাধারণ উদাহরণগুলির মধ্যে আদর্শ এস = …

16 ds.algorithms  co.combinatorics 

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

16 lambda-calculus 

একটি ভাষার জন্য এল ⊆ Σ ^ * , নির্ধারণ অন্বিত সঙ্গতি ≡ এর এল উপর অন্তত সঙ্গতি যেমন Σ ^ * যে সুসিক্ত এল , অর্থাত্: u ≡ v ⇔ (∀ x, y) [xuy ∈ L ↔ xvy ∈ L]। এখন নীচের ডান সমষ্টি হিসাবে নেরোড সমতুল্যতা সংজ্ঞায়িত করুন …

16 automata-theory  fl.formal-languages 

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

16 dfa  regular-expressions  bounds