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

Припустимо , у мене є граф з на (невідомо) набір зроблене паросполучення . Припустимо, цей набір не порожній, тоді наскільки складно вибірково рівномірно вибирати ? Що робити, якщо я добре з розподілом, близьким до рівномірного, але не зовсім рівномірним, то чи є ефективний алгоритм?GGGM(G)M(G)M(G)GGGM(G)M(G)M(G)

13 algorithms  complexity-theory  matching  sampling 

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

13 complexity-theory  computability  terminology  turing-machines  complexity-classes 

Це моє перше повідомлення після того, як деякий час був пасивним користувачем. Я хотів би задати деякі питання, якщо можна. Я не математик, але моє питання стосується галузі математики / інформатики. Зокрема, проблема P vs NP. Я знаю, що це проблема, яку елітні професіонали ще не змогли вирішити ... Незалежно, …

13 complexity-theory  p-vs-np 

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

13 algorithms  complexity-theory  number-theory 

Я задавав подібне запитання на cstheory.SE . Відповідно до цієї відповіді на Stackoverflow існує алгоритм, який на не ледачому чистому функціональному мові програмування має складність , тоді як той самий алгоритм в імперативному програмуванні - Ω ( n ) . Додавання лінивості до мови FP зробило б алгоритм Ω ( …

13 complexity-theory  lambda-calculus  functional-programming  turing-completeness 

Розглянемо наступну версію проблеми Clique, де вхід має розмір і нам пропонується знайти клік розміром k . Обмеження полягає в тому, що процедура прийняття рішення не може змінити вхідний графік на будь-яке інше подання і не може використовувати будь-яке інше представлення для обчислення своєї відповіді, крім log ( n k …

13 complexity-theory  time-complexity 

Проблема 3-Перегородки запитує , є чи набір цілих чисел може бути розділена на набори з трьох чисел таким чином, що кожен набір сум до деяких заданих цілого числа . Проблема врівноваженого розділу запитує, чи можна цілих чисел розділити на два рівні множини кардинальності, щоб обидва набори мали однакову суму. Обидві …

13 complexity-theory  reductions  np-complete 

Проблема після кореспонденції (PCP) не може бути вирішена. Обмежена версія PCP є -повне і відзначений варіант PCP (слова одного з двох списків повинні відрізнятися в першому листі) в [1].P S P A C EН ПNP\mathrm{NP}P S P A C EPSPACE\mathrm{PSPACE} Чи використовуються ці обмежені версії для доведення деяких складних результатів …

13 complexity-theory  computability  reference-request 

Загальновідома проблема SAT тут визначена для довідок. Проблема DOUBLE-SAT визначається як DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}\qquad \mathsf{DOUBLE\text{-}SAT} = \{\langle\phi\rangle \mid \phi \text{ has at least two satisfying assignments}\} Як ми можемо довести, що він є повним NP? Буде оцінено не один спосіб …

13 complexity-theory  np-complete  satisfiability 

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

13 complexity-theory  computer-architecture  power-consumption  machine-models 

З того, що я прочитав у preliminary version of a chapter of the book “Lectures on Scheduling” edited by R.H. M¨ohring, C.N. Potts, A.S. Schulz, G.J. Woeginger, L.A. Wolsey, to appear around 2011 A.D. Це визначення PTAS : Поліноміальна схема наближення часу ( PTAS ) для задачі - це схема …

13 algorithms  complexity-theory  terminology  complexity-classes  approximation 

У чому полягає складність MIN-2-XOR-SATMIN-2-XOR-SAT\text{MIN-2-XOR-SAT} та MAX-2-XOR-SATMAX-2-XOR-SAT\text{MAX-2-XOR-SAT} ? Вони в Р? Вони NP-жорсткі? Точніше формалізувати це, нехай Φ(x)=∧niCi,Φ(x)=∧inCi,\Phi\left(\mathbf x\right)={\huge\wedge}_{i}^{n}C_i, де x=(x1,…,xm)x=(x1,…,xm)\mathbf{x} = (x_1,\dots,x_m) і кожен пункт CiCiC_i має вигляд (xi⊕xj)(xi⊕xj)(x_i \oplus x_j) або (xi⊕¬xj)(xi⊕¬xj)(x_i \oplus \neg x_j) . Завдання 2-XOR-SAT2-XOR-SAT\text{2-XOR-SAT} полягає у знаходженні призначення xx\mathbf{x} яке задовольняє ΦΦ\Phi . Ця …

13 complexity-theory  optimization  np-hard  satisfiability 

Я читав про NPC та його взаємозв'язку з PSPACE, і хочу знати, чи можна вирішити проблеми NPC детерміновано за допомогою алгоритму з найгіршим випадком поліноміального простору, але, можливо, приймаючи експоненціальний час (2 ^ P (n), де P - поліном). Більше того, чи можна це взагалі узагальнити до EXPTIME ? Причина, …

12 complexity-theory  np-complete  np 

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

12 complexity-theory  polynomial-time  efficiency 

Або: чи потрібен нам Руперт, щоб взагалі отримати подарунки? Проблеми з маршрутизацією в сторону Санта стикається з такою проблемою (багато, багато разів): Враховуючи мішок місткістю і набір подарунків , кожен розміром , він хоче зробити дітей щасливими. З усіх списків він знає, що дочірні значення присутні саме .CCC{p1,…,pn}{p1,…,pn}\{p_1, \dots, p_n\}sisis_i{c1,…,ck}{c1,…,ck}\{c_1, …

12 algorithms  complexity-theory  optimization  packing