Запитання з тегом «soft-question»

Перегляд питань через алгоритмічну лінзу (тобто з точки зору алгоритмічності або складності) стало корисним у навчальних дисциплінах, що не входять до "стандартної галузі" інформатики. Зокрема, КС зробив вплив на біологію за допомогою обчислювальної біології, на фізику за допомогою квантової обробки інформації, а ІІ та теорія складності, здається, регулярно взаємодіють з …

32 reference-request  soft-question  big-picture  social-sciences  algorithmic-lens 

У передмові до своїх дуже впливових книг «Автомати, мови та машини» (Томи А, Б) Самуель Ейленберг достойно обіцяв томи С і Д, що стосуються «ієрархії (званої раціональної ієрархії) нераціональних явищ ... використовуючи раціональні відносини як інструмент для порівняння. Раціональні множини знаходяться в нижній частині цієї ієрархії. Рухаючи вгору, зустрічається "алгебраїчні …

31 soft-question  fl.formal-languages  automata-theory  regular-language  context-free 

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

31 soft-question  research-practice  writing 

Хтось наважиться спробувати уточнити, яке відношення до цих галузей дослідження чи, можливо, навіть дати більш конкретну відповідь на рівні проблем? Як і те, що включає, що передбачає деякі широко прийняті формулювання. Якщо я це зрозумів правильно, коли ви переходите від SAT до SMT, ви в основному входите в поле CSP; …

30 soft-question  sat  terminology 

Багато експертів вважають, що гіпотеза істинна, і використовують її у своїх результатах. Мене хвилює те, що складність сильно залежить від гіпотези .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} Отже, моє запитання: Поки гіпотеза не доведена, чи може / слід вважати це законом природи, як зазначено у цитаті Страссена? Або ми маємо трактувати …

30 cc.complexity-theory  soft-question  big-picture  p-vs-np  physics 

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

29 soft-question  big-list 

Я нещодавно вивчаю мови Haskell та мови програмування. Може хтось порекомендує якісь книги з теорії типів?

28 soft-question  pl.programming-languages  type-theory 

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

28 soft-question  research-practice  paper-review 

Окрім ACM, комп'ютерного товариства IEEE, Google Scholar, який є найкращим сайтом для отримання записів із бібліотеки для статей, пов'язаних з інформатикою?

28 soft-question  research-practice  paper-review  bibliography 

Зараз представлена ​​презентація. Слайди доступні нижче. Представлення незавершеного виробництва - це те, що ми всі повинні зробити для того, щоб отримати зворотній зв’язок та допомогти кристалізувати наші ідеї. На жаль, багатьом аспірантам потрібна допомога у подоланні цього перешкоди щодо раннього дослідження, навіть якщо це стосується лише їх власної дослідницької групи. …

28 soft-question  advice-request 

Вибачте, якщо це питання трохи розпливчасте, але мені цікаво, як успішні дослідники отримують «відчуття» щодо результатів у TCS. Наприклад, лінійну алгебру можна зрозуміти геометрично або з точки зору її фізичних інтерпретацій (власні вектори в системі можна вважати "стабільними точками"). Також інтуїтивно зрозуміло, що існує протокол IP для TQBF (як IP …

27 soft-question  intuition 

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

26 soft-question  advice-request  career 

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

26 soft-question  big-list  survey 

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

26 soft-question  big-list 

Я сподіваюся, що це не політично некоректне питання, але для аспіранта, який зазвичай публікується в CCC / ITCS / ICALP (а іноді і в FOCS / STOC), може бути шкідливим (кар'єрно) публікувати менш значні праці в менш престижні конференції (наприклад, MFCS, FCT, STACS, IPL)? Чи може бути краще просто залишити …

25 soft-question  career