«reductions» etiketlenmiş sorular

Hesaplanabilirlik ve karmaşıklık teorisinde (ve belki başka alanlarda), indirimler her yerde bulunur. Pek çok çeşit var, ancak prensip aynı kalıyor: probleminin bir çözüme eşdeğer olanlara eşleştirilmesiyle en azından diğer problemleri kadar zor olduğunu . Temel olarak, eğer işlevini önişlemci olarak kullanmasına izin , için herhangi bir de çözebileceğini .L 2 …

40 complexity-theory  computability  reductions  proof-techniques  reference-question 

Vikipedi ile birlikte bulduğum diğer kaynaklar voidgibi boş bir türe karşılık C tipi tipini birim tipi olarak buldum . Bu kafa karıştırıcı buluyorum ki voidboş / alt tip tanımına daha iyi uyuyor. voidSöyleyebileceğim kadarıyla hiçbir değer yok . Geri dönüş tipi boşluğu olan bir işlev, işlevin hiçbir şey döndürmediğini ve …

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

Karmaşıklık kursu alıyorum ve NPC sorunları arasında bir düşüşle karşılaşmakta güçlük çekiyorum. Sorunlar arasındaki azalmaları nasıl bulabilirim? Kullanabileceğim genel bir numara var mı? NPC olduğunu kanıtlamamı isteyen bir soruna nasıl yaklaşmalıyım?

27 complexity-theory  np-complete  proof-techniques  reductions 

Bilgisayar bütünlüğü uzmanlarına NP eksiksizliği öğretmenin en iyi yolunu sormakla ilgileniyorum. Özellikle, Karp azaltmalarını kullanarak mı yoksa Turing azaltmalarını mı kullanmalıyız? NP bütünlüğü ve azaltma kavramlarının her bilgisayar biliminin bilmesi gereken bir şey olduğunu hissediyorum. Ancak, NP'nin eksiksizliğini öğretirken, Karp azaltmalarının kullanımının bazı olumsuzlukları olduğunu fark ettim. Her şeyden önce, …

25 complexity-theory  np-complete  reductions  education  didactics 

Şaşırtıcı sayıda sorun, doğrusal programlamaya (LP) oldukça doğal indirgenmelere sahiptir. Ağ akışları, iki taraflı eşleştirme, sıfır toplamlı oyunlar, en kısa yollar, bir lineer regresyon şekli ve hatta devre değerlendirmesi gibi örnekler için [1] Bölüm 7'ye bakın ! Devre değerlendirme lineer programlama azalttığı için, herhangi bir sorun, doğrusal bir programlama formülasyonu …

24 algorithms  reductions  sorting  linear-programming 

Diyelim ki herhangi bir boyutta kısmen doldurulmuş bir Sudoku verirseniz, size karşılık gelen tamamlanmış Sudoku'yu verir. Bu programı bir kara kutu gibi ele alabilir ve TSP'yi çözmek için kullanabilir misiniz? Demek istediğim, TSP problemini kısmen doldurulmuş Sudoku olarak göstermenin bir yolu var, bu yüzden size bu Sudoku'nun cevabını verirseniz, polinom …

23 algorithms  np-complete  reductions  traveling-salesman  sudoku 

Yapmak istediğim, sahip olduğum bir matematik problemini bir boole tatmin edici problemine (SAT) çevirmek ve sonra bir SAT Çözücü kullanarak çözmektir. Birinin bir el kitabı, rehber veya sorunumu SAT örneğine dönüştürmeme yardımcı olacak herhangi bir şey biliyor mu olduğunu merak ediyorum. Ayrıca, bunu üstel bir zamandan daha iyi bir zamanda …

22 algorithms  reductions  satisfiability 

Alt küme toplamı sorunu klasik bir NP tam sorunudur: sayılarının bir listesi ve bir hedef verildiğinde, den toplanan bir sayı alt kümesi var mı?LLLkkkLLLkkk Bir öğrenci bana "alt küme ürünü" sorunu adı verilen sorunun bu varyantının NP-tamamlanmış olup olmadığını sordu: sayılarının bir listesi ve bir hedef verildiğinde , ürünü olan …

21 complexity-theory  np-complete  reductions 

İşte sorun. Verilen , nerede her T i ⊆ { 1 , ... , n } . Bir alt kümesi var mı S ⊆ { 1 , ... , n } en fazla boyutu ile k öyle ki herkes için ? Bu sorunu SAT'a azaltmaya çalışıyorum. Bir çözüm 1'den her …

21 complexity-theory  reductions  np-hard 

Wikipedia , alt küme toplamı problemini, toplamı sıfır olan belirli bir tamsayı çoklu kümesinin bir alt kümesini bulmak olarak belirtir. Bundan başka, bu miktar ile bir alt bulmak eşdeğer olduğunu bildiren herhangi bir için .ssssss Bu yüzden eşdeğer oldukları için her iki tarafta da bir azalma olması gerektiğine inanıyorum. Bir …

20 complexity-theory  reductions  np-hard 

Belki bu oldukça basit ama bu indirgeme konusunda biraz sorun yaşıyorum. Ben azaltmak isteyen Alt Küme Sum için Partition ancak şu anda ben ilişki görmüyorum! Levin Reduction kullanarak bu sorunu azaltmak mümkün müdür? Eğer anlamadıysanız açıklama için yazın!

20 complexity-theory  np-complete  reductions 

Bunun bir ev ödevi sorunu olduğunu belirterek başlayayım , lütfen sadece tavsiye ve ilgili gözlemler verin, DOĞRUDAN CEVAPLAR YOK lütfen . Bununla birlikte, baktığım sorun: YARIM CLIQUE = { | , en az düğümü olan tam bir alt grafiğe sahip yönlendirilmemiş bir grafiktir; burada n, } içindeki düğüm sayısıdır . …

20 complexity-theory  np-complete  reductions 

Ramírez-Alfonsín'in Frobenius Probleminin Karmaşıklığı makalesinde , Turing redüksiyonları kullanılarak bir sorunun NP-tamamlanmış olduğu kanıtlanmıştır. Mümkün mü? Tam olarak nasıl? Bunun sadece bir polinom zamanla mümkün olduğunu düşündüm. Bununla ilgili referanslar var mı? İki farklı NP sertliği kavramı, hatta NP tamlığı var mı? Ama sonra kafam karıştı, çünkü pratik bir bakış …

19 complexity-theory  time-complexity  np-complete  reductions 

Maksimum akışlı min-kesme teoremi sayesinde, bir -min-cut'u hesaplamak için bir ağ grafiğindeki maksimum akışı hesaplamak için herhangi bir algoritmayı kullanabileceğimizi biliyoruz . Bu nedenle, en az işlem karmaşıklığı maksimum işlem karmaşıklığını daha fazla kes Akışlı.( s , t ) ( s , t )(s,t)(s,t)(s,t)(s,t)(s,t)(s,t)(s,t)(s,t)(s,t) Daha az olabilir mi? Herhangi bir …

18 complexity-theory  reductions  network-flow  graph-algorithms 

Her yerdeki ders kitapları, Sınırlı Posta Yazışma Sorununun NP-tamamlanmış olduğunu varsayar ( tekrarlarla fazla indekse izin verilmez). Bununla birlikte, hiçbir yerde başka bir NP-tam probleminden basit bir (olduğu gibi, bir lisans öğrencisinin anlayabileceği bir şey) polinom zamanı azalması gösterilmemiştir.NNN Ancak aklıma gelen her azalma çalışma zamanında üsteldir ( veya serinin …

18 complexity-theory  np-complete  reductions