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

Я намагаюся зрозуміти взаємозв'язок між NP-Intermediate та NP-Complete. Я знаю, що якщо P! = NP, заснований на теоремі Ладнера, існує клас мов в NP, але не в P або NP-Complete. Кожна проблема в NP може бути зведена до проблеми NP-Complete, однак я не бачив прикладів для зменшення підозрюваної проблеми NPI …

17 np-complete  reductions  factoring 

У нас є DAG. Ми маємо функцію на вузлах F:V→NF:V→NF\colon V\to \mathbb N (вільно кажучи, нумеруємо вузли). Ми хотіли б створити новий спрямований графік із цими правилами: F(x)≠F(y)⇒x′≠y′F(x)≠F(y)⇒x′≠y′F(x) \neq F(y) \Rightarrow x' \neq y'x′≠y′⇏F(x)≠F(y)x′≠y′⇏F(x)≠F(y)x' \neq y'\nRightarrow F(x) \neq F(y) Додамо всі старі ребра між новими вузлами: .(x,y)∈E∧x′≠y′⟺(x′,y′)∈E'(x,y)∈Е∧х'≠у'⟺(х',у')∈Е'(x,y) \in E \land …

15 algorithms  graphs  np-complete  reductions 

Гідоку - це сітка n×nn×nn \times n з деякими попередньо заповненими цілими числами від 1 до n2n2n^2 . Мета - знайти шлях послідовних цілих чисел (від 1 до n2n2n^2 ) у сітці. Більш конкретно, кожна комірка сітки повинна містити різне ціле число від 1 до n2n2n^2 а кожна комірка зі …

15 complexity-theory  reductions  np-hard 

Мабуть, якщо , всі мови в за винятком та , будуть -повними.P ∅ Σ ∗ N PP=NPP=NP{\sf P}={\sf NP}PP{\sf P}∅∅\emptysetΣ∗Σ∗\Sigma^*NPNP{\sf NP} Чому саме ці дві мови? Чи не можемо ми зменшити будь-яку іншу мову в до них, видавши їх, приймаючи чи не приймаючи?PP{\sf P}

15 complexity-theory  np-complete  reductions 

Нехай А зводиться до B, тобто . Таким чином, машина Тьюринга прийому має доступ до оракула для . Нехай машина Тьюрінга, що приймає буде а оракул для - . Типи скорочень:A B A M A B O BA≤BA≤BA \leq BAAABBBAAAMAMAM_{A}BBBOBOBO_{B} Скорочення скорочення: може робити кілька запитів до . О БMAMAM_{A}OBOBO_{B} …

15 complexity-theory  np-complete  reductions  complexity-classes 

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

14 algorithms  reductions  halting-problem 

Такі мови, як , повністю скорочуються при скороченні багато-одного. Банально бачити, що у СЕП теж є цілі проблеми. С. Шмітц [1] розглядає деякі класи між ELEM та REC . Вони представляють повні проблеми для цих класів при спеціально створених скороченнях.HALTTMHALTTМ\text{HALT}_{TM}RE-completeПовторне завершення\textsf{RE-complete}co-REспів-RE\text{co-RE}ELEMELEM\text{ELEM}RECREC\text{REC} Чи існують повні проблеми для (він же REC ) …

14 computability  reductions  turing-completeness  recursion-theory 

Планар 3SAT завершено NP. Планарний екземпляр 3SAT - це екземпляр 3SAT, для якого графік, побудований за допомогою таких правил, є планарним: додати вершину для кожного хiхix_i тахi¯хi¯\bar{x_i} додати вершину для кожного пунктуСjСjC_j додайте край для кожної пари( хi, хi¯)(хi,хi¯)(x_i,\bar{x_i}) додайте край вершини (або ) до кожної вершини, що представляє собою …

14 np-complete  reductions  satisfiability  3-sat 

Оскільки лінійне програмування Integer не є повноцінним NP, у будь-якій проблемі в NP виникає скорочення Карпа. Я вважав, що це означає, що ILP завжди має форму поліноміального розміру для будь-якої проблеми. Але я бачив статті про конкретні проблеми НП, де люди пишуть речі на кшталт "це перша композиція з розміром …

14 complexity-theory  np-complete  reductions  linear-programming 

Ми знаємо , що в по Іммерман-Szelepcsenyi теорема теорема і так є тому це багато-один журнальний простір, зведений до . Але чи існує пряме / комбінаторне скорочення, яке не проходить через графік конфігурації машин Тьюрінга в ?N Lst-non-connectivityst-non-connectivityst\text{-}non\text{-}connectivityNLNL\mathsf{NL}N L - h a r d s t - n o n …

14 complexity-theory  reductions  space-complexity 

Отже, як відомо, проблема рішення ІЛП 0-1 не є повною. Показати, що це в NP, легко, а початкове зниження було від SAT; з того часу було показано, що багато інших проблем, пов'язаних з NP-Complete, мають формули ILP (які функціонують як скорочення від цих проблем до ILP), оскільки ILP дуже корисний. …

14 np-complete  reductions  satisfiability  integer-programming 

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

13 complexity-theory  reductions  np-complete 

Мені цікаво, чи є якісь повні проблеми в класі складності Артура-Мерліна. Графічний неізоморфізм (ВНД), здається, є канонічним прикладом проблеми в АМ, але, мабуть, не є повною. Я думаю, мені також цікаво, чи добре визначена "повна" проблема для AM. Оскільки AM = BP.NP, схоже, що перехід на "зменшення" до AM покладається …

12 complexity-theory  reductions  complexity-classes  interactive-proof-systems 

Визначення: Зменшення Карпа Мова - Карп, приведена до мови B, якщо є функція, що обчислюється в поліномі-часі f : { 0 , 1 } ∗ → { 0 , 1 } ∗ така, що для кожного x , x ∈ A тоді і лише тоді, коли f ( x ) …

12 complexity-theory  reductions  check-my-proof 

Тест-раунд Google Hash Code 2015 ( постановка проблеми ) запитав про таку проблему: вхід: сітка з позначеними квадратами, порогом T ∈ N , максимальною площею A ∈ NMMMT∈NT∈NT \in \mathbb{N}A∈NA∈NA \in \mathbb{N} Вихід: найбільша можлива площа безлічі непересічних прямокутників з цілими координатами в загальній складності таким чином, що кожен прямокутник …

11 complexity-theory  reductions  np-hard