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

এটি পূর্ববর্তী প্রশ্নের পুনঃস্থাপন । অ্যালিস এবং বব দুই খেলোয়াড়ের মধ্যে নিম্নলিখিত নিরপেক্ষ নিখুঁত তথ্য গেমটি বিবেচনা করুন । খেলোয়াড়দের এন এর মাধ্যমে 1 পূর্ণসংখ্যা দেওয়া হয়। প্রতিটি সময়ে, যদি বর্তমান অনুমান বৃদ্ধি পেতে থাকে তবে বর্তমান প্লেয়ার হেরে যায় এবং অন্য খেলোয়াড় জিততে থাকে; অন্যথায়, বর্তমান প্লেয়ারটি একটি নম্বর …

20 gt.game-theory  combinatorial-game-theory 

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

20 ds.algorithms  tree  ai.artificial-intel  genetic-programming 

with এর সাথে প্রতিটি less এর চেয়ে কম থাকে এমন একটি পরিষ্কার -matrix তৈরি করা সম্ভব ?এন। এনN×NN \times N 0 / 10/10/1এন1.5N1.5N^{1.5}এন0,499। এন0,499N0.499×N0.499N^{0.499} \times N^{0.499}এন0,501N0.501N^{0.501} অথবা সম্ভবত এই জাতীয় সম্পত্তির জন্য একটি সুস্পষ্ট হিটিং সেট তৈরি করা সম্ভব। এটি সহজেই দেখতে পাওয়া যায় যে এলোমেলোভাবে কাছাকাছি সম্ভাব্যতার সাথে এলোমেলো …

20 co.combinatorics  matrices  pseudorandomness  pseudorandom-generators 

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

20 cc.complexity-theory  complexity-classes  big-picture  communication-complexity 

সীমাবদ্ধ বর্ণমালা সিগমাতে নিম্নলিখিত শ্রেণীর "বৃত্তাকার" ভাষার সংজ্ঞা দিন। আসলে, নামটি ইতিমধ্যে ডিএনএ কম্পিউটিংয়ের ক্ষেত্রে ব্যবহৃত একটি পৃথক জিনিস বোঝাতে বোঝাচ্ছে। এএএএআইএফসিটি, এটি ভাষার বিভিন্ন শ্রেণি। একটি ল্যাঙ্গুয়েজ এল সব শব্দের জন্য বিজ্ঞপ্তি iff হয় মধ্যে , আমরা আছে:WwwΣ*Σ∗\Sigma^* k > 0 ডব্লু কেWww L এর সাথে সম্পর্কিত এবং কেবলমাত্র …

20 fl.formal-languages  automata-theory  regular-language 

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

20 reference-request  cr.crypto-security  randomness  implementation  application-of-theory 

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

20 lo.logic  pl.programming-languages  formal-systems  formal-methods 

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

20 cr.crypto-security  dc.parallel-comp  pseudorandom-generators 

জটিলতা শ্রেণিতে , কিছু সমস্যা রয়েছে class শ্রেণিতে না থাকার অর্থ , যেমন ডিটারমিনিস্টিক সমান্তরাল অ্যালগরিদমের সমস্যা। সর্বাধিক প্রবাহ সমস্যা একটি উদাহরণ। এবং problems in তে থাকার সমস্যা রয়েছে বলে বিশ্বাস করা হয়েছে , তবে এখনও একটি প্রমাণ পাওয়া যায় নি।এন সি এন সিপিP\mathsf{P}এন সিNC\mathsf{NC}এন সিNC\mathsf{NC} পারফেক্ট মেলা সমস্যা সবচেয়ে …

20 cc.complexity-theory  ds.algorithms  reference-request  graph-algorithms  dc.parallel-comp 

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

20 cc.complexity-theory  quantum-computing  descriptive-complexity 

আমি সমান্তরাল ( হায়ারার্কি) এর উপর জোর দিয়ে লিনিয়ার বীজগণিতের জটিলতা (র‌্যাঙ্ক, বিপরীত, ইগেনভ্যালুগুলি, ... বুলিয়ান, , এবং পূর্ণসংখ্যার / যুক্তি ম্যাট্রিক) এর জন্য একটি ভাল সমীক্ষার সন্ধান করছি এবং পলটাইম অ্যালগরিদমগুলি। আমি সাম্প্রতিক একটি খুঁজে পাইনি।এফপিFp\mathbb{F}_pএনসিNCNC লিনিয়ার বীজগণিতের জটিলতার উপর আপনি কি সাম্প্রতিক কোনও ভাল জরিপ বা বই জানেন?

20 cc.complexity-theory  ds.algorithms  reference-request  dc.parallel-comp  linear-algebra 

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

20 soft-question  research-practice  software  writing 

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

20 cr.crypto-security  quantum-computing  factoring 

পাঁচটি লিঙ্কযুক্ত প্রশ্ন জিজ্ঞাসা করা হয়, এবং একটি একক সমন্বিত উত্তর আশা করা হয়: চতুর্থাংশ 1: কি বিদ্যমান আছে ভাষায় LLL যে স্বীকৃত হয় একমাত্র সেই টুরিং মেশিন দ্বারা PPP যার রানটাইম বহিঃপ্রকাশ undecidable হয় ? প্রশ্ন 2: এই টুরিং মেশিনগুলির উদাহরণ চূড়ান্তভাবে নির্মিত যেতে পারে? প্রশ্ন 3: এই টুরিং …

20 cc.complexity-theory 

ইমারম্যান এবং সিলেপসেসেনি স্বতন্ত্রভাবে প্রমাণ করেছেন যে । প্ররোচিত গণনা করার কৌশলটি ব্যবহার করে, বোরোডিন এট আল প্রমাণ করেছেন যে এস এ সি আই i > 0 এর জন্য পরিপূরক হিসাবে বন্ধ রয়েছে । রিংগোল্ডের উপপাদ্য ( এস এল = এল ) এর আগে, নিসান এবং তা-শমা লগস্পেস ইউনিফর্ম প্রজেকশন …

20 cc.complexity-theory  space-bounded