প্রশ্ন ট্যাগ «lattice»

Satisfiability সমস্যা তাত্ত্বিক সি এস একটি মৌলিক সমস্যা অবশ্যই, হয়। আমি অসীম অনেকগুলি ভেরিয়েবলগুলির সাথে সমস্যার একটি সংস্করণ নিয়ে খেলছিলাম। \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} বেসিক সেটআপ। যাক একটি nonempty এবং হতে এর সম্ভবত অসীম সেট ভেরিয়েবল । আক্ষরিক হয় হয় একটি পরিবর্তনশীল x X এক্স বা এর প্রত্যাখ্যান \ নাগ এক্স । …

18 reference-request  lo.logic  sat  topology  lattice 

যেহেতু শব্দটি অতিরিক্ত বোঝা, প্রথমে একটি সংক্ষিপ্ত সংজ্ঞা। একটি পোসেট হ'ল একটি সেট যা আংশিক অর্ডার- সমাপ্ত । দুটি উপাদান দেওয়া , আমরা (জয়েন) কে তাদের সর্বনিম্ন উপরের বাউন্ড হিসাবে হিসাবে সংজ্ঞায়িত করতে পারি এবং একইভাবে (মিলন) (জয়েন )কে সর্বনিম্ন নিম্ন সীমা হিসাবে সংজ্ঞায়িত করতে পারি ।XXX≤≤\lea,b∈Xa,b∈Xa,b \in Xx∨yx∨yx \vee …

17 reference-request  co.combinatorics  metrics  lattice  order-theory 

আমার এর দুটি পার্টিশন রয়েছে [1…n][1…n][1 \ldots n]এবং আমি তাদের মধ্যে সম্পাদনার দূরত্ব খুঁজছি। এর দ্বারা, আমি নোডের ন্যূনতম সংখ্যার একটি পৃথক গোষ্ঠীতে ন্যূনতম সংখ্যার সন্ধান করতে চাই যা পার্টিশন এ থেকে পার্টিশন বিতে যেতে প্রয়োজনীয় are উদাহরণস্বরূপ থেকে দূরত্ব {0 1} {2 3} {4}মধ্যে {0} {1} {2 3 4}হতে …

17 ds.algorithms  edit-distance  lattice 

সম্পাদনা (তারা বি দ্বারা): আমি এখনও তার একটি প্রমাণের একটি রেফারেন্সে আগ্রহী , কারণ আমার নিজের কাগজের জন্য আমাকে এটি প্রমাণ করতে হয়েছিল। আমি এই কাগজে প্রদর্শিত থিয়েরেম 4 এর প্রমাণ খুঁজছি: লিউ এবং ওয়েনার দ্বারা প্রসঙ্গমুক্ত ভাষাগুলির ছেদগুলির একটি অসীম শ্রেণিবিন্যাস। উপপাদ্য 4: একটি -dimensional অ্যাফিন নানাবিধ অ্যাফিন manifolds …

11 reference-request  fl.formal-languages  linear-algebra  context-free-languages  lattice