Lütfen NP-sert veya değil: irrasyonel girdi veya parametre ile bölüm bir göz atın NP-sert veya değil: irrasyonel girdi veya parametre ile bölüm ilk önce NP-sert veya değil: irrasyonel girdi veya parametre ile bölüm .
In İrrasyonel parametreler karmaşıklıkta iyi tanımlanmamış bir problem yaratır mı? , ben "No" bir cevap aldım. Sonra, bazı iyi tanımlanmış problemlerin gerçekten irrasyonel paprametrelere sahip olup olmadığını kontrol ettim (örneğin, karekök probleminin toplamında , karekökleri var ).
Şimdi bu "özelliği" (irrasyonel parametreler , karmaşıklık konusunda yanlış tanımlanmış bir problem oluşturmaz) , orijinal problemin karmaşıklığının belirlenmesi bazı durumlarda iyi tanımlanmış ve NP-tam olacak şekilde NP-sert veya değil: irrasyonel girdi veya parametre ile bölüm değiştirmek için kullanmak istiyorum .
Daha somut olarak varsayalım ki $x_*$içinde NP-sert veya değil: irrasyonel girdi veya parametre ile bölüm aslında$0.52+\sqrt{2}\times 10^{-10}$. Sonra böyle bir sorun soruyoruz:
Bir set verildi $N=\{a_1,...,a_{n+2}\}$ ile $n+2$ sayılar nerede
- $a_1,...,a_{n+2}$ olumlu ve mantıklı,
bir set bul $S\subseteq N$, öyle ki $f(S)=0.52+\sqrt{2}\times 10^{-10}$, nerede $f(S)=\sum_{i=1}^n a_i \textbf{I}_{i \in S} + (0.51+\sqrt{a_{n+1}}\times 10^{-10})\textbf{I}_{n+1 \in S}+ (0.47-\sqrt{a_{n+2}}\times 10^{-10})\textbf{I}_{n+2 \in S}$ ve $\textbf{I}$ bir gösterge işlevidir.
O zaman böyle bir problem için, tatmin edici rasyonel girdilere sahip bir örnek olduğu için NP-tamamlandığını iddia edebiliriz.
$\sum_{i=1}^n a_i = 0.02$ ve $a_{n+1}=a_{n+2}=2$.
Bu doğru mu?
Özel sorunuzu cevaplamadan, birkaç sorunuzda gördüğüm temel bir konu hakkında yorum yapmama izin verin. Bunun hakkında "irrasyonel parametreler sorunu yanlış tanımlıyor veya yapmıyor" şeklinde akıl yürütmeye çalışmak muhtemelen kafa karıştırıcı görünüyor.
Bunun yerine, yedekleyin ve temelleri anlayın. Temel ilkeler, çalışma süresini sormadan önce bir problemi tam olarak belirlememiz gerektiğidir. Bir sorunu nasıl belirleriz? En temel yol bir karar problemidir ve bir karar problemi resmi bir dildir:$\{0,1\}^*$. Dolayısıyla sorun şudur: bir dizge verilir$x \in \{0,1\}^*$dilde olup olmadığını cevapla $L$. Daha genel olarak, birden çok çıktı biti üreten problemler için algoritmaları tartışmak istiyorsanız, bir problem bir işlevi belirtir.$f:\{0,1\}^* \to \{0,1\}^*$. Başka bir deyişle, girdi olan herhangi bir bit dizesi verildiğinde, işlev$f$ bize istenen çıktı olan bir bit dizgesini söyler.
Dolayısıyla, bir sorunu dikkatlice belirlemek için, bu eşlemeyi $f$. Genellikle, bu, girdiyi ve ikili dizge olarak nasıl temsil edildiğini belirleyerek yapılır (kolaylık olması açısından, bu son adım, nasıl yapılacağı açıksa genellikle atlanır, ancak tam da sizi tetikleyen bu adımdır, yani sizin için, onu ihmal etmeyin) ve doğru çıktıyı (girdinin bir işlevi olarak) ve bunun bir ikili dizge olarak nasıl temsil edildiğini belirterek (yine, bunu ihmal etmeyin).
İrrasyonel sayılardan bahsetmeye başladığınızda, irrasyonel sayıların ikili bir dizge olarak temsil edilemeyeceği problemiyle karşılaşacaksınız . Olası tüm irrasyonel sayıları kodlamanıza ve tüm kodlamaların sonlu olmasını sağlayan bir sayı kodlaması yoktur. Dolayısıyla, problem ifadeniz "giriş irrasyonel bir sayıdır ..." diyorsa, bir problem yaşarsınız.
Ardından, bir sorunun NP-tamamlandığını kanıtlamak için bir indirgeme oluşturursunuz. Öyleyse git bunu yap. Bunu, geçici bir şekilde oluşturulmuş tek bir satırla ("tatmin edici rasyonel girdilere sahip bir örnek var ..") kanıtlamaya çalışmayın - bunun yerine, indirgemeyi açıkça inşa edin. Kavramları anlarsanız, bize sormanıza gerek kalmadan indiriminizin doğru olup olmadığını söyleyebilmelisiniz.
Bu soru dizisinde başka bir soru sormadan önce, P, NP, indirgeme ve karmaşıklık sınıfları üzerine temel materyali incelemenizi öneririm. Kendi probleminize uygulamaya çalışmadan önce temel düzeyde anladığınızdan emin olun. Ders kitapları, bu kavramları daha basit bazı problemler bağlamında anlamayı kolaylaştırmak için yazılmıştır ve bu, hem kavramları öğrenmeye hem de daha zor probleminize aynı anda uygulamayı denemekten daha kolay anlaşılmasını sağlayacaktır.
'The Handmaid's Tale' yazarı Eric Tuchman Entertainment Weekly ile yaptığı röportajda, Nick'in Haziran'dan kalma alyansını neden sakladığını açıkladı.
Nico Tortorella, Josh karakterini 7 sezon sonra 'Younger'dan tamamladı ancak 'Mr. Büyük an.
Eski 'The Challenge' şampiyonu Ashley Kelsey ve NFL geri koşuyor Kerryon Johnson birlikte ilk bebeği, kızı Snoh Marie'yi karşılıyor.
HBO Max, 'Genera+ion' Sezon 1: Bölüm 2'nin prömiyer tarihini doğruladı ve dizinin hayranları fragmana tepki gösteriyor.
Bilim adamları bir asırdan fazla bir süredir bilmelerine rağmen, Güney Okyanusu nihayet resmen tanındı.
Katılmalarına izin verilen Polonyalı subaylar için oyunlar, ölüm ve yıkım zamanında insanlığın bir kutlamasıydı. Ancak bu oyunlar - bugüne kadar - sporun müthiş iyileştirici gücünü gösteriyor.
Orijinal alçı modelden dökülen 9 metrelik bronz bir Özgürlük Heykeli Amerika'ya geliyor. Fransa ve Amerika arasındaki uzun süreli dostluğun şerefine ve New York City'nin Bağımsızlık Günü kutlamalarının en önemli anlarından biri olacak.
Mohs sertlik ölçeği, jeologlar ve gemologlar tarafından bir sertlik testi kullanarak mineralleri tanımlamaya yardımcı olmanın bir yolu olarak kullanılır. O nasıl çalışır?
Kocam ve ben yeni bir ev aldık. Bu yaz çeşitli yarış pistlerine bir aylık bir gezi yapmayı planlamıştık bile.
Denver Nuggets böyle çıkamaz. Nuggets, Batı Konferansı Yarı Finallerinde Suns'a 3-0 mağlup olmakla kalmıyor, görünüşe göre taraftarları da yenilgi alıyor.
Hiç Boston gibi bir şehirde dolaşıp, Fort Worth, Texas gibi bir şehirde olduğundan daha iyi hissettirdiğini merak ettiniz mi? Bir şehir senin için yapıldı, bir yaya. Diğeri senin araban için yapıldı.
O gerçekten iyi, ama ah. Tenis tarihini tartışırken, insanların zevkleri her zaman kimin ne olduğu ve tuttukları yerler hakkındaki tartışmaları etkileyecek ve bulandıracaktır.
Hollywood'dan New York'a ve aradaki her yere, en sevdiğiniz yıldızların neler yaptığını görün
Pekingese köpeği Wasabi, tacı 2020 Westminster Kennel Club Köpek Şovu kazananı Siba the Standard Fino köpeğinden alıyor.
Beyoncé web sitesinde ikizleri Rumi ve Sir'e 4. yaş gününü kutlayarak "1 hediyeden daha iyi ne olabilir... 2" yazdı.
"Şimdiye kadar söylediğim en kolay EVET oldu!" Taryn Manning TMZ'ye anlattı
Cheugy kelimesini ilk duyduğumda gözlerimi devirmeden duramadım. O noktada uydurulan terim TikTok'ta viral bir sansasyona dönüştü, ateşli tartışmalara yol açtı ve bin yıllık Z Kuşağı kültür savaşını yeniden alevlendirdi.
Az önce yeni bir bilgisayar satın aldım (ki bu başlı başına korkunç derecede zorlu bir süreçti) ve ne kadar çok şeyin değiştiğine inanamıyorum. Masaüstümün cam bir paneli var ve gökkuşağının tüm renklerini parlıyor (klavye ve fare aynı şeyi yapıyor).
Otelin bize verdiği haritayı takip etmekte zorlandık. Bize söylenen kasabaya giden bir kısayoldu.
Ve ölene kadar aklında kalacak. Benim gibiyseniz, kendi kendine yardım türü hakkında şüpheleriniz var ve kurmaca için fazla gözünüz yok.