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

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

66 soft-question  big-list  advice-request  career 

РЕДАКТУЙТЕ В 12.12.08: Я спробую змінити питання, щоб воно зацікавило більше людей поділитися своєю думкою. НЕОБХІДНІ ваші внески! Цей пост натхненний тим, хто в МО: Приклади поширених помилкових переконань з математики . Великі списки іноді генерують величезну кількість відповідей, які якості важко контролювати, але після успіху відповідного допису в МО …

62 big-list  examples 

Оновлено нижче Усі ми знаємо критичне значення експертної оцінки. Це основна форма контролю якості та зворотного зв'язку щодо досліджень. Однак для дослідника на ранній стадії (як я) це іноді може бути заплутаною системою / процесом. Відповідно, існує кілька трактатів про науковий процес суддівства, які дають настанови. Два (дуже різні) приклади …

62 soft-question  big-list  paper-review 

Часто, беручи участь у конференціях TCS, ми помічаємо невеликі деталі, про які ми хочемо, щоб організатори конференції подбали про них. І коли ми організовуємо конференції, ми це вже забули. Звідси виникає питання: Які маленькі кроки ми могли б легко зробити для покращення конференцій TCS ? Сподіваємось, це питання може стати …

61 soft-question  big-list  research-practice  conferences 

Я шукаю приклади задач, параметризованих числом k∈Nk∈Nk \in \mathbb{N} , де твердість задачі немонотонна в kkk . Більшість проблем (на мій досвід) мають однофазний перехід, наприклад, kkk -SAT має однофазний перехід від k∈{1,2}k∈{1,2}k \in \{1,2\} (де проблема знаходиться в P) до k≥3k≥3k \ge 3 (де проблема NP- повна). Мене цікавлять …

60 cc.complexity-theory  np-hardness  big-list  phase-transition 

Ми в TCS часто використовуємо потужні результати та ідеї класичної математики (алгебра, топологія, аналіз, геометрія тощо). Наведіть кілька прикладів того, як він пішов навпаки? Ось деякі я знаю (а також, щоб дати аромат того типу результатів, про який я запитую): Кубічні піни (Гай Кіндлер, Райан О'Доннелл, Ануп Рао та Аві …

60 reference-request  big-list 

Чи знаєте ви розумні алгоритми, які працюють у поліном час у (довжина вводу + довжина виходу), але чий асимптотичний час роботи в тій же мірі має дійсно величезний показник / константу (принаймні, де доведена верхня межа часу виконання такий спосіб)?

59 ds.algorithms  big-list 

У потоці Основні невирішені проблеми теоретичної інформатики? Іддо Цамарет зробив наступний чудовий коментар: Я думаю, що ми повинні розрізняти основні відкриті проблеми, які розглядаються як фундаментальні проблеми, як P≠NPP≠NP P\neq NP , і основні відкриті проблеми, які будуть технічним проривом, якщо їх вирішити, але не обов'язково є основоположними, наприклад, експоненціальна …

58 big-list  open-problem 

Нещодавно, розмовляючи з фізиком, я стверджував, що в моєму досвіді, коли проблема, яка наївно здається, що має тривати експоненціальний час, нетривіально виявляється в П або БПП, "загальну причину", чому відбувається зниження, зазвичай можна визначити --- і майже завжди ця причина належить до списку з десятка або менше «звичайних підозрюваних» (наприклад: …

56 big-list  big-picture 

Які інструменти ви використовуєте для написання робіт? З малого досвіду, який я маю, теоретики витрачають велику кількість часу на написання та доопрацювання робіт, до того ж насправді творчі. Тобто спілкуючись про свою роботу з іншими людьми. Можливо, документи - це не правильний спосіб зробити це, але це слід залишити для …

55 soft-question  big-list  research-practice  writing 

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

54 co.combinatorics  big-list  it.information-theory 

Два способи аналізу ефективності алгоритму є поставити асимптотичну верхню межу на час її виконання, і запустити його та зібрати експериментальні дані. Цікаво, чи існують відомі випадки, коли між (1) і (2) існує значна розрив. Під цим я маю на увазі, що або (a) експериментальні дані говорять про більш жорстку асимптотичну, …

52 ds.algorithms  big-list  ds.data-structures 

Це питання надихає ще одне питання про те, що нового у PFDS після публікації книги Окасакі в 1998 році . Почну з двох питань, які у мене є: Чи існує суто функціональна структура даних, що наближається до швидкості хеш-таблиць? Спробу ще немає. Чи існують чисто функціональні пальчикові дерева з додатком …

51 big-list  ds.data-structures  functional-programming 

Мене часто запитують, чим займається теоретичний комп'ютер. Було б чудово відповісти на це питання. Я схильний повертатися до технічного жаргону, і очі людей зазвичай заглядають у цей момент. Що робить теоретик-інформатик з точки зору, який можуть зрозуміти люди, які не є інформатиками? Хороша відповідь повинна бути спритною, точною по духу, …

51 big-list  soft-question 

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

50 soft-question  big-list