প্রশ্ন ট্যাগ «reference-request»

যাক বোঝাতে সেট { 1 , । । । , n } এবং সি (এন, কে) পুনরাবৃত্তি ছাড়াই [ এন ] থেকে সমস্ত কে -উপাদানগুলির সেটকে বোঝায় । যাক পি = P 1 P 2 । । । পি ট একটি হতে ট মধ্যে -tuple সি ( এন , ট …

15 reference-request  co.combinatorics  permutations 

এটি সিম্বলিক এক্সিকিউশন এর উইকি এন্ট্রি-তে লেখা হয়েছে , তবে আমি এর জন্য কোনও রেফারেন্স পাই না। কেউ আমাকে একটি পয়েন্টার দেখাতে পারেন? ধন্যবাদ.

15 reference-request  lo.logic  program-analysis 

জানা যায় একটি রেগুলার এক্সপ্রেশন আকার কমানোর হয় এমনকি যদি আমরা ভাষা এর স্পেসিফিকেশন হিসাবে একটি DFA তে আছে PSPACE-সম্পূর্ণ । ভাষা সীমাবদ্ধ হলে ফলাফল কী হবে? এই সমস্যাটিকে একজন দুটি মডেল বিবেচনা করতে পারেন: ইনপুটটি ভাষার সমস্ত স্ট্রিং হয় এবং আমরা সমস্ত স্ট্রিংয়ের দৈর্ঘ্যের যোগফলের সাহায্যে ইনপুট আকার পরিমাপ …

15 cc.complexity-theory  reference-request  fl.formal-languages  regular-expressions  dfa 

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

15 reference-request  machine-learning  lg.learning 

এবং বি সেট দেয় , তাদের মধ্যে একটি বিচ্ছিন্ন সম্পর্ক ( ∼ ) ⊆ এ × বি নিম্নলিখিত সংস্থাকে সন্তুষ্ট করে এমন একটি সম্পর্ক হিসাবে সংজ্ঞায়িত করা হয়:একজনএকজনAবিবিB ( ∼ ) ⊆ এ × বি(~)⊆একজন×বি(\sim) \subseteq A \times B যদি এবং একটি ′ ∼ বি ′ এবং একটি ∼ বি …

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

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

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

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

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

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

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

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

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 

আমি মডেল স্ট্রাকচারাল লজিক্স সম্পর্কিত কাগজপত্র এবং নিবন্ধগুলি সন্ধান করছি - লিনিয়ার লজিক মোডালটির শব্দার্থতত্ত্বের উপর নয়, মানক মডেল অপারেটরগুলির সাথে সংযুক্ত কাঠামোগত লজিকগুলিতে, যেমন স্ট্রাকচারাল কে (বক্স অপারেটর, প্রয়োজনীয়তা এবং কে নিয়মের সাথে মলের মতো কিছু) something

15 reference-request  lo.logic  proof-theory 

যেমনটি সবাই জানেন, গ্যারি এবং জনসনের বিখ্যাত বইটি (এবং আরও অনেকে) শাস্ত্রীয় সেটিংয়ে হ্রাস করার কৌশলটির জন্য একটি দুর্দান্ত রেফারেন্স সরবরাহ করে। প্যারামিটারাইজড অ্যালগরিদমে হ্রাস কৌশল সম্পর্কিত কোনও জরিপ বা বই রয়েছে, বলুন fpt হ্রাস?

15 cc.complexity-theory  reference-request  reductions  parameterized-complexity 

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

15 cc.complexity-theory  reference-request  complexity-classes  lo.logic  proof-complexity 

বনাচের নির্দিষ্ট পয়েন্টের উপপাদ্যটি বলে যে আমাদের যদি কোনও অস্তিত্ব পূর্ণ মেট্রিক স্পেস AএকজনA , তবে যেকোন অভিন্ন সংকোচনের কাজটি f:A→Aচ:একজন→একজনf : A \to A এর একটি অনন্য স্থির বিন্দু থাকে μ(f)μ(চ)\mu(f) । যাইহোক, এই উপপাদ্য প্রমাণ পছন্দের সবর্জনবিদিত প্রয়োজন - আমরা একটি অবাধ উপাদান চয়ন করতে হবে iterating শুরু …

15 reference-request  lo.logic  pl.programming-languages  denotational-semantics  metric-spaces 

আমি ক্রিপ্টোগ্রাফির জন্য সিউডো-এলোমেলো সংখ্যার প্রজন্মের প্রতি আগ্রহী। মেনেজেস / ওরশকোট / ভ্যানস্টোন এর অধ্যায় 5 ছাড়াও ; স্টিনসনের অধ্যায় 8 ; এবং গোল্ডরিচের ৩ য় অধ্যায় , আমি আর কোথায় খুঁজে পাব ? আমি পিআরএনজি ডিজাইনের জন্য সাধারণ নীতিগুলিতে আগ্রহী (পছন্দসই বৈশিষ্ট্য, পরীক্ষা ইত্যাদি)।

15 cc.complexity-theory  reference-request  pseudorandomness