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

প্যারিটি এবং অবিচ্ছেদ্য যমজ সন্তানের মতো। বা তাই এটি গত 30 বছর ধরে মনে হচ্ছে। রায়ের ফলাফলের আলোকে, ছোট শ্রেণিতে নতুন করে আগ্রহ দেখাবে।এ সি0একজনসি0AC^0 ইয়াও টু হস্তাদে ফার্স্ট স্যাক্সে সিপসার সমস্ত সমতা এবং এলোমেলো সীমাবদ্ধতা। রাজবরোভ / স্মোলেস্কি সমতা সহ মোটামুটি বহুবচন (ঠিক আছে, মোড গেটস)। Aspnes এবং আল …

19 cc.complexity-theory  complexity-classes  lower-bounds  circuit-complexity 

সংক্ষিপ্ততার জন্য দু'জন খেলোয়াড়ের শূন্য-সম গেম সমাধানের জন্য এলপিকে বিবেচনা করুন যেখানে প্রতিটি খেলোয়াড়ের ক্রিয়া রয়েছে। ধরা যাক পেওফ ম্যাট্রিক্স এর প্রতিটি এন্টি পরম মানতে সর্বাধিক 1 সরলতার জন্য আসুন কোনও স্পারসিটি অনুমান করা যাক।কnnnAAA মনে করুন রানটাইম এই গেমটির মান আনুমানিকভাবে উপলব্ধ।TTT এই মানটি আনুমানিক করার জন্য একটি কৌশল …

19 ds.algorithms  approximation-algorithms  online-learning  linear-programming 

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

19 soft-question  gt.game-theory 

আপনি কীভাবে অনন্য গেমসের অনুমানের চিত্র বোঝাতে কোনও চিত্র ডিজাইন করবেন? এটি পরবর্তী এএমএস যৌথ সভায় অনন্য গেমগুলির "বর্তমান ইভেন্টগুলি" উপস্থাপনার জন্য এবং উত্পাদিত পুস্তিকাটির জন্য। অতীতে উত্পাদিত ধরণের উদাহরণগুলির উদাহরণ http://www.ams.org/meetings/lectures/current-events-bulletin এবং আপনি যদি ২০০ edition সংস্করণে ক্লিক করেন তবে আপনি ছবিটি দেখতে পাচ্ছেন যে মধু সুদান পিসিপিতে তাঁর …

19 cc.complexity-theory  unique-games-conjecture 

যাক উপর একটি সহজ গ্রাফ হতে ছেদচিহ্ন ডিগ্রী কোন প্রান্তবিন্দু ব্যবহার করে । ধরুন, যে কোনও দু'টি উল্লম্বের জন্য , উভয়টির সংলগ্ন একটি অনন্য ভার্টেক্স রয়েছে। এই ধরনের গ্রাফটি নিয়মিত কিনা তা প্রমাণ করার জন্য এটি কম্বিনেটরেটিক্স , ভ্যান লিন্ট এবং উইলসন এ কোর্সের একটি অনুশীলন ।জিGG( n > 3 …

19 graph-theory  co.combinatorics  puzzles 

বিবেচনা করুন , একটি ফাংশন যা রিটার্ন 1 iff এন শূন্য মধ্যে পরপর প্রদর্শিত π । এখন কেউ আমাকে একটি প্রমাণ দিয়েছে যে চ ( এন ) গণনাযোগ্য:চ( এন )f(n)f(n)এনnnππ\piচ( এন )f(n)f(n) হয় সমস্ত n এর জন্য, π এ উপস্থিত হয় , বা সেখানে st 0 মিটার উপস্থিত হয় π …

19 computability 

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

19 automata-theory  regular-expressions  fl.formal-languages 

