Запитання з тегом «big-picture»

Чи правильно я розумію, що доведення проблеми НП є результатом дослідження? Якщо так, чому?

18 cc.complexity-theory  np-hardness  big-picture 

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

17 big-picture 

Тизер Оскільки проблема довга, тут є особливий випадок, який охоплює її суть. Проблема: Нехай A є детермінованим алгоритмом для 3-SAT. Чи є проблема повного моделювання алгоритму А (на кожному екземплярі проблеми). P-Space важко? (Точніше, чи є підстави вважати, що це завдання є важким P-Space, чи щось у цьому напрямку випливає …

17 cc.complexity-theory  big-picture  structural-complexity 

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

17 randomness  big-picture  randomized-algorithms 

Фон . Я студент бакалавра, який цікавиться дослідженнями, пов'язаними з теорією категорій, монадами та Хаскеллом, і хочу знайти тему моєї дипломної роботи в цій галузі. Я подивився на папір Євгеніо Моджі , " Поняття обчислень і монад ", 1991, і я ще цього багато чого не розумію. Мені, мабуть, знадобиться …

17 reference-request  pl.programming-languages  big-picture  ct.category-theory  monad 

Мене завжди інтригує відсутність чисельних доказів експериментальної математики для або проти питання П проти НП. Хоча в гіпотезі Рімана є деякі підтверджуючі докази чисельної перевірки, я не знаю аналогічних доказів щодо питання Р проти НП. Крім того, мені невідомі будь-які прямі наслідки фізичного світу існування нерозв'язних проблем (або існування нерозбірливих …

15 cc.complexity-theory  soft-question  big-picture  experimental 

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

14 reference-request  computability  big-picture 

Який клас складності пов'язаний з вичерпними алгоритмами пошуку? (якщо є) Це NP чи PSPACE? Чи існують обмежені моделі обчислень, що фіксують клас вичерпних алгоритмів пошуку, схожих на моделі жадібного та динамічного програмування?

14 cc.complexity-theory  ds.algorithms  reference-request  big-picture  machine-models 

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

14 ds.algorithms  reference-request  big-picture  ar.hardware-architecture 

Перше моє запитання - чи відома інтерактивна характеристика системи доказів для всіх класичних класів складності. Я б назвав P, NP, PSPACE, EXP, NEXP, EXPSPACE, рекурсивні та рекурсивно перелічені функції класичні (серед інших). Зокрема, чи відома інтерактивна характеристика системи доказування рекурсивних та рекурсивно перелічуваних функцій? Я знаю лише, що IP = …

14 cc.complexity-theory  big-picture  interactive-proofs 

Мені здається, що теоретики більшості складності взагалі вважають таке філософське правило: Якщо ми не можемо з'ясувати , ефективний алгоритм для задачі , і ми можемо звести задачу до задачі , тобто , ймовірно, не ефективний алгоритм для задачі , або.AАAAАAAВБBBБBB Ось чому, наприклад, коли нову проблему доведено NP-Complete, ми просто …

14 cc.complexity-theory  big-picture  reductions 

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

14 cc.complexity-theory  reference-request  soft-question  big-picture 

Я читав про інтуїціоністичну теорію типу (ІТТ), і це має сенс. Але те, що я намагаюся зрозуміти, це "чому" це було створено в першу чергу? Інтуїціоністична логіка (IL) та просто типізована -calculus (STLC) та теорія типів взагалі передують самому існуванню самого Мартіна-Лефа! Здається, що можна зробити все в STLC, що …

13 lo.logic  soft-question  type-theory  big-picture  ho.history-overview 

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

13 soft-question  big-list  big-picture  teaching 

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

13 big-picture