Запитання з тегом «cc.complexity-theory»

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

22 cc.complexity-theory  reference-request  time-complexity  factoring  encoding 

Цікаво, чи є обґрунтування вважати, що або вірити, що ?N L ≠ LNL=LNL=LNL=LNL≠LNL≠LNL\neq L Відомо, що . В літературі по derandomization з досить переконливо , що . Хтось знає про якісь статті чи ідеї, які переконують, що ? R L R L = L N L ≠ LNL⊂L2NL⊂L2NL \subset L^2RLRLRLRL=LRL=LRL=LNL≠LNL≠LNL\neq …

22 cc.complexity-theory  reference-request  complexity-classes  space-bounded 

Якщо проблема є NP-жорсткою (використовуючи скорочення поліноміального часу), чи означає це, що вона є P-жорсткою (з використанням журнального простору або скорочення NC)? Начебто інтуїтивно зрозуміло, що якщо це так важко, як і будь-яка проблема в NP, це має бути настільки ж важко, як і будь-яка проблема в P, але я …

22 cc.complexity-theory  np-hardness 

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

22 cc.complexity-theory  graph-theory  np-hardness 

У складі обчислювальної складності лінійної оптики ( ECCC TR10-170 ) Скотт Ааронсон та Алекс Архипов стверджують, що якщо квантові комп'ютери можуть бути ефективно змодельовані класичними комп'ютерами, то поліноміальна ієрархія руйнується до третього рівня. Мотивуюча проблема - вибірка з розподілу, визначеного лінійно-оптичною мережею; цей розподіл може бути виражений як постійний певної …

22 cc.complexity-theory  quantum-computing 

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

22 cc.complexity-theory  big-picture  physics 

Це питання є подальшим запитанням щодо алгоритмів ДНК, заданих Аадітою Мехра . У коментарях до цього, Джо Фіцсіммонс сказав частково: [T] він радіус системи повинен масштабуватися пропорційно масі, щоб уникнути цього. Обчислювальна потужність масштабується не більше лінійно в масі. Таким чином, ваша експоненціальна кількість техніки має експоненціальний радіус. Оскільки ви …

22 cc.complexity-theory  quantum-computing  ne.neural-evol  physics  natural-computing 

Що відомо про часову складність наступної проблеми, яку ми називаємо 3-MUL? Беручи під увагу безліч з цілих чисел, існують елементи таким чином, що ?n a , b , c ∈ S a b = cSSSnnna,b,c∈Sa,b,c∈Sa,b,c\in Sab=cab=cab=c Ця проблема схожа на задачу 3-SUM, яка запитує, чи є три елементи такі, що …

22 cc.complexity-theory  ds.algorithms  time-complexity 

Початкова теорема недетермінованої ієрархії часу обумовлена Куком (посилання на С. Кука, Ієрархія недетермінованої часової складності , JCSS 7 343–353, 1973). У теоремі зазначається, що для будь-яких дійсних чиселr1r1r_1 і r2r2r_2 , якщо 1≤r1<r21≤r1<r21 \le r_1 \lt r_2 то NTIME ( nr1nr1n^{r_1} ) суворо міститься в NTIME ( nr2nr2n^{r_2} ). В …

22 cc.complexity-theory  nondeterminism  time-hierarchy 

Скотт Ааронсон запропонував цікавий виклик : чи можемо ми сьогодні використовувати суперкомп'ютери для вирішення проблем з КС таким же чином, як фізики використовують великі колайдери? Більш конкретно, моя пропозиція полягає в тому, щоб присвятити деяку частину світової обчислювальної спроби всебічній спробі відповісти на такі питання: чи потрібно для обчислення постійної …

22 cc.complexity-theory 

Точне формулювання заголовка пояснюється Анандом Кулкарні (який запропонував створити цей сайт). Це питання було задано як приклад питання, але мені шалено цікаво. Я дуже мало знаю про алгебраїчну геометрію, і насправді також маю лише короткий, студентський розуміння перешкод, що виникають у питанні P / poly проти NP (нерелятивізуючий, не алгебразуючий, …

22 cc.complexity-theory  np-hardness  lower-bounds  gct  barriers 

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

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

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

21 cc.complexity-theory  ds.algorithms  np-hardness 

Загальновідомо, що наступна проблема є повною для PSPACE: За умови регулярного виразу , чи ?ββ\betaL ( β) = Σ∗L(β)=Σ∗L(\beta) = \Sigma^* А як щодо визначення еквівалентності іншим (нерухомим) регулярним виразам ?αα\alpha За умови регулярного вираження , чи ?ββ\betaL ( β) = L ( α )L(β)=L(α)L(\beta) = L(\alpha) Відомо наступне: Для …

21 cc.complexity-theory  automata-theory  regular-expressions  pspace 

Чи є якась природна проблема в P, для якої найвідоміший зв'язаний час виконання має вигляд , де - ірраціональна константа?О ( н.)α)O(nα)O(n^\alpha)αα\alpha

21 cc.complexity-theory  time-complexity  polynomial-time