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

Запитання, що стосуються (обчислювальної) складності розв’язання задач

1
Чи виявлення «подвійних» арифметичних прогресій 3SUM-жорстке?
На це надихає питання інтерв'ю . Нам дається масив цілих чисел і ми повинні визначити, чи є чіткі такі, що i < j < ka1,…,ana1,…,ana_1, \dots, a_ni<j<ki<j<ki \lt j \lt k ak−aj=aj−aiak−aj=aj−aia_k - a_j = a_j - a_i k−j=j−ik−j=j−ik - j = j - i тобто послідовності і обидва знаходяться …
3
Наскільки важко знайти дискретний логарифм?
Дискретний логарифм такого ж , як знаходження в , дан , і .bbbab=cmodNab=cmodNa^b=c \bmod Nc NaaacccNNN Мені цікаво, у яких групах складності (наприклад, для класичних та квантових комп’ютерів) це і які підходи (тобто алгоритми) найкращі для виконання цього завдання. Наведене вище посилання на вікіпедію насправді не дає дуже конкретних умов …
3
Проблеми в P із виразно швидшими рандомізованими алгоритмами
Чи є в якісь проблеми, які мають рандомізовані алгоритми, що долають нижчі межі детермінованих алгоритмів? Більш конкретно, чи ми знаємо будь-який для якого ? Тут \ mathsf {PTIME} (f (n)) означає набір мов, які можна визначити рандомізованою TM з постійною обмеженою (одно- або двосторонньою) помилкою на f (n) кроках.ПP\mathsf{P}кkkP T …
2
Як масштабувати результати паралельної складності до багатьох ядер?
У мене виникли проблеми з прийняттям теоретичного уявлення про складність «ефективного рішення паралельного алгоритму», яке задається класом NC : NC є класом проблем , які можуть бути вирішені з допомогою паралельного алгоритму під час O(logcn)O(logc⁡n)O(\log^cn) на p(n)∈O(nk)p(n)∈O(nk)p(n) \in O(n^k) процесори з c,k∈Nc,k∈Nc,k \in \mathbb{N} . Ми можемо припустити ПРАМ . …
3
ПОЛІ КЛІК - NP Повна проблема
Дозвольте розпочати, зазначивши, що це проблема домашнього завдання. Будь ласка, надайте лише поради та відповідні спостереження, НЕ Прямих відповідей, будь ласка . З урахуванням сказаного, ось проблема, на яку я дивлюся: Нехай HALF-CLIQUE = { | - це непрямий графік, що має повний підграф з принаймні вузлами, де n - …
3
Розширення захоплення SQL
Згідно з Іммерманом , клас складності, пов'язаний із SQL- запитами, є саме класом безпечних запитів у Q(FO(COUNT))Q(FO(COUNT))\mathsf{Q(FO(COUNT))} (запити першого порядку плюс оператор підрахунку): SQL фіксує безпечні запити. (Іншими словами, всі запити SQL мають складність у Q(FO(COUNT))Q(FO(COUNT))\mathsf{Q(FO(COUNT))} , а всі проблеми - у Q(FO(COUNT))Q(FO(COUNT))\mathsf{Q(FO(COUNT))} може бути виражений у вигляді SQL-запиту.) Виходячи …
7
Чи було б довести P ≠ NP важче, ніж довести P = NP?
Розглянемо дві можливості для задачі P проти NP: P = NP і P ≠≠\neq NP. Нехай Q є однією з відомих проблем, пов'язаних з NP. Щоб довести P = NP, нам потрібно створити єдиний багаточленний алгоритм часу для Q та довести, що A правильно вирішує Q. Щоб довести P NP, …
7
Обґрунтування нехтування постійними факторами у Big O
Багато разів, якщо складності мають постійні, такі як 3n, ми нехтуємо цією константою і говоримо O (n), а не O (3n). Я не можу зрозуміти, як ми можемо знехтувати такими трикратними змінами? Деякі речі змінюються в 3 рази швидше, ніж інші! Чому ми нехтуємо цим фактом?
2
Як довести, що матричне множення двох матриць 2х2 не може бути виконано менш ніж у 7 множеннях?
У матриці множення Страссена ми констатуємо один дивний (принаймні для мене) факт, що матричне множення двох 2 х 2 займає 7 множення. Питання: Як довести, що неможливо помножити дві матриці 2 х 2 на 6 множень? Зверніть увагу, що матриці перевищують цілі числа.
3
Чому клас NP-Complete важливий порівняно з NP-жорстким?
Я вивчаю складність обчислень і мені було цікаво, чому проблеми NP-Complete (NPC) взагалі важливий клас. Мені здається очевидним, чому ми зацікавлені в тому, щоб показати дану проблему НП важко. Я також розумію визначення NPC, і те, що показувати задану проблему рішення є важким NP, знаючи, що це в NP, саме …
2
Проблеми, які, очевидно, вимагають квадратичного часу
Я шукаю приклади проблеми, яка має нижню межу ) для введення . xΩ(|x|2Ω(|x|2\Omega(|x|^2xxx Проблема повинна мати такі властивості: Ω(n2)Ω(n2)\Omega(n^2) доказ виконання для будь-якого алгоритму - першочерговим завданням є якомога простіший аргумент нижньої межі. O(n2)O(n2)O(n^2)Алгоритм , якщо можливо, також простий. Розмір (або менший). Очевидно, що будь-яка проблема, яка вимагає подовженого виводу, …
2
Чи можна проявити твердість NP завдяки зменшенню Тюрінга?
У статті Складність проблеми Фробеніуса Раміреса-Альфонсіна було доведено, що проблема є NP-повною за допомогою скорочень Тьюрінга. Це можливо? Як саме? Я подумав, що це можливо лише за багаточленного часу на одне скорочення. Чи є посилання на це? Чи існують два різних поняття твердості NP, навіть NP-повноти? Але потім я розгублений, …
1
Проблема рішення така, що будь-який алгоритм допускає експоненціально швидший алгоритм
У « Алгоритміці Громковича для важких проблем» (2-е видання) є ця теорема (2.3.3.3, стор. 117): Існує (вирішальна) проблема рішення така, що для кожного алгоритму який вирішує існує інший алгоритм який також розв'язує і додатково виконуєA P A ′ PПPPАAAПPPA′A′A'PPP ∀∞n∈N.TimeA′(n)=log2TimeA(n)∀∞n∈N.TimeA′(n)=log2⁡TimeA(n)\qquad \forall^\infty n \in \mathbb{N}. \mathrm{Time}_{A'}(n) = \log_2 \mathrm{Time}_A(n) An ∀ …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.