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

এই প্রশ্নটি দৃ post ়ভাবে অন্য একটি পোস্টের সাথে সম্পর্কিত: এনপি হার্ড সমস্যায় ফেজ ট্রানজিশন তবে এটি কিছুটা আলাদা। যদিও প্রশ্নটি এনপি হার্ড সমস্যার নির্দিষ্ট দৃষ্টান্তগুলির কঠোরতা সম্পর্কিত , এটি একই উদাহরণগুলির অসুবিধাটিকে র‌্যাঙ্কিংয়ের বিষয়ে । ফেজ ট্রানজিশন হিসাবে পরিচিত প্রভাব সম্পর্কে অনেক গ্রন্থপঞ্জি রয়েছে । বিশেষত কনজেক্টিভ নরমাল ফর্ম …

15 cc.complexity-theory  np-hardness  sat 

স্বতঃস্ফূর্তভাবে, ম্যাট্রিক্স-গুণ গুণটির সংজ্ঞা ωω\omega এমন একটি ক্ষুদ্রতম মান যার জন্য একটি ज्ञিতnωnωn^{\omega} ম্যাট্রিক্স-গুণিত অ্যালগরিদম রয়েছে। এই এত আমি প্রযুক্তিগত সংজ্ঞা সর্বাঙ্গে infimum ভালো কিছু, একটি আনুষ্ঠানিক গাণিতিক সংজ্ঞা যেমন গ্রহণযোগ্য নয় ttt মধ্যে একটি ম্যাট্রিক্স-গুণ অ্যালগরিদম অস্তিত্ব আছে যেমন যে ntntn^t । এই ক্ষেত্রে, আমরা বলতে পারি না যে …

15 ds.algorithms  linear-algebra 

অর্ডার রক্ষণাবেক্ষণ সমস্যা (বা "একটি তালিকায় অর্ডার বজায় রাখা") অপারেশনগুলিকে সমর্থন করে: singleton: একটি আইটেম সহ একটি তালিকা তৈরি করে, এতে একটি পয়েন্টার দেয় returns insertAfter: কোনও আইটেমকে পয়েন্টার দেওয়া হয়, এর পরে একটি নতুন আইটেম সন্নিবেশ করানো হয়, নতুন আইটেমে একটি পয়েন্টার ফিরিয়ে দেওয়া হয় delete: কোনও আইটেমকে পয়েন্টার …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

আমার টাইপ এ এর ​​উপাদানগুলির সেট সংরক্ষণ করতে হবে। টাইপ a আংশিক অর্ডার করা হয়েছে, সুতরাং এবং তুলনা করে আরও ছোট, বৃহত্তর, সমান বা অতুলনীয় ফিরে আসতে পারে।একটি1একটি1a_1একটি2একটি2a_2 হ্যাশ টেবিলগুলির সাথে একটি সমস্যা হ'ল দুটি সমান উপাদান আলাদাভাবে উপস্থাপিত হতে পারে এবং আমার সাম্যতার সাথে সামঞ্জস্য রেখে হ্যাশিং ফাংশনে অ্যাক্সেস …

15 ds.data-structures  functional-programming  sorting 

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

15 reference-request  lo.logic  pl.programming-languages  type-theory  ct.category-theory 

এটি সর্বজনীন আনুমানিক উপপাদ্যের মাধ্যমে জানা যায় যে এমনকি একটি একক লুকানো স্তর এবং একটি স্বেচ্ছাসেবী ক্রিয়াকলাপ সহ একটি নিউরাল নেটওয়ার্ক যে কোনও ধ্রুবক ফাংশন আনুমানিক করতে পারে। অন্যান্য মডেলগুলি কী রয়েছে যা সর্বজনীন ফাংশন আনুমানিক are

15 machine-learning  function  approximation 

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

15 reference-request  gt.game-theory  genetic-algorithms  evolutionary-game-theory 

আমার আসলে দুটি প্রশ্ন আছে: শব্দার্থবিজ্ঞানের সাথে সম্পর্কিত হওয়ার জন্য কে প্রথম যৌক্তিক সম্পর্ক ব্যবহার করেছিল? আমি তাদের পুনরায় রেনল্ডের " অন ​​রিলেশন বিটুইন বিইন ডাইরেক্ট অ্যান্ড কন্টিনিউশনেশন সেমেন্টিকস "-এ ফিরে পেয়েছি, তবে আমি দাবি করতে পারি না যে একটি বিস্তৃত অনুসন্ধান করেছে। যৌক্তিক সম্পর্কের রেফারেন্সগুলি আমি এর আগে খুঁজে …

