108,993 matches
-
intrare) este simplu de verificat dacă M acceptă intrarea simulând funcționarea mașinii Turing M; este NP-completă deoarece verificatorul oricărei instanțe de problemă din NP poate fi codificat ca mașină Turing M de timp polinomial care primește ca intrare soluția de verificat. Apoi întrebarea dacă instanța de problemă primește un răspuns „da” sau un răspuns „nu” se determină prin verificarea existenței unei intrări valide. Prima problemă naturală demonstrată a fi NP-completă a fost . Cum s-a arătat mai sus, aceasta este ; demonstrația
Clasele de complexitate P și NP () [Corola-website/Science/336745_a_338074]
-
ar implica multe alte rezultate uimitoare, care sunt în prezent considerate a fi false, cum ar fi NP = ' și P = '. Se susține și intuitiv că existența unor probleme care sunt greu de rezolvat, dar ale căror soluții sunt ușor de verificat se potrivește cu experiența din lumea reală. Pe de altă parte, unii cercetători cred că încrederea că P ≠ NP este exagerată și că cercetătorii ar trebui să caute demonstrații că P = NP . De exemplu, în anul 2002, s-au făcut
Clasele de complexitate P și NP () [Corola-website/Science/336745_a_338074]
-
NP, trebuie să existe un verificator care rulează în timp polinomial. Fie În mod clar, la întrebarea dacă un anumit "x" este compus este echivalentă cu întrebarea dacă "x" este un membru al COMPOSITE. Se poate demonstra că COMPOSITE ∈ NP , verificând că acesta îndeplinește definiția de mai sus (dacă vom identifica numerele naturale cu reprezentările lor binare). COMPOSITE se întâmplă să fie și în P. Există mai multe moduri echivalente de a descrie NP-completitudinea. Fie "L" un limbaj peste un alfabet
Clasele de complexitate P și NP () [Corola-website/Science/336745_a_338074]
-
acesta și-a recâștigat reprezentarea în Lleida, lăsând Gironna că singurul sector electoral fără reprezentare PP. În Barcelona a existat doar un singur loc între PP și CiU, PP câștigând cu o marjă de aproximativ 250 de voturi, după ce au verificat voturile de peste mări. Pe 11 aprilie, Zapatero a fost reales Prim-Ministru cu 169 de voturi, 58 pro și 23 de abțineri. Partidele Naționaliste și Uniunea de Stânga s-au abținut, și continua negocierile cu guvernul. La cei 145 deputați
Alegeri legislative în Spania, 2008 () [Corola-website/Science/337162_a_338491]
-
din lume și ultima persoană în viață care s-a născut înainte de anul 1900. Ea este persoana italiană cea mai longevivă înregistrată vreodată și se află în topul celor mai longevive persoane care au trăit vreodată și care au fost verificate de "Gerontology Research Group" Emma Martina Luigia Morano s-a născut la 29 noiembrie 1899 la Civiasco, Vercelli, Piemmont, Italia. A fost primul copil din cei opt ai lui Giovanni Morano și ai Matildei Bresciani. Mama, o mătușă și unii
Emma Morano () [Corola-website/Science/337246_a_338575]
-
internă, acestea sunt obligate ca, în măsura posibilului să interpreteze și să aplice normele lor de drept intern în conformitate cu dispozițiile Convenției. Din moment ce autoritățile naționale sunt primele chemate să interpreteze și să aplice normele de drept intern, CEDO este competentă să verifice dacă modul de interpretare și aplicare a dreptului intern produce efecte compatibile cu principiile Convenției[2]. Astfel, CEDO a fost instituită pentru a monitoriza acțiunea statelor-membre la Convenție, exercitând o competență de revizuire[3], întrucât modelul urmărit de autorii convenției
Dreptul de a nu fi torturat () [Corola-website/Science/337226_a_338555]
-
bârfeli și răfuieli cu toți acei care au avut nenorocul să nu placă autorului; totuși, în lipsa altor memorii din acea epocă, lucrarea constituie un izvor de prețioasă informație, mai cu seamă în ce privește contemporanii săi." O serie de informații ce trebuie verificate în documente sunt cele privind originea și vechimea unor familii. După opinia genealogistului Alexandru V. Perietzianu-Buzău,aceste informații , izvorâte din ranchiunele și subiectivitatea arheologului sunt cele fanteziste și deci neutilizabile științific. Frații Costache Sion și Constantin Sion au fost niște
Constantin Sion () [Corola-website/Science/337414_a_338743]
-
Canton a Chinei, locul de naștere a tradiționalului Dim Sum. Așa cum îi spune și numele, este confecționat integral din lemn de bambus. Au diametre începând de la 28 cm - pentru uz casnic, până la un metru - destinate restaurantelor. Când vă cumpărați coșul, verificați ce diametru au oalele pe care le aveți, astfel încât să vă cumpărați un coș compatibil. Cum se folosește? La prima utilizare se spală cu apă caldă, nu se folosește detergent. Pe fundul steamerului se pot pune frunze de salată, varză
Coș de bambus () [Corola-website/Science/335914_a_337243]
-
informațional, sistemul de conducere automată, sistemul de comunicare, încât, practic, omul vede țițeiul doar dacă îl ia într-un borcan să-i vadă culoarea. Nu mai sunt vremurile în care curgea peste tot, erau canalizările pline de produse, omul când verifica nivelul dintr-o anumită coloană dădea drumul la scurgeri să vadă unde se află sau dădea cu cârligul în vas să vadă dacă este plin sau gol. Acum totul este automatizat. Când veți face un tur prin rafinărie, n-o să
KMG face istorie în România. Industria de rafinare și scenariul unei amenințări () [Corola-website/Journalistic/103883_a_105175]
-
are doar avantajul că mărește valoarea participației statului, cu ce rămâne. Probabil că o să fie mai multă lichiditate. O bursă trage înainte atunci când pune prețul pe risc. Prețul pe risc înseamnă atunci când ai o propunere antreprenorială care trebuie să fie verificată de opiniile democratice ale capitaliștilor. AGERPRES: Considerați eficientă listarea duală a companiilor de stat? Mă refer în special la listarea și pe o bursă externă. Adrian Mitroi: Am trecut de faza aceasta. Nu mai este niciun motiv (să listezi și
Adrian Mitroi, ASE: Adoptarea euro, cel mai bun proiect de țară pentru România by Editura DCNEWS Team () [Corola-website/Journalistic/103896_a_105188]
-
nu suntem o companie privată, ci o companie deținută de stat, care aparține Statului Kazakhstan și se ține cont de acest lucru în toate auditurile efectuate. Avem audit extern, condus de una din companiile Big Four, și toate dosarele sunt verificate, deci nu e nimic în zona asta, pentru că e imposibil să faci așa ceva. Mai mult, nu avem motivația pentru a face așa ceva, pentru că vorbim de acțiuni între două state, firește că Guvernul este implicat în dezbateri, acestea îi privesc pe
De ce KazMunayGas cere despăgubiri României. Azamat Zhangulov: "E imposibil să faci așa ceva" by Roxana Covrig () [Corola-website/Journalistic/103961_a_105253]
-
dispozitiv și, în acest fel, să gestioneze conform politicilor de securitate. Angajații pot folosi acum modalități avansate de autentificare multifactor (inclusiv biometrică) pentru ca datele pe care le folosesc să rămână sigure și să folosească doar acele aplicații care au fost verificate de departamentul IT. Conectivitatea în cloud, alături de funcțiile avansate de management și instalare simplifică administrarea sistemelor, reducând costurile de infrastructură. 10. Acces gratuit la Windows Anniversary Update Începând cu 2 august va fi disponibil Windows 10 Anniversary Update, reprezentând o
10 motive pentru upgrade-ul Windows 10 înaintea expirării perioadei de gratuitate by Editura DCNEWS Team () [Corola-website/Journalistic/103969_a_105261]
-
instituție publică. În scrisoarea deschisă trimisă redacției, cumpărătorul care a evitat în ultimul moment păcăleală, arată care sunt clauzele abuzive pe care le-a identificat la o citire atentă a contractului: Am vrut să cumpăr o casă în Voluntari. Am verificat ofertele imobiliare de pe piață și am gasit o casă într-un complex imobiliar al SC ... ...SRL, cu un preț de circa 2.000 euro mai mic decât altă locuința similară (că dimensiuni și zona); le-am vizitat cu agentul imobiliar
Cum te păcălesc dezvoltatorii cu case ieftine. Piața imobiliară, jaf cu voie de la Stat by Editura DCNEWS Team () [Corola-website/Journalistic/103980_a_105272]
-
se derulează tot exportul de energie al României. Oare funcționarii de azi care favorizează, chiar si involuntar, printr-o asemenea interpretare a legii, traderii de energie, nu sunt aceiași care, în mod voluntar, în perioada ianuarie 2006-iunie 2012, nu au verificat și nu au luat măsuri pentru aplicarea Ordinelor Președintelui ANRE 408/2006 și 445/2009 care obligau toți producătorii de energie, inclusiv Hidroelectrica, să oferteze întrega cantitate de energie pe OPCOM? Noi știm că Hidroelectrica, timp de 6 ani, nu
Lovitură pe piața energiei. Noii băieți deștepți, învinși în instanță by Roxana Covrig () [Corola-website/Journalistic/104049_a_105341]
-
cele care prezintă cel mai mare pericol pentru organizație. "Noile noastre tehnologii Synapse și Cynic furnizează împreună o detectare cu 30% mai performantă decât a produselor existente pe piață . În trecut, un profesionist din domeniul securității ar fi trebuit să verifice manual dacă un fișier suspect a fost blocat corespunzător. Cu noile noastre tehnologii integrate în Symantec ATP, facem noi munca de teren pentru clienți, minimizând timpul de care aceștia au nevoie pentru căutare și remediere", a declarat Balaji Yelamanchili, vice-președinte
Symantec lansează noua generație Advanced by Crișan Andreescu () [Corola-website/Journalistic/104063_a_105355]
-
carbon: modelul de Volkswagen Jetta din perioada 2009-2014, modelele Beetle și Golf, precum și modelul Volkswagen Passat din 2014-2015 și modelul Audi A3. Grupul Volkswagen a recunoscut instalarea dispozitivului electronic care induce în eroare sistemele de măsurare a noxelor. RAR va verifica toate mașinile provenite de pe piețele externe Registrul Auto Român (RAR) verifică toate mașinile provenite de pe piețele externe, însă în România nu a intrat niciun autovehicul din SUA marca Volkswagen, produs în perioada 2008 - 2015, au declarat, marți, reprezentanții autorității, potrivit
Volkswagen, SCANDAL uriaș. Este amenințată existența VW. RAR va verifica toate mașinile venite de pe piața externă by Crișan Andreescu () [Corola-website/Journalistic/104075_a_105367]
-
Golf, precum și modelul Volkswagen Passat din 2014-2015 și modelul Audi A3. Grupul Volkswagen a recunoscut instalarea dispozitivului electronic care induce în eroare sistemele de măsurare a noxelor. RAR va verifica toate mașinile provenite de pe piețele externe Registrul Auto Român (RAR) verifică toate mașinile provenite de pe piețele externe, însă în România nu a intrat niciun autovehicul din SUA marca Volkswagen, produs în perioada 2008 - 2015, au declarat, marți, reprezentanții autorității, potrivit Agerpres. "În România, constructorul nu poate să zică că îndeplinește (standardele
Volkswagen, SCANDAL uriaș. Este amenințată existența VW. RAR va verifica toate mașinile venite de pe piața externă by Crișan Andreescu () [Corola-website/Journalistic/104075_a_105367]
-
"Decizia a fost luată în conformitate cu art.94 din HG 925/2006 („indiferent de momentul inițierii procedurii de atribuire, autoritatea contractantă are obligația de a verifica, înainte de încheierea contractului, respectarea dispozițiilor referitoare la angajarea cheltuielilor din bugetele ce intră sub incidența legislației privind finanțele publice") și art. 209 din OUG nr. 34/2006 („autoritatea contractantă are obligația de a anula aplicarea procedurii pentru atribuirea contractului de
CNADNR. Contractul pentru construcția autostrăzii Comarnic-Brașov, ANULAT by Crișan Andreescu () [Corola-website/Journalistic/104105_a_105397]
-
2015. Participarea la loterie nu presupune o înregistrare prealabilă a bonurilor fiscale în nicio bază de date/ website și nici depunerea acestora înainte de efectuarea extragerii la sediile instituțiilor implicate în organizare. Bonurile rămân la posesorii acestora care, după extragere, vor verifica dacă sunt câștigătoare", precizează ANAF. Loteria bonurilor fiscale constă în extragerea aleatorie de numere, în vederea acordării de premii în bani, persoanelor fizice rezidente și nerezidente în România, deținătoare de bonuri fiscale care atestă cumpărarea de bunuri sau servicii pe teritoriul
LOTERIA BONURILOR. Prima extragere, a doua zi de Paște () [Corola-website/Journalistic/104122_a_105414]
-
prelucrării lemnului în produse finite: cele legate de furniruri și de stratificate din lemn, produse pentru industria de construcții, celuloza, scaune, mobilier, instrumente muzicale articole de sport, jucării creioane și chibrituri și „alte produse manufacturiere” (lit a-n). Ar trebui verificat dacă se încadrează activitățile firmelor austriece în acești parametri. PS Puteți constată, dintr-un grafic recent, dinamica împăduririlor pe terenuri degradate în perioada 1991-2014. Se poate observa felul în care a fost tratată această chestiune de guvernul pe care l-
Scandalul despăduririlor. Năstase, lămuriri după acuzațiile lui Sebastian Ghiță by Bogdan Bolojan () [Corola-website/Journalistic/104112_a_105404]
-
a zis ministrul Darius Vâlcov la . Probabilitatea de câștig este mai mare decât la 6/49. Cred că cel puțin în prima etapă, nu vor fi foarte mulți câștigători. Chiar dacă vor exista, oamenii nu vor fi extrem de atenți de a verifica aceste bonuri fiscale. După ce vom începe o campanie publicitară agresivă pentru Loterie, cred că din ce în ce mai mulți oameni vor colecta bonurile fiscale. Intenția noastră este să reluăm modelul grecesc. Acolo unde nu se dă bon fiscal, oamenii să nu trebuiască să
Loteria bonurilor fiscale, atacată la Avocatul Poporului () [Corola-website/Journalistic/104135_a_105427]
-
incidentul din Istanbul'', precizează duminică MAE, la solicitarea AGERPRES. UPDATE 09:25: Consulatul General al României la Istanbul are în atenție incidentul produs în dimineața zilei de duminică într-un club din oraș, soldat cu numeroși morți și răniți, și verifică dacă printre victime sunt și cetățeni români. ''Consulatul General al României la Istanbul are în atenție incidentul produs în dimineața zilei de 01.01.2017, în jurul orei 02,00 (01,00 ora României), soldat cu numeroși morți și răniți. Oficiul
ATAC într-un club: MORȚI și RĂNIȚI. Agresorul, îmbrăcat în MOȘ CRĂCIUN-UPDATE () [Corola-website/Journalistic/104180_a_105472]
-
în dimineața zilei de 01.01.2017, în jurul orei 02,00 (01,00 ora României), soldat cu numeroși morți și răniți. Oficiul consular român a întreprins în regim de urgență demersuri pe lângă autoritățile abilitate și spitalele din Istanbul pentru a verifica dacă printre victimele incidentului se află cetățeni români. (...) Ministerul Afacerilor Externe își exprimă profundul regret pentru pierderea de vieți omenești și transmite condoleanțe familiilor victimelor'', se arată într-un comunicat al MAE. UPDATE 09:12: Clubul Reina, unde a avut
ATAC într-un club: MORȚI și RĂNIȚI. Agresorul, îmbrăcat în MOȘ CRĂCIUN-UPDATE () [Corola-website/Journalistic/104180_a_105472]
-
Potrivit unei sinteze publicate pe site-ul control.gov.ro, au fost verificate proiectele "Realizare zonă verde în comuna Nana", "Podețe pe străzi în comuna Nana, județul Călărași" și "Realizare stadion comunal Nana". Cu privire la proiectul " Realizare zonă verde în comuna Nana", Corpul de control al premierului a constatat că obținerea finanțării nerambursabile de la
La Nana, încălcări ale legislației în privința unor contracte by Crișan Andreescu () [Corola-website/Journalistic/104181_a_105473]
-
Steffen Seibert, pe contul său de Twitter, evocând "teribilele știri" din Berlin, transmite AFP. UPDATE 23:34: Ministerul Afacerilor Externe menționează că are în atenție incidentul și că reprezentanții misiunii diplomatice române au întreprins demersuri pe lângă autoritățile locale pentru a verifica dacă au fost afectați și cetățeni români. 'Ministerul Afacerilor Externe, prin Ambasada României în Republica Federală Germania, are în atenție incidentul care a avut loc în seara zilei de 19 decembrie 2016, în care un camion a lovit o mulțime
BERLIN: Un CAMION a intrat în PLIN în mulțime la un târg de Crăciun-VIDEO UPDATE () [Corola-website/Journalistic/104183_a_105475]