জিনকিভিচের "অনলাইন উত্তল অপ্টিমাইজেশন" ( http://www.cs.cmu.edu/~maz/publications/ICML03.pdf ) একটি অনুভূমিক সেটিং থেকে রৈখিক সেটিংস থেকে অ্যালগরিদম শেখার "আফস মিনিমাইজেশন" জেনারেলাইজ করে এবং ভাল "বাহ্যিক অনুশোচনা" দেয় । অভ্যন্তরীণ আক্ষেপের জন্য কি একই জাতীয়করণ রয়েছে? (এর ঠিক কী অর্থ হবে তাও আমি পুরোপুরি নিশ্চিত নই))

19 lg.learning  online-learning 

আমি সর্বাধিক দক্ষ (স্ট্রিমিং ??) অ্যালগরিদম সন্ধান করছি যা আমাকে 'কে' বলছে যে কোনও সময়ে কোনও স্ট্রিমে ঘন ঘন ঘটে যাওয়া উপাদানগুলি। এই পোস্টটি: "ভাগ করুন এবং জয় করুন" ডেটা স্ট্রিম অ্যালগরিদমগুলি আমাকে এতে আগ্রহী করেছে। উদাহরণস্বরূপ, ধরুন এখানে সংখ্যা রয়েছে: (4,3,5,1,6,2,4,3,3,8,9,1) এবং আমি প্রায় 3 টি ঘন ঘন সংখ্যার …

19 ds.algorithms  online-algorithms  data-streams 

ইন্টারপোলেন্টস কম্পিউটিংয়ের জন্য কি অ্যালগরিদমের কোনও জরিপ আছে? একটি মাত্র অ্যালগরিদমের কাগজপত্র সম্পর্কে কী বলা যায়? আমি যে মামলায় সবচেয়ে বেশি আগ্রহী তা হ'ল এবং , আরও অন্তরঙ্গ যে যতটা সম্ভব ছোট। (আমি ম্যাকমিলনের কাগজটি ২০০৫ সাল থেকে জানি যা কোয়ান্টিফায়ারগুলি এড়িয়ে গিয়ে কীভাবে ইন্টারপোল্যান্ট পেতে হয় তা বর্ণনা করে))এ …

19 reference-request  lo.logic  proof-complexity  feasible-interpolation 

লক । এই প্রশ্ন এবং এর উত্তরগুলি লক করা হয়েছে কারণ প্রশ্নটি অফ-টপিক তবে butতিহাসিক তাত্পর্যপূর্ণ। এটি বর্তমানে নতুন উত্তর বা মিথস্ক্রিয়া গ্রহণ করছে না। কোন অ্যালগরিদম সবচেয়ে বেশি ব্যবহৃত হয়? দয়া করে উত্তর প্রতি একক অ্যালগরিদম লিখুন, আপনার উত্তরটি সংক্ষিপ্ত রাখার চেষ্টা করুন (এক বা দুটি লাইন)।

19 ds.algorithms  big-list 

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

19 imperative-programming  semantics  big-picture 

সিএনএফ-স্যাট সিদ্ধান্তের সমস্যাটি নীচে বর্ণিত হতে পারে: ইনপুট: একটি বুলিয়ান সূত্র ϕϕ\phi স্বাভাবিক আকারে। প্রশ্ন: সন্তুষ্ট একটি পরিবর্তনীয় অ্যাসাইনমেন্ট আছে কি ϕϕ\phi? আমি সিএনএফ-স্যাট সমাধানের জন্য একটি নন-ডিস্ট্রিমেন্টিক টু-টেপ ট্যুরিং মেশিনের সাথে বিভিন্ন পদ্ধতির বিষয়টি বিবেচনা করছি । আমি বিশ্বাস করি যে এমন একটি এনটিএম রয়েছে যা সিএনএফ-স্যাটকে n⋅poly(log(n))n⋅poly(log⁡(n))n \cdot …

19 time-complexity  sat  turing-machines  np  nondeterminism 

আমি নিম্নলিখিত সমস্যাটিতে আগ্রহী: প্রদত্ত পূর্ণসংখ্যার ম্যাট্রিক্স A1,A2,…,AkA1,A2,…,AkA_1,A_2, \ldots, A_k সিদ্ধান্ত নিয়েছে যে এই ম্যাট্রিকগুলির প্রতিটি অসীম পণ্য শেষ পর্যন্ত শূন্য ম্যাট্রিক্সের সমান হয় কিনা। এই উপায়ে ঠিক আপনি কি মনে করেন এটা আছে: আমরা বলবে ম্যাট্রিক্সের সেট {A1,…,Ak}{A1,…,Ak}\{A_1, \ldots, A_k\} সম্পত্তি যে তার পণ্য অবশেষে সমান শূন্য সব যদি …

19 linear-algebra  decidability 

এলপি দ্বৈততা সম্পর্কে 'পয়েন্ট হোমটি আঘাত করার' জন্য ভাল অনানুষ্ঠানিক / স্বজ্ঞাত প্রমাণ কী হবে? সর্বনিম্ন উদ্দেশ্যমূলক ফাংশনটি সীমাবদ্ধভাবে বোঝার স্বজ্ঞাত উপায় সহকারে সর্বনিম্ন কীভাবে দেখানো যায়? যেভাবে আমাকে দ্বৈততা শেখানো হয়েছিল তা কেবল একটি বোঝার দিকে পরিচালিত করেছিল যা আমি নিশ্চিত যে আমার প্রচুর লোকেরা ভাগ করে নিচ্ছেন: প্রতিটি …

19 linear-programming  primal-dual