Запитання з тегом «big-list»

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

32 reference-request  big-list  pr.probability  books 

Навколо існує безліч проблем, повних NP, та джерела їх збору, наприклад, дивіться книгу Гарі та Джонсона. Мені було б також цікаво переглянути список проблем, повних NEXP. Чи є одна? Як я припускаю, що цього немає, я відкриваю це питання (чи це повинен бути вікі спільноти? Я не знаю про ці …

31 cc.complexity-theory  complexity-classes  big-list  nexp 

Річард Дж. Ліптон був обраний переможцем премії " Кнут 2014" "За впровадження нових ідей та методик". Які ваші думки є основними новими ідеями та прийомами, які розробляв Ліптон? Примітка. Це питання стане вікі спільноти. Будь ласка, вкажіть одну таку ідею, техніку чи результат за кожну відповідь.

30 big-list 

Деякі математичні та логічні парадокси, ймовірно, можна автоматично застосувати до комп'ютерів, але чи є парадокси, виявлені в самій інформатиці? Під парадоксами я маю на увазі протилежні інтуїтивні результати, схожі на протиріччя.

30 big-list 

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

29 soft-question  big-list 

Однією з приємних речей, що розвивалися у Всесвіті з трьома просторовими вимірами, є те, що ми виробили навички вирішення проблем, що стосуються об’єктів у просторі. Так, наприклад, ми можемо думати про трійку чисел як точку в 3-d, а значить, обчислення по трійках чисел як обчислення про точки в 3-d, які …

28 big-list  cg.comp-geom  big-picture 

Редагувати: Я вибираю відповідь з найбільшою кількістю балів до 06 грудня 2012 року. Це м'яке питання. Поняття (детермінованих) алгоритмів датується до н. А як щодо ймовірнісних алгоритмів? У цьому вікі-записі алгоритм Рабіна для найближчої пари в обчислювальній геометрії був заданий як перший рандомізований алгоритм (рік ???). Ліптон представив алгоритм Рабіна …

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

Мене цікавлять приклади проблем, коли теорема, яка, здавалося б, не має нічого спільного з квантовою механікою / інформацією (наприклад, щось говорить про суто класичні об'єкти), все-таки можна довести за допомогою квантових інструментів. Дослідження Квантові докази класичних теорем (А. Друкер, Р. Вольф) дає хороший перелік таких проблем, але, безумовно, є ще …

27 quantum-computing  big-list  proofs 

Я є вченим-комп’ютером, який курсує з топології (розсипання топологічної заданої точки, сильно приправленої теорією континууму). Мене зацікавили проблеми вирішення, перевіряючи опис простору (за простостями) для топологічних властивостей; ті, що збереглися до гомеоморфізму. Відомо, наприклад, що визначення роду вузла є в PSPACE і є NP-Hard. (Agol 2006; Hass, Lagarias, Pippenger 1999) …

27 cc.complexity-theory  big-list  topology 

Ви можете часто зустріти методи різання площини, змінне розповсюдження, розгалуження та зв'язане, навчання клаузу, інтелектуальне зворотне відстеження або навіть рукоплетену людську евристику в розв'язках SAT. Однак протягом десятиліть найкращі розв'язувачі SAT покладаються в значній мірі на методи доказів роздільної здатності і використовують комбінацію інших речей просто для допомоги та для …

27 reference-request  big-list  sat  proof-complexity  lo.logic 

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

26 soft-question  big-list  survey 

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

26 soft-question  big-list 

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

25 soft-question  big-list  conferences 

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

25 cc.complexity-theory  reference-request  big-list 

Існує репутація, що в галузі інформатики у нас немає науково-популярних книг. Звичайно, це не зовсім так! (В тому ж дусі списку Що книги повинні все читали? , Які документи повинні все читати? , Які відео повинні всі годинники? І надихнули з Favorite популярної математичної книги ) Які науково-популярні книги чи …

24 big-list  books