Вопросы с тегом «soft-question»

За эти годы я привык видеть много теорем TCS, доказанных с использованием дискретного анализа Фурье. Преобразование Уолша-Фурье (Адамара) полезно практически во всех подполях TCS, включая тестирование свойств, псевдослучайность, сложность связи и квантовые вычисления. Хотя мне стало удобно использовать булевский анализ Фурье как очень полезный инструмент, когда я решаю проблему, и …

60 soft-question  boolean-functions  fourier-analysis 

После изучения детерминированных конечных автоматов (DFA) в старшекурснике, я почувствовал, что они очень хорошо поняты. Мой вопрос: есть ли что-то, чего мы до сих пор не понимаем в них. Я имею в виду не обобщения ДФА, а исходные немодифицированные ДФА, которые мы изучаем в старшекурсниках. Это неопределенный вопрос, но я …

59 soft-question  open-problem  dfa 

Каковы общие рекомендации по проверке ваших доказательств? Я считаю, что это важно для аспирантов, как я. Я уже знаю, что нам нужно сделать, чтобы что-то доказать, но вам всегда нужно все проверять, прежде чем отправлять. Даже вашему собственному советнику. Я разработал некоторые стратегии методом проб и ошибок и получил много …

59 soft-question  research-practice  writing 

Этот вопрос я задавался вопросом некоторое время. Когда люди описывают проблему P против NP, они часто сравнивают класс NP с творчеством. Они отмечают, что составление симфонии качества Моцарта (аналог задачи NP) кажется намного сложнее, чем проверка того, что уже составленная симфония имеет качество Моцарта (аналог задачи P). Но действительно ли …

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

Я новичок на сайте. На mathoverflow это будет вики сообщества, но я не вижу, как это установить здесь. Не вопрос исследования, но, надеюсь, представляет интерес для профессиональных теоретических компьютерных ученых. Я студент 2-го курса по теории, и мне было интересно, что бы посоветовал сообществу в отношении того, что я должен …

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 ds.algorithms  soft-question  lo.logic  proofs 

Теория сложности - мой сильный вторичный интерес, но это не мой основной исследовательский интерес, поэтому у меня нет надежды посетить все конференции, прочитать все блоги и убедиться, что толпа «в» cc: me на каждом кусочке горячие новости. Я пытаюсь сделать что-то из этого, но мне интересно, какие методы дадут мне …

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

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

46 soft-question  writing 

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

44 soft-question  big-list