Wyniki wyszukiwania

…niowej obwodów logicznych '''AC''' jest hierarchią [[Klasa złożoności|klas złożoności]]. Każda klasa, '''ACⁱ''', składa się z [[Język formalny|języków Klasy AC są powiązane z klasami NC, które są zdefiniowane podobnie, ale z bramkam …

…użyciu określonego [[algorytm]]u. Jest to jedna z najlepiej zbadanych klas złożoności, ponieważ ściśle odpowiada ważnemu zasobom w świecie rzeczywistym (ilości… …pamięci, ale mogą istnieć ograniczenia dotyczące niektórych innych zasobów złożoności (takich jak przemienność). …

…czeniowa|złożoności obliczeniowej]]. Najbardziej pospolitą definicją klasy złożoności jest: == Ważne klasy złożoności == …

…óry nie należy ani do [[Problem NP-zupełny|klasy NPC]], ani do [[Problem P|klasy P]]. …klasy NPI (przy założeniu, że <math>P \neq NP</math>). O przynależność do klasy NPI podejrzewa się m.in. problem [[Izomorfizm grafów|izomorfizmu grafów]]. …

…NP. Problemy NP-zupełne można więc traktować jako najtrudniejsze problemy klasy NP (z punktu widzenia wielomianowej rozwiązywalności). {{klasy złożoności}} …

W teorii złożoności obliczeniowej '''PSPACE''' jest zbiorem wszystkich [[Problem decyzyjny (teo …)<ref name="AB86">Arora & Barak (2009) p. 86.</ref>. [[Dopełnienie (teoria złożoności)|Uzupełnieniem]] wszystkich problemów w PSPACE jest także PSPACE, co oznacz …

…trudne, jak rozwiązanie każdego problemu z klasy [[Problem NP|NP]] (całej klasy NP). …że w kategorii [[język formalny|języków formalnych]] (a nie problemów). Do klasy problemów NP-trudnych mogą należeć problemy różnego typu: [[problem decyzyj …

W obliczeniowej teorii [[Klasa złożoności|złożoności klasa złożoności]] '''EXPTIME''' (czasami nazywana '''EXP''' lub '''DEXPTIME''') jest [[Zbió …lorakie zmniejszenie wielokrotności. Innymi słowy, istnieje [[algorytm]] o złożoności czasu wielomianowego, który przekształca wystąpienia jednego w wystąpienie …

…wielomianowa''' – pojęcie wykorzystywane w [[Złożoność obliczeniowa|teorii złożoności obliczeniowej]] do dowodzenia [[Problem silnie NP-zupełny|silnej NP-zupełno …łoby sensu jej stosowanie w dowodach, że jeden problem należy do tej samej klasy co drugi. …

…'''''n'' jest złożona'''. Wartość <math>a</math> jest wtedy ''świadkiem'' złożoności i test można zakończyć. Jeśli w wystarczająco wielu próbach nie uda się stwierdzić złożoności <math>n,</math> test zwraca odpowiedź: '''''n'' jest prawdopodobnie pierwsz …

…y problem z klasy '''[[Problem NP-zupełny|NP-zupełne]]''' jest zupełny dla klasy '''[[NP (złożoność)|NP]]''', jeśli jest redukowalny wielu-do-jednego w [[cz …

[[Kategoria:Klasy złożoności]] …

…est spełnialna, to zagadnienie istotne dla [[Złożoność obliczeniowa|teorii złożoności obliczeniowej]]. W zależności od postaci formuły jest on uważany za problem …SAT jest [[Problem NP-zupełny|NP-zupełny]], czyli taki, że każdy problem z klasy NP jest do niego redukowalny przy pomocy redukcji w czasie wielomianowym. …

…e kilku istotnych wyników z różnych dziedzin informatyki: dowodów w teorii złożoności, projektowaniu sieci sortujących, kodów korekcji błędów, ekstraktorów losow …

…ą ze względu na liczebność zbioru. Nie wiadomo zatem, czy problem ten jest klasy P. Na pewno natomiast uzyskawszy z zewnątrz kandydata na rozwiązanie (np.… W szczególności wszystkie problemy [[problem P|klasy '''P''']] są '''NP''', ponieważ można je sprawdzić w czasie [[wielomian]]ow …

…ath> jednak przy sortowaniu zbiorów w znacznym stopniu posortowanych klasa złożoności obliczeniowej redukuje się do <math>O(n)</math> …

…dą gradientu prostego. Niemniej oba algorytmy należą do klasy algorytmów o złożoności liniowej. …

…ość obliczeniowa|złożoności]] zajmują się zagadnieniami obliczalności oraz złożoności obliczeń funkcji obliczalnych. …funkcji obliczalnych. W teorii złożoności obliczeniowej problem określenia złożoności funkcji obliczalnej jest znany jako zagadnienie funkcji. …

…wym na deterministycznej maszynie Turinga. Tego rodzaju problemy należą do klasy [[Problem NP|NP]] ('''n'''ondeterministic '''p'''olynomial time). …onanie, że [[komputer kwantowy|komputery kwantowe]] pod względem osiąganej złożoności są równoważne niedeterministycznym maszynom Turinga. Jednak do tej pory nie …

…o odnajdywać te miejsca w kodzie, które są potencjalnym źródłem nadmiernej złożoności, a co za tym idzie, powstających [[błąd (informatyka)|błędów]]. W fazie tes …yki produktów, takie jak metryki rozmiaru ({{K|en|size metrics}}), metryki złożoności ({{K|en|complexity metrics}}) czy metryki jakości ({{K|en|quality metrics}} …