Запитання з тегом «np»

Parity-P - це набір мов, розпізнаваний недетермінованою машиною Тьюрінга, який може розрізняти лише парне чи непарне число шляхів "прийняття" (а не нульове чи не нульове число шляхів прийняття). Таким чином Паритет-P в основному PP хирлявий молодший брат «s: в той час як ППИ розраховують ледве не число прінімающіхов траєкторій NP-машина …

18 cc.complexity-theory  complexity-classes  np 

Мережевий комутатор (назва придумано) виконаний з трьома типами вузлів: один пусковий вузол один кінцевий вузол один або кілька вузлів комутації Вузол комутації має 3 виходи: вліво, вгору, вправо; має два стани L і R і цільовий стан TL або TR . Кожен перемикач можна пройти за допомогою наступних правил: завжди …

17 ds.algorithms  reference-request  graph-algorithms  np 

Нехай 0≤p≤10≤p≤10\le p\le 1 і розглянемо проблему рішення CLIQUE p Введення: ціле число s , графік G з t вершинами та ребрами Питання: чи містить кліку принаймні вершин?pp_p sssGGGttt⌈p(t2)⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceil GGGsсs Екземпляр CLIQUE містить пропорцію з усіх можливих ребер. Очевидно CLIQUE легко для деяких значень . CLIQUE містить лише …

17 cc.complexity-theory  np  parameterized-complexity  clique 

Я читав, що цілолінійне лінійне програмування розв’язується в поліномінальному часі, якщо фіксовано число змінних, тобто . Якщо кількість змінних зростає логарифмічно, тобто для заданого вводу розміру , проблема все ще вирішується в поліномінальний час або це відкрита проблема?ннnn ∈ O ( 1 )н∈О(1)n \in O(1)n ∈ O ( лог2( N) …

16 cc.complexity-theory  np  open-problem 

З точки зору суто абстрактних математичних / обчислювальних міркувань, (як) можна навіть виявити або обґрунтувати такі проблеми, як 3-SAT, сума підмножин, продавець подорожей тощо.? Чи могли б ми навіть міркувати про них будь-якими змістовними способами лише з функціональної точки зору? Це було б можливо навіть? Я роздумував над цим питанням …

15 soft-question  lambda-calculus  turing-machines  functional-programming  np 

FewP - клас NPNPNP -проблем з поліномом, пов'язаним кількістю рішень (у вхідному розмірі). Там немає ніякого відомого NPNПNP -повний проблеми в fewPfешПfewP . Мене цікавить, як далеко ми можемо розтягнути це спостереження. Чи існує якась природна NPNПNP -повна проблема з квазіполіноміальною верхньою кількістю рішень (свідків)? Чи існує загальновизнана думка, яка …

15 cc.complexity-theory  np 

Чи існує , NP- або P-повна мова, яка має якесь сімейство груп симетрії G n (або grouppoid , але тоді алгоритмічні запитання стають більш відкритими), що діють (у поліноміальний час) на множини L n = { l ∈ L ∣ | l | = n } таких, що орбіт мало, …

14 np  algebra  gr.group-theory  complexity  symmetry 

У коментарі в іншому повідомленні cstheorySE зазначається, що повнота PSPACE передбачає твердість APX. Чи може хто-небудь пояснити / поділитися посиланням на це? Це "тісно"? (тобто, чи є проблеми, повні PSPACE, проблема оптимізації яких передбачає постійне наближення фактора в полі час?) Як щодо повноти для деякого рівня PH? Чи означає це …

14 cc.complexity-theory  approximation-algorithms  approximation-hardness  np  pspace 

Теорема Райса стверджує, що кожна нетривіальна властивість множини, визнаної деякою машиною Тьюрінга, не може бути визнана. Я шукаю теоретико-теоретичну складність теореми типу Риса, яка говорить нам, які нетривіальні властивості множин NP є непереборними.

14 cc.complexity-theory  computability  np 

Ось проблема: У нас є квадрат з деякими числами від 1..N в деяких клітинках. Потрібно визначити, чи можна її завершити до чарівного квадрата. Приклади: 2 _ 6 2 7 6 _ 5 1 >>> 9 5 1 4 3 _ 4 3 8 7 _ _ 9 _ _ >>> …

13 cc.complexity-theory  np-hardness  np  puzzles 

Питання виникло у мене, коли я отримую відповідь Дани Мошковіц на іншу тему . Нехай LLL - мова NP , а RLRLR_L - відповідне відношення NP . Ми знаємо, що існує такий поліном ppp , що: ∀x∈L,,∃w∈0,1p(|x|)(x,w)∈RL∀x∈L,,∃w∈0,1p(|x|)(x,w)∈RL\forall x \in L, \\, \exists w \in \\{0,1\\}^{p(|x|)} \quad (x,w) \in R_L Вищенаведене …

13 cc.complexity-theory  np 

Припустимо, P NP.≠≠\ne Теорема Ладнера говорить, що існують проміжні проблеми NP (проблеми в NP, які відсутні ні в P, ні в NP). В Інтернеті я знайшов кілька завуальованих посилань, які підказують (я думаю) про те, що в NPI існує багато "рівнів" взаємно зворотних мов, які точно не всі згортаються в …

13 cc.complexity-theory  np  np-intermediate 

У цій лекційній записці Оли Свенссон: http://theory.epfl.ch/osven/courses/Approx13/Notes/lecture4-5.pdf сказано, що ми не знаємо, чи є Евклідова TSP в NP: Причина в тому, що ми не знаємо, як ефективно обчислити квадратні корені. З іншого боку, цей документ Пападімітріу: http://www.sciencedirect.com/science/article/pii/0304397577900123 говорить про те, що він є NP-завершеним, що також означає, що він знаходиться …

12 np  tsp  computing-over-reals 

Чи існують повні (або навіть NP-жорсткі, або NP) проблеми NP, які мають хороші топологічні властивості для вивчення. Чи мають проблеми НП вузлові теоретичні формулювання? Ми знаємо про результати # щодо полінома Джонса. Проблеми з графіком (вбудовування?), Зокрема розмальовки графіків, мають вигляд теоретичних властивостей вузлів. Це питання відкритого типу, і будь-які …

12 ct.category-theory  np 

Властивість графа називається спадковою, якщо вона закрита щодо видалення вершин (тобто всі індуковані підграграфи успадковують властивість). Властивість графа називається аддитивною, якщо вона закрита щодо прийняття роз'єднаних спілок. Не важко знайти властивості, які є спадковими, але не добавками. Два простих прикладу: \;\;\; (1) Графік закінчений. \;\;\; (2) Графік не містить двох …

12 cc.complexity-theory  graph-theory  graph-algorithms  np