Вопросы с тегом «complexity-theory»

Предположим , у меня есть граф с M ( G ) на (неизвестно) набор совершенных паросочетаний G . Предположим, что это множество не пустое, тогда как трудно выбрать равномерно случайную выборку из M ( G ) ? Что если я в порядке с распределением, близким к равномерному, но не совсем …

13 algorithms  complexity-theory  matching  sampling 

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

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

Это мой первый пост после пассивного использования в течение некоторого времени. Я хотел бы задать несколько вопросов, если можно. Я не математик, но мой вопрос относится к области математики / информатики. В частности, проблема P против NP. Я знаю, что это проблема, которую элитные профессионалы еще не смогли решить ... …

13 complexity-theory  p-vs-np 

Брюинье и Оно нашли алгебраическую формулу для функции разбиения , которая, как сообщалось, была прорывом. Я не могу понять статью, но имеет ли она какие-либо алгоритмические последствия для быстрого вычисления функции разбиения?

13 algorithms  complexity-theory  number-theory 

Я задал похожий вопрос на cstheory.SE . Согласно этому ответу на Stackoverflow существует алгоритм, который на не ленивом чисто функциональном языке программирования имеет сложность , тогда как тот же алгоритм в императивном программировании - Ω ( n ) . Добавление ленивости к языку FP сделало бы алгоритм Ω ( n …

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

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

13 complexity-theory  time-complexity 

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

13 complexity-theory  computability  reference-request 

Проблема 3-Перегородка спрашивает , может ли набор из целых чисел может быть разделена на п наборов из трех чисел таким образом, что каждый набор сумм до некоторого заданного целого числа B . Задача сбалансированного разбиения спрашивает, можно ли разбить 2 n целых чисел на два одинаковых набора мощности, чтобы оба …

13 complexity-theory  reductions  np-complete 

Хорошо известная проблема 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-СБMIN-2-XOR-SAT\text{MIN-2-XOR-SAT} и MAX-2-XOR-СБMAX-2-XOR-SAT\text{MAX-2-XOR-SAT} ? Они в П? Они NP-хард? Чтобы формализовать это более точно, пусть Φ ( x ) = ∧NяСя,Φ(x)=∧inCi,\Phi\left(\mathbf x\right)={\huge\wedge}_{i}^{n}C_i, где х =( х1, … , Хм)x=(x1,…,xm)\mathbf{x} = (x_1,\dots,x_m) и каждое предложение СяCiC_i имеет вид ( хя⊕ хJ)(xi⊕xj)(x_i \oplus x_j) или ( хяX ¬ xJ)(xi⊕¬xj)(x_i \oplus …

13 complexity-theory  optimization  np-hard  satisfiability 

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

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, \dots, c_k\} счастливыми. Он знает из всех списков желаний, что …

12 algorithms  complexity-theory  optimization  packing