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

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

27 lo.logic  pl.programming-languages  type-theory 

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

27 np-hardness  worst-case 

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

27 cc.complexity-theory  co.combinatorics  optimization 

ধ্রুপদী স্কেন সমস্যাগুলি জিজ্ঞাসা করে, একটি ধনাত্মক পূর্ণসংখ্যা n দেওয়া হয়েছে , নিম্নলিখিত শর্তগুলি সন্তুষ্ট করে পূর্ণসংখ্যার অ্যারে Q [ 1 .. n ] রয়েছে কিনা :nnnnnnQ[1..n]Q[1..n]Q[1..n] সবার জন্য আমি1≤Q[i]≤n1≤Q[i]≤n1\le Q[i] \le niii for all i ≠ jQ[i]≠Q[j]Q[i]≠Q[j]Q[i] \ne Q[j]i≠ji≠ji\ne j সবার জন্য আমি ≠ ঞQ[i]−i≠Q[j]−jQ[i]−i≠Q[j]−jQ[i]-i \ne Q[j]-ji≠ji≠ji\ne j সমস্ত …

27 cc.complexity-theory  board-games 

কি সমস্যা অন্তর্গত পরিচিত হয় কিন্তু অন্তর্গত জানা যায়নি পি ?BPPBPP\mathsf{BPP}PP\mathsf P আরও স্পষ্টভাবে বলতে গেলে , আমি স্বাধীন সমস্যাগুলিতে আগ্রহী , এটিই যার ডেরেন্ডোমাইজেশন সমতুল্য হিসাবে পরিচিত নয়। উদাহরণস্বরূপ, এটি জানা যায় যে ডিআইআরএনডাইজিং পিআইটি এবং মাল্টিভারিয়েট পলিনোমিয়াল ফ্যাক্টেরাইজেশন সমান এবং আমি এগুলিকে কেবল একটি সমস্যা হিসাবে গণনা করব। …

27 derandomization 

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

27 big-picture  ct.category-theory  ho.history-overview 

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

27 cc.complexity-theory  np  conditional-results 

তে থাকা কোন ভাষার উদাহরণ আছে NPNPNP, তবে আমরা এই ভাষায় সদস্যপদ পাওয়ার জন্য একটি বহুপাক্ষিক সাক্ষী রয়েছে তা দেখিয়ে সরাসরি এই সত্যটি প্রমাণ করতে পারি না? পরিবর্তে, ভাষাটি তা এটিকে এন পি- তে অন্য একটি ভাষায় হ্রাস করে প্রমাণিত হবে , যেখানে উভয়ের লিঙ্কটি তুচ্ছ নয় এবং যত্ন সহকারে …

27 reductions  np 

আমি সম্প্রতি গণনার দুটি দ্বৈত পড়ছিলাম : নেতিবাচক এবং ভগ্নাংশ প্রকার । কাগজ সমষ্টি-ধরনের এবং পণ্য-ধরনের বিস্তৃতি, প্রকারের শব্দার্থবিদ্যা দান a - bএবং a/b। সংযোজন এবং গুণটির বিপরীতে, ক্ষুদ্রাকর্ষণ, লোগারিদম এবং মূলের দুটি ব্যতিক্রম নয়। যদি ফাংশনের প্রকারগুলি (a → b) টাইপ-তাত্ত্বিক ক্ষয়ক্ষতি হয়, তবে টাইপটি a → b(বা b^a) …

27 lo.logic  pl.programming-languages  type-theory  algebra 

একটি প্রদত্ত দ্বারা এন বাইনারি ম্যাট্রিক্স এম (এন্ট্রি 0 বা 1 ), সমস্যা যদি অস্তিত্ব আছে দুই বাইনারি ভেক্টর নির্ধারণ করা হয় v 1 ≠ বনাম 2 যেমন যে এম ভি 1 = এম ভি 2 (সমস্ত অপারেশন উপর সঞ্চালিত জেড )। এই সমস্যাটি কি এনপি-হার্ড?মিmmএনnnএমMM000111বনাম1≠ v2v1≠v2v_1 \ne v_2এমবনাম1= এমবনাম2Mv1=Mv2Mv_1 …

27 cc.complexity-theory  np-hardness  linear-algebra 

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

27 reference-request  big-picture  application-of-theory  evolutionary-game-theory  algorithmic-lens 

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

27 ds.algorithms  reference-request  big-list  randomized-algorithms  ho.history-overview 

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

27 cc.complexity-theory  open-problem  permutations  circuit-families 

গণনা সংক্রান্ত জটিলতায় মনোোটোন এবং সাধারণ গণনাগুলির মধ্যে একটি গুরুত্বপূর্ণ পার্থক্য রয়েছে এবং রাজবরোভের একটি বিখ্যাত উপপাদ্য দাবি করে যে 3-স্যাট এমনকি ম্যাচিংও একঘেয়ে বুলিয়ান সার্কিট মডেলটিতে বহুলোক নয়। আমার প্রশ্নটি সহজ: মোনোটোন সার্কিটের জন্য (বা একাধিক) কোয়ান্টাম অ্যানালগ রয়েছে কি? কোন কোয়ান্টাম রাজবোরভের উপপাদ্য আছে?

27 cc.complexity-theory  quantum-computing  circuit-complexity 

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

27 reference-request  graph-theory  co.combinatorics  graph-colouring  decision-trees