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

এই প্রশ্নটি প্রজেকশনাল লজিক সম্পর্কে এবং "রেজোলিউশন" এর সমস্ত উপস্থিতি "প্রস্তাবের রেজোলিউশন" হিসাবে পড়া উচিত। এই প্রশ্নটি চূড়ান্ত কিছু কিছু তবে এটি আমাকে কিছুক্ষণ বিরক্ত করছে। আমি লোকেদের দৃ .় প্রতিবেদনের প্রস্তাবটি সম্পূর্ণ হওয়ার বিষয়টি দেখতে পাচ্ছি তবে আমি লোকেদের দেখি যে রেজোলিউশন অসম্পূর্ণ। আমি বুঝতে পারি যে রেজোলিউশনটি অসম্পূর্ণ। …

15 lo.logic  terminology  proof-complexity  proof-theory  resolution 

বিবেচনা করুন (X,≤)(X,≤)(X, \leq) উপর একটি সসীম poset nnn আইটেম, এবং PPP উপর একটি অজানা একঘেয়ে সম্পৃক্ত XXX (অর্থাত, কোন xxx , y∈Xy∈Xy \in X , যদি P(x)P(x)P(x) এবং x≤yx≤yx \leq y তারপর P(y)P(y)P(y) )। আমি একটি নোড x ∈ এক্স সরবরাহ করে এবং পি ( এক্স ) রাখে কি …

15 ds.algorithms  lg.learning  partial-order  search-problem  order-theory 

নির্ভরশীল প্রকারবিহীন সিস্টেমে যেমন হিন্ডলি-মিলনার টাইপ সিস্টেমের জন্য, প্রকারগুলি স্বজ্ঞাত যুক্তির সূত্রের সাথে মিলে যায়। আমরা সেখানে বুঝবে য়ে তার মডেল Heyting algebras হয়, এবং বিশেষ করে, একটি সূত্র খণ্ডন করতে, আমরা এক Heyting বীজগণিত যেখানে প্রতিটি সূত্রের একটি খোলা উপসেট দ্বারা প্রতিনিধিত্ব করা হয় সীমিত করতে পারে ।আরআর\mathbb{R} উদাহরণস্বরূপ, …

15 lo.logic  dependent-type  model-theory  calculus-of-constructions 

সম্পাদনা: যেহেতু আমি এক সপ্তাহে কোনও প্রতিক্রিয়া / মন্তব্য পাইনি, তাই আমি যুক্ত করতে চাই যে আমি সমস্যা সম্পর্কে কিছু শুনে খুশি। আমি এলাকায় কাজ করি না, তাই এটি যদি একটি সাধারণ পর্যবেক্ষণ হয় তবে আমি এটি জানি না। এমনকি "আমি এই অঞ্চলে কাজ করি, তবে এর মতো চরিত্রায়ন আমি …

15 reference-request  machine-learning  lg.learning 

আমি সাধারণত বাকের-গিল-সলোভে এবং কোহেন দ্বারা ব্যবহৃত জোর করে পদ্ধতিতে আগ্রহী। কৌশলটি নিজেই বা এর ব্যবহার সম্পর্কে আমি যতটা উত্স পেতে পারি তার জন্য আমি সন্ধান করছি। কারও কি পরামর্শ আছে?

15 cc.complexity-theory  set-theory 

