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

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

11 cc.complexity-theory  reference-request  soft-question  computability 

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

11 reference-request  soft-question 

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

11 soft-question  research-practice 

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

11 soft-question  machine-learning  linear-algebra  db.databases 

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

11 soft-question  big-list  proofs  automated-theorem-proving 

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

11 soft-question 

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

11 soft-question  career 

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

11 soft-question  lambda-calculus 

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

11 soft-question  big-list  ho.history-overview 

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

11 sat  soft-question  proofs 

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

11 soft-question  open-problem  research-practice 

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

10 soft-question  advice-request 

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

10 soft-question  advice-request  research-practice 

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

10 reference-request  soft-question  dc.parallel-comp  survey 

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

10 soft-question  cr.crypto-security  pseudorandom-generators