Tag check-my-proof - Dies ist Seite 1 - GeneraCodice

Beweis dafür, dass eine Sprache nicht in P verwendet wird, wobei Diagonalisierung verwendet wird

https://www.generacodice.com/de/articolo/1124806/beweis-dafuer-dass-eine-sprache-nicht-in-p-verwendet-wird-wobei-diagonalisierung-verwendet-wird
  complexity-theory  -  check-my-proof  -  polynomial-time
cs.stackexchange cs.stackexchange

Quasigroups, Kongruenzen und erkennbare Untergruppen

https://www.generacodice.com/de/articolo/1123877/quasigroups-kongruenzen-und-erkennbare-untergruppen
  formal-languages  -  reference-request  -  check-my-proof
cs.stackexchange cs.stackexchange

Wie kann ich zeigen, dass eine lineare Sprache gegen die Verkettung mit normalen geschlossen wird?

https://www.generacodice.com/de/articolo/1120484/wie-kann-ich-zeigen-dass-eine-lineare-sprache-gegen-die-verkettung-mit-normalen-geschlossen-wird
  formal-languages  -  context-free  -  closure-properties  -  check-my-proof
cs.stackexchange cs.stackexchange

Untergrenze zum Sortieren von N -Arrays der Größe K jeweils

https://www.generacodice.com/de/articolo/1120333/untergrenze-zum-sortieren-von-n-arrays-der-groesse-k-jeweils
  arrays  -  sorting  -  algorithms  -  lower-bounds  -  check-my-proof
cs.stackexchange cs.stackexchange

Anzahl der Hamilton-Zyklen auf eine Sierpiński-Graphen

https://www.generacodice.com/de/articolo/1119290/anzahl-der-hamilton-zyklen-auf-eine-sierpinski-graphen
  graph-theory  -  combinatorics  -  check-my-proof
cs.stackexchange cs.stackexchange

Zeigen $ x^y $ ist eine primitive rekursive Funktion

https://www.generacodice.com/de/articolo/1116648/zeigen-x-y-ist-eine-primitive-rekursive-funktion
  recursion  -  computability  -  check-my-proof
cs.stackexchange cs.stackexchange

Fehler in der Generierungsfunktionslösung

https://www.generacodice.com/de/articolo/1098851/fehler-in-der-generierungsfunktionsloesung
  recurrence-relation  -  mathematical-analysis  -  check-my-proof
cs.stackexchange cs.stackexchange

Ist die KARP -Reduktion identisch mit Levinreduktion

https://www.generacodice.com/de/articolo/1097529/ist-die-karp-reduktion-identisch-mit-levinreduktion
  complexity-theory  -  reductions  -  check-my-proof
cs.stackexchange cs.stackexchange

Zeigen Sie, dass das Anstaltproblem für Ein-Pass-Turing-Maschinen entscheidbar ist

https://www.generacodice.com/de/articolo/1096692/zeigen-sie-dass-das-anstaltproblem-fuer-ein-pass-turing-maschinen-entscheidbar-ist
  turing-machines  -  computability  -  formal-languages  -  check-my-proof
cs.stackexchange cs.stackexchange
Gefundene Ergebnisse: 19
scroll top