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

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

16 soft-question  advice-request  career 

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

16 computability  turing-machines  board-games  halting-problem  recreational 

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

16 soft-question  advice-request  career 

পিটিটাইমে নিম্নলিখিত সমস্যা, বা কোএনপি-হার্ড: দুটি বুলিয়ান এক্সপ্রেশন এবং e 2 ভেরিয়েবলগুলিতে x 1 , … , x n দেওয়া ছাড়াই (যেমন, এক্সপ্রেশনগুলি সম্পূর্ণরূপে ∧ এবং ∨ এর মাধ্যমে নির্মিত ) are ই 1 ≡ ই 2 কিনা তা স্থির করুনই1ই1e_1ই2ই2e_2এক্স1, … , এক্সএনএক্স1,...,এক্সএনx_1,\dots,x_n∧∧\wedge∨∨\veeই1≡ ই2ই1≡ই2e_1 \equiv e_2 , ভেরিয়েবলগুলিতে সমস্ত …

16 cc.complexity-theory  time-complexity  boolean-functions  monotone 

পটভূমি একটি বাইনারি সিদ্ধান্ত গাছ TTT একটি মূলযুক্ত গাছ যেখানে প্রতিটি অভ্যন্তরীণ নোড (এবং মূল) একটি সূচক দ্বারা লেবেলযুক্ত । । । , এন }j∈{1,...,n}j∈{1,...,n}j \in \{1,..., n\} যেমন যে গাছের পাতা রুট থেকে কোনো পথ একটি সূচক পুনরায় সৃষ্টি পাতায় আউটপুট দ্বারা লেবেলযুক্ত {A,B}{A,B}\{A,B\} , এবং প্রতিটি প্রান্ত দ্বারা …

16 ds.algorithms  query-complexity  decision-trees 

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

16 cc.complexity-theory  average-case-complexity  smoothed-analysis 

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

16 cc.complexity-theory  fl.formal-languages  automata-theory  dfa 

নিম্নলিখিত পাণ্ডুলিপিটি কি প্রকাশ্যে পাওয়া যায়? ডানা স্কট, 1969, উচ্চতর ধরণের গণনাযোগ্য ফাংশনগুলির একটি তত্ত্ব । অপ্রকাশিত সেমিনার নোট, 7 পৃষ্ঠাগুলি, অক্সফোর্ড বিশ্ববিদ্যালয়। কার্ডোন অ্যান্ড হিনডলে বিভাগ 8.1.2, সেট হিসাবে প্রকার , 2006 সালে ল্যাম্বডা-ক্যালকুলাসের ইতিহাস এবং সম্মিলিত যুক্তির এই কাগজটির বিষয়ে আলোচনা রয়েছে ; অতিরিক্তভাবে বিভাগ 10.1, ডোমেন তত্ত্ব …

16 reference-request  lo.logic  type-theory  domain-theory 

একটি নির্দেশিত গ্রাফ নিন যেখানে প্রান্তগুলি প্রাকৃতিক সংখ্যায় সজ্জিত রয়েছে। আমরা সব পাথ সেট চান পি মধ্যে দু'রকমের v 1 এবং V 2 যেমন যে পথে প্রত্যেক ক্রমানুযায়ী প্রান্ত একটি প্রাকৃতিক সংখ্যা প্রাকৃতিক সংখ্যা পূর্ববর্তী প্রান্ত শোভাকর চেয়ে বেশী দিয়ে সাজানো থাকে।জিজিGপিপিPবনাম1বনাম1v_1বনাম2বনাম2v_2 এর জন্য একটি অ্যাপ্লিকেশনটি হবে বাস বা ট্রেনের …

16 ds.algorithms  reference-request  graph-algorithms  terminology 

আমরা প্রায়শই কিছু অনুমানের নিয়ম অনুসারে একটি বস্তু সংজ্ঞায়িত করতে চাই । এই নিয়মগুলি একটি উত্পন্ন ফাংশন F বোঝায় যা এটি যখন একঘেয়ে হয় তখন কমপক্ষে একটি নির্দিষ্ট পয়েন্ট μ এফ দেয় । আমরা নিতে একটি : = μ এফ এর "প্রস্তাবনামূলক সংজ্ঞা" বলে একজন । তদুপরি, এফের একঘেয়েমি আমাদের …

16 lo.logic  pl.programming-languages  type-theory  proof-assistants  coq 

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

16 computability  turing-machines  terminology  physics  natural-computing 

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

16 pl.programming-languages  semantics 

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

16 fl.formal-languages  nt.number-theory  halting-problem 

এটা সর্বজনবিদিত যে র্যান্ডম উপর -CNF সূত্র সঙ্গে ভেরিয়েবল ক্লজ unsatisfiable হয় (অর্থাত তারা অসঙ্গতি হয়) উচ্চ সম্ভাবনা সঙ্গে, ভালোই বড় ধ্রুবক জন্য । সুতরাং, এলোমেলো সিএনএফ সূত্রগুলি ( যথেষ্ট পরিমাণে জন্য) অসন্তুষ্টিজনক বুলিয়ান সূত্রগুলিতে (বা দ্বৈতভাবে, টাউটোলজির উপর অর্থাত্ দ্বন্দ্বের অবহেলা ) প্রাকৃতিক বিতরণ গঠন করে constitu এই বিতরণ …

16 cc.complexity-theory  reference-request  lo.logic  sat  random-k-sat 

বেশ খানিকটা ২-৩ আঙুল গাছ নিয়ে কাজ করার পরে বেশিরভাগ অপারেশনে আমি তাদের গতি দেখে মুগ্ধ হয়েছি। যাইহোক, আমি যে ইস্যুটি চালিয়েছি তা হ'ল বড় আঙুলের গাছের প্রাথমিক তৈরির সাথে যুক্ত বড় ওভারহেড। যেহেতু বিল্ডিংকে সংক্ষিপ্তকরণের ক্রিয়াকলাপ হিসাবে সংজ্ঞায়িত করা হয় আপনি প্রচুর পরিমাণে আঙুলের গাছের কাঠামো তৈরি করে শেষ …

16 ds.data-structures  functional-programming