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

М'яке питання - це питання (можливо, суб'єктивне) про сферу теоретичної інформатики, на відміну від питання теоретичної інформатики.

4
Чи є алгоритмічний математичний аналіз?
Існують алгоритмічна теорія графіків / теорія чисел / комбінаторика / теорія інформації / теорія ігор. Чи є алгоритмічний математичний аналіз? Згідно з wiki, математичний аналіз включає теорії диференціації, інтеграції, міри, меж, нескінченних рядів та аналітичних функцій. Добре зосередитись на реальному аналізі (wiki), який має справу з реальними числами та реально …

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

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

1
Як агрегація баз даних утворює моноїд?
На cs.stackexchange я запитав про бібліотеку scala algebird на github, розмірковуючи над тим, чому їм може знадобитися абстрактний пакет алгебри. На сторінці github є деякі підказки: Впровадження Monoids для цікавих алгоритмів наближення, таких як фільтр Bloom, HyperLogLog та CountMinSketch. Вони дозволяють думати про такі складні операції, як ти, можливо, чисел, …

3
Знайдені комп’ютером докази
У 1996 р. Давню відкриту проблему вирішив комп’ютер; а саме, що алгебра Роббінса та булева алгебра однакові. Доведення було знайдено автоматизованим доведенням теореми. Більше того, відомий доказ теорії чотирьох кольорів містить складені комп'ютером компоненти. Метою цього питання є перелік доказів, які (повністю або частково) знайдені комп’ютером (чи є єдиним відомим …

4
Автор замовлення в документах TCS
Незважаючи на те, що правило полягає в тому, що в документах TCS автори упорядковуються в алфавітному порядку, є деякі помітні контрприклади, які приходять до уваги, де автори упорядковуються по-іншому, наприклад, Алгебраїчні методи інтерактивних систем підтвердження [Lund, Fortnow, Karloff, Nisan] Метод отримання цифрових підписів та криптосистем з відкритим ключем [Rivest, Shamir, …

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

6
Який сенс називати
У чому різниця називати -calculus алгеброю замість обчислення? Я піднімаю це питання, тому що я десь прочитав рядок " -calculus - не обчислення, а алгебра" (iirc, приписуваний Дані Скотту). У чому сенс? Дякую.λλλ\lambdaλλ\lambda

2
Експонати для музею обчислювальної техніки
Усі музеї та експонати, пов'язані з комп’ютером, я знаю, здається, лише висвітлюють історію обчислювальної техніки, але нічого не стосується тем інформатики. Ви берете участь у створенні нового Музею обчислювальної техніки, який заручається для навчання, розваг та натхнення широкої громадськості у широкому спектрі обчислень / інформатики / комунікацій / математики. Хоча …

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

2
Масовий онлайн-співпраця для вирішення відкритої проблеми в теоретичній інформатиці
У проектах Polymath велика група працює над відкритою проблемою. Які проблеми, здається, найкраще працюють у цьому контексті? Чи є хороші кандидати на проект поліматематики з теоретичної інформатики? Чи є якісь перешкоди, які роблять проекти «Полімат» меншими шансами досягти успіху в теоретичній інформатиці порівняно з іншими напрямами математики?

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

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

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

2
Чи загалом криптологи відштовхують лінійні регістри зрушень зворотного зв'язку?
Катц і Лінделл в своїй книзі згадують, що ЛФСР були жахливими як основа для генераторів псевдовипадкових випадків, і виступають за те, щоб вони більше не використовувались (ну вони також рекомендують людям використовувати блокові шифри замість шифрів потоку). Але я бачу, наприклад, що один із шифрів у портфелі естрімів ( Зерно …

Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.