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

Протягом багатьох років я звик бачити, що багато теорем TCS було доведено за допомогою дискретного аналізу Фур'є. Перетворення Уолша-Фур'є (Адамара) корисне практично у кожному підполі TCS, включаючи тестування властивостей, псевдовипадковість, складність зв'язку та квантові обчислення. Хоча мені було зручно використовувати аналіз Фур’є булевих функцій як дуже корисний інструмент, коли я …

60 soft-question  boolean-functions  fourier-analysis 

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

59 soft-question  open-problem  dfa 

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

59 soft-question  research-practice  writing 

Це питання я щось замислювався. Коли люди описують проблему P проти NP, вони часто порівнюють клас NP з творчістю. Вони зазначають, що скласти симфонію якості Моцарта (аналогічну задачі НП) здається набагато важче, ніж перевірити, що вже складена симфонія має якість Моцарта (що є аналогом завдання Р). Але чи справді НП …

59 cc.complexity-theory  complexity-classes  soft-question 

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

59 soft-question  career  advice-request 

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

58 soft-question  conferences  journals 

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

55 soft-question  big-list  research-practice  writing 

Це моє перше питання на цьому сайті. Я беру магістерський курс з теорії обчислень. Як би ви пояснили проблему P = NP 10-річній дитині і чому вона має таку грошову винагороду? Ваш взяти? Я оновлю це питання, коли моя голова стане зрозумілою.

54 cc.complexity-theory  soft-question  teaching  p-vs-np 

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

53 soft-question 

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

51 big-list  soft-question 

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

50 soft-question  big-list 

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

47 cc.complexity-theory  soft-question  research-practice 

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

47 ds.algorithms  soft-question  lo.logic  proofs 

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

46 soft-question  writing 

Сьогодні Райан Вільямс опублікував статтю про arXiv (раніше з'являвся в SIGACT News), що містить менш технічну версію його недавньої методики нижньої межі ACC . Моє запитання не про саму техніку (звичайно, гідну величезної похвали), а про стиль статті. У рефераті він пише: Доказ буде описано з точки зору того, хто …

44 soft-question  big-list