(08) Berechenbarkeit und Komplexität  2/2 Jürgen Branke. Yovisto Academic Video Search. Turing Maschine berechenbare Berechnungen polynomieller Menge entscheidbar gilt Funktion Eingabe aufzählbar ... Lösung hält Definition Universität Karlsruhe berechn ide fragestell turing-berechenbar begriffsbild semientscheidbar rekursiv aufzahlbar entscheidbar aufzahlbar abzahlbar meng entscheidbar struktur entscheidbar umkehr abzahlbar gilt satz funktion berechenbar surjektiv aufzahlbar rekursiv definition meng aufzahlbar genau endkonfiguration halt durchlauft konfiguration anfangskonfiguration anfang befindet gilt simuliert universell konfiguration kon codier definition turing-maschin simulation zeich lesend aufeinanderfolg sl-kopf position getrennt null zustand bandinschrift konfiguration aktuell form wort beschrieb wort folg geschieht band arbeitsweis codier gdinfoii potentiell meng unend einheit einheit anfangszustand turing-maschin konkret unend abzahlbar zustandsmeng potentiell fest bandalphabet fest normiert maschin moglich vereinfach annahm gdinfoii band schreib ide initialkonfiguration arbeitsweis geht erzeugt endkonfiguration definiert entsprech folgekonfiguration beschreib arbeitsband erzeug anfangskonfiguration alphabet geeignet wort beschreib verhalt simuli aufgab eingab frag genau berechnet turing-maschin funktion berechenbar von-neumann-rechn universalrechn rechn real beobacht turing-maschin simulation meng turing-aufzahlbar heiss akzeptiert eingab genau bemerk turing-berechenbar turing-entscheidbar funktion turing-berechenbar surjektiv turing-aufzahlbar alphabet definition turing-aufzahlbar lauf funktionsweis zustandstafel folgend definiert gewunscht leistet maschin folgend wandl -komplement berechn beispiel turing-berechenbar unbestimmt maschin verhalt gilt berechnet belieb turing-maschin definition end els ausgab then angesetzt halt eingab simuli codier seit ordnung bestimm begin fals true output input gdinfoii arbeit prozedur folgend konstruktion zeig angesetzt belieb annahm beweis turing-maschin satz entscheidet turing-maschin halt eingab frag halteprobl turing-entscheidbar entscheidbar turing-aufzahlbar meng aufzahlbar betracht maschin ausreich berechenbar effizient frag folger gelost zeit polynomiell turingmaschin losbar polynomiell effizient genau probl richtig faktor polynomiell rechenzeit erfass turing-maschin glaubt funktion berechenbar sinn intuitiv thes sche church berechenbar charakterisier modell formal intuitiv offensicht funktion turing-berechenbar bemerk hohersprach schreib entspricht turing-maschin konstruktion beding end begin until repeat els then maschin verknupf turingmaschin kontrollstruktur multiplikation addition elementar berechn basismaschin defini turing-maschin konstruiert hintereinanderausfuhr wiederhol verzweig anweis erfullt enthalt sprach folger gilt qed annahm widerspruch definition folgt turing-maschin meng abzahlbar beweis akzepti sprach turing-maschin satz gdinfoii maschin eingabewort lexikograph gebracht reihenfolg fest turing-maschin moglich spezifiziert alphabet zeichenkett codier angegeb turing-maschin bemerk gdinfoii log fest funktion speziell typisch berechenbar turing-maschin funktion belieb komplexitatsklass informat verhalt probleminstanz defini berechnungsaufwand mass bemerk band zell verandert schreib anzahl angesetzt halt max konfigurationenfolg kurz lang berechn zeitkomplexitat definition platzkomplexitat berechnet turing-maschin funktion alphabet turingmaschin verwend berechnungskomplexitat aussag algorithm informat algorithmus problem fest parallel ram registermaschin turingmaschin standardansatz parallel operation elementar berechn sequentiell gesucht verwendet berechnungsmodell zugrundelieg problem losung kostet frag komplexitat allgemein aufzahlbar aufwand liebig sensitiv monoton kontextsensitiv lba freie kontextfrei regular grammat linkslinear kriterium pumping-lemma ausdruck grammat automat charakterisier sonstig s-aufwand erkenn entscheidbar sprach typisch halt angesetzt ergebniss wichtig zusammenfass stochast organism wachstum beschreib ableit parallel regeln kontextfrei l-system lindenmayer-system lieg quer definiert grammat definition chomsky-hierarchi sprachklass erreicht endzustand wahrschein gross ausreich wort einles akzeptiert wort zustandsubergang stochast endlich automat frag usw grammat kontextfrei aquivalent programm korrekt total eingab programm halt angesetzt bemerk qed annahm seit satz widerspruch gilt wort angenomm entscheidbar gdinfoii gegeb problemstell folgend vergleich bemerk entscheidungsproblem genugt optimierungsproblem gleich andert klein graph probeweis kant entfern bekannt maximal maximum such binar verschied los beweiside umkehr gilt probl los problemstell offensicht knot k-cliqu grosst berechn entscheidungsprobl gross cliqu np-schwer erfullt konjunktion verschied annahm wahl zeit polynomiell lasst offensicht erfullbar gleichzeit klauseln verschied knot bezeichn folgendermass konstrui eingab reduktion gross teilgraph verbund np-vollstand literal genau konjunktion vorliegt normalform cliqu -sat reduzier beispiel bezieh belieb folger verwendet losbar polynomiell vermut probl zeig lost zeit polynomiell problem np-vollstand vermut algorithmus polynomiell johnson garey unzahl kennt mittlerweil losung zulass bestimm klein lang kurz rundreis graph gewichtet cook erfullbar normalform konjunktiv formel belieb entscheid aussagenlog erfullbarkeitsprobl problem zahlreich begriff probl definition vollstand reduzierbar polynomiell ergibt los zeit polynomiell polynomialzeit-reduzierbar probl definition schwer reduziert matrixinversion matrixmultiplikation gilt folgend defini matriz losung inversion matrix multiplikation probl problem einfach beispiel berechenbar folger losbar polynomiell satz losung transformiert funktion berechenbar zeit polynomiell pol polynomialzeit-reduzierbar losung meng problem seien definition reduzierbar ntim dtim determinist algorithmus kennt optimierungsproblem entscheidungsversion entscheidungsproblem weiss problem praktisch beruhmt gilt offensicht bedeutet funktion berechenbar zeit polynomiell gdinfoii komplexitat entscheidbar berechenbar informat grenz prinzipiell worterkenn aufwand hierarchi beschreibungsmethod verschied effizienz ausdrucksfah grammat ausdruck regular automat system informationsverarbeit beschreib formal aspekt theoret teil zusammenfass ameisenalgorithm algorithm evolutionar annealing simulated tabu-search durchsuch losungsraum verfahr randomisiert setz nearest-neighbor heurist schnell verwend losungsgut garanti verzicht probleminstanz klein geht conqu divid bound branch programmi dynam entwurfsmethod systemat geeignet wend faktor zeit quadrat polynomiell tsp euklid beispiel approximation berechenbar polynomiell fall zufriedengeb suboptimal losung effizient randbeding zusatz vorliegt form eingeschrankt los probl np-vollstand verhalt find leut beruhmt bedeutet np-vollstand probl beweis algorithmus effizient