প্রশ্ন ট্যাগ «ho.history-overview»

নিয়মিত ভাষাগুলি (এবং সেই নিয়মিত প্রকাশগুলি থেকে) "নিয়মিত" কেন বলা হয়? সেখানে অনেক নিয়মানুবর্তিতা প্রসঙ্গ-মুক্ত ভাষায় ভাষায় অন্যান্য ধরনের এছাড়াও। আমি অনুমান করি যে, শুরুতে, "নিয়মিত" বিশেষণটি অন্য ধরণের "অন্যান্য নিয়মিত" বা কোনওভাবে অস্বাভাবিক ভাষা থেকে এই ধরণের ভাষাগুলির মধ্যে পৃথক করতে ব্যবহৃত হয়েছিল been যদি তা হয় তবে এই …

27 regular-expressions  regular-language  ho.history-overview 

তাহলে একটি undirected হয় -regular গ্রাফ এবং cardinality ছেদচিহ্ন একটি উপসেট হয় , কল প্রান্ত সম্প্রসারণ এর পরিমাণG=(V,E)G=(V,E)G=(V,E)dddSSS≤|V|/2≤|V|/2\leq |V|/2SSS ϕ(S):=Edges(S,V−S)d⋅|S|⋅|V−S|ϕ(S):=Edges(S,V−S)d⋅|S|⋅|V−S|\phi(S) := \frac {Edges(S,V-S)}{d\cdot |S|\cdot |V-S|} কোথায় এক শেষবিন্দু দিয়ে প্রান্ত সংখ্যা এবং এক শেষবিন্দু । তারপরে এজ প্রসারণ সমস্যাটি হ'ল দিয়ে একটি সেট যা হ্রাস করে । কে একটি অনুকূল …

27 ds.algorithms  graph-theory  ho.history-overview  expanders  spectral-graph-theory 

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

26 ho.history-overview  string-matching 

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

26 ds.algorithms  reference-request  randomized-algorithms  ho.history-overview  monte-carlo 

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

25 graph-theory  soft-question  ho.history-overview  expanders 

আমি পড়েছি যে প্রাথমিকভাবে চার্চ প্রস্তাবিত তার অংশ হিসেবে -calculus লজিক এর Postulates কাগজ (যা একটি ঘন পঠিত)। কিন্তু ক্লেইন তার "সিস্টেম "টিকে অসঙ্গত প্রমাণ করেছিলেন, এর পরে, চার্চ" কার্যকর গণনা "সম্পর্কে তাঁর কাজের জন্য প্রাসঙ্গিক জিনিসগুলি সরিয়ে নিয়েছিলেন এবং যুক্তির বিষয়ে তাঁর পূর্বের কাজটি ত্যাগ করেছিলেন।λλ\lambda সুতরাং হিসাবে আমি …

22 lo.logic  big-picture  lambda-calculus  ho.history-overview 

দ্রুত গুনের জন্য করাতসুবার অ্যালগরিদম এ। করাতসুবা এবং ইউতে প্রথম প্রকাশিত হয়েছিল। অফম্যান (1962), "অটোমেটিক কম্পিউটারগুলি দ্বারা বহু-ডিজিটাল সংখ্যাগুলির বহুগুণ", ইউএসএসআর একাডেমি অফ সায়েন্সেসের প্রসেসিংস 145: 293-2294। মতে Karatsuba (1995, "কম্পিউটেশন জটিলতা", । গণিত Proc Steklov ইনস্টিটিউট 211: 169-183) , এই কাগজ আসলে Karatsuba জ্ঞান ছাড়া Kolmogorov (এবং সম্ভবত Ofman) …

21 ho.history-overview 

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

20 reference-request  soft-question  ho.history-overview  nondeterminism 

(যাচাই করা হয়নি) historicalতিহাসিক বিবরণ অনুসারে, কলমোগোরভ ভেবেছিলেন PP\mathsf{P} এর প্রতিটি ভাষারই লিনিয়ার সার্কিট জটিলতা রয়েছে। (আগে প্রশ্ন দেখতে পাবেন Kolmogorov এর অনুমান যে রৈখিক আকার সার্কিট হয়েছেPPPপি ≠ এন পি ।) মনে রাখবেন যে বোঝা ।P≠NPP≠NP\mathsf{P}\neq \mathsf{NP} কোলমোগোরভের অনুমানটি অবশ্য ব্যর্থ হতে পারে বলে মনে হচ্ছে। উদাহরণস্বরূপ, রায়ান উইলিয়ামস …

19 cc.complexity-theory  circuit-complexity  ho.history-overview 

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

19 fl.formal-languages  computability  automata-theory  turing-machines  ho.history-overview 

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

17 cc.complexity-theory  reference-request  application-of-theory  ho.history-overview  ce.computational-finance 

আমি আজ নিম্ন সীমানা শিখিয়েছি এবং শিক্ষার্থীদের মধ্যে একটি এ সি নামের কারণ সম্পর্কে জিজ্ঞাসা করেছিল । সরকারী ব্যাখ্যাটি হ'ল "এ" এর অর্থ "অল্টারনেশন"।এ সি0একজনসি0AC^0এ সিএকজনসিAC আমার অস্পষ্টভাবে অনেক বছর আগে বলা হয়েছিল যে নিক পাইপ্পেঞ্জার স্টিভ কুক নামকরণ করেছিলেন নিক পিপ্পেঞ্জার (নিকের ক্লাস), এবং নিক পরে স্টিভ (স্টিভের ক্লাস) …

17 cc.complexity-theory  reference-request  ho.history-overview 

অ্যালগরিদমগুলির কি আকর্ষণীয় উদাহরণ রয়েছে যা প্রমাণিত সীমানা দিয়ে প্রকাশিত হয়েছিল এবং পরে আরও কঠোরতর আরও ভাল সীমা কোথায় প্রকাশিত হয়েছে? আরও ভাল সীমানা সহ ভাল অ্যালগরিদম না - সম্ভবত এটি ঘটেছে! তবে আরও ভাল বিশ্লেষণ একটি বিদ্যমান অ্যালগরিদমের উপর আরও ভাল বাঁধার দিকে পরিচালিত করে আমি ভেবেছিলাম ম্যাট্রিক্সের গুণটি …

16 ho.history-overview  analysis-of-algorithms 

আফাইক, উচ্চতর অর্ডার ফাংশন ব্যবহারের প্রথম প্রমাণ শানফিনকেলের ১৯২৪ সালের গবেষণাপত্রে ফিরে আসে: "গাণিতিক যুক্তির বিল্ডিং ব্লকগুলিতে" - যেখানে তিনি একজনকে অন্য কার্যক্রমে যুক্তি হিসাবে কাজ সম্পাদনের অনুমতি দিয়েছিলেন। এটি আকর্ষণীয় বলে মনে হচ্ছে। যাইহোক, আমি তাঁর কাজের সম্পর্কে যা কিছু পড়ছি (এবং কারির সম্প্রসারণের মাধ্যমে) তা কোনও না কোনও …

15 lo.logic  soft-question  ho.history-overview  intuition  function 

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

14 cc.complexity-theory  ho.history-overview  space-time-tradeoff