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

আমি সাইমন পাইটন জোন্স এর কার্যকরী প্রোগ্রামিং ভাষার প্রয়োগ বাস্তবায়িত করছি এবং এর একটি বিবৃতি আমাকে সামান্য বিস্মিত করেছে (পৃষ্ঠা 39): অপরিহার্য ভাষাগুলির তুলনায় অনেক বড় পরিসরে, কার্যকরী ভাষাগুলি অপেক্ষাকৃত কয়েকটি শব্দার্থক পার্থক্য সহ বেশিরভাগ ক্ষেত্রে একে অপরের সিন্থেটিক ভিন্নতা। এখন, এটি 1987 সালে লেখা হয়েছিল এবং এই বিষয়ে আমার …

17 functional-programming  semantics  imperative-programming 

আমি প্রোগ্রামিং ল্যাঙ্গুয়েজ থিওরিতে নতুন এবং আমি প্রোগ্রামিং ল্যাঙ্গুয়েজের আনুষ্ঠানিক শব্দার্থবিদ্যার জন্য একটি উত্সে একটি ভাল সংস্থান চাই seeking বিশেষত কাঠামোগত অপারেশনস শব্দার্থবিজ্ঞানের সন্ধান করা। কিছু বইয়ের সুপারিশ পেয়েছি। তবে আমি আরও পরিচিতি স্তরে একটি সংস্থান খুঁজছি। বিশেষত টিউটোরিয়াল, ওয়েব সাইট এবং বিনামূল্যে বইয়ের সুপারিশগুলি স্বাগত জানানো হয়।

17 reference-request  pl.programming-languages  semantics  formal-systems 

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

17 ds.algorithms  approximation-algorithms  cg.comp-geom  graph-colouring  online-algorithms 

আমি এনপি-সম্পূর্ণ সমস্যার দ্বিতীয় সমাধান সন্ধানের সমস্যার এনপি-পূর্ণতা সম্পর্কে কোনও সাধারণ ফলাফল বা উদাহরণ রয়েছে কিনা তা খুঁজে বের করতে চাই। আরও স্পষ্টভাবে, আমি নিম্নলিখিত ফর্মের যে কোনও সমস্যায় আগ্রহী: একটি সমাধান দেওয়া একটি দৃষ্টান্ত থেকে আমি একটি দ্বারা NP-সম্পূর্ণ সমস্যা, একটি সমাধান পাওয়া যাবে এস ' ≠ এস থেকে …

17 cc.complexity-theory  reference-request  np-hardness  unique-solution 

এটি সহজেই দেখতে পাওয়া যায় যে ডিটারমিনিস্টিক লগস্পেস ( ) এর ক্ষেত্রে নির্ধারিত যে কোনও সমস্যা বেশিরভাগ বহুবর্ষীয় সময়ে ( পি ) চলে। বহু পরিচিত লগস্পেস অ্যালগরিদম (উদাহরণস্বরূপ: পুনঃনির্দেশিত সেন্ট-কানেক্টিভিটি, প্ল্যানার গ্রাফ আইসোমর্ফিিজম) ও ( এন কে ) তে সঞ্চালিত হয় যেখানে কে খুব বড়।LLLPPPO(nk)O(nk)O(n^k)kkk আমি প্রাকৃতিক সমস্যার উদাহরণগুলি সন্ধান …

17 cc.complexity-theory  space-bounded  space-time-tradeoff 

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

17 graph-theory  co.combinatorics  markov-chains  random-walks 

একটি রৈখিক এক্সটেনশন একটি poset এর এর উপাদানে একটি রৈখিক অর্ডার , যেমন যে মধ্যে বোঝা মধ্যে সবার জন্য ।LLLPP\mathcal{P}PP\mathcal{P}x≤yx≤yx \leq yPP\mathcal{P}x≤yx≤yx \leq yLLLx,y∈Px,y∈Px,y\in\mathcal{P} একটি রৈখিক এক্সটেনশন গ্রাফ একটি poset, রৈখিক এক্সটেনশন সেটে এসে গ্রাফ যেখানে দুই রৈখিক এক্সটেনশন সংলগ্ন হয় ঠিক যদি তারা দ্বি FF উপাদান এক সংলগ্ন swap …

17 graph-theory  co.combinatorics 

যতদূর আমি বুঝতে পেরেছি, সবাই জানি সিমপ্লেক্স অ্যালগরিদমগুলির জন্য ডিটারমিনিস্টিক পাইভট বিধিগুলির নির্দিষ্ট ইনপুট রয়েছে যার উপর ভিত্তি করে অ্যালগরিদমকে সর্বোত্তম খুঁজে পেতে এক্সপোশনাল সময় (বা কমপক্ষে বহুবর্ষ নয়) প্রয়োজন। আসুন সাধারণত (যেমন বেশিরভাগ ইনপুটগুলিতে) সিমপ্লেক্স অ্যালগরিদম দ্রুত শেষ হয়ে যায় তাই এই দৃষ্টান্তগুলিকে আমরা 'প্যাথলজিকাল' বলি। আমি আমার গাণিতিক …

17 cc.complexity-theory  reference-request  linear-programming  simplex 

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

17 sat  lo.logic  csp 

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

17 ds.algorithms  reference-request  algebra  algebraic-complexity 

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

17 computability 

একটি বিতরণ বলা হয় -fool একটি ফাংশন যদি । এবং বলা হয় যে এটি একটি শ্রেণির ফাংশনকে বোকা বানাবে যদি সে class শ্রেণীর প্রতিটি ফাংশন বোকা করে। এটি জানা যায় যে ভিত্তিক স্থানগুলি -বিভাগগুলির চেয়ে শ্রেণির শ্রেণিগুলিকে বোকা করে। ( এমন জায়গাগুলির কয়েকটি সুন্দর নির্মাণের জন্য অ্যালন-গোল্ডরিচ-হস্তাদ-পেরালটা দেখুন )। আমি …

17 cc.complexity-theory  derandomization  space-bounded  pseudorandomness 

এই প্রশ্নটি জর্জিয়া টেক অ্যালগরিদমস এবং র‌্যান্ডমনেস সেন্টারের টি-শার্ট দ্বারা অনুপ্রাণিত , যা জিজ্ঞাসা করে "এলোমেলো বা না ?!" এমন অনেকগুলি উদাহরণ রয়েছে যেখানে র্যান্ডমাইজিং সাহায্য করে, বিশেষত বিদ্বেষপূর্ণ পরিবেশে যখন কাজ করে। এমন কিছু সেটিংস রয়েছে যেখানে এলোমেলোভাবে কার্যকর করা কোনও ক্ষতি বা ক্ষতি করে না। আমার প্রশ্নটি হ'ল: …

17 randomness  big-picture  randomized-algorithms 

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

17 cc.complexity-theory  derandomization  randomized-algorithms 

গ্লাবার ডায়নামিক্স হ'ল একটি গ্রাফের বর্ণের উপর একটি মার্কোভ চেইন যা প্রতিটি ধাপে একটি এলোমেলো রঙের সাথে একটি এলোমেলোভাবে বেছে নেওয়া শীর্ষবিন্দুকে পুনরায় রঙ করার চেষ্টা করে। এটি 5-চক্রের 3-রঙিনের জন্য মিশ্রিত হয় না: 30 3-রঙিন রয়েছে তবে তাদের মধ্যে কেবল 15 টি একক-শীর্ষবিন্দু পুনরুদ্ধার পদক্ষেপগুলি দ্বারা পৌঁছানো যায়। আরও …

17 graph-theory  markov-chains