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

Проблему рішення CNF-SAT можна описати так: Вхідні дані: булева формула у сполучній нормальній формі.ϕϕ\phi Питання: Чи існує змінне призначення, яке задовольняє ?ϕϕ\phi Я розглядаю декілька різних підходів до вирішення CNF-SAT з недетермінованою двосмуговою машиною Тюрінга . Я вважаю, що існує NTM, який вирішує CNF-SAT в кроках.n⋅poly(log(n))n⋅poly(log⁡(n))n \cdot \texttt{poly}(\log(n)) Запитання: Чи …

19 time-complexity  sat  turing-machines  np  nondeterminism 

Я намагаюся вирішити конкретну проблему, і я подумав, що, можливо, вдасться вирішити її за допомогою теорії автомати. Мені цікаво, які моделі автоматів мають обмежувальний вміст, який можна вирішити в поліноміальний час? тобто якщо у вас є машини M1,M2M1,M2M_1, M_2 ви можете перевірити, чи ефективно L(M1)⊆L(M2)L(M1)⊆L(M2)L(M_1) \subseteq L(M_2) . Очевидними з …

18 fl.formal-languages  automata-theory  time-complexity  polynomial-time  decidability 

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

18 ds.algorithms  big-list  time-complexity 

Чи можливо алгоритмічно перевірити, чи є обчислюване число раціональним чи цілим? Іншими словами, чи можливо бібліотеці, яка реалізує обчислювані числа, надавати функції isIntegerабо isRational? Я здогадуюсь, що це неможливо, і що це якимось чином пов'язане з тим, що неможливо перевірити, чи є два числа рівними, але я не бачу, як …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Яка складність (на стандартній цілочисленній ОЗУ) обчислення стандартного дискретного перетворення Фур'є вектора з nnn цілих чисел? Класичний алгоритм швидких перетворень Фур'є , невідповідно [1] приписуваний Кулі та Тукі, зазвичай описується як запущений в O(nlogn)O(nlog⁡n)O(n \log n) час. Але більшість арифметичних операцій, виконаних у цьому алгоритмі, починаються зі складних nnn х …

18 ds.algorithms  time-complexity  computing-over-reals  computable-analysis 

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

18 cc.complexity-theory  reference-request  time-complexity  query-complexity 

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

16 reference-request  time-complexity  sorting 

Враховуючи дві матриць A і B , задача вирішити, чи існує перестановна матриця P така, що B = P - 1 A P еквівалентна (Графічний ізоморфізм). Але якщо ми розслабимо P як просто обернену матрицю, то яка складність? Чи існують якісь інші обмеження на обертову матрицю P , окрім перестановки, …

16 ds.algorithms  time-complexity  linear-algebra  matrices  graph-isomorphism 

Чи є наступна проблема в PTIME або hard-coNP: Враховуючи два булеві вирази і e 2 у змінних x 1 , … , x n , без заперечення (тобто вирази повністю будуються через ∧ і ∨ ). Вирішіть, чи є e 1 ≡ e 2 , тобто вони мають однакове значення …

16 cc.complexity-theory  time-complexity  boolean-functions  monotone 

Я очікую, що відповідь "ні", але я фактично не міг побудувати контрприклад. Різниця полягає в тому, що в ∩ε>0DTIME(O(n2+ε))∩ε>0DTIME(O(n2+ε))∩_{ε>0} \mathrm{DTIME}(O(n^{2+ε})) ми можемо не змогти вибрати алгоритм O(n2+ε)O(n2+ε)O(n^{2+ε}) рівномірно. в εεε . За аргументом доопрацювання (наприклад, див. Це запитання ), якщо існує набір ce машин Тьюрінга MiMiM_i вирішують мову LLL таким, …

15 cc.complexity-theory  time-complexity 

Чи існує лінійний алгоритм переміщення гвинтівки на місці? Це алгоритм, який деякі особливо спритні руки здатні виконувати: рівномірно розділити вхідний масив рівного розміру, а потім переплетення елементів двох половинок. MathWorld має коротку сторінку на гвинтівці перетасовки . Зокрема, мене цікавить різновид out-shuffle, який перетворює вхідний масив 1 2 3 4 …

15 ds.algorithms  time-complexity 

З огляду на матрицю (якщо вважати ), який найшвидший алгоритм для обчислення його рангу та основи стовпців?m×nm×nm \times nm≥nm≥nm \ge n Я знаю, що це можна вирішити за допомогою лінійного перетину матроїдів, що передбачає детермінований алгоритм часу та рандомізований алгоритм часу . Чи існує алгоритм детермінованого часу , який більш …

15 ds.algorithms  reference-request  time-complexity  linear-algebra  matrices 

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

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

Я шукаю інформацію про обчислювальну складність матричного множення прямокутних матриць. У Вікіпедії зазначено, що складність множення на B ∈ R n × p є O ( m n p ) (множення шкільної книги).A∈Rm×nA∈Rm×nA \in \mathbb{R}^{m \times n}B∈Rn×pB∈Rn×pB \in \mathbb{R}^{n \times p}O(mnp)O(mnp)O(mnp) У мене є випадок, коли і n набагато менші …

14 cc.complexity-theory  time-complexity  linear-algebra  matrix-product 

Чи відомі результати, які виключають існування структур "занадто хороших, щоб бути справжніми"? Наприклад: чи можна додати функцію SplitSplitSplit та JoinJoinJoin до структури даних щодо обслуговування замовлень (див. Dietz і Sleator STOC '87 ) і все-таки отримати операції O(1)O(1)\mathcal{O}(1) ? Або: чи можна реалізувати впорядкований набір з цілими клавішами та операціями …

14 ds.data-structures  big-list  lower-bounds  time-complexity