Запитання з тегом «survey»

Я хотів би написати опитування щодо застосування топології в інформатиці. Я планую висвітлити історію топологічних ідей у ​​галузі інформатики, а також висвітлити декілька сучасних подій. Було б дуже корисно, якби хто-небудь міг дати інформацію щодо будь-якого із наведених нижче питань. Чи є документи чи замітки, які описують хронологію використання топології …

61 reference-request  ho.history-overview  topology  survey 

Цілі цього питання - зібрати приклади теоретичної інформатики, де систематичне використання комп’ютерів було корисним будуючи гіпотезу, яка веде до теореми, фальсифікація підказки або підходу до доказування, побудова / перевірка (частини) доказу. Якщо у вас є конкретний приклад, будь ласка, опишіть, як це було зроблено. Можливо, це допоможе іншим більш ефективно …

55 proofs  survey  examples 

В даний час я пишу опитування щодо теорем ієрархії на TCS. Шукаючи супутні документи, я помітив, що ієрархія є фундаментальним поняттям не лише в ТКС та математиці, але в численних науках, від теології та соціології до біології та хімії. Бачачи, що кількість інформації величезна, я сподіваюся, що я можу попросити …

42 cc.complexity-theory  reference-request  big-list  survey 

Здається, що теорія геометричної складності потребує знань з чистої математики, такої як алгебраїчна геометрія, теорія представлення. Хоча я студент CS та НЕ маю класів дуже абстрактної та чистої математики, мене цікавить ця програма. Чи є перелік "мінімальних знань" для вивчення цієї теорії? Цей список включає конспекти лекцій з кафедр CS …

38 reference-request  big-list  survey  gct 

Про які відсутні теми TCS у Вікіпедії ви б найбільше хотіли, щоб там була стаття? Це можуть бути яскраві упущення або просто теми, які, на вашу думку, повинні мати статтю. По одній темі за відповідь, будь ласка, щоб можна було проголосувати за найбільш бажаних. Оновлення 2.02.2017 : Shuchi Chawla докладає …

26 soft-question  big-list  survey 

Я шукаю книгу про вдосконалені структури даних, що виходить за рамки того, що охоплено стандартними підручниками, такими як «Вступ до алгоритмів» Кормена, Лейзерсона, Рівеста та Штейна. Книга , яка може бути використана для викладання курсу на рівень випускника на складних структури даних , такі як Ерік Демейн і Андре Шульц …

24 soft-question  ds.data-structures  survey  books 

Прогнозувати фондовий ринок важко! Чи може TCS зробити такі настрої більш формальними? Нещодавно я почав трохи думати про фінанси, і цікавився, як знання TCS можуть допомогти. Здається, хедж-фонди та інвестиційні фірми весь час використовують алгоритмічну торгівлю, машинне навчання та ІІ, але результатів ТКС, здається, мало. Зокрема, я знаю лише два …

19 cc.complexity-theory  reference-request  survey  ce.computational-finance  algorithmic-lens 

Чи легше пошук автоматичних теорем і пошук доказів у лінійній та іншій підструктурній логіці, якій не вистачає стиснення? Де я можу прочитати докладніше про автоматичне підтвердження теореми в цих логіках та роль стиснення в пошуку доказів?

18 reference-request  lo.logic  survey  automated-theorem-proving  linear-logic 

Було б непогано зібрати перелік умов, які означають, що безконтекстна мова L є регулярною, тобто умовами форми: "якщо дана CFG / PDA має властивість P, то її мови є регулярними" Властивість P не повинна характеризувати CFG, що генерують регулярні мови. Крім того, P не повинно бути вирішуваним, і P повинно …

14 reference-request  fl.formal-languages  regular-language  context-free  survey 

Нехай - булева функція з чутливістю s ( f ) та блочною чутливістю b s ( f ) .fffs(f)s(f)s(f)bs(f)bs(f)bs(f) Гіпотеза гіпотетичної чутливості щодо чутливості говорить про те, що існує такий, що ∀ f , b s ( f ) ≤ s ( f ) c .c>0c>0c>0∀f, bs(f)≤s(f)c∀f, bs(f)≤s(f)c\forall f,\mbox{ }bs(f)\leq …

12 cc.complexity-theory  big-picture  boolean-functions  survey 

Чи є опитування (з паперу, глави книги, підручника, посилання, ...) семантики різних особливостей мови програмування? Я спочатку був переповнений особливостями D тут http://www.digitalmars.com/d/2.0/comppare.html Я хотів би побачити, що я міг би отримати звідси, хоча я поставив подібне запитання щодо stackoverflow і зрозумів, що ці два сайти мають різні точки зору. …

12 reference-request  pl.programming-languages  survey 

Нещодавно мені нагадали про проблему vs. як пояснив Стівен А. Кук з Математичного інституту глини.Н ПPP\mathsf{P}NPNP\mathsf{NP} Це викликало мій інтерес, і я хотів би дізнатися більше про нього. Першим кроком було б глибше розуміння проблеми та розуміння області загалом. Чи можете ви порекомендувати будь-які книги чи інші ресурси, де я …

12 cc.complexity-theory  reference-request  survey  books  p-vs-np 

Я шукаю ресурси (бажано, посібник) на розширені теми алгоритмів (теми, що виходять за рамки підручників з алгоритмами, такі як CLRS та DPV). Тип матеріалу, який може бути використаний для викладання тем з курсу алгоритмів, наприклад, курсу Еріка Демена та курсу « Розширені алгоритми» Девіда Каргера . Ресурси, які давали б …

11 ds.algorithms  reference-request  survey  books 

На сьогоднішній день існують гори за результатами на роздільниках у графіках, від планарного сепаратора, сепаратора дерев, обмежених графів ширини дерев, обмежених графіків родів тощо, тощо, тощо. Чи є хороший оновлений огляд щодо цього та їх застосувань?

11 reference-request  graph-algorithms  survey 

Чи є конкретні (або багате джерело) приклади застосування -адичних чисел в інформатиці?ppp

11 survey