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

Які наслідки мали б доказ хибної гіпотези для тс? http://quomodocumque.wordpress.com/2012/09/03/mochizuki-on-abc/

24 big-picture  nt.number-theory 

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

24 soft-question  big-picture 

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

24 quantum-computing  big-picture 

Я читав, що спочатку Церква запропонувала обчислення як частину своїх пастулів логіки (що є чистим ). Але Клійн виявив свою "систему" непослідовною, після чого Церква витягла відповідні речі для своєї роботи про "ефективну обчислюваність" і відмовилася від своєї попередньої роботи з логіки.λλ\lambda Отже, наскільки я розумію, система і її позначення …

22 lo.logic  big-picture  lambda-calculus  ho.history-overview 

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

22 cc.complexity-theory  reference-request  big-picture  application-of-theory  worst-case 

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

22 cc.complexity-theory  big-picture  physics 

Я читав " Невже P Versus NP формально незалежний? ", Але розгубився. Широко поширена думка , в теорії складності , що . Моє запитання полягає в тому, що робити, якщо це не довести (скажімо, у Z F C ). (Припустимо, що ми тільки з'ясуємо, що P ≠ N P не …

22 cc.complexity-theory  np-hardness  big-picture  proofs  p-vs-np 

Останнім часом я почав вивчати алгоритми апроксимації для важких задач NP, і мені було цікаво теоретичні причини їх вивчення. (Питання не має бути запальним - мені просто цікаво). З вивчення алгоритмів наближення вийшла якась справді прекрасна теорія - зв’язок між теоремою PCP і твердістю наближення, гіпотеза UGC, алгоритм наближення Гомана-Вільямсона …

21 ds.algorithms  approximation-algorithms  big-picture  application-of-theory 

Мені цікаво в широкому сенсі про те, що відомо про алгоритми паралелізації в П. Я знайшов наступну статтю у Вікіпедії про цю тему: http://en.wikipedia.org/wiki/NC_%28complexity%29 Стаття містить таке речення: Невідомо, чи NC = P, але більшість дослідників підозрюють, що це помилково, це означає, що, ймовірно, є деякі простежувані проблеми, які "є …

21 cc.complexity-theory  complexity-classes  big-picture 

Обговорення : Останнім часом я приділяю деякий особистий час, вивчаючи різні речі в умовах складності спілкування. Наприклад, я ознайомився з відповідною главою в Арорі / Бараку, почав читати деякі документи і замовив книгу Кушилевіца / Нісана. Інтуїтивно, я хочу протиставити комунікаційну складність і обчислювальну складність. І зокрема, мене вражає той …

20 cc.complexity-theory  complexity-classes  big-picture  communication-complexity 

У розподілених обчисленнях проблема консенсусу, як видається, є однією з центральних тем, що привернула інтенсивні дослідження. Зокрема, документ "Неможливість розподілу консенсусу за один несправний процес" отримав 2001 р. Впливову паперову премію PODC . То чому проблема консенсусу настільки важлива? Чого ми можемо досягти консенсусом як в теорії, так і на …

19 reference-request  big-picture  dc.distributed-comp 

Оборотні обчислення - це обчислювальна модель, яка дозволяє лише термодинамічно оборотні операції. Відповідно до принципу Ландауера, який стверджує, що стираючи трохи інформації, що вивільняє джоулів тепла, це виключає функції переходу, які не є однозначними (наприклад, булеві оператори AND і OR). Добре відомо, що квантове обчислення за своєю суттю є оборотним, …

19 cr.crypto-security  quantum-computing  big-picture  physics  quantum-information 

У розділі "Вступ до мов програмування" Ентоні Ебі про семантику він робить таке зауваження: Значна частина роботи з семантики мов програмування мотивована проблемами, що виникають при спробі побудови та розуміння імперативних програм --- програм із командами призначення. Оскільки команда присвоєння переназначає значення змінним, це може мати несподівані ефекти у віддалених …

19 imperative-programming  semantics  big-picture 

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

18 co.combinatorics  big-picture 

Теорія складності, здається, охоплює щось фундаментальне у структурі Всесвіту, оскільки вона формалізує інтуїтивне уявлення про те, що деякі проблеми складніші за інші. Скотт Ааронсон передбачив : "Припущення про твердість NP зрештою буде розглядатися як аналог другого закону термодинаміки або неможливість надсвітової сигналізації". Так звані «важкі проблеми» є основою сучасної криптографії. …

18 cc.complexity-theory  soft-question  big-picture