在計算複雜度理論上，反NP類是複雜度類的其中一類。
一個問題 X {\displaystyle {\mathcal {X}}} 是反NP的成員，若且唯若，它的補全 X C {\displaystyle {\mathcal {X}}^{\rm {C}}} 必定是在複雜度NP；用數學符號來寫， C o N P := { L | L C ∈ ∈ --> N P } {\displaystyle \mathbf {CoNP} :=\{L|L^{\rm {C}}\in \mathbf {NP} \}} 。
簡單來說，反NP複雜度，是高效率而又可核實地證明命題為錯的組群，當中的佼佼者是立即找到反例存在。
其中一個NP完全問題的例子是子集合加總問題：給一個整數集合，問是否存在某個非空子集中的數字和為0？ 例：給定集合{−7, −3, −2, 5, 8}，答案是是，因為子集合{−3, −2, 5}的數字和是0。
補全問題在反NP中就會要求：給有限的整數集，是否每個非空子集之總和皆不為0？你的證明只要必須給出事例，敘述"沒有"指定求和到零的一個非空子集，而這證明必須可以在合理時間內驗證。
複雜度P，是多項式時間可解的問題集合，是一個NP和反NP的子集。P通常認定是一個在此兩類別下的嚴格子集（但無法驗證是落在兩個集合的哪一邊）。NP和反NP通常認為是不相等的。如果那樣，NP完全問題將不會落在反NP問題中，且反NP完全問題將不會落在NP中。
本問題可由下述步驟粗略證明：假設有個NP完全問題 X {\displaystyle {\mathcal {X}}} 處於反NP問題的集合中，由於所有NP問題可被變換成 X {\displaystyle {\mathcal {X}}} 問題，因此我們可以為所有NP問題建造一個可在多項式時間判定其補性質的非確定型圖靈機，意即NP是反NP的子集。因此NP問題的補集合是一個反NP問題的補集合的子集，意即反NP是NP的子集。由於我們已知NP是反NP的子集，因此表示這兩個集合是一樣的，這證明了沒有反NP完全問題可在NP類之中的性質是對稱的（Symmetrical）。
用數學符號嚴格證明：假設一個問題 X {\displaystyle {\mathcal {X}}} 是NP完全， N P = C o N P {\displaystyle \mathbf {NP} =\mathbf {CoNP} } ，若且唯若 X ∈ ∈ --> C o N P {\displaystyle {\mathcal {X}}\in \mathbf {CoNP} } 。以下的證明是不能從以上文字直接看得出：
如果一個問題可被證同時為NP與反NP，則通常我們將會視作本問題不是NP完全命題的強力假設（若非如此，則NP相等於反NP）。
一個同時在NP與反NP集合的有名問題是整數分解：給兩個正整數m與n，決定m是否有小於n且大於1的因數。
第一個问题的方法很清晰：如果m的確存在一個滿足條件的因子，則長除法即可驗證；另一個问题的方法就困難且精妙多了：你必須將m的所有質數因子列出，並為每個因子提供質數性質的證明。
整數因子分解常與質數性質問題混淆在一起，整數因子化據信是NP或反NP，而質數問題落在類別P[1]。
NurnaningsihNurnaningsih pada tahun 1955Lahir(1925-12-05)5 Desember 1925Surabaya, Jawa Timur, Hindia BelandaMeninggal21 Maret 2004(2004-03-21) (umur 78)Jakarta, IndonesiaKebangsaanIndonesiaPekerjaanAktrisTahun aktif1953-1988Anak4 Nurnaningsih (5 Desember 1925 – 21 Maret 2004) adalah seorang aktris Indonesia. Ia dianggap sebagai simbol seks pertama di Indonesia.[1] Biografi Nurnaningsih lahir di Surabaya, Hindia Belanda, pada tanggal 5 Desember 1925. Ia berhenti …
علامة دوروزييه معلومات عامة من أنواع لغط القلب التاريخ سُمي باسم بول لويس دوروزييه تعديل مصدري - تعديل الشريان الفخذي علامة دوروزييه[1] أو علامة دوروزيس[1] (بالإنجليزية: Duroziez's sign) هيَ علامة طبية تدل على قصور الأبهر،[2] حيثُ تتكون من لغط انبساطي مسموع يُم…
Resolusi 1170Dewan Keamanan PBBAfrikaTanggal28 Mei 1998Sidang no.3.886KodeS/RES/1170 (Dokumen)TopikSituasi di AfrikaRingkasan hasil15 mendukungTidak ada menentangTidak ada abstainHasilDiadopsiKomposisi Dewan KeamananAnggota tetap Tiongkok Prancis Rusia Britania Raya Amerika SerikatAnggota tidak tetap Bahrain Brasil Kosta Rika Gabon Gambia Jepang Kenya Portugal Slovenia Swedia Resolusi 1170 Dewan Keamanan Perseri…
International biennal cross country running competition The World University Cross Country Championships is an international biennial cross country running competition for student athletes, organised by the International University Sports Federation (FISU). The 2012 edition of the competition featured 76 male and 61 female athletes from 23 countries.[1] Over the history of the event, 64 countries have competed but only three (France, Great Britain and Spain) have been present at all edit…
Sungai Orontes di Turki Orontes (/ɔːˈrɒntiːz/; dari Yunani Kuno Ὀρόντης, Oróntēs) atau Asi (Arab: العاصي, translit. al-‘Āṣī, IPA: [alˈʕaːsˤiː]; Turki: Asi) adalah sebuah sungai yang melintasi Lebanon, Suriah dan Turki. Pada masa kuno, sungai ini merupakan sungai yang penting di Levant dan disebut Draco, Typhon dan Axius. Sejarah Sejak lama, Orontes telah dijadikan penanda perbatasan. Bangsa Mesir menggunakannya sebagai penanda batas utara Amurru,…
Pabrik otomotif di Leipzig, Jerman, tampak menggunakan mekanisasi yang canggih. Teknologi tinggi adalah teknologi yang memiliki taraf paling tinggi: teknologi yang paling canggih yang tersedia.[1] Lawan kata dari teknologi tinggi adalah teknologi rendah, yang menggambarkan penggunaan teknologi tradisional atau mekanis yang sederhana, contohnya mistar hitung adalah alat menghitung yang tergolong teknologi rendah.[2] Klasifikasi industri manufaktur teknologi tinggi yang banyak digu…
Historic house in Maryland United States historic placeBowman HouseU.S. National Register of Historic Places Show map of MarylandShow map of the United StatesLocation323 N. Main St.,Boonsboro, MarylandCoordinates39°30′42.27″N 77°39′17.88″W / 39.5117417°N 77.6549667°W / 39.5117417; -77.6549667Arealess than one acreBuilt1826 (1826)NRHP reference No.77000702[1]Added to NRHPApril 29, 1977 The Bowman House is a historic log house located at 3…
Persipal BUNama lengkapPersatuan Sepak Bola Indonesia Palu Babel UnitedJulukan° The Hammers° Laskar TadulakoBerdiri2022 sebagai Persipal BUStadionStadion Gawalise, Kota Palu, Sulawesi Tengah(Kapasitas: 20.000)PemilikPT. Persipal Sulteng MandiriKetua Umum Rusdi MasturaKetua Harian Roni TanusaputraManajer Jely Rompas MasturaPelatih Bambang NurdiansyahLigaLiga 2Kelompok suporter Persipal Mania Kostum kandang Kostum tandang Kostum ketiga Musim ini Persatuan Sepak Bola Indonesia Palu Babel United a…
قرية قاع السوق - قرية - تقسيم إداري البلد اليمن المحافظة محافظة صنعاء المديرية مديرية خولان العزلة عزلة الاعروش السكان التعداد السكاني 2004 السكان 80 • الذكور 41 • الإناث 39 • عدد الأسر 12 • عدد المساكن 16 معلومات أخرى التوقيت توقيت اليمن (+3 غرينيتش) ت…
Indian politician For a politician from Uttar Pradesh, India, see Rajendra Singh Rana. Rajendrasinh Ghanshyamsinh RanaPresident of Gujarat State BJPIn office1998–2006Chief MinisterKeshubhai Patel Narendra ModiMember of ParliamentIn office1996–2014Preceded byMahavirsinh Harisinhji GohilConstituencyBhavnagarSucceeded byBhartiben Shiyal Personal detailsBorn (1956-05-22) 22 May 1956 (age 67)Bhavnagar, Saurashtra, IndiaPolitical partyBharatiya Janata PartySpouseIla RanaChildren1 sonResidence…
United States and Confederate States Army officer Francis Asbury ShoupFrancis Asbury ShoupBorn(1834-03-22)March 22, 1834Franklin County, Indiana, USDiedSeptember 4, 1896(1896-09-04) (aged 62)Columbia, Tennessee, USPlace of burialUniversity of the South cemeteryAllegiance United States of America Confederate States of AmericaYears of service1855–1860 (USA)1861–1865 (CSA)Rank Second Lieutenant (USA) Brigadier General (CSA)Battles/warsAmerican Civil War Battle of Shi…
تحتاج هذه المقالة إلى تهذيب لتتناسب مع دليل الأسلوب في ويكيبيديا. فضلاً، ساهم في تهذيب هذه المقالة من خلال معالجة مشكلات الأسلوب فيها. (أكتوبر 2015) هذه المقالة بحاجة لمراجعة خبير مختص في مجالها. يرجى من المختصين في مجالها مراجعتها وتطويرها. (يوليو 2016) كرة القدم قوانين لعبة كرة …
В'ячеслав Соловйов Особисті дані Повне ім'я В'ячеслав Дмитрович Соловйов Народження 14 січня 1925(1925-01-14) Московський повітd, Московська губернія, РСФРР, СРСР Смерть 7 вересня 1996(1996-09-07) (71 рік) Москва, Росія Поховання Востряковський цвинтар Вага 72 кг Громадянство …
WatusampuKelurahanNegara IndonesiaProvinsiSulawesi TengahKotaPaluKecamatanUlujadiKode Kemendagri72.71.05.1005 Kode BPS7271012006 Luas-Jumlah penduduk-Kepadatan- Untuk kegunaan lain, lihat Watu (disambiguasi). Rumah pengobatan penderita kusta di Watusampu pada tahun 1924 Watusampu adalah salah satu kelurahan di Kecamatan Ulujadi, Kota Palu, Sulawesi Tengah, Indonesia. Watusampu merupakan Kelurahan terakhir Kota Palu sebelum memasuki Wilayah Kabupaten Donggala. Batas Sebelah Utara-Desa Loli O…
Tiny Tim Tiny Tim Rocket Jenis Roket Negara asal Amerika Serikat Sejarah pemakaian Masa penggunaan 1944-1951 Digunakan oleh Angkatan Laut Amerika Serikat Pada perang Perang Dunia II, Perang Korea Sejarah produksi Perancang Caltech, NOTS Tahun 1944 Spesifikasi Berat 1.255 pon (569 kg) Panjang 10,25 ft (312 cm) Lebar 36 inch[convert: unit tak dikenal] (sepanjang sirip) Diameter 11,75 inch[convert: unit tak dikenal] Jarak jangkauan 1.600 y…
Artikel ini sudah memiliki daftar referensi, bacaan terkait, atau pranala luar, tetapi sumbernya belum jelas karena belum menyertakan kutipan pada kalimat. Mohon tingkatkan kualitas artikel ini dengan memasukkan rujukan yang lebih mendetail bila perlu. (Pelajari cara dan kapan saatnya untuk menghapus pesan templat ini) SMA Negeri 2 JakartaInformasiDidirikan24 Februari 1959AkreditasiA (Sangat Baik)Nomor Pokok Sekolah Nasional20101622Kepala SekolahSetianingrum, M.PdJumlah kelas6 atau 7 k…
American ice cream company CoolhausTypePrivateIndustryDairyFounded2009; 14 years ago (2009)FoundersNatasha Case and Freya EstrellerHeadquartersLos Angeles, California, USProductsIce cream sandwichesIce cream barsIce cream floatsCandy barsBeveragesWebsitecool.haus Coolhaus is an American ice cream company based in Los Angeles, California,[1] founded in 2009 by Natasha Case and Freya Estreller.[2][3][4] Coolhaus distributes its items in grocery sto…
Design language introduced by Microsoft Modern UI redirects here. For Nullsoft's installation system, see Nullsoft Scriptable Install System § Modern user interface. Microsoft Metro redirects here. For the file format codenamed Metro, see Open XML Paper Specification. See also: Aero (user interface) and Fluent Design System The Music+Video hub on Windows Phone Microsoft Design Language (or MDL),[1] previously known as Metro, is a design language created by Microsoft. This design la…
City in Andalusia, SpainJamilena, Spaincity FlagSealJamilenaLocation in the Province of JaénShow map of Province of Jaén (Spain)JamilenaJamilena (Andalusia)Show map of AndalusiaJamilenaJamilena (Spain)Show map of SpainCoordinates: 37°45′N 3°54′W / 37.750°N 3.900°W / 37.750; -3.900Country SpainAutonomouscommunity AndalusiaProvince JaénMunicipalityJamilenaArea • Total8.99 km2 (3.47 sq mi)Elevation765 m (2,510 ft)Popu…
This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: 2006 World Championship of Ski Mountaineering – news · newspapers · books · scholar · JSTOR (February 2017) (Learn how and when to remove this template message) The 2006 World Championship of Ski Mountaineering (Italian: Campionato del Mondo di Scialpinismo 2006) …
Lokasi Pengunjung: 18.119.19.16