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

Я розумію, що модель Тьюрінга стала "стандартом" при описі обчислень. Мені цікаво знати, чому це так - тобто чому модель ТМ стала більш широко використовуваною, ніж інші теоретично еквівалентні (наскільки мені відомо) моделі, наприклад, μ-рекурсія Kleene або обчислення лямбда (я розумію що перший не з'явився до цього пізніше, а другий …

44 reference-request  soft-question  computability  turing-machines  ho.history-overview 

Якби ви могли перейменувати динамічне програмування, як би ви його назвали?

43 ds.algorithms  soft-question  terminology  ho.history-overview 

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

42 soft-question  quantum-computing  statistical-physics  physics 

Реальні комп'ютери мають обмежену пам’ять і лише обмежену кількість станів. Отже вони по суті є кінцевими автоматами. Чому теоретичні комп'ютерні вчені використовують машини Тьюрінга (та інші еквівалентні моделі) для вивчення комп'ютерів? Який сенс вивчати ці набагато сильніші моделі стосовно реальних комп'ютерів? Чому кінцевої моделі автоматів недостатньо?

42 soft-question  fl.formal-languages  automata-theory  big-picture  turing-machines 

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

41 soft-question  research-practice 

У 1937 році Тьюрінг описав машину Тюрінга. З тих пір багато моделей обчислень були описані, намагаючись знайти модель, яка схожа на справжній комп'ютер, але все ще досить проста для розробки та аналізу алгоритмів. В результаті у нас є десяток алгоритмів для, наприклад, SORT-задачі для різних моделей обчислення. На жаль, ми …

41 ds.algorithms  reference-request  soft-question  machine-models 

У програмі MathOverflow Тимофі Гоуерс задав питання під назвою " Демонстрація важливості суворості ". Більшість дискусій проходили щодо випадків, що свідчать про важливість доказів, про що, мабуть, не потрібно переконувати людей в CSTheory. На мій досвід, докази повинні бути більш жорсткими в теоретичній інформатиці, ніж у багатьох частинах безперервної математики, …

41 big-list  soft-question  proofs 

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

40 soft-question  career 

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

40 soft-question  research-practice  advice-request  career 

ВІДПОВІДАЛЬНІСТЬ: Це питання відкритого типу, і пуритани, що обміняються ставками, ймовірно, відчують надзвичайний заклик проголосувати його до забуття. Однак я не можу вважати будь-який інший форум більш підходящим та перспективним для отримання відповіді на це питання. Працюючи над дослідницькою проблемою для курсового проекту, я розумію, що якби я конкретно моделював …

40 soft-question  advice-request 

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

39 soft-question  advice-request 

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

38 soft-question  teaching 

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

37 soft-question  fl.formal-languages  automata-theory  teaching 

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

37 soft-question  advice-request  research-practice 

Що робити, коли ви бачите питання, поставлене на публіці, скажіть тут на обміні стеками, що знаєте відповідь, тому що ви розглядаєте як частину поточного дослідницького проекту? Наприклад, я бачу запитання TCS.SX, на яке я знаю відповідь, оскільки я працював над проблемою недавно. Я ще не закінчив писати результати і намагаюся …

37 soft-question  research-practice  authorship