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

1-тьмяний алгоритм Вейсфейлер-Леман (WL) широко відомий як канонічна маркування або алгоритм , кольору уточнення. Він працює наступним чином: Початкове забарвлення є рівномірним, C 0 ( v ) = 1 для всіх вершин v ∈ V ( G ) ∪ V ( H ) .С0С0C_0С0( v ) = 1С0(v)=1C_0(v) = 1v …

15 cc.complexity-theory  graph-theory  graph-isomorphism  logspace 

Преамбула. Клас складності AM - це ті задачі, які можна вирішити двокруглою інтерактивною системою доказування між доказом "Мерлін" та верифікатором "Артур". Проблема - яка тестує деяку властивість об'єкта X - полягає в AM, якщо: Для випадків ТАК для випадкового повідомлення про "виклик" (поліномальної довжини) Артур генерує, з великою часткою ймовірності, …

15 cc.complexity-theory  interactive-proofs  unique-solution 

Розглянемо наступну проблему: Вхід : гіперплощина H = { y ∈ R n : a T y = b }H={y∈Rn:aTy=b}H = \{ \mathbf{y} \in \mathbb{R}^n: \mathbf{a}^T\mathbf{y} = {b}\} , задана векторами a ∈ Z na∈Zn\mathbf{a} \in \mathbb{Z}^n і b ∈ Zb∈Zb \in \mathbb{Z} у стандартному бінарному поданні. x ∈ Z …

15 cc.complexity-theory  optimization  linear-algebra  integer-lattice 

Це питання тісно пов'язане з іншою посадою: Фазові переходи у важких проблемах НП, але дещо інакше. Хоча це питання стосується твердості окремих випадків важких проблем НП, це стосується ранжування складності тих же випадків. Існує багато бібліографії щодо ефекту, відомого як фазовий перехід . Зокрема, для випадкових формул 3-SAT у кон'юнктивній …

15 cc.complexity-theory  np-hardness  sat 

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

15 cc.complexity-theory  ds.algorithms  complexity-classes 

Проблема обслуговування замовлення (або "підтримка порядку в списку") полягає в підтримці операцій: singleton: створює список з одним елементом, повертає на нього вказівник insertAfter: дається вказівник на елемент, вставляє після нього новий елемент, повертаючи вказівник на новий елемент delete: надавши вказівник на елемент, видаляє його зі свого списку minPointer: надавши два …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

Набір ударів сімейства - це підмножина H of ⋃ n i = 1 S i така, що H ∩ S i ≠ ∅ при 1 ≤ i ≤ n . Проблема знайти мінімальний набір наборів для даної родини загалом є важкою, оскільки вона узагальнює проблему покриття вершин. Тепер моє питання:S= …

15 cc.complexity-theory  np-hardness  approximation-hardness 

Як всім відомо, відома книга Гарі та Джонсона (та багато інших) є чудовим посиланням на техніку відновлення в класичній обстановці. Чи є опитування чи книги з теми скорочення техніки в параметризованому алгоритмі, скажімо, скорочення fpt?

15 cc.complexity-theory  reference-request  reductions  parameterized-complexity 

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

15 cc.complexity-theory  reference-request  complexity-classes  lo.logic  proof-complexity 

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

15 cc.complexity-theory  lower-bounds 

Моє запитання є загальним: як я починаю мислити з точки зору проектування та складності алгоритму? Я збираюся пройти аспірантуру з дизайну алгоритмів. Я записався на нього раніше, але пізніше відмовився, бо не міг не відставати від цього. Я маю сприймати цей курс як вимогу. Чи є "фокус" мислити таким чином? …

15 cc.complexity-theory  ds.algorithms  soft-question  advice-request  research-practice 

Мене цікавить генерація псевдовипадкових чисел для криптографії. Крім глави 5 Менезів / Оршот / Ванстоун ; Глава 8 Стінсона ; і глава 3 Голдрейха , де ще я можу знайти більше? Мене цікавлять загальні принципи розробки PRNG (бажані властивості, тести тощо).

15 cc.complexity-theory  reference-request  pseudorandomness 

Нехай і y два двійкові числа з n бітами і z = x ⋅ y двійкове число (довжина 2 n ) добутку x і y . Ми хочемо обчислити найбільш значущий біт z 2 n - 1 добутку z = z 2 n -ххxууyннnz= x ⋅ y z=х⋅у z = …

15 cc.complexity-theory  binary-decision-diagrams 

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

15 cc.complexity-theory  circuit-complexity  algebraic-complexity 

Забарвлення кубних графіків 3-краєвим є -комплектним. Теорема чотирьох кольорів еквівалентна "Кожен кубічний плоский графік без мостів є кольоровим у 3 краї".NPNPNP У чому полягає складність 3-реберного забарвлення кубічних плоских графіків? Крім того, можна припустити, що фарбування краю є N P- твердим для плоских графіків з максимальним ступенем Δ ∈ {4,5}.ΔΔ\DeltaNPNPNPΔ∈Δ∈\Delta …

15 cc.complexity-theory  graph-theory  np-hardness  graph-colouring