সম্ভাব্য প্রুফ সিস্টেম কে সাধারণত এম এ এর সীমাবদ্ধতা হিসাবে উল্লেখ করা হয় , যেখানে আর্থার কেবল এফ ( এন ) এলোমেলো বিট ব্যবহার করতে পারে এবং কেবলমাত্র জি ( এন ) বিট পরীক্ষা করতে পারে মেরিলিন প্রেরিত প্রুফ সার্টিফিকেট (দেখুন, http://en.wikedia.org/wiki/Interactive_proof_system#PCP )।পিসিপি[ চ( এন ) , ছ( এন ) …

15 cc.complexity-theory  pcp  interactive-proofs 

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

15 graph-theory  co.combinatorics  lo.logic 

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

15 ds.algorithms  time-complexity 

F = { F 1 , F 2 , … , F n }F={F1,F2,…,Fn}F=\{F_1,F_2,\dotsc,F_n\} একটি সেট সেট U = { e 1 , e 2 , … , e n }U={e1,e2,…,en}U=\{e_1,e_2,\dotsc,e_n\} কোথায় সেটগুলির সংগ্রহ বিবেচনা করুন | এফ আই | |Fi||F_i| ≪ ≪\ll nnn এবং e i ∈ F iei∈Fie_i …

15 cc.complexity-theory  np-hardness  set-cover  packing 

পটভূমি গেটের সেটগুলির উপরে একটি পঠন সূত্র (একে ভিত্তিও বলা হয়) এমন সূত্র যা প্রতিটি ইনপুট ভেরিয়েবল একবার প্রদর্শিত হয়। একবারে পঠন সূত্রগুলি সাধারণত ডি মরগান ভিত্তিতে (যার মধ্যে 2-বিট গেটগুলি এবং এবং ওআর, এবং 1-বিট গেট নয়) রয়েছে এবং সম্পূর্ণ বাইনারি ভিত্তিতে (যাতে 2-বিট গেট রয়েছে) are সুতরাং উদাহরণস্বরূপ, …

15 cc.complexity-theory  circuit-complexity  lower-bounds  formulas 

আমরা জানি যে DPLL ভিত্তিক স্যাট-solvers এর unsatisfiable দৃষ্টান্ত সঠিকভাবে উত্তর দিতে ব্যর্থ (পায়রা গর্ত নীতি), যেমন "সেখান থেকে একটি injective ম্যাপিং উপর করতে ": এন + 1 এনPHPPHP\mathrm{PHP}n+1n+1n+1nnn PHPn+1n:=⎛⎝⋀i∈[n+1] ⋁j∈[n] pi,j⎞⎠∧⎛⎝⋀i≠i′∈[n+1] ⋀j∈[n] (¬pi,j∨¬pi′,j)⎞⎠PHPnn+1:=(⋀i∈[n+1] ⋁j∈[n] pi,j)∧(⋀i≠i′∈[n+1] ⋀j∈[n] (¬pi,j∨¬pi′,j))\mathrm{PHP^{n+1}_{n}} := \left(\bigwedge_{i\in[n+1]} \ \bigvee_{j\in[n]} \ p_{i,j}\right) \wedge \left(\bigwedge_{i\neq i'\in[n+1]} \ \bigwedge_{j\in[n]} \ …

15 cc.complexity-theory  lo.logic  proof-complexity 

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

15 program-verification  formal-methods  se.software-engineering 

নিম্নলিখিত সমস্যার গণ্য জটিলতা কী: প্রদত্ত দুটি জটিল ম্যাট্রিক্স একটি এবং বি চেক যদি একটি বিন্যাস ম্যাট্রিক্স হয় পি যেমন যে: বি = পি একটি পি টি ।n × nএন×এনn\times nএকজনএকজনAবিবিBপিপিPখ = পিএ পিটি।বি=পিএকজনপিটি।B = P A P^T. যদি এটি সহায়তা করে তবে কেউ ধরে নিতে পারে যে এবং বি …

15 cc.complexity-theory  np-hardness  cg.comp-geom  linear-algebra  permutations 

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

15 ds.algorithms  soft-question  big-list 

নিম্নলিখিত সমস্যাটি বিবেচনা করুন: একটি প্রশ্নের গ্রাফ G=(V,E)G=(V,E)G = (V, E) এবং একটি রেফারেন্স গ্রাফ , আমরা ইনজেকশন ম্যাপিং খুঁজে পেতে চাই যা সংখ্যাকে হ্রাস করে প্রান্ত যেমন যে । এটি সাবগ্রাফ্ট আইসোমর্ফিজম সমস্যার একটি সাধারণীকরণ যেখানে আমরা অনুচ্ছেদে কয়েকটি অনুপস্থিত প্রান্ত পর্যন্ত আইসোমর্ফিক হওয়ার অনুমতি দিই এবং অনুপস্থিত প্রান্তের …

15 cc.complexity-theory  ds.algorithms  graph-theory  approximation-algorithms  graph-isomorphism