15 reference-request  pl.programming-languages  denotational-semantics  logical-relations 

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

15 computability 

পটভূমি মধ্যে কার্যাবলী একটি শাস্ত্রীয় অ্যালগরিদম যে প্রয়োজন সঙ্গে quasipolynomial সময় পিএসি learnable হয় হে ( 2 ঠ ণ ছ ( এন ) হে ( ঘ ) ) এলোমেলোভাবে গভীরতা ঘ [1] এর একজন বর্তনী শিখতে প্রশ্নের চয়ন করা হয়েছে। যদি কোনও 2 এন ও ( 1 ) ফ্যাক্টরিং অ্যালগরিদম …

15 quantum-computing  lg.learning  machine-learning  open-problem  ne.neural-evol 

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

15 pl.programming-languages  compilers 

আমি মডুলার পচন এবং ক্লিক-প্রস্থের গ্রাফগুলি সম্পর্কে কিছু ধারণা বোঝার চেষ্টা করছি । ইন এই কাগজ ( "এটাকে P4-পরিপাটি গ্রাফ উপর"), সেখানে কিভাবে উপদল-নম্বর অথবা বর্ণীয় নম্বরের মডুলার পচানি ব্যবহার করার মত অপ্টিমাইজেশান সমস্যার সমাধানের একটি প্রমাণ। G1, G2 দুটি গ্রাফ লেখার মাধ্যমে (বিচ্ছিন্ন যোগফল বা সংঘবদ্ধ ইউনিয়নটি ব্যবহার করে) …

15 graph-theory  graph-algorithms  cliquewidth 

একটি আঘাত সেট একটি পরিবারের একটি উপসেট এর যেমন যে জন্য । প্রদত্ত পরিবারের ন্যূনতম হিট সেট সন্ধান করার সমস্যাটি সাধারণভাবে এনপি-হার্ড, কারণ এটি ভার্টেক্স কভার সমস্যাটিকে সাধারণীকরণ করে। এখন আমার প্রশ্ন:এইচ ⋃ n i = 1 এস আই এইচ ∩ এস আই ≠ ∅ 1 ≤ আই ≤ nS={S1,…,Sn}S={S1,…,Sn}\mathcal{S} …

15 cc.complexity-theory  np-hardness  approximation-hardness 

মডুলার পচন এবং এর বৈশিষ্ট্যগুলি সম্পর্কে আরও ভালভাবে বুঝতে কী কী ভাল কাগজপত্র / বইগুলি রয়েছে? আমি বিশেষত মডুলার পচনের আলগোরিদিমিক দিকগুলিতে আগ্রহী। আমি শুনেছি যে রৈখিক সময়ে কোনও গ্রাফের একটি মডুলার পচন খুঁজে পাওয়া সম্ভব। এর জন্য কি তুলনামূলকভাবে সহজ অ্যালগরিদম আছে? এত দক্ষ না হলেও সহজ অ্যালগরিদম সম্পর্কে …

15 ds.algorithms  reference-request  graph-theory  graph-algorithms 

কিছু ব্যাকগ্রাউন্ড: ইউকাসিউইজিক বহু মূল্যবান লজিককে মডেল লজিক হিসাবে চিহ্নিত করা হয়েছিল, এবং ইউকাসিউইচজ মডেল অপারেটরের একটি এক্সটেনশনাল সংজ্ঞা দিয়েছিলেন : (যা তিনি তারস্কির সাথে দায়ী)।◊A=def¬ এ → এ◊A=ঘইচ¬একজন→একজন\Diamond A =_{def} \neg A \to A এটি একটি অদ্ভুত মডেল যুক্তি দেয়, কিছু প্যারাডোক্সিকাল সহ, আপাতদৃষ্টিতে অযৌক্তিক উপপাদ্য না থাকলে উল্লেখযোগ্যভাবে …

15 reference-request  lo.logic  proof-theory  linear-logic  modal